I recently asked this question about whether or not every subgroup of a profinite group is contained in a maximal subgroup. The answer is no, and a counterexample is given by $\mathbb{Z}<\mathbb{Z}_p$. I've noticed that $\mathbb{Z}$ is dense in $\mathbb{Z}_p$, but $\mathbb{Z}\neq\mathbb{Z}_p$. In particular, this means that $\mathbb{Z}$ is not closed in $\mathbb{Z}_p$. Is it true that every closed subgroup of a profinite group is contained in a maximal subgroup?
Note: A maximal subgroup must be either closed and nondense or open and dense: Indeed, if it is closed and dense, then it is the whole group, and if it is open and nondense, then its closure lies above it.
Best Answer
Suppose $N$ is a proper closed subgroup of the profinite group $G$. Then $G/N$ is non-trivial and profinite (as I pointed out here), so it has a maximal subgroup $M$ of finite index (as Eric explained here). Letting $\pi\colon G\to G/N$ be the quotient map, $\pi^{-1}(M)$ is a proper subgroup of $G$ of finite index containing $N$. Let $M'$ be a subgroup of $G$ of minimal finite index among those proper subgroups containing $N$. Then $M'$ is a maximal subgroup of $G$.