Congruence subgroup (source code)

= Congruence subgroup
{wiki}

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