Solution

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

For the free basis , define
The universal property of a free group extends this assignment to an endomorphism of . It is surjective because every is the image of , but it is not injective because lies in its kernel. Thus is not Hopfian.

New to topics? Read the docs here!