Congruence subgroup
(重定向自Principal congruence subgroup)
In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example would be invertible 2×2 integer matrices of determinant 1, such that the off-diagonal entries are even.