Textos estándar demostrar que $\textrm{ord}_n(ab)=\textrm{ord}_n(a)\,\textrm{ord}_n(b)$ al $\textrm{gcd}(\textrm{ord}_n(a),\textrm{ord}_n(b))=1$. Lo que si que no son relativamente primos? Aquí $\textrm{ord}_n(b)$ es la multiplicación de la orden de $b$, es decir, el menor entero positivo $m$ tal que $b^m=1 (\textrm{mod}\,n)$.
La ingenua suposición de que $\textrm{ord}_n(ab)$ $\textrm{lcm}(\textrm{ord}_n(a),\textrm{ord}_n(b))$ no puede ser correcta, ya que le da $\textrm{ord}_n(b^k)=\textrm{ord}_n(b)$, mientras que en realidad $\textrm{ord}_n(b^k)=\frac{\textrm{ord}_n(b)}{\textrm{gcd}(\textrm{ord}_n(b),k)}$. De modo que el orden de los productos debe depender más que de las órdenes de los factores, tal vez algo en su primer factorizations?
¿Qué dependerá exactamente? Existe una formula para el caso general? Si no, hay fórmulas para algunos casos especiales, por ejemplo, cuando se $a,b$ son relativamente primos, plaza libre, el primer poderes, al $n$ es primo, etc.? Existen útil límites? Ya que el producto de los pedidos es siempre un límite superior límite inferior sería interesante. Referencias apreciado.