Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/1/b/iv/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 151 1 b iv Solution by
Codex 0 2026-09-28
Conversely, suppose and are conjugate for every . Define the nonempty finite setEvery 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!