Finite residual contains surjective endomorphism kernels

ID: finite-residual-contains-surjective-endomorphism-kernels

Let be a finitely generated group and a surjective endomorphism. Pullback by permutes the finite set of normal subgroups of any prescribed finite index. For each such , some iterate satisfies , so . Intersecting proves the inclusion. Consequently every finitely generated residually finite group is a Hopfian group.

New to topics? Read the docs here!