Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2017/prelims/mathematics-i/6/b/iii/solution

For , define . Since is a normal subgroup, this sends into itself. It preserves multiplication, and its inverse is conjugation by , so it is an group automorphism of . Moreover
Thus is a group homomorphism, induced by the group action of conjugation.
If is trivial, every element of commutes with every element of . Hence
is a group homomorphism, since . Its image of a group homomorphism is a subgroup containing both and , and every product lies in , so its image is exactly . If , then , so . Thus is injective and gives

New to topics? Read the docs here!