 Congruence subgroup

A congruence subgroup of $S{L}_n(\mathbb{Z})$ contains the kernel of reduction modulo some positive integer.