Dado un número natural n, los restos que se obtienen al dividir por "n" (es decir, los números 0, 1, ..., "n" - 1) forman un grupo, este grupo se denota con ℤ/nℤ* y se denomina grupo de enteros módulo n.