Group in which every endomorphism is trivial or an automorphism
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
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
The version of this for finite groups is at: finite group in which every endomorphism is trivial or an automorphism
Definition
A group in which every endomorphism is trivial or an automorphism is a (typically, nontrivial) group for which every endomorphism is either the trivial map (sending all group elements to the identity element) or is an automorphism.
Whether the trivial group is included or not is a matter of convention. We sometimes exclude it when comparing with other simple group-type properties.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| finite simple group | finite, nontrivial, and no proper nontrivial normal subgroup | finite simple implies every endomorphism is trivial or an automorphism | |FULL LIST, MORE INFO | |
| finite quasisimple group | finite, perfect, and inner automorphism group is simple | finite quasisimple implies every endomorphism is trivial or an automorphism | |FULL LIST, MORE INFO | |
| simple co-Hopfian group | simple and not isomorphic to any proper subgroup | simple co-Hopfian implies every endomorphism is trivial or an automorphism | |FULL LIST, MORE INFO |
Weaker properties conditional to nontriviality
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| directly indecomposable group | nontrivial and not expressible as a direct product of nontrivial groups | |FULL LIST, MORE INFO | ||
| splitting-simple group | nontrivial and has no proper nontrivial complemented normal subgroup | every endomorphism is trivial or an automorphism implies splitting-simple | |FULL LIST, MORE INFO |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| group in which every endomorphism is trivial or injective | every endomorphism is trivial or injective; equivalently, it has no proper nontrivial endomorphism kernel | |FULL LIST, MORE INFO | ||
| Hopfian group | every surjective endomorphism is an automorphism | |FULL LIST, MORE INFO | ||
| co-Hopfian group | every injective endomorphism is an automorphism | |FULL LIST, MORE INFO |