Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-104/4/d/solution

Let be surjective and suppose that . By residual finiteness, choose with finite and . The preceding part makes the sequence
repeat, so for some . Surjectivity of permits cancellation on the right and gives . But , which would imply , a contradiction. Thus is injective. Every finitely generated residually finite group is therefore a Hopfian group.

New to topics? Read the docs here!