Resultado de teoría de números: para enteros a y n con gcd(a,n)=1, se tiene a^{φ(n)} ≡ 1 (mod n), donde φ(n) es la función totiente de Euler que da el orden del grupo de unidades (Z/nZ)×.

Principio

El grupo multiplicativo de unidades módulo n tiene orden φ(n), de modo que por el teorema de Lagrange cualquier unidad elevada al orden del grupo es congruente con la identidad módulo n.

Demostración

Ejemplo: a=3, n=10 da φ(10)=4 y 3^4=81≡1 (mod 10). En general, se pueden reducir exponentes módulo φ(n) al calcular potencias de unidades.

Aplicación incorrecta

Usar la congruencia cuando gcd(a,n)≠1 (por ejemplo si a y n no son coprimos) o asumir que φ(n) es el menor exponente válido para todas las unidades; el exponente universal mínimo puede ser la función de Carmichael λ(n).

Consecuencia

Proporciona reglas para reducir exponentes en aritmética modular y sustenta pasos clave en protocolos criptográficos y algoritmos basados en exponenciación modular.

Inversión

El pequeño teorema de Fermat es el caso particular n primo; a la inversa, que la congruencia valga para todos los a coprimos a n impone restricciones estructurales al grupo multiplicativo (Z/nZ)×.

Límite

Requiere que gcd(a,n)=1; no afirma cuál es el exponente mínimo que envía cada unidad a 1 (eso lo gobierna λ(n)) y no se extiende a divisores de cero módulo n.

Tensión semántica

A menudo se confunde con el pequeño teorema de Fermat o con afirmaciones sobre órdenes individuales de elementos; el teorema de Euler es una afirmación sobre el orden del grupo, no sobre raíces primitivas o exponentes mínimos para todas las unidades.

Síntesis

El teorema de Euler resume el hecho desde la teoría de grupos de que las unidades módulo n tienen orden finito φ(n), proporcionando la congruencia práctica a^{φ(n)}≡1 para reducir exponentes y conectar la estructura multiplicativa con la aritmética modular.