Solution

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

Let be a continuous surjective endomorphism. For each , inverse image under permutes the finite set of open subgroups of index at most : surjectivity preserves the index, and injectivity of the inverse-image operation follows from surjectivity. Hence
If , then for every . Part 3(a)(iii) implies , so . Thus is bijective. A continuous bijection from compact to Hausdorff is a homeomorphism, proving the Hopf property of a topologically finitely generated profinite group.

New to topics? Read the docs here!