Sea el grupo abeliano Z = Z/4Z (esto es, el conjunto { 0, 1, 2, 3 } bajo la suma módulo 4), y sea "N" su subgrupo { 0, 2 }.