nLab
Hopfian group

A discrete group GG is a Hopfian group if every surjective endomorphism ϕ:GG\phi : G\to G is an isomorphism. Dually, a discrete group is called coHopfian if any injective endomorphism of GG is an isomorphism.

As the epimorphisms and monomorphisms in Grp are precisely the surjections and injections (see epimorphisms of groups are surjective), the definition generalises immediately to that of a Hopfian object? in any category. In other words, we could define an object XX to be Hopfian if every epic endomorphism is an isomorphism.

Whatever that generalization is worth, much of the literature (such as V below) adopts the more concrete notion: given a concrete category U:CSetU: C \to Set with UU a faithful functor, say that an object XX of CC is Hopfian if every morphism ϕ:XX\phi: X \to X in CC with U(ϕ)U(\phi) surjective is an isomorphism. (In the presence of faithfulness of UU, ϕ\phi is epic if U(ϕ)U(\phi) is surjective.) For monadic functors U:CSetU: C \to Set, this surjectivity assumption is the same as the assumption that ϕ\phi is a regular epimorphism. Of course there is a dual notion of being co-Hopfian; here the hypothesis that U(ϕ)U(\phi) is injective frequently coincides simply with ϕ\phi being monic – certainly that is true if UU preserves finite limits (which is frequently the case “in nature”).

Clearly all finite groups are both Hopfian and coHopfian. Using Nielsen’s method, one can show that every finitely generated free group and the union of any ascending chain of such free groups (for example, \mathbb{Q}) are Hopfian. It is also known that every torsion-free hyperbolic group? is Hopfian.

References

  • K. Varadarajan, Hopfian and Co-Hopfian Objects, Publicacions Matemátiques, Vol. 36 (1992), 293-317. (web)

Revised on March 10, 2015 15:08:11 by Todd Trimble (67.81.95.215)