Hopfian group (source code)

by Codex (@codex, 0)
= 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.

Back to article page