Co-finitely Hopfian Abelian Groups

• Co-finitely Hopfian groups are defined by the property that any endomorphism with a finite cokernel is automatically an automorphism, enforcing structural rigidity.
• Their structure is analyzed by decomposing the abelian group into a torsion subgroup and a torsion-free quotient, emphasizing conditions like finite rank and co-finite injectivity.
• These properties aid in classifying group rigidity and understanding self-embedding phenomena, with applications across algebra and geometric group theory.

A commutative co-finitely Hopfian group, within the context of abelian group theory, is defined by strict constraints on its endomorphisms: every endomorphism whose image has finite index must be an automorphism. This property, sometimes presented as "almost co-finitely Hopfian" in the literature, delineates abelian groups in which the only surjective maps with finite-index image and trivial kernel are automorphisms, tightly restricting the possible algebraic symmetries and self-similarities such groups admit (Danchev et al., 24 Dec 2025).

1. Definitions and Core Concepts

Let $G$ be an abelian group. The following terminologies are standard:

• Hopfian: Every surjective endomorphism $\phi:G\to G$ is injective.
• co-Hopfian: Every injective endomorphism $\phi:G\to G$ is surjective.
• co-finitely Hopfian: Every endomorphism $\phi: G \to G$ with finite index image is an automorphism. Symbolically, if $\coker\phi=G/\phi(G)$ is finite, then both $\ker\phi=0$ and $\phi$ is surjective.
• Almost co-finitely Hopfian: A relaxation of the above; if $\coker\phi$ is finite, then only $\ker\phi$ is finite (not necessarily trivial).

The co-finitely Hopfian property, in the context of abelian groups, therefore demands high rigidity against the existence of proper finite-index subgroups isomorphic to the group itself (Danchev et al., 24 Dec 2025).

2. Structural Criteria and Main Classification

The structure of commutative co-finitely Hopfian groups can be analyzed by decomposing every abelian group $G$ into its torsion subgroup $T=\operatorname{Tor}(G)$ and torsion-free quotient $Q=G/T$:

$0 \to T \to G \to Q \to 0$

Main Classification Theorem (Danchev et al., 24 Dec 2025): Let $G$ be any abelian group with torsion subgroup $T$ and torsion-free quotient $Q\cong D\oplus R$, where $D$ is divisible torsion-free and $R$ is reduced torsion-free. Then $G$ is almost co-finitely Hopfian if and only if:

1. $R$ is co-finitely injective (i.e., any endomorphism with finite cokernel is injective).
2. $D$ has finite rank ($D\cong\Q^n$ or $\Z^n$).
3. In the primary decomposition $T = \bigoplus_p T_p$, each $T_p$ is almost co-finitely Hopfian, and all but finitely many $T_p$ are Hopfian.

If $T$ is bounded $p$-torsion (i.e., all $T_p$ are finite), $T$ is almost co-finitely Hopfian if and only if it is finite.

Corollary: For a mixed abelian group with finite torsion-free rank and bounded torsion,

$$G\text{ is almost co-finitely Hopfian} \iff G/T\text{ is co-finitely injective} \text{ and } T\text{ is finite}.$$

3. Relations Among Hopficity Notions and Subclasses

The hierarchy among various Hopficity-related classes is as follows (Danchev et al., 24 Dec 2025):

Class	Definition Constraint	Examples/Characterization
co-finitely injective	finite cokernel ⇒ injective	finite-rank torsion-free abelian groups
almost co-finitely Hopfian	finite cokernel ⇒ finite kernel	$\Z^n$, Prüfer groups, some infinite direct sums
Hopfian	surjective ⇒ injective	most abelian groups except Prüfer

Key inclusions:

• co-finitely injective ⊂ almost co-finitely Hopfian ⊂ Hopfian
• co-finitely Hopfian = co-finitely injective ∩ co-finitely surjective

On finite-rank torsion-free groups, all these notions coincide.

4. Examples and Counterexamples

Typical Examples:

• Finite abelian groups: Trivially (almost) co-finitely Hopfian—every injective/surjective endomorphism is automorphism.
• Free abelian groups ($\Z^n$): For each prime $p$, the chain $p^k\Z^n$ consists of normal subgroups isomorphic to $\Z^n$; the only compatible self-embeddings arise via multiplication by units.
• Prüfer group $\Z(p^\infty)$: Not Hopfian (multiplication by $p$ is surjective but not injective) but is almost co-finitely Hopfian—any finite-cokernel endomorphism is surjective, and the kernel is finite.

Counterexamples:

• Totally divisible torsion-free abelian groups of infinite rank (e.g., $\Q^\mathbb{N}$, $\Q^{(\aleph_0)}$) are not co-finitely injective unless of finite rank.
• Infinite direct sums of cyclic groups may be Hopfian but fail to be co-finitely Hopfian under certain conditions on descending-type chains (Danchev et al., 24 Dec 2025).

5. Pullback Structure and Free Abelian Quotients

Groups admitting descending chains of proper normal finite-index subgroups each isomorphic to the whole group arise precisely as pullbacks of standard sublattice chains from a free abelian quotient. In the abelian case, this links co-finite Hopficity intimately to the structure of $\Z^n$ and its sublattices (Limbeek, 2017).

Concretely, if there is a surjection $\pi: G \twoheadrightarrow \Z^n$, any chain of subgroups $(m_k\Z^n)$ pulls back to a chain of subgroups in $G$, and $G_k = \pi^{-1}(m_k\Z^n)$, each isomorphic to $G$. This is the canonical mechanism underlying all co-finitely Hopfian phenomena in abelian groups.

6. Applications, Significance, and Connections

Co-finitely Hopfian abelian groups play a critical role in areas where rigidity of the automorphism group under self-embedding is necessary. Their structure underpins classification results for more general classes, such as nilpotent or scale-invariant groups, by understanding which finite-index subgroups can be isomorphic to the ambient group (Limbeek, 2017). In the context of cofinite Hopficity, virtually all instances ultimately reduce to the existence and properties of free abelian quotients.

Furthermore, analysis of cotorsion and Butler groups elucidates sharp boundaries between the classes of Hopficity. In these contexts, co-finite Hopficity is equivalent to being Bassian or to a specific structural form $\Z^n \oplus \prod_p \Z_p^{(k_p)}$ with finite parameters (Danchev et al., 24 Dec 2025).

7. Broader Context and Contemporary Results

The terminology and classification rely on foundational work by Bridson, Groves, Hillman, Martin, and more specifically, the comprehensive frameworks of Danchev and Keef (Danchev et al., 24 Dec 2025), as well as van Limbeek’s structural theorems for finitely generated groups with self-embedding normal subgroups (Limbeek, 2017). These results anchor the subject in the broader study of algebraic rigidity, automorphism groups, and self-similarity across algebra and geometric group theory.

A notable implication is that abelian co-finitely Hopfian groups may serve as prototypical models for studying analogous phenomena in nonabelian settings, especially in nilpotent, solvable, or profinite group theory, where the existence of a free abelian quotient dictates much of the group’s self-embedding structure. This suggests that further generalizations or limitations of co-finite Hopficity are fundamentally controlled by underlying commutative (abelian) invariants.