Congruence subgroup (source code)

= Congruence subgroup
{wiki}

A congruence subgroup of $SL_n(\mathbb Z)$ contains the kernel of reduction modulo some positive integer.