Unimodular groups, congruence subgroups of matrix groups Matrix groups mathematics