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!