Si \( a^k \equiv 1 \), entonces \( (a^{-1})^k \equiv 1 \) y viceversa, así que ambos tienen el mismo orden. Igualar el orden de \( a^{-1} \) a \( \varphi(n) \) es un error común.
El orden multiplicativo de \( a \) módulo \( n \), \( \operatorname{ord}_n(a) \), es el menor exponente positivo que devuelve a la unidad módulo \( n \).