同余群

congruence group