Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2023/2/c/ii/solution

The identity shows that generate the same group. Direct multiplication gives
Consequently their images in the quotient group satisfy and . The universal property of a group presentation gives a group homomorphism taking , from the stated presentation. It is surjective because these images generate the target. Injectivity is not needed here.

New to topics? Read the docs here!