Para un entero a coprimo con N, el orden multiplicativo es el menor entero positivo k tal que a^k ≡ 1 (mod N); es el orden de a en el grupo (Z/NZ)^×.

Principio

El orden de a divide φ(N) y organiza el subgrupo cíclico generado por a; los órdenes determinan la periodicidad de las potencias y el dominio de los logaritmos discretos.

Demostración

Con a = 3 y N = 7: 3^1≡3, 3^2≡2, 3^3≡6, 3^4≡4, 3^5≡5, 3^6≡1 (mod 7), por tanto el orden multiplicativo de 3 modulo 7 es 6.

Aplicación incorrecta

Suponer que existe el orden para a no coprimo con N o confundir orden multiplicativo con orden aditivo conduce a inferencias algebraicas equivocadas.

Consecuencia

Conocer el orden de a da el tamaño del subgrupo cíclico que genera, indica qué exponentes producen un residuo dado y restringe soluciones de congruencias como a^x ≡ b (mod N).

Inversión

La inversión conduce a elementos de orden 1 (la identidad) o de orden muy pequeño que generan subgrupos triviales o reducidos en lugar de ciclos completos; elementos cuyo orden divide un factor propio de φ(N) no pueden generar todas las unidades.

Límite

Definido sólo para gcd(a,N)=1; el orden es finito y divide φ(N). No aplica a divisores de cero ni a bases no enteras salvo que se generalice la estructura de unidades.

Tensión semántica

Distinguir el orden multiplicativo modulo N de nociones análogas en otras estructuras algebraicas (por ejemplo, matrices), donde 'orden' significa la menor potencia positiva que da la identidad en esa estructura.

Síntesis

El orden multiplicativo modulo N mide cuántas multiplicaciones por a hacen falta para volver a 1 modulo N y codifica la estructura del subgrupo cíclico generado por a dentro de las unidades modulo N.