Solution

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

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!