A surjective endomorphism of a finitely generated residually finite group is an isomorphism.
Benjamin Steinberg
- 38.6k
- 3
- 104
- 186