Principal congruence subgroup