Let be a
group,
and let
be a
normal subgroup. The
quotient set
endowed with the
(according to
fact)
uniquely determined group structure, is called the factor group of modulo. The elements
are called residue classes. For a residue class , every element
with
is called a representative of .
![{\displaystyle {}[g]\in G/H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50f8917f1a1597b61def8e7dbf547e57b976c111)
![{\displaystyle {}[g]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f99ed345c2be255ac85dcd23d99e921ebe25ecf)
![{\displaystyle {}[g']=[g]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/286dd6ad83dc267f8dc04b3470b26df35f995a74)