# Group in which every endomorphism is trivial or an automorphism

Jump to: navigation, search
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 Splitting-simple group|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 Group in which every endomorphism is trivial or injective|FULL LIST, MORE INFO
co-Hopfian group every injective endomorphism is an automorphism |FULL LIST, MORE INFO