Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 151 / 3 / a / i

The quotient maps define a continuous homomorphismIts kernel is ${\bigcap }_{U\in \mathcal{U}}U=\{1\}$, because $\mathcal{U}$ is a neighborhood basis and $G$ is Hausdorff. Thus $\Phi$ is injective. The standard compactness argument for inverse limits makes it surjective: a compatible family of cosets has the finite intersection property, and the corresponding closed cosets in compact $G$ have nonempty intersection. Finally, a continuous bijection from compact $G$ to the Hausdorff inverse limit is a homeomorphism. Henceas topological groups.