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$.

Authors:
Knowl status:
• Review status: beta
• Last edited by Andrew Sutherland on 2021-09-18 14:41:43
Referred to by:
History: Differences