Solution

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

Choose distinct nonidentity elements and , and put
Expand a freely reduced word in . At a boundary where two syllables from one factor meet, their product is one of , , , or , all nonidentity by the choices above. Every other boundary already alternates between the factors. Thus the expansion reduces to a nonempty reduced word in and cannot represent the identity. The homomorphism from the rank-two free group sending its free generators to is injective, so

New to topics? Read the docs here!