---
title: Almost Co-finitely Hopfian Groups
url: https://www.emergentmind.com/topics/almost-co-finitely-hopfian-groups
type: topic
---

# Almost Co-finitely Hopfian Groups

An abelian group $G$ is termed **almost co-finitely Hopfian** if every endomorphism $\phi\!:G\to G$ with image of finite index possesses a finite kernel; that is, $[G:\phi(G)]<\infty\implies |\ker\phi|<\infty$. This property generalizes the co-finitely Hopfian condition by relaxing the requirement that such endomorphisms be isomorphisms, instead demanding only the finiteness of their kernels. The notion emerges as a central topic in the modern structural theory of abelian groups, as surveyed and classified in [2512.21223].

## 1. Formal Definition and Foundational Equivalences

Let $G$ be an abelian group, written additively, and let $\phi:G\to G$ be an endomorphism. $G$ is almost co-finitely Hopfian if
$$
[G:\phi(G)]<\infty \implies |\ker\phi|<\infty.
$$
In the torsion-free case, this property coincides with **co-finitely injective** groups: as proven, almost co-finitely Hopfian is equivalent to $\phi$ being injective whenever $\phi(G)$ has finite index (Proposition TF). Any Hopfian group (i.e., every surjective endomorphism is injective) is trivially almost co-finitely Hopfian, as every surjection has a finite (indeed, trivial) kernel.

## 2. Structure Theory and Direct Summand Reduction

Given the fundamental decomposition of any abelian group,
$$
G = D \oplus T \oplus R
$$
where $D$ is a divisible torsion-free summand, $T$ the torsion subgroup ($\bigoplus_p T_p$), and $R$ reduced torsion-free,

- Lemma 0.5: Each direct summand of $G$ inherits the (almost) co-finitely Hopfian property.
- For almost co-finitely Hopfian $G$, the divisible component must be free of finite rank: $D \cong \mathbb{Z}^n$. 
- The classification problem then reduces to analysis of $T$ and $R$:
  - $T$ via its primary components $T_p$.
  - $R$ under torsion-free and co-finitely injective criteria.

This reduction streamlines the identification of almost co-finitely Hopfian groups by isolating deeper structure within the torsion and torsion-free subgroups.

## 3. Classification Results

**Torsion Groups:**
A torsion group $T = \bigoplus_p T_p$ is almost co-finitely Hopfian if and only if:
- Each $T_p$ is almost co-finitely Hopfian,
- All but finitely many $T_p$ are Hopfian (Proposition torsion).

**Torsion-Free Groups:**
A torsion-free group $G$ is almost co-finitely Hopfian precisely when $G$ is co-finitely injective (Proposition TF).

**Mixed Groups:**
For $G = D\oplus T\oplus R$, $G$ is almost co-finitely Hopfian if and only if:
- $D \cong \mathbb{Z}^n$ for finite $n$,
- $T$ satisfies the torsion group criterion above,
- $R$ is co-finitely injective (equivalently, torsion-free and Hopfian).

**Special Subclasses:**
- *Finite-rank torsion-free groups* (Proposition 1): Any torsion-free group of finite Prüfer rank is almost co-finitely Hopfian.
- *Completely decomposable groups of rank 1 summands* (Theorem 4): For $R = \bigoplus_{i\in I} A_i$ (with rank $A_i = 1$), $R$ is almost co-finitely Hopfian if and only if $R$ is Hopfian, which in turn is equivalent to absence of an infinite descending chain of types.
- *Cotorsion groups* (Proposition 5.6): An algebraically compact (cotorsion) group is almost co-finitely Hopfian if and only if it is torsion-free and Hopfian, i.e., of the form $\mathbb{Z}^n\oplus\prod_p (\hat\mathbb{Z}_p)^{k_p}$ for finite $n$ and each $k_p$.

## 4. Supporting Lemmas and Key Structural Results

Several lemmas undergird the theory:
- Lemma 0.5: Direct summands of co-finitely Hopfian, co-finitely injective, or Hopfian groups inherit the property.
- Proposition 1.9: For the divisible part, co-finitely injective is equivalent to finite-rank $\mathbb{Q}$-vector space, and such divisible groups are always co-finitely surjective.
- Proposition 1.95: Behavior of almost co-finitely Hopfian decompositions.
- Proposition 3: Equivalence of co-finitely Hopfian and co-Hopfian for finite-rank torsion-free groups.

These results provide the toolkit for group decomposition and finer classification.

## 5. Explicit Examples and Counterexamples

| Group Structure                       | Endomorphism $\phi$              | Behavior Concerning Kernel   |
|---------------------------------------|-----------------------------------|-----------------------------|
| Finitely generated free group $\mathbb{Z}^n$ | $\phi:\mathbb{Z}^n\to\mathbb{Z}^n$ with $[\mathbb{Z}^n:\phi(\mathbb{Z}^n)]<\infty$ | $\det(\phi)\neq 0 \implies$ injective (finite/trivial kernel) |
| Infinite direct sum $\bigoplus_{i=1}^\infty \mathbb{Z}(p^\infty)$ | $\phi((x_i)) = (p x_i)$                  | $\ker\phi$ infinite, so not almost co-finitely Hopfian   |

These cases illustrate the distinction between groups that satisfy the almost co-finitely Hopfian property and those that fail, mainly due to infinite kernels arising from infinite direct sums of Prüfer groups.

## 6. Relation to Hopfian, Co-Hopfian, and Cofinitely Hopfian Classes

- **Cofinitely Hopfian:** Requires finite-index image endomorphisms to be isomorphisms (kernel and cokernel both trivial).
- **Almost co-finitely Hopfian:** Only requires finite kernel given finite-index image (not necessarily injectivity).
- The property is more permissive than co-finitely Hopfian but is strictly weaker; more groups qualify, including all finite-rank torsion-free groups and many torsion groups.
- According to Proposition 3.12, if all $p$–primary torsion is separable, the "almost finitely Hopfian" condition coincides with the classical Hopfian property.
- "Almost" variants thus interpolate natural group-theoretic regularities between stricter and more relaxed endomorphism constraints.

## 7. Significance and Broader Context

Almost co-finitely Hopfian groups enrich the structural taxonomy of abelian groups, providing granularity between Hopficity and co-finite conditions. The principal classifications reveal the impact of torsion and divisibility on endomorphism behavior, especially when the divisible part is restricted to finite-rank free summands. This framework elucidates explicit criteria for large families of abelian groups and integrates classical results with finer modern distinctions. The interplay with separability, type theory in decomposable groups, and cotorsion structure strengthens the holistic understanding of endomorphism-induced finiteness conditions in abelian group theory [2512.21223].

Source: https://www.emergentmind.com/topics/almost-co-finitely-hopfian-groups