Sea Z el grupo de enteros con la adición, y el subgrupo 2Z conformado por los enteros pares; éste es un subgrupo normal, puesto que Z es abeliano.