Almost Finitely Hopfian Groups

• Almost finitely Hopfian groups are defined as groups where every surjective endomorphism has a finite kernel, generalizing the classical Hopficity condition.
• The structure theorem leverages torsion separability, showing that in abelian groups with separable p-primary components, almost finitely Hopfian and Hopfian properties are equivalent.
• The open classification problem invites further research, particularly in identifying groups that are almost finitely Hopfian but not strictly Hopfian under non-separable torsion conditions.

An almost finitely Hopfian group is an algebraic structure introduced to refine the classical Hopficity condition for groups, particularly in the context of abelian groups. Specifically, a group $G$ is called almost finitely Hopfian if every surjective endomorphism $\phi: G \to G$ has finite kernel. This notion expands the range of Hopf-type properties by relaxing the requirement that surjective endomorphisms be automorphisms (as in the classical Hopfian case), instead only insisting the kernel remains finite. The interactions between this property, variants such as almost co-finitely Hopfian and cofinitely Hopfian groups, and established structural theorems in abelian group theory are central themes in recent investigations, notably in (Danchev et al., 24 Dec 2025).

1. Formal Definition and Motivation

Let $G$ be a group. The property of being almost finitely Hopfian is formalized as follows: $\text{A group } G \text{ is \emph{almost finitely Hopfian} if whenever } \phi: G \to G \text{ is a surjective endomorphism, then } |\ker \phi| < \infty.$ This definition (Definition 8.1 in (Danchev et al., 24 Dec 2025)) generalizes the classical Hopficity property, where every surjective endomorphism is required to be injective (i.e., kernel trivial). Classical Hopficity is a cornerstone concept in group theory, especially for studying the rigidity and automorphism structure of infinite groups. The almost finitely Hopfian property investigates circumstances where relaxing injectivity to finite kernel remains a meaningful restriction, particularly in the presence of infinite but "nearly injective" surjections.

2. Relationship to Hopfian and Other Hopf-Type Properties

There is a strict hierarchy among various Hopficity notions:

• Every Hopfian group is trivially almost finitely Hopfian: for these, every surjective endomorphism is an automorphism, so the kernel is trivial (hence finite).
• Every almost co-finitely Hopfian group (where surjective endomorphisms with finite index cokernel have finite kernel) is almost finitely Hopfian since “finite cokernel ⇒ finite kernel” is a stronger requirement than “surjective ⇒ finite kernel.”
• Every cofinitely Hopfian group is almost co-finitely Hopfian. The implications are summarized as follows:

Property	Implies	Reference
Cofinitely Hopfian	Almost co-finitely Hopfian	(Danchev et al., 24 Dec 2025)
Almost co-finitely Hopfian	Almost finitely Hopfian	(Danchev et al., 24 Dec 2025)
Hopfian	Almost finitely Hopfian	(Danchev et al., 24 Dec 2025)

The property “$G/\phi(G)$ finite” does not in general force “$\ker\phi$ finite” in abelian groups (Danchev et al., 24 Dec 2025).

3. Structure Theorem: The Role of Torsion and Separability

The principal structural result for almost finitely Hopfian abelian groups hinges on the nature of the torsion subgroup, specifically the separability of $p$-primary components. Let $G$ be an abelian group with torsion subgroup $T = \bigoplus_{p} T_p$, where $T_p$ denotes the $p$-primary component for each prime $p$. Theorem 8.2 of (Danchev et al., 24 Dec 2025) establishes that if each $T_p$ is separable, then almost finitely Hopfian and Hopfian are equivalent properties: $$G \text{ almost finitely Hopfian} \iff G \text{ Hopfian}$$ The proof employs the splitting of finite subgroups in separable $T_p$, establishing that any finite subgroup arising as a kernel can be separated out, driving the kernel to triviality and hence recovering the classical Hopficity. As a result, in the vast majority of “reasonable” torsion classes—such as bounded $p$-groups, cotorsion torsion, and primary groups of finite rank—this separation hypothesis holds, rendering the distinction between the two notions vacuous in practice.

4. Examples, Counterexamples, and Nonexistence Results

No examples are provided in (Danchev et al., 24 Dec 2025) of abelian groups which are almost finitely Hopfian but not Hopfian. Nor is a counterexample constructed when the separability hypothesis on torsion is dropped. Every specific infinite family of abelian groups examined falls under the scope of Theorem 8.2. Therefore, the search for groups that are strictly almost finitely Hopfian—i.e., that possess the property but are not Hopfian—remains open outside the established separability regime.

5. Inheritance of Classical Classifications

Due to the equivalence established under torsion separability, the classical classification theorems for Hopfian abelian groups directly apply to almost finitely Hopfian abelian groups in those contexts. These include, for example, finite rank abelian groups, divisible groups, completely decomposable groups, cotorsion groups, and Butler groups of various sorts. The correspondence simplifies the structural theory in the separable torsion setting, making further classification unnecessary in these cases.

6. Open Problems and Research Directions

A key open problem highlighted in [(Danchev et al., 24 Dec 2025), Problem 9] is the full characterization of almost finitely Hopfian (abelian) groups: $$\text{Characterize all groups } G \text{ such that every surjective endomorphism } \phi: G \to G \text{ has } |\ker\phi| < \infty.$$ Beyond the cases where the $p$-primary torsion components are separable, the structure theory for almost finitely Hopfian groups remains incomplete. This gap is currently the main direction for further work in the classification and theory of these groups.

7. Significance and Broader Context

The notion of almost finitely Hopfian groups reflects an ongoing effort to refine and stratify rigidity-type properties in infinite group theory. Its close relationship to the classical Hopficity property demonstrates the role of torsion and separability in constraining group endomorphism behavior. The lack of strictly almost finitely Hopfian but non-Hopfian examples in abelian groups (under mild hypotheses) suggests that significant further development is required to determine whether the property yields genuinely new families in broader classes of groups or in the non-abelian setting. The open classification problem underscores the nascent stage of research on this property and invites further exploration into the endomorphism structures of infinite groups (Danchev et al., 24 Dec 2025).