Group of residue classes