Hopfian group
group for which every surjective endomorphism is bijective
finite group
mathematical group based upon a finite number of elements
simple group
group without normal subgroups other than the trivial group and itself
group for which every surjective endomorphism is bijective