Hopfian group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This is a variation of finite group|Find other variations of finite group |

This property makes sense for infinite groups. For finite groups, it is always true

Definition

Symbol-free definition

A group is termed Hopfian if it satisfies the following equivalent conditions:

• It is not isomorphic to the quotient group by any nontrivial normal subgroup (in short, it is not isomorphic to any of its proper quotients).
• Every surjective endomorphism of it is an automorphism

Definition with symbols

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Finite group	order is finite			|FULL LIST, MORE INFO
Finitely generated free group	free group on finite generating set	finitely generated and free implies Hopfian		|FULL LIST, MORE INFO
Finitely generated residually finite group	finitely generated and residually finite	finitely generated and residually finite implies Hopfian		|FULL LIST, MORE INFO
Group satisfying ascending chain condition on normal subgroups	there is no infinite strictly ascending chain of normal subgroups	ascending chain condition on normal subgroups implies Hopfian		|FULL LIST, MORE INFO
Noetherian group (also called slender group)	every subgroup is finitely generated; equivalently, no infinite strictly ascending chain of subgroups	slender implies Hopfian		|FULL LIST, MORE INFO
Finitely generated Hopfian group	finitely generated and Hopfian	(by definition)	Hopfian not implies finitely generated	|FULL LIST, MORE INFO
Simple group	has no proper nontrivial normal subgroups	simple implies Hopfian		|FULL LIST, MORE INFO
Group in which every endomorphism is trivial or an automorphism	every endomorphism is either trivial or is an automorphism	every endomorphism is trivial or an automorphism implies Hopfian		|FULL LIST, MORE INFO
Group in which every endomorphism is trivial or injective	every endomorphism is either trivial or an injective endomorphism	every endomorphism is trivial or injective implies Hopfian	(finite counterexamples)	|FULL LIST, MORE INFO

Incomparable properties

• Co-Hopfian group