Solution

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

If in , applying each projection map gives in .
Conversely, suppose and are conjugate for every . Define the nonempty finite set
Every transition map carries into , so the form an inverse system. By the nonemptiness theorem for inverse limits of finite sets, there is a compatible tuple . Coordinatewise equality then gives . This proves the finite-quotient criterion for conjugacy in a profinite group.

New to topics? Read the docs here!