Para todo divisor positivo "d" de "n", el grupo Z/"nZ (isomorfo a Z, y algunas veces incluso tomado como definición de éste) tiene exactamente un subgrupo de orden "d", a saber, el generado por la clase residual de "n"/"d"; no hay más subgrupos de Z/"n"Z.