Decimos que un entero $k$ es el orden de $a$ modulo $n$ si $k$ es el entero mas pequeño tal que $$a^k\equiv 1\text{ mod }n.$$ El orden siempre existe cuando $(a,n)=1$ ($a$ y $n$ son primos relativos).