Normal subgroup/Residue class group/Introduction/Section