Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-104/6/a/1/solution

If in , its image is the identity in the output group, so . The equations then give and for every , hence . Therefore , and the relation gives . Since the normal closure of is , every is . The remaining identifications make every equal to as well. All output generators vanish, proving
This proves collapse even when the original group itself is nontrivial.

New to topics? Read the docs here!