Hopfian group (source code)

= Hopfian group
{wiki}

A group is Hopfian when every surjective endomorphism is an automorphism. Every finitely generated residually finite group is Hopfian.

= Residually finite
{synonym}