show · gl2.level all knowls · up · search:

The level of an open subgroup $H$ of a matrix group $G$ over $\widehat \Z$ is the least positive integer $N$ for which $H$ is equal to the inverse image of its projection to the reduction of $G$ modulo $N$.

This also applies to open subgroups of matrix groups over $\Z_\ell$, in which case the level is necessarily a power of $\ell$.

Knowl status:
  • Review status: beta
  • Last edited by Andrew Sutherland on 2021-09-18 14:41:43
Referred to by:
History: (expand/hide all) Differences (show/hide)