An open subgroup $H$ of a profinite group $G$ is a subgroup that is open in the topology of $G$, which implies that it is equal to the inverse image of its projection to a a finite quotient of $G$.
Open subgroups of $G$ necessarily have finite index (since $G$ is compact), but not every finite index subgroup of $G$ is necessarily open.
When the profinite group $G$ is a matrix group over a ring $R$ that is equipped with canonical projections to finite rings of the form $\Z/n\Z$ (take $R=\Z_\ell$ or $R=\widehat \Z$, for example), we use $G(n)$ to denote the image of $G$ under the group homomorphism induced by the projection $R\to\Z/n\Z$. In this situation we may identify $H$ with its projection to $G(N)$, where $N$ is the least positive integer for which $H$ is the inverse image of its projection to $G(N)$ (this $N$ is the level of $H$).
- Review status: reviewed
- Last edited by Andrew Sutherland on 2021-09-18 14:44:54
- 2021-09-18 14:44:54 by Andrew Sutherland (Reviewed)
- 2021-09-18 14:38:54 by Andrew Sutherland
- 2021-09-18 14:36:49 by Andrew Sutherland
- 2021-07-17 14:56:54 by Andrew Sutherland
- 2021-07-17 11:38:01 by Andrew Sutherland