Conjunto completo de representantes módulo n formado exclusivamente por enteros primos con n; equivalente a un conjunto R ⊂ {0,…,n-1} con |R| = φ(n) tal que cada entero primo con n es congruente módulo n con exactamente un elemento de R.

Principio

La idea organizadora es elegir un representante por cada clase de residuos invertible módulo n para que la multiplicación (y la inversión) tenga sentido dentro del conjunto y refleje el grupo multiplicativo (Z/nZ)^×.

Demostración

Para n = 8 un sistema de restos reducido es {1, 3, 5, 7} porque son los enteros en {0,…,7} coprimos con 8; φ(8) = 4 y estas clases forman el grupo multiplicativo módulo 8.

Aplicación incorrecta

Incluir enteros no coprimos con n entre los representantes, suponer que el orden de los representantes tiene significado algebraico, o confundir este sistema con un sistema completo de representantes que incluya no coprimos.

Consecuencia

Identificado correctamente proporciona un modelo finito de las unidades multiplicativas módulo n, permitiendo inversión, cálculo de órdenes, el teorema de Euler y el análisis de grupo en (Z/nZ)^×.

Inversión

El concepto inverso es un sistema completo de representantes módulo n (representantes de todas las clases) o considerar el conjunto de no unidades, que carece de inversibilidad multiplicativa en general.

Límite

Definido para módulo n≥1; casos triviales cuando φ(n)=1 (p. ej. n=1,2). El sistema sólo trata enteros coprimos con n y excluye divisores de cero y clases representadas por números con factores comunes con n.

Tensión semántica

Tensión entre elegir representantes canónicos mínimos (p. ej. restos positivos menores) y otros representantes prácticos; también entre la visión algebraica (grupo de unidades) y la enumeración combinatoria de enteros.

Síntesis

Un sistema de restos reducido módulo n reúne un representante por cada clase invertible, formando un conjunto finito que modela el grupo multiplicativo de unidades (Z/nZ)^× y permite inversión y razonamiento multiplicativo módulo n.