Hopfian group (source code)

= Hopfian group
{c}
{wiki}

= Hopfian
{c}
{synonym}

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