Dado un $n=pq$ donde $p$ y $q$ son Impares, primos distintos. Sea $\alpha \in \mathbb Z_n^*$ y $\text{ord}_n(\alpha)$ sea el orden de $\alpha$ en $\mathbb Z_n^*$ . El texto afirma que:
$\text{ord}_n(\alpha) = \text{lcm}(\text{ord}_p(\alpha),\text{ord}_q(\alpha))$ .
¿Cómo debo interpretar esto? ¿Y si $\alpha \geq p$ ? ¿Simplemente calculo el valor modulo $p$ ? En ese caso el orden de $n$ en $\mathbb Z_n^*$ es siempre $\text{lcm}((p-1),(q-1))$ . Pero si $p=3$ y $q=5$ podemos encontrar fácilmente un elemento en $\mathbb Z_{15}^*$ de manera que el orden no sea 4. Tomemos por ejemplo el 4. ¿Alguien tiene algo de luz que arrojar sobre esto?