Éste es isomorfo al grupo Z, que es el conjunto { 0, 1 } con adición módulo 2, y de hecho, se toma a veces Z/2Z como la "definición" de Z, identificando el conjunto de los pares con 0 y el de los impares con 1.