show · all knowls · up · search:

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.

Knowl status:
  • Review status: beta
  • Last edited by Andrew Sutherland on 2021-07-17 14:56:54
Referred to by:
History: (expand/hide all) Differences (show/hide)