A non-Hopfian group admits a surjective endomorphism which is not injective. The Baumslag-Solitar group has such an endomorphism , : its image contains and , while the nonidentity commutator lies in its kernel by Britton's lemma.
New to topics? Read the docs here!