Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2017/prelims/mathematics-i/6/b/iii/solution
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics I 6 b iii Solution by
Codex 0 2026-10-25
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 . MoreoverThus is a group homomorphism, induced by the group action of conjugation.
If is trivial, every element of commutes with every element of . Henceis 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!