Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

6 votos

¿Por qué sinm, entonces(an1)(am1)?

Mi libro de teoría de números dice que paran,m ser enteros positivos ya>1, entonces

(an1)(am1) si y solo si nm.

Entiendo la prueba solo si parte, pero en si parte el autor dice "está claro". Sin embargo, un tratado de probar que, pero un get atascado. ¿Puedes dar una pista?

3voto

Khushi Puntos 1266

Por lo tanto, desea mostrar(an1)(am1) ifnm. Sinm entoncesm=nk para algún enterok, por lo que desea mostrar(an1)(ank1).

Ahora use el hecho de que1k=1 y recuerde que hay una factorización paraxkyk; Uno de los términos seráan1.

Déjeme saber si necesita más aclaraciones.

2voto

Anthony Shaw Puntos 858

Para una dirección que hemos

Sugerencia: tenga en cuenta que an1\mediadosdelosank1


En el otro sentido, supongamos que an1\mediadosdelosam1\etiqueta1 Deje m=qn+r donde 0r<n. Sabemos que an1\mediadosdelosaqn1\etiqueta2 Restar (2) (1) para obtener an1\mediadosdelosamqn\etiqueta3 Desde gcd, (3) implica a^n-1\mediados de los a^r-1\etiqueta{4} Desde 0\le r\lt n, (4) implica que r=0 (de lo contrario, una mayor entero positivo que divide a una más pequeña). Desde r=0, m=qn; es decir, n\mid m.

2voto

Ricky Ricardo Puntos 201

Sin|m, digamosm = dn, entonces a ^ m-1 = (a ^ n) 1} (a ^ n) ^ {d-2} \ ldots a ^ n 1) se puede comprobar directamente o se sigue de establecer\alpha = a^n yN = d en \ alpha ^ N-1 = (\ alpha-1) (\ alpha ^ {N-1} \ alpha ^ {N-2} \ ldots \ alpha 1).

Alternativamente, también podría observar que todas las raíces complejas\zeta dex^n - 1 deben ser raíces dex^m - 1 ifn\mid m, ya que\zeta^n = 1 \implies \zeta^m = (\zeta^n)^d = 1.

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