## [Orden Multiplicativo Módulo N](/es/node/61976) Definición 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 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 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 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 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 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 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 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 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.