25 votos

Si $a^\phi = 1$, entonces el orden de $a$ divide $\phi$

¿Cómo puedo demostrar que el orden de un elemento módulo $n$ divide $\phi(n)$?

Sé que si $a$ y $n$ son relativamente primos, entonces el entero menos positivo $x$ tal que $a^x\equiv1\pmod n$ es su módulo de orden $n$. También sé que, por el teorema de Euler, $a^{\phi(n)}\equiv1\pmod n$. Por lo tanto, debe darse el caso de que $x\leq\phi(n)$.

Sin embargo, todo lo que me queda por hacer es mostrar que $kx=\phi(n)$, para algún entero $k$. ¿Ustedes tienen una idea sobre cómo hacer esto? ¡Gracias de antemano!

29voto

Oli Puntos 89

Indirecta: Sea $\phi(n)=xq+r$, donde $0\le r<x a="" contradice="" de="" definici="" esto="" la="" menos="" mostrar="" que=""></x>

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X