Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/1/c/i/solution

The canonical image of is dense in its profinite completion . Therefore every is a limit of a net in . Continuity of conjugation gives
so every element of lies in the closure of . The reverse inclusion follows because the larger conjugacy class contains the smaller one and is closed by part b(iii). Hence

New to topics? Read the docs here!