Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/1/c/ii/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 151 1 c ii Solution by
Codex 0 2026-09-28
Suppose first that is conjugacy separable. If is not conjugate to in , some homomorphism to a finite group sends them to nonconjugate elements. This homomorphism factors through a finite quotient of , so cannot be conjugate to in . Thus
Conversely, suppose this equality holds and is not conjugate to in . Then they are not conjugate in . By the finite-quotient criterion for conjugacy in a profinite group, their images fail to be conjugate in some finite quotient. This is precisely conjugacy separability.
New to topics? Read the docs here!