Seccin Tercera o

SOBRE

RESIDUOS DE LAS POTENCIAS

Los residuos de los trminos de una progresin geomtrica e o e que comienza desde la unidad constituyen una serie peridica. o 45. Teorema. En toda progresin geomtrica 1, a, a2 , a3 , etc., aparte del o e u primer trmino, se da adems otro trmino at , congruente a la unidad, segn el e a e mdulo p, que es primo a a, cuyo exponente es t < p. o Demostracin. Puesto que el mdulo p es primo a a, y por lo tanto es primo a o o cualquier potencia de a, ningn trmino de la progresin ser 0 (mod. p), sino u e o a que cada uno ser congruente a uno de los nmeros 1, 2, 3, . . . p 1. De stos, hay a u e p1, pues, es evidente que si se considerasen ms que p1 trminos de la progresin, a e o no todos pueden tener diferentes residuos m nimos. Entonces, entre los trminos 1, e 2 , a3 , . . . ap1 , se encontrarn al menos dos congruentes a un residuo m a nimo. a, a m an y m > n, y al dividir por an , resultar amn 1 (art. 22), donde a Sea pues, a m n < p, y > 0. Q. E. D. Ejemplo. En la progresin 2, 4, 8, etc., el primer trmino que es congruente o e 12 = 4096. Pero, seg n el mdulo 23, en u o a la unidad, segn el mdulo 13, resulta ser 2 u o 11 = 2048 1. Igualmente, 15625, la sexta potencia del nmero 5, u esta progresin es 2 o es congruente a la unidad, segn el mdulo 7, la quinta de ella, 3125, segn el mdulo u o u o 11. Por tanto, en unos casos la potencia congruente a la unidad resulta menor que p 1. Pero, en otros, es necesario ascender hasta la (p 1)-sima potencia. e

MODULOS QUE SON NUMEROS PRIMOS.

39

46. Cuando se contina una progresin ms all de un trmino que es congruente u o a a e a la unidad, se producen nuevamente los mismos residuos que se tienen al principio. a Es claro que si at 1, se tendr at+1 a, at+2 a2 , etc., hasta que se encuentre 2t cuyo residuo menor otra vez ser 1, y el per a odo de los residuos el trmino a e comenzar de nuevo. Se tiene, pues, un per a odo que comprende t residuos, que en cuanto naliza se vuelve a repetir desde el comienzo; y ningn otro residuo, salvo u aqullos contenidos en este per e odo, puede aparecer en toda la progresin. o mt 1, y amt+n an , lo cual en nuestra notacin se presenta o En general, ser a a as : Si r (mod. t), ser ar a (mod. p). a 47. De este teorema, se gana un mtodo para encontrar muy fcilmente los e a residuos de potencias, tan grandes como sean sus exponentes, una vez que se encuentra una potencia congruente a la unidad. Si, por ejemplo, se busca el residuo a resultante de la divisin de la potencia 31000 por 13, ser 33 1 (mod. 13), t = 3; o 1000 3 (mod. 13). como 1000 1 (mod. 3), ser 3 a 48. Cuando at es la menor potencia congruente a la unidad (excepto a0 = 1, tal caso no ser tratado aqu los t trminos que constituyen un per a ), e odo de residuos sern todos diferentes, como se puede ver con facilidad de la demostracin del art. 45. a o Entonces, tambin la proposicin del art. 46 puede invertirse; esto es, si am an e o (mod. p), ser m n (mod. t). Pues, si m y n fueran incongruentes segn el a u am y a an , as mdulo t, sus residuos m o nimos , ser diferentes. Pero, a an a , i.e., no todas las potencias menores que at son incongruentes, contra pues a la hiptesis. o a a Si ak 1 (mod. p), entonces ser k 0 (mod. t), i.e., k ser divisible por t. Hasta aqu hemos hablado de mdulos cualesquiera, primos a a. Ahora, o trataremos por aparte los mdulos que son nmeros absolutamente primos y luego o u desarrollaremos una investigacin ms general con esta base. o a

40

RESIDUOS DE LAS POTENCIAS.

Se consideran primero los mdulos que son nmeros primos. o u 49. Teorema. Si p es un nmero primo que no divide a a, y si at es la menor u potencia de a congruente a la unidad, segn el mdulo p, el exponente t ser = p 1, u o a o ser un factor de este nmero. a u Consltese los ejemplos del art. 45. u Demostracin. Puesto que ya hemos demostrado que t es = p 1 o < p 1, falta o que, en el segundo caso, se demuestre que t siempre es un factor de p 1. I. Renanse los menores residuos positivos de todos estos trminos 1, a, a2 , u e t1 , que se denotarn por , 0 , 00 , etc., de modo que sea = 1, 0 a, ...a a 00 a2 , etc. Se ha visto que todos son diferentes; pues, si dos trminos am y an e mn 1, no obstante que tuvieran el mismo residuo, (al suponer m > n) ser a a m n < t. Q.E.A., puesto que ninguna potencia inferior a at es congruente a la a unidad (por hiptesis). Adems, todos los , 0 , 00 , etc. estn contenidos en la o a sucesin de nmeros 1, 2, 3, . . . p 1 que, sin embargo, no se agotan pues t < p 1. o u Denotaremos el conjunto de todos , 0 , 00 , etc. con (A). Por tanto, (A) contiene t trminos. e II. Tmese un nmero cualquiera entre 1, 2, 3, . . . p 1 que falte en (A) . o u Multipl quese por todos los , 0 , 00 , etc. Sean , 0 , 00 , etc. los residuos menores originados de all cuyo nmero ser t. Pero estos residuos sern diferentes entre s u a a 0 , 00 , etc. Si la primera asercin fuera falsa, se tendr o a y adems diferentes de , a m an , dividiendo por , am an , contra lo que hemos demostrado. Si la a segunda fuera falsa, se tendra am an . Por tanto, cuando m < n, anm , i.e., o ser congruente con uno de stos , 0 , 00 , etc. contra la hiptesis; cuando vale a e tm , at at+nm , o por medio de at 1, at+nm , m > n, al multiplicar por a u lo cual es un absurdo. Dentese el conjunto de todos los , 0 , 00 , etc., cuyo nmero o = t con (B) y se tiene ya 2t nmeros de 1, 2, 3, . . . p 1. Por tanto, y si (A) y (B) u comprenden todos estos nmeros, se tiene p1 = t. As el teorema se ha demostrado. u 2 III. Si todav quedan algunos, sea uno de ellos. Multipl a quense por l e 0 , 00 , etc. y sean , 0 , 00 , etc. los residuos m todos , nimos de los productos y dentese el conjunto de todos ellos con (C). Por tanto, (C) comprende t nmeros o u de 1, 2, 3, . . . p 1, que son todos diferentes entre s y diferentes de los contenidos , en (A) y (B). Las primeras aserciones se demuestran de igual modo como en el II, a u la tercera como sigue: si fuera am an , ser anm , o at+nm segn que m < n > n, y en cualquier caso ser congruente a un nmero de (B) contra o a u

MODULOS QUE SON NUMEROS PRIMOS.

41

la hiptesis. Por tanto, se tienen 3t nmeros de 1, 2, 3, . . . p 1 y si no faltan ms o u a p1 a resulta t = 3 y as el teorema quedar demostrado. IV. Si faltan todav otros, del mismo se habr de proceder a un cuarto a a conjunto (D) de nmeros, etc. Pero, es evidente, puesto que el nmero de enteros u u 1, 2, 3, . . . p 1 es nito, que al n se habrn de agotar todos ellos, y que ser un a a mltiplo de t: por eso t ser algn factor del nmero p 1. Q. E. D. u a u u El teorema de Fermat. 50. p1 As puesto que t es un entero, resulta al elevarse ambas partes de la , congruencia at 1 a la potencia p1 , ap1 1 sea ap1 1 siempre es divisible o t por p, cuando p es un primo que no divide a a. Este teorema, el cual ya sea por su elegancia o por su gran utilidad es digno de toda atencin, suele llamarse el teorema de Fermat, por su inventor. (Vase Fermat, o e Opera Matem., Toulouse 1679, p. 163). El inventor no present una demostracin, o o sin embargo arm tener una en su poder. El gran Euler fue el primero que public o o una demostracin, en su disertacin titulada Theorematum quorundam ad numeros o o primos spectantium demonstratio, Comm. Acad. Petrop. T. VIII.*) Se basa sta en e p , donde se deduce fcilmente de la forma de los a el desarrollo de la potencia (a + 1) a coecientes, que (a+1)p ap 1 siempre ser divisible por p cuando ap a es divisible por p. Ahora, como 1p 1 siempre es divisible por p, tambin 2p 2 lo ser siempre, e a p 3, y en general ap a. Y si p no divide a a, tampoco ap1 1 por tanto tambin 3 e ser divisible por p. Esto basta para aclarar la idea del mtodo. El gran Lambert a e present una demostracin parecida en Actis Erudit, 1769, p. 109. Porque se ve que o o a el desarrollo de una potencia binomia era bastante ajeno de la teor de los nmeros, a u el gran Euler busc otra demostracin que aparece en Comment. nov. Petr. T. VII o o p. 70, y que est en armon con lo que expusimos en el art a a culo anterior. Adems, en a lo siguiente, se nos ofrecern otras demostraciones. En este lugar, se permite aadir a n otra ms, la cual se basa en principios semejantes a los de la primera del gran Euler. a
*) En un comentario anterior, el gran hombre todav no hab logrado su propsito. Comm. a a o Petr. T. VI p. 106. En una controversia famosa entre Maupertuis y Knig, surgida sobre el o principio de la accin m o nima, aunque muy pronto llev a una variedad de cosas, Knig arm o o o tener en su poder una carta de Leibniz, en la cual est contenida una demostracin de este teorema a o que concuerda con la primera de Euler. Appel au public. p. 106. No queremos negar la veracidad de este testimonio, ciertamente Leibniz nunca public su hallazgo. Vea Hist. de lAc. de Prusse, 1750 o p. 530.

42

RESIDUOS DE LAS POTENCIAS.

La siguiente proposicin, de la cual un caso especial es nuestro teorema, tambin ser o e a util para otras investigaciones.

51. La p-sima potencia del polinomio a + b + c + etc. es e ap + bp + cp + etc. segn el mdulo p siempre que p sea un nmero primo. u o u Demostracin. Es evidente que la p-sima potencia del polinomio a + b + c + etc. o e est compuesta de trminos de la forma a b c etc., donde + + + etc. = p, y a e denota en cuntas maneras p objetos pueden permutarse cuando , , , etc. de ellas a son respectivamente iguales a a, b, c, etc. Pero, antes, en el art culo 41, mostramos que este nmero siempre es divisible por p, si todos los objetos no son iguales, i.e., u si no es que uno de los nmeros , , , etc. = p y los dems = 0. De esto se sigue u a p , excepto ap , bp , cp , etc., son divisibles que todos los trminos de (a + b + c + etc.) e por p; por tanto, cuando se trata la congruencia segn el mdulo p, pueden omitirse u o todos ellos, y ser a (a + b + c + etc.)p ap + bp + cp + etc. Q.E.D

Ahora si se ponen todas las cantidades a, b, c, etc. = 1 y el nmero de ellas u p k, como en el art es = k, tendremos k culo anterior. Cuantos nmeros corresponden a un perodo, u en el cual el nmero de trminos es un divisor dado del nmero p 1. u e u 52. Dado que otros nmeros, que no sean divisores del nmero p 1, no pueden u u ser los exponentes de las potencias menores congruentes a la unidad, se plantea el problema de si todos los divisores de p 1 disfrutan de esta propiedad, y cuando se clasican todos estos nmeros no divisibles por p, segn el exponente de su potencia u u menor congruente a la unidad, cuntos de ellos se encuentran para cada uno de a los exponentes? Primero conviene observar que basta considerar todos los nmeros u positivos de 1 hasta p 1; pues, es evidente que los nmeros congruentes deben u

MODULOS QUE SON NUMEROS PRIMOS.

43

elevarse a una misma potencia para que sean congruentes a la unidad, y por tanto, un nmero cualquiera debe referirse al mismo exponente al que su residuo menor se u reere. Por consiguiente, tenemos que dedicarnos a hallar cmo, con respecto a esto, o se han distribuido los nmeros 1, 2, 3, . . . p 1 entre los factores individuales del u nmero p 1. Por brevedad, si d es uno de los divisores del nmero p 1 (entre los u u que tambin se incluyen 1 y p1) por medio de d denotaremos el nmero de enteros e u positivos menores que p mismo, cuya d-sima potencia es la menor congruente a la e unidad.

53. Para que esta investigacin pueda entenderse fcilmente, agregamos un o a ejemplo. Para p = 19, los nmeros 1, 2, 3, . . . 18 se distribuirn entre los divisores u a del nmero 18, de este modo u 1 1 2 18 3 7, 11 6 8, 12 9 4, 5, 6, 9, 16, 17 18 2, 3, 10, 13, 14, 15 Por tanto, en este caso, 1 = 1, 2 = 1, 3 = 2, 6 = 2, 9 = 6, y 18 = 6. Un poco de atencin ensea que tantos nmeros pertenecen a cualquier exponente o n u como tantos se dan no mayores que l y primos a l, o que en este caso particular, e e usando la notacin del art. 39, d = d. Ahora demostraremos que esta observacin o o es verdadera en general. I. Si se tiene algn nmero a perteneciente al exponente d (i.e., cuya d-sima u u e potencia es congruente a la unidad y todas sus potencias inferiores son incongruentes), todas sus potencias a2 , a3 , a4 , . . . ad , o los menores restos de ellas, poseern tambin a e la primera propiedad (la d-sima potencia de ellas es congruente a la unidad) y puesto e que esto puede expresarse diciendo que todos los residuos m nimos de los nmeros a, u 2 , a3 , . . . ad (que son todos diferentes) son ra d 1 y como ces de la congruencia x a sta no puede tener ms que d ra diferentes, es evidente que, excepto los residuos e a ces 2 , a3 , . . . ad , no se presenta ning n otro entre los n meros u u m nimos de los nmeros a, a u de 1 a p 1 inclusive, cuya d-sima potencia sea congruente a la unidad. De donde, e

44

RESIDUOS DE LAS POTENCIAS.

es claro que todos los nmeros pertenecientes al exponente d se encuentran entre los u a a residuos m nimos de los nmeros a, a2 , a3 , . . . ad . Cules son y cuntos son ellos, se u encontrar como sigue. Si k es un nmero primo a d, todas las potencias de ak , cuyos a u 1 exponentes son < d, no sern congruentes a la unidad; pues, sea k (mod. d) m a e (ver art. 31), ser akm a, por tanto, si la e-sima potencia de ak fuera congruente a kme 1, y de aqu ae 1, contrario a a la unidad y e < d, entonces, resultar a a k pertenece al exponente la hiptesis. Por eso, es claro que el residuo m o nimo de a a d. Si k tiene algn divisor comn con d, el residuo m u u nimo de ak no pertenecer d e al exponente d, pues, adems la -sima potencia es congruente a la unidad (pues, a ser divisible por d, o sea 0 (mod. d) y por ende a d 1). Por consiguiente, a se renen tantos nmeros pertenecientes al exponente d como nmeros de 1, 2, 3, u u u . . . d que sean primos a d. Pero, debe recordarse que esta conclusin est basada en o a la suposicin de que ya se tiene un nmero a perteneciente al exponente d. Por lo o u cual queda la duda de si es posible que ningn nmero pertenezca del todo a algn u u u exponente y la conclusin se limita a que d sea = 0 = d. o o
kd
k

54. etc. todos los divisores del nmero p1: como todos u II. Ahora sean d, los nmeros 1, 2, 3, . . . p 1 estn distribuidos entre stos, u a e d0 , d00 , d + d0 + d00 + etc. = p 1 Pero, en el art. 40, hemos demostrado que d + d0 + d00 + etc. = p 1 y del art culo anterior, se sigue que d es igual o menor que d, pero no puede ser u e mayor; de modo semejante para d0 y d0 , etc., por lo tanto, si algn trmino (o 0 , d00 , etc., fuera menor que el trmino correspondiente de d, d0 , varios) de d, d e 00 , la suma de aqullos no podr ser igual a la suma de stos. De esto concluimos e a e d que d siempre es igual a d, y por eso no depende de la magnitud de p 1. 55. Un caso particular del art culo anterior merece much sima atencin, a saber, o siempre se presentan nmeros de los cuales ninguna potencia menor que la (p 1)u sima es congruente a la unidad, y hay tantos de ellos entre 1 y p 1 como nmeros e u

MODULOS QUE SON NUMEROS PRIMOS.

45

menores que p 1 y primos a p 1. Puesto que la demostracin de este teorema o no es tan obvia como puede parecer a primera vista, y por la importancia del propio teorema, se puede aadir aqu otra bastante diferente de la anterior; ya que una n diversidad de mtodos suele ayudar mucho a esclarecer asuntos bastante dudosos. e Resulvase p 1 en sus factores primos, de modo que p 1 = a b c etc., donde e a, b, c, etc. denotan nmeros primos diferentes. Entonces, complementaremos la u demostracin de este teorema por medio de lo siguiente: o I. Siempre puede encontrarse un nmero A (o varios) pertenecientes al u , e igualmente n meros B, C, etc., pertenecientes respectivamente a exponente a u , c , etc. los exponentes b II. El producto de todos los nmeros A, B, C, etc. (o el producto de sus u residuos m nimos) pertenece al exponente p 1. Esto lo demostramos as : I. Sea g algn nmero de 1, 2, 3, . . . p 1 que no satisface la congruencia u u 1 (mod. p). Como es de grado < p 1, todos estos nmeros no pueden u x p1 e satisfacerla. Entonces, digo que si se pone = h la a -sima potencia de g, este . nmero o su residuo m u nimo pertenecer al exponente a a
p1 a

Pues, es evidente que la potencia a -sima de h ser congruente a la (p 1)e a 1 -sima potencia de h ser congruente a sima de g, i.e., a la unidad. Pero, la a e e a p1 e a la a -sima potencia de g, i.e., ser no congruente a la unidad, y mucho menos 2 , a3 , etc. potencias de h pueden ser congruentes a la unidad. Pero, el las a exponente de la potencia menor de h congruente a la unidad, o el exponente al cual pertenece h debe dividir al nmero a (art. 48). Por lo tanto, puesto que a no es u divisible por ningn otro nmero ms que por s mismo y por las potencias menores u u a ser el exponente al cual pertenece h. Q. E. D. a Con un de a, necesariamente a mtodo similar se demuestra que existen nmeros que pertenecen a los exponentes e u , c , etc. b II. Si suponemos que el producto de todos los A, B, C, etc. no pertenece al exponente p 1, sino a uno menor t , p 1 se dividir por t (art a culo 48), es decir, p1 a t ser un entero mayor que la unidad. Sin embargo, con facilidad se ve que este coeciente o es uno de los nmeros primos a, b, c, etc., o al menos es divisible por u uno de ellos (art culo 17), e.g., por a. Con respecto a los otros, la demostracin es o p1 p1 e igual. As t dividir a a ; por tanto, el producto ABC etc., elevado a la a -sima , a potencia ser congruente a la unidad (art a culo 46). Pero, es claro que cada uno de p1 e a los B, C, etc. (excepto A) elevados a la a -sima potencia sern congruentes a la , c , etc. a los cuales pertenecen dividan a p1 . Por unidad, cuando los exponentes b a

46 eso se tendr a A
p1 a+1

RESIDUOS DE LAS POTENCIAS.

p1 a

p1 a

p1 a

etc. A

p1 a

1
p1 a

De donde sigue que el exponente, al cual pertenece A, debe dividir a

p1 a+1 b c etc. a

(art. 48),

i.e., es entero; pero = no puede ser un nmero entero (art. 15). u Finalmente, hay que concluir que nuestra suposicin no puede armarse, i.e., el o producto ABC etc., en realidad, pertenece al exponente p 1. Q. E. D. La segunda demostracin parece algo ms larga que la primera, pero la primera o a resulta menos directa que sta. e

56. Este teorema suministra un ejemplo notable sobre cunta circunspeccin se a o requiere siempre en la teor de los nmeros, para que no supongamos como cierto a u lo que no es. El clebre Lambert en su disertacin citada arriba, Acta Erudit. 1769, e o p. 127, hace mencin a esta proposicin, pero no atestigua necesidad alguna de una o o demostracin. Nadie ha intentado una demostracin excepto Euler, Comment. nov. o o Ac. Petrop. T. XVIII, 1773, Demonstrationes circa residua ex divisione potestatum per numeros primos resultantia p. 85 y siguientes. Vase en particular su art e culo 37 donde habl bastante sobre la necesidad de una demostracin. Pero, la demostracin o o o que el docto hombre present tiene dos defectos. Uno: en su art. 31, tcitamente o a supone que la congruencia xn 1 (traducidos sus argumentos usando nuestra notacin) en realidad tiene n ra o ces diferentes, aunque, slo hab demostrado o a anteriormente que no puede tener ms que n ra a ces. Otro: dedujo la frmula de o su art culo 34 slo por induccin. o o

Races primitivas, bases e ndices. 57. Como el ilustre Euler, llamaremos races primitivas a los nmeros pertene u cientes al exponente p 1. Por lo tanto, si a es una ra primitiva, los residuos z 2 , a3 , . . . ap1 sern todos diferentes, de donde se deduce a m nimos de las potencias a, a fcilmente que entre stos deben aparecer todos los nmeros 1, 2, 3, . . . p 1, ya que a e u el nmero de stos es igual al nmero de residuos m u e u nimos, i.e., cualquier nmero no u divisible por p es congruente a alguna potencia de a. Esta propiedad notable es de gran utilidad y puede simplicar bastante las operaciones aritmticas respecto a las e

RAICES PRIMITIVAS, INDICES.

47

congruencias, casi de igual modo como la introduccin de los logaritmos simplica o las operaciones de la aritmtica comn. Elegiremos libremente alguna ra primitiva e u z como base, a la cual referiremos todos los nmeros no divisibles por p, y si ae b u (mod. p), llamaremos a e el ndice de b. Por ejemplo, si para el mdulo 19 se toma o la ra primitiva 2 como base, correspondern z a nmeros u ndices 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 0. 1. 13. 2. 16. 14. 6. 3. 8. 17. 12. 15. 5. 7. 11. 4. 10. 9.

Es claro, adems, al mantener la base constante, que a cada nmero corresponden a u varios ndices, pero todos ellos sern congruentes segn el mdulo p 1. Por lo que, a u o cuando hay una discusin sobre los o ndices, aqullos que son congruentes segn el e u mdulo p 1 se considerarn equivalentes de la misma manera como los nmeros se o a u consideran equivalentes cuando son congruentes segn el mdulo p. u o

Algoritmos de los ndices. 58. Los teoremas que tratan sobre los ndices son completamente anlogos a los a que se reeren a los logaritmos. El ndice del producto compuesto de cualquier nmero de factores es con u gruente, segn el mdulo p 1, a la suma de los ndices de los factores individuales. u o El ndice de la potencia de un nmero cualquiera es congruente, segn el u u mdulo p 1, al producto del o ndice del nmero dado por el exponente de la potencia. u Hemos omitido las demostraciones por su facilidad. De esto se percibe que si deseamos construir una tabla de la cual se puedan sacar los ndices de todos los nmeros segn mdulos diferentes, de sta se pueden u u o e omitir tanto todos los nmeros mayores al mdulo como todos los compuestos. Se ha u o agregado un ejemplo de este tipo de tabla al nal de esta obra, Tab. I, donde en la primera columna vertical se colocan los nmeros primos y las potencias de nmeros u u primos de 3 hasta 97, los cuales se deben considerar como mdulos. A la par de o stos estn los nmeros tomados como base. Luego siguen los ndices de los nmeros e a u u primos sucesivos que siempre estn arreglados en pequeos bloques de cinco. Arriba a n los nmeros primos estn dispuestos en el mismo orden; de modo que un u a ndice que corresponda a un nmero primo dado, segn un mdulo dado, pueda encontrarse u u o fcilmente. a

48

RESIDUOS DE LAS POTENCIAS.

As por ejemplo si p = 67; el ndice del nmero 60, tomado 12 como base, ser u a 2 Ind. 2 + Ind. 3 + Ind. 5 (mod. 66) 58 + 9 + 39 40. 59. El ndice de un valor cualquiera de la expresin a (mod. p), (art. 31) es o b congruente, segn el mdulo p 1, a la diferencia de los u o ndices del numerador a y del denominador b, si es que a y b no son divisibles por p. Sea c, pues, un valor cualquiera; tenemos bc a (mod. p) y por lo tanto y as Ind. b + Ind. c Ind. a (mod. p 1) Ind. c Ind. a Ind. b

Entonces, si se tiene una tabla con el ndice que corresponde a cualquier nmero, segn cualquier mdulo primo, y otra de la cual pueda derivarse el nmero u u o u que corresponda a un ndice dado, todas las congruencias de primer grado podrn a resolverse muy fcilmente; puesto que todas pueden reducirse a aqullas cuyo mdulo a e o es un primo (art. 30). E.g., la congruenca propuesta 7 (mod. 47) 29 De donde Ind. x Ind. 7 Ind. 29 Ind. 40 Ind. 29 15 43 18 (mod. 46) 29x + 7 0 (mod. 47) ser a x Pero, se encuentra el nmero 3 cuyo u ndice es 18. As x 3 (mod. 47). No hemos , adjuntado la segunda tabla; pero, a cambio de esto, podr servir otra en su lugar, a como mostraremos en la Seccin VI. o

Sobre las ra de la congruencia xn A. ces 60. De una manera semejante a como hemos designado en el art. 31 las ra ces de las congruencias del primer grado, as en lo siguiente, presentaremos las ra , ces n de las congruencias puras de grados mayores con un s mbolo. Como A no puede n = A, as al adjuntarse el mdulo con o signicar ms que una ra de la ecuacin x a z o n a z el s mbolo A (mod. p) se denotar cualquier ra B de la congruencia xn A n (mod. p). Decimos que esta expresin A (mod. p) tiene tantos valores como o

RAICES PRIMITIVAS, INDICES.

49

ra ces incongruentes md. p, puesto que todos los que son congruentes segn el o u mdulo p se consideran como equivalentes (art. 26). Adems, claro que si A y o es a n n a B son congruentes, segn el mdulo p las expresiones A y B (mod. p) sern u o equivalentes. Ahora, si se pone n A x (mod. p), ser n Ind. x Ind. A (mod. p 1). a De esta congruencia, se deducen, segn las reglas de la seccin anterior, los valores u o de Ind. x, y de stos, los valores correspondientes de x. Fcilmente, se percibe que x e a tiene tantos valores como ra de la congruencia n Ind. x Ind. A (mod. p 1). Es ces n a claro, pues, que A tendr un unico valor, cuando n es primo a p 1; sin embargo, cuando los nmeros n y p 1 tienen un mximo un divisor , Ind. x tendr u a com a n valores incongruentes segn el mdulo p 1, y A tantos valores incongrentes, u o segn p, siempre que Ind. A sea divisible por . Al faltar esta condicin, n A no u o tendr ningn valor real. a u , Ejemplo. Bsquense los valores de la expresin 15 11 (mod. 19). As debe u o resolverse la congruencia 15 Ind. x Ind. 11 6 (mod. 18) y se encontrarn tres a valores de Ind. x 4, 10, 16 (mod. 18). Los valores correspondientes de x son 6, 9 y 4.

61. Por ms fcil que este mtodo sea, cuando estn adjuntadas las tablas a a e a necesarias, no debemos olvidarnos de que ste es indirecto. Por lo tanto, vale la e pena investigar cun poderosos son los mtodos directos; trataremos aqu lo que a e pueda resultar de lo anterior; otros que requieren consideraciones ms profundas a estn reservados para la seccin VIII. Iniciamos con el caso ms sencillo, donde a o a n 1 (mod. p). Aqu , A = 1, es decir, donde se buscan las ra de la congruencia x ces por tanto, tomando cualquier ra primitiva como base, debe resultar n Ind. x 0 z (mod. p 1). Esta congruencia, cuando n es primo a p 1, tendr una sola ra es a z; n a decir, Ind. x 0 (mod. p 1). En este caso 1 (mod. p) tendr un unico valor, o sea 1. Sin embargo, cuando los nmeros n y p 1 tengan mximo comn divisor u a u , la solucin completa de la congruencia n Ind. x 0 (mod. p 1) ser Ind. x 0 o a p1 u o a (mod. ) (ver art. 29): i.e., Ind. x, segn el mdulo p 1, deber ser congruente a alguno de estos nmeros u 0, p1 , 2(p 1) , 3(p 1) , ... ( 1)(p 1)

50

RESIDUOS DE LAS POTENCIAS.

o tendr valores incongruentes segn el mdulo p 1, por tanto, tambin en este a u o e caso, x tendr valores diferentes (incongruentes segn el mdulo p). De donde a u o e ndices se percibe que la expresin 1 tambin tiene valores diferentes, cuyos o coinciden completamente con los anteriores. Por eso, la expresin 1 (mod. p) o n 1 (mod. p) tiene las equivale totalmente a 1 (mod. p); i.e., la congruencia x a mismas ra ces que sta, xn 1 (mod. p). La anterior, sin embargo, ser de grado e inferior, si y n no son iguales. Ejemplo. 15 1 (mod. 19) tiene tres valores, pues 3 es el mximo divisor a comn de los nmeros 15 y 18 y, a la vez, stos sern valores de la expresin 3 1 u u e a o (mod. 19). Estos son 1, 7 y 11.

62. Por medio de esta reduccin, no logramos resolver ninguna otra congruencia o n 1, donde n es un divisor del n mero p 1. Ms adelante, u a sino las de la forma x mostraremos que las congruencias de esta forma siempre pueden reducirse, pero lo anterior no basta. Podemos aqu tratar un solo caso, o sea, donde n = 2. Es claro 2 a a que los valores de la expresin 1 sern +1 y 1, pues, no puede tener ms que dos o y +1 y 1 siempre son incongruentes a menos que el mdulo sea = 2, en cuyo caso o 2 1 puede tener un solo valor, como se puede ver. De donde, por consiguiente, sigue que +1 y 1 sern tambin los valores de la expresin 2m 1 cuando m es primo a p1 . a e o 2 Esto siempre sucede cuando el mdulo es de esta clase, con tal que sea un nmero o u absolutamente primo (a menos que p 1 = 2m, en tal caso todos los nmeros 1, 2, 3, u . . . p 1 son ra ces), e.g., cuando p = 3, 5, 7, 11, 23, 47, 59, 83, 107 etc. Se adjuntar a p1 aqu como corolario que el ndice de 1 siempre es 2 (mod. p 1) cualquiera que sea la ra primitiva tomada como base. Pues, 2 Ind. (1) 0 (mod. p 1). z ndice de +1, As Ind. (1) ser 0, o p1 (mod. p 1). Pero, 0 siempre es el , a 2 y +1 y 1 siempre deben tener diferentes ndices (excepto el caso p = 2, al que no vale la pena referirse aqu ).

63. Hemos mostrado, en el art. 60, que la expresin n A (mod. p) tiene valores o diferentes, o no tiene ninguno, si es el mximo comn divisor de los nmeros n y a u u n A p 1. Ahora, del mismo modo como mostramos que y A son equivalentes si A 1, demostramos ms generalmente que la expresin n A siempre puede reducirse a o

RAICES PRIMITIVAS, INDICES.

51

e a la otra B, a la cual equivalga. Pues, denotado un valor cualquiera de stos por x, n A; ahora, sea t un valor cualquiera de la expresin (mod. p 1), la cual o n ser x a tn At , pero xtn x , puesto tiene valores reales como se percibe en el art. 31, ser x a At y cualquier valor de n A ser tambin que tn (mod. p 1). Por tanto, x a e n tanto, cuando A tiene valores reales, ser totalmente a un valor de At . Por lo e equivalente a la expresin At , puesto que aqulla ni tiene otros valores diferentes o n a la anterior, ni tiene menos. Es posible que A no tenga ningn valor real an u u t tenga valores reales. cuando A Ejemplo. Si se buscan los valores de la expresin 21 2 (mod. 31), el mximo o a 3 comn divisor de los nmeros 21 y 30 ser 3, y ste es un valor de la expresin 21 u u a e o 3 3 21 (mod. 30); por tanto, si 2 tiene valores reales, equivaldr a la expresin 2 o sea a o 3 8, se encontrar en verdad que los valores de la expresin posterior, que son 2, 10, a o 19, tambin satisfacen la anterior. e

64. Para no intentar realizar en vano esta operacin, conviene investigar una regla o por medio de la cual pueda deducirse de inmediato si n A admite valores reales o no. Si se tiene una tabla de ndices, el asunto es claro, pues, es claro, en el art. 60, que se tendrn valores reales si el a ndice de A, tomando cualquier ra primitiva como base, z es divisible por ; pero si no lo es, no se tendrn. No obstante, esto puede hallarse sin a esa tabla. Pues, al poner el ndice de A = k, si es divisible por , ser k(p1) divisible a p1 k(p1) por p1 y vice-versa. Pero, el ndice del nmero A ser . Por lo cual, si n A u a (mod. p) tiene valores reales, A ser congruente a la unidad; en caso contrario, a ser incongruente. As en el ejemplo del art a , culo anterior, se tiene 210 = 1024 1 (mod. 31), de donde se concluye que 21 2 (mod. 31) tiene valores reales. De modo semejante, resulta cierto que 2 1 (mod. p) siempre tiene dos valores reales cuando p es de la forma 4m + 1, pero ninguno cuando p es de la forma 4m + 3, puesto que (1)2m = 1 y (1)2m+1 = 1. Este elegante teorema se enuncia ordinariamente as: 2 , de si p es nmero primo de la forma 4m + 1, se puede encontrar un cuadrado a u modo que a2 +1 sea divisible por p, pero si al contrario, p es de la forma 4m1, no se puede encontrar tal cuadrado. De esta forma fue demostrado por el ilustre Euler, en Comm. nov. Acad. Petrop. XVIII, p. 112 del ao 1773. El ya hab presentado otra n a demostracin mucho antes en 1760, Comm. nov. V, p. 5. En una disertacin anterior, o o Comm. nov. IV, p. 25, todav no la hab perfeccionado. Luego, el ilustre Lagrange a a
p1

52

RESIDUOS DE LAS POTENCIAS.

present una demostracin del teorema, Nouveaux Mm. de lAc. de Berln, 1775, o o e p. 342. Presentaremos otra demostracin, en la siguiente seccin, espec o o camente dedicada a este argumento.

65. Despus de que hemos hablado de reducir todas las expresiones n A (mod. p) e a otras, donde n es divisor del nmero p 1, y hemos encontrado un criterio de si u admite o no valores reales, consideraremos ms precisamente tales expresiones n A a (mod. p), donde n es divisor de p 1. Primero mostraremos qu relacin tienen los e o valores individuales de la expresin entre s luego indicaremos unos articios, con o ; cuya ayuda muchas veces puede encontrarse un valor de la expresin. o Primero. Cuando A 1 y r es alguno de los n valores de la expresin n 1 o e a (mod. p), o rn 1 (mod. p), tambin todas las potencias de este r sern valores de esta expresin; pero de ellos, tantos sern diferentes como unidades tenga el o a exponente al cual r pertenece (art. 48). Si, por lo tanto, r es el valor que pertenece al exponente n, estas potencias r, r2 , r3 , . . . rn de este mismo r (donde en el lugar de la ultima puede sustituirse la unidad) involucrarn todos los valores de la expresin a o n 1 (mod. p). En la seccin VIII explicaremos bastante cules mtodos existen para o a e encontrar aquellos valores que pertenecen al exponente n. Segundo. Cuando A es incongruente a la unidad, y conocemos un valor de la expresin n A (mod. p), digamos z, los restantes pueden deducirse del siguiente o modo. Sean los valores de la expresin n 1 o 1, r, r2 , . . . r n1 (como mostramos arriba). Entonces todos los valores de la expresin o z, zr, zr2 , . . . zrn1 . Est claro, pues, que todos stos satisfacen la congruencia xn A: pongamos a e k , la n-esima potencia de ella, z n r nk , por ser r n 1 y cualquiera de ellos zr z n A, ser congruente a Todos son diferentes como se deduce fcilmente del a A. a n a , art. 23; pero la expresin A no puede tener ms que estos n valores. As por o 2 a ejemplo, si un valor de una expresin A es z, el otro ser z. Finalmente, de esto o se debe concluir que no se pueden encontrar todos los valores de la expresin n A si o no se conocen igualmente todos los valores de la expresin n 1. o n A sern a

RAICES PRIMITIVAS, INDICES.

53

66. Lo segundo que nos hab amos propuesto mostrar era en cul caso un valor a de la expresin n A (mod. p) puede encontrarse directamente (donde se supone que o n es un divisor de p 1). Esto resulta cuando algn valor es congruente a alguna u potencia de A, lo cual no es tan raro, y no ser superuo detenernos en ello. Sea tal a k y A z n (mod. p). De esto se deduce que A Akn ; valor z, si existe, o sea z A a por lo tanto, si se tiene un nmero k, de modo que A Akn , Ak ser el valor buscado. u Pero esto equivaldr aqu a la condicin siguiente, 1 kn (mod. t), denotando a t a o el exponente al cual pertenece A (art. 46, 48). Para que esta congruencia sea posible, 1 se requiere que n sea primo a t. En este caso ser k n (mod. t), pero si t y n a tienen un divisor comn, ningn valor z puede ser congruente a alguna potencia de u u A.

67. No obstante, como conviene conocer a t para esta solucin, veamos cmo o o podemos proceder si desconocemos este nmero. Primero, se percibe fcilmente que t u a n p1 debe dividir a n , si es que A (mod. p) tiene valores reales, como siempre lo hemos supuesto aqu Sea pues y una solucin cualquiera, entonces tendremos y p1 1 y . o n A (mod. p); por lo cual elevando las partes de la ultima congruencia a la y p1 p1 p1 n 1; de tal modo e a n -sima potencia resultar A n es divisible por t (art. 48). p1 culo anterior, kn 1, no slo o Ahora, si n es primo a n, la congruencia del art p1 podr resolverse segn el mdulo n , sino claramente el valor de k que satisface a a u o esta congruencia segn este mdulo tambin la satisfar segn el mdulo t, el cual u o e a u o p1 divide a n (art. 5). Por tanto, se ha encontrado lo buscado. Sin embargo, si p1 p1 a n no es primo a n, se eliminarn todos los factores primos de n , que a la vez dividen a n. Por eso, encontraremos un nmero p1 , primo a n, donde q denota el u nq producto de todos los factores primos que hemos eliminado. Ahora, si la condicin o que logramos en el art culo anterior, que t sea primo a n, tiene lugar, t no slo ser o a primo a q sino tambin dividir a p1 . Por eso, si se resuelve la congruencia kn 1 e a nq (mod. p1 ) (lo que puede ser, puesto que n es primo a p1 ), el valor k tambin e nq nq satisfar la congruencia, segn el mdulo t; lo cual se buscaba. Todo este articio a u o consiste en hallar un nmero que pueda funcionar en vez de t, el cual no conocemos. u Aunque siempre conviene recordar: hemos supuesto que, cuando p1 no es primo a n n, cabe la condicin del art o culo anterior, pero si no es cierta, todas las conclusiones ser errneas. Sin embargo, si an siguiendo las reglas dadas, se encuentra un valor an o u

54

RESIDUOS DE LAS POTENCIAS.

para z, cuya n-sima potencia es incongruente a A, esto ser una muestra de que la e a condicin no puede satisfacerse y que el mtodo no puede emplearse del todo. o e

68. Pero, en este caso tambin puede ser ventajoso haber realizado este trabajo e y vale la pena investigar cmo este valor falso se relaciona con los verdaderos. As o , n no es supongamos que los nmeros k y z estn bien determinados, pero que z q u a A A (mod. p). Entonces, si slo pueden determinarse valores de la expresin n zn o o (mod. p), multiplicando cada uno de estos valores por z, obtendremos los valores de q q n A A A. Pues si v es algn valor de n zn : ser (vz)n A. Pero la expresin n zn es ms u a o a n A simple que A, puesto que zn (mod. p) con frecuencia pertenece a un exponente A menor que A. Es decir, si d es el mximo comn divisor de los nmeros t y q, zn a u u (mod. p) pertenecer al exponente d, como se demostrar ahora. Sustituyendo por a a A 1 el valor z, ser zn Akn1 (mod. p). Pero, kn 1 es divisible por p1 (art a culo nq p1 p1 q t t anterior), n por t (ibid.) o sea nd por d . Ahora bien d es primo a d (hip.), as p1 tq p1 t t a e a nd ser divisible por d2 o bien nq por d . Tambin kn 1 ser divisible por d y (kn1)d 1 (mod. p). De donde se deduce fcilmente a (kn1)d por t. Por lo tanto, A A A e a que zn , elevada a la d-sima potencia, ser congruente a la unidad. El que zn no pueda pertenecer a un exponente menor que d, puede demostrarse fcilmente; pero, a ya que no se requiere para nuestros nes, no nos detendremos en esto. Podemos estar A a seguros que zn (mod. p) siempre pertenecer a un exponente menor que A, excepto en un caso unico, cuando t divide a q; de donde d = t. A Pero, de qu sirve que zn pertenezca a un exponente menor que A? Se e A presenta mayor cantidad de nmeros que pueden ser A los que pueden ser zn , y u que n u o cuando haya ocasin de desarrollar varias expresiones A segn un mismo mdulo, o tendremos la ventaja de derivar varios resultados de una misma fuente. As , por ejemplo, siempre ser posible determinar al menos un valor de la expresin 2 A a o 2 (mod. 29), si slo se conocen los valores de la expresin 1 (que son 12). Del o o art culo anterior se conoce fcilmente que un valor de esta expresin siempre puede a o determinarse directamente, ya sea cuando t es impar y d = 2 o cuando t es par. Excepto para 1, ningn otro nmero pertenece al exponente 2. u u Ejemplos. Bsquese 3 31 (mod. 37). Aqu p 1 = 36, n = 3, p1 = 12, u , 3 y as q = 3. Por lo tanto, debe ser 3k 1 (mod. 4), lo cual se obtiene poniendo k = 3. Aqu z 313 (mod. 37) 6, se halla realmente 63 31 (mod. 37). Si los

RAICES PRIMITIVAS, INDICES.

55

Esto es casi todo lo que se puede decir acerca del desarrollo de tales expresiones. Es evidente que los mtodos directos con frecuencia resultan bastante e largos; pero esto es cierto para casi todos los mtodos directos en la teor de los e a nmeros; por esto, consideramos que debemos demostrarlo. Tambin, conviene u e observar que no es de nuestro inters explicar los articios particulares que se e presentan aqu .

e valores de la expresin 3 1 (mod. 37) son conocidos, tambin los restantes valores o 3 3 de la expresin 6 pueden determinarse. Los valores de 1 (mod. 37) son 1, 10 y o 26. Al multiplicarlos por 6, se producen los restantes 23 y 8. a Sin embargo, si se busca el valor de la expresin 2 3 (mod. 37), ser n = 2, o p1 n = 18, y de aqu q = 2. Por tanto, debe ser 2k 1 (mod. 9), de donde resulta k 5 (mod. 9). Por consiguiente, z 35 21 (mod. 37); pero 212 no es 3, sino 34. As 34 (mod. 37) 1, y 2 1 (mod. 37) 6; de donde se obtendrn los , 3 a valores verdaderos 6 21 15.

La conexin entre los indices en sistemas diferentes. o 69. Volvemos ahora a las ra ces que llamamos primitivas. Hemos mostrado, al tomar una ra primitiva cualquiera como base, que todos los nmeros, cuyos z u ndices son primos a p1, tambin sern ra primitivas, y ninguno aparte de stos. A la vez e a ces e se conoce el nmero de ra primitivas. Vase art. 53. En general, queda a nuestro u ces e arbitrio saber cul ra primitiva escogeremos como base. De esto se percibe, tambin a z e aqu como en el clculo logar , a tmico, que pueden presentarse diferentes sistemas*). Veamos las relaciones que los conectan. Sean a y b dos ra ces primitivas, sea m otro nmero. Cuando se toma a a como base, el u ndice del nmero b , pero el u ndice del ndice del nmero m (mod. p 1); cuando se toma b como base, el u nmero a , el u ndice de b sin embargo (mod. p 1). Entonces ser 1 a b, de donde a b a (mod. p) (por hiptesis), o (mod. p 1); puesto que a por lo tanto 1 (mod. p 1). Mediante un razonamiento similar, se descubre que , por eso (mod. p 1). Por lo tanto, si se ha construido una tabla de ndices para la base a, fcilmente puede convertirse en otra, donde la base a es b. Pues si para la base a el ndice de b es , para la base b el ndice de a ser a
*) Dieren en esto: en los logaritmos el nmero de sistemas es innito; aqu hay tantos como u el nmero de ra primitivas. Obviamente, bases congruentes producen los mismos sistemas. u ces

56

RESIDUOS DE LAS POTENCIAS.

1 (mod. p 1), y multiplicando todos los ndices de la tabla por este nmero, se u tendrn todos los a ndices para la base b.

70. Aunque un nmero dado puede tener varios u ndices, tomadas unas u otras ra ces primitivas como base, todas concuerdan en esto: todos tendrn el mismo a mximo comn divisor con p 1. Pues, si por la base a, el a u ndice del nmero u dado es m, pero por la base b es n, y si los mximos comunes divisores y con a p 1 se suponen diferentes, uno de ellos ser mayor, por ejemplo > , y por eso n a no dividir a . Pero, denotado el a ndice de a por , cuando se toma a b como base, ser (art a culo anterior) n m (mod. p 1), de donde dividir a n. Q. E. A. a Se percibe tambin que este mximo comn divisor de los e a u ndices de un nmero u p1 dado y de p 1 no depende de la base porque es igual a t , donde t denota el exponente al cual pertenece el nmero sobre cuyos u ndices se trata. Pues si el ndice para una base cualquiera es k, t ser el nmero menor que, multiplicado por k, a u resultar un mltiplo de p 1 (excepto cero) (vanse art a u e culos 48 y 58), o sea, el 0 valor menor de la expresin k (mod. p 1) excepto cero. No obstante, que esto es o igual al mximo comn divisor de los nmeros k y p 1, se obtiene del art a u u culo 29 sin dicultad.

71. Adems se demuestra fcilmente que la base siempre puede tomarse de modo a a que un nmero que pertenece al exponente t tiene cualquier u ndice dado cuyo mximo a p1 comn divisor con p 1 es = t . Por brevedad, designaremos ste por d, si el u e ndice propuesto es dm, y el ndice del nmero propuesto dn, cuando se toma cualquier u ra primitiva como base, entonces m y n sern primos a p1 , o sea a t. Entonces, si z a d dn es el valor de la expresin dm (mod. p 1) y a la vez es primo a p 1, a ser una o a ra primitiva. Tomada sta como base, el nmero propuesto producir el z e u a ndice dm dm adn nmero propuesto). Pero, del modo siguiente se demuestra u (pues ser a a dn que la expresin dm (mod. p 1) admite valores primos a p 1. Esta expresin o o p1 n n e equivaldr a: m (mod. d ) o sea m (mod. t) (vase art. 31, 2). Todos sus valores a sern primos a t; ya que, si algn valor e tuviera un divisor comn con t, este divisor a u u tambin deber dividir a me, por tanto, tambin me es congruente a n segn t, e a e u contrariamente a la hiptesis de que n es primo a t. Por lo tanto, cuando todos los o

RAICES PRIMITIVAS, INDICES.

57

divisores primos de p 1 tambin dividen a t, todos los valores de la expresin m e o n (mod. t) sern primos a p 1, y el nmero de ellos = d. Sin embargo, cuando p 1 a u involucra otros divisores primos f , g, h, etc., que no dividen a t, se toma cualquier valor de la expresin m (mod. t) e. Entonces, puesto que t, f , g, h, etc., son o n primos entre s puede hallarse un nmero que es congruente a e segn el mdulo , u u o t, pero segn f , g, h, etc. es congruente a nmeros cualesquiera primos a stos u u e respectivamente (art. 32). Por eso tal nmero no ser divisible por ningn factor u a u primo de p 1, por lo tanto ser primo a p 1, tal como se esperaba. Finalmente, a sin dicultad alguna, se deduce de la teor de las combinaciones que el nmero de a u p1 f 1 g1 h1 tales valores ser = t f g h etc.; pero para que no se extienda mucho a esta disgresin, hemos omitido la demostracin, puesto que no nos concierne. o o

Bases adaptadas para usos especiales. 72. Aunque generalmente sea muy arbitrario cul ra primitiva se tomar como a z a base, a veces ciertas bases pueden presentar algunas conveniencias especiales. En la tabla I, siempre hemos tomado el nmero 10 como la base cuando ste era ra u e z primitiva; de otra manera hemos determinado la base de modo que el ndice del p1 nmero 10 sea el menor posible, i.e., = t , donde t denota el exponente al cual u perteneci 10. Pero, lo que ganamos con esto, lo presentaremos en la Seccin VI, o o donde la misma tabla se aplicar para otros nes. Sin embargo, puesto que aqu esto a todav puede permanecer un poco arbitrario, como aparece en el art a culo anterior: para establecer algo jo, de todas las ra primitivas, eligimos siempre como base ces la menor. As para p = 73, donde t = 8 y d = 9, a tiene 722 , i.e., 6 valores que son , 83 5, 14, 20, 28, 39, 40. Por esto, tomamos el m nimo, 5, como base.

Mtodo para la determinacin de las races primitivas. e o 73. Los mtodos para encontrar las ra e ces primitivas se basan en su mayor a en el tanteo. Si se reune lo que hemos aprendido en el art culo 55, con lo que n 1, se tendr casi todo a diremos adelante sobre las soluciones de la congruencia x lo que puede lograrse con los mtodos directos. El ilustre Euler reconoce (Opuscula e Analytica, T. I, p. 152) que parece extremadamente dif encontrar estos nmeros, y cil u se reere a su naturaleza como uno de los misterios ms grandes de los nmeros. Pero, a u

58

RESIDUOS DE LAS POTENCIAS.

pueden determinarse bastante rpidamente al intentarlo de la siguiente manera. Un a conocedor sabr evitar operaciones prolijas por medio de varios articios particulares: a pero esto se aprende mas rpidamente con prctica que con preceptos. a a o . Tmese libremente un n mero a, primo a p (siempre designamos el o u 1 mdulo con esta letra) (casi siempre lleva a los clculos cortos si escogemos el menor o a posible, e.g., el nmero 2); luego determ u nese su per odo (art. 46), i.e., los residuos nimo sea m nimos de sus potencias, hasta encontrar la potencia at cuyo residuo m 1*). Ahora, si t = p 1, a es una ra primitiva. z o . Pero, si t < p1, se toma otro nmero b que no est en el per u a odo de a, y 2 de modo semejante se investigar su per a odo. Al designar por u el exponente al cual pertenece b, se percibe fcilmente que u ni puede ser igual a t, ni a un factor de t; de a odo de a hecho en los dos casos ser bt 1; lo cual no puede ser, puesto que el per a contiene todos los nmeros cuya t-sima potencia es congruente a la unidad (art. 53). u e Ahora si u es = p 1, b ser una ra primitiva; pero si u no es = p 1, sino un a z mltiplo de t, hemos logrado esto: que conocemos un nmero perteneciente a un u u exponente mayor, de modo que nuestro propsito, encontrar el nmero perteneciente o u al exponente mximo, est prximo. Pero si u no es = p 1, ni a un mltiplo de t, no a a o u obstante, podemos encontrar un nmero u que pertenece a un exponente mayor que u t, a saber, al exponente igual al m nimo comn mltiplo de los nmeros t y u. Sea u u u ste = y, as resulvase y en dos factores primos entre s m y n, de modo que uno e e , t u e a e divide a t, y el otro a u). Entonces, la m -sima potencia de a ser A, la n -sima potencia de b ser B (mod. p), y el producto AB ser un nmero perteneciente al a a u exponente y. Es fcil percibir que A pertenece al exponente m, y B al exponente n, a de modo que el producto AB pertenecer a mn, puesto que m y n son primos entre a s Esto podr demostrarse prcticamente del mismo modo como en el art. 55, II. . a a o . Ahora, si y = p1, AB ser una ra primitiva. Si no es el caso, entonces a z 3 de igual manera que antes se deber tomar otro nmero que no aparece en el per a u odo de AB. Esto, o bien, ser una ra primitiva, o pertenecer a un exponente mayor a z a que y, o por medio de l (como antes) podr encontrarse un nmero que pertenece a e a u un exponente mayor que y. Por tanto, como los n meros que resultan de repeticiones u
*) Se percibe con facilidad que no es necesario conocer estas potencias, puesto que el residuo m nimo puede obtenerse fcilmente de un residuo m a nimo de la potencia anterior. ) Del art. 18 se deriva cmo se puede hacer sin dicultad. Resulvase y en factores que son o e o bien nmeros primos diferentes, o bien potencias de nmeros primos diferentes. Cada uno de ellos u u dividir a t o a u (o a ambos). As a gnense cada uno o a t o a u segn el cual l divida por l: cuando u e e alguno divide a ambos, se le puede asignar arbitrariamente. Sea m el producto de los asignados a t, el de los otros = n. Est claro que m divide a t, n divide a u, y mn = y. a

RAICES PRIMITIVAS, INDICES.

59

de esta operacin pertenecen a exponentes continuamente crecientes; es claro que, o nalmente, se debe encontrar un nmero que pertenezca al exponente mayor, i.e., u una ra primitiva. Q. E. F. z

74. Estas reglas anteriores sern ms claras mediante un ejemplo. Sea p = 73 a a para el cual se busca una ra primitiva. Intentaremos primero con el nmero 2, cuyo z u per odo es el siguiente: 1.2.4.8.16.32.64.55.37.1 etc. 0.1.2.3. 4. 5. 6. 7. 8.9 etc. Puesto que ya la potencia del exponente 9 es congruente a la unidad, 2 no es una ra z primitiva. Prubese con otro nmero que no aparece en el per e u odo de 2, por ejemplo 3, cuyo per odo es ste: e 1.3.9.27.8.24.72.70.64.46.65.49. 1 etc. 0.1.2. 3.4. 5. 6. 7. 8. 9.10.11.12 etc. Por lo tanto, 3 tampoco es una ra primitiva. En cambio, el m z nimo comn mltiplo u u de los exponentes a los cuales pertenecen 2 y 3 (i.e., los nmeros 9 y 12) es 36, el u cual se resuelve en los factores 9 y 4 segn los preceptos del art u culo anterior. As 9 u que al elevarse 2 a la potencia 9 , i.e., reteniendo el nmero 2; y 3 a la potencia 3: el producto de stos es 54, que por tanto pertenecer al exponente 36. Si nalmente se e a calcula el per odo de 54, y se intenta con un nmero no contenido en l, por ejemplo, u e el nmero 5, se descubrir que es una ra primitiva. u a z

Ejemplo. Para el mdulo 13 el per o odo del nmero 5 consta de estos trminos u e 1, 5, 12, 8, cuyo producto 480 1 (mod. 13). Segn el mismo mdulo, el per u o odo del nmero 3 consta de los trminos 1, 3, u e 9, cuyo producto 27 1 (mod. 13).

Varios teoremas sobre los per odos y las races primitivas. 75. Antes de dejar este argumento, presentaremos algunas proposiciones, a las que por su simplicidad conviene prestarles atencin. o El producto de todos los trminos del perodo de un nmero cualquiera es 1, e u cuando el nmero de ellos o el exponente al cual pertenece el nmero es impar, y u u 1 cuando este exponente es par.

60

RESIDUOS DE LAS POTENCIAS.

Demostracin. Sea t el exponente al cual pertenece un nmero, y p1 el o u ndice del t nmero, lo cual siempre puede ser si se determina debidamente la base (art. 71). u Entonces, el ndice del producto de todos los trminos del per e odo ser a (1 + 2 + 3 + etc. + t 1) (t 1)(p 1) p1 = t 2

i.e., 0 (mod. p 1) cuando t es impar, y p1 cuando t es par; por tanto, en 2 el primer caso este producto 1 (mod. p); en el ultimo 1 (mod. p), (art. 62). Q. E. D.

76. Si ese nmero en el teorema precedente es una ra primitiva, su per u z odo comprender todos los nmeros 1, 2, 3, . . . p 1, cuyo producto siempre 1 a u (pues p 1 es siempre par, excepto un caso, p = 2, en el cual 1 y +1 son equivalentes). Este elegante teorema suele enunciarse as el producto de todos los : nmeros menores que un nmero primo dado, sumado a uno, es divisible por este u u primo. Fue publicado primero por el clebre Waring, y adscrito a Wilson, (Meditt. e algebr., tercera edicin, p. 380). Pero ninguno pudo demostrarlo, y el clebre Waring o e confes que la demostracin parec ms dif porque ninguna notacin puede o o a a cil o confeccionarse para expresar un nmero primo. Pero a nuestro juicio tales verdades u deb percibirse por medio de las nociones ms que por las notaciones. Despus, el an a e ilustre Lagrange present una demostracin (Nouv. Mm. de lAc. Berlin, 1771). Se o o e basa en la consideracin de los coecientes originados en el desarrollo del producto o (x + 1)(x + 2)(x + 3) . . . (x + p 1). De hecho, con poner este producto xp1 + Axp2 + Bxp3 + etc. + Mx + N los coecientes A, B, etc., M sern divisibles por p, y N ser = 1 2 3 . . . p 1. a a Ahora, para x = 1, el producto ser divisible por p; entonces ser 1 + N (mod. p), a a de donde necesariamente 1 + N podr dividirse por p. a Finalmente, el ilustre Euler ha presentado una demostracin en Opusc. analyt. o T. I. p. 329 que concuerda con la expuesta por nosotros. Pero si tan distinguidos matemticos no han considerado sin mrito a este teorema para sus meditaciones, a e esperamos no ser censurados si adjuntamos todav otra demostracin. a o

VARIOS TEOREMAS SOBRE PERIODOS Y RAICES PRIMITIVAS.

61

77. Cuando segn el mdulo p, el producto de dos nmeros a y b es congruente a la u o u unidad, llamaremos a los nmeros a y b asociados, tal como lo hizo Euler. Entonces, u segn la seccin anterior, cualquier nmero positivo menor que p tendr un unico u o u a asociado positivo menor que p. Puede demostrarse fcilmente que de los nmeros a u 1, 2, 3,. . . p 1, los unicos asociados de s mismos son 1 y p 1: pues los nmeros u 2 1; que es de segundo asociados de s mismos sern ra a ces de la congruencia x grado, por tanto no puede tener ms que dos ra a ces, i.e., ninguna otra ms que 1 a y p 1. Excluidos stos de los nmeros restantes, 2, 3, . . . p 2 estarn asociados e u a siempre en pares; por tanto el producto de ellos ser 1, de donde el producto de a todos 1, 2, 3, . . . p 1, ser p 1 o sea 1. Q. E. D. a Por ejemplo, para p = 13, se asocian los nmeros 2, 3, 4, . . . 11 as 2 con 7; u : 3 con 9; 4 con 10; 5 con 8; 6 con 11; entonces 2 7 1; 3 9 1 etc. Por tanto 2 3 4 . . . 11 1, y 1 2 3 . . . 12 1. 78. El teorema de Wilson puede exponerse ms generalmente as el producto a : de todos los nmeros, a la vez menores que cualquier nmero dado A y primos u u a l mismo, es congruente, segn el mdulo A, a la unidad tomada positiva o e u o negativamente. Se debe tomar la unidad negativamente cuando A es de la forma pm , u a o bien 2pm , donde p denota un nmero primo diferente de 2, y adems cuando A = 4; se toma positivamente en todos los casos restantes. El teorema, como fue presentado por el clebre Wilson, est contenido bajo el primer caso. Por ejemplo, para A = 15, e a el producto de los nmeros 1, 2, 4, 7, 8, 11, 13, 14 es 1 (mod. 15). Por brevedad no u adjuntamos la demostracin: observamos solamente que puede completarse de modo o semejante al del art culo anterior, excepto que la congruencia x2 1 puede tener ms de dos ra a ces, las cuales exigen ciertas consideraciones peculiares. Tambin la e demostracin puede derivarse de la consideracin de los o o ndices, similarmente como en el art culo 75, si se agrega lo que pronto expondremos sobre los mdulos compuestos. o

79. Volvemos a la enumeracin de otras proposiciones (art. 75). o La suma de todos los trminos del perodo de un nmero cualquiera es 0, e u como en el ejemplo del art culo 75, 1 + 5 + 12 + 8 = 26 0 (mod. 13).

62

RESIDUOS DE LAS POTENCIAS.

Demostracin. Sea a el nmero de cuyo per o u odo se trata, y t el exponente al cual pertenece. La suma de todos los trminos del per e odo ser: a 1 + a + a2 + a3 + etc. + at1 at 1 (mod. p) a1

a Pero, at 1 0: por tanto esta suma siempre ser 0 (art. 22), a menos que por casualidad a 1 sea divisible por p, o sea a 1; por lo tanto, este caso debe excluirse si deseamos llamar perodo a un solo trmino. e

80. El producto de todas las ra primitivas es 1, excepto el caso unico p = 3; ces pues en este se presenta una sola ra primitiva, 2. z Demostracin. Si se toma una ra primitiva cualquiera como base, los o z ndices de todas las ra ces primitivas sern nmeros primos a p 1 y a la vez menores que a u l. Pero la suma de estos nmeros, i.e., el e u ndice del producto de todas las ra ces primitivas, es 0 (mod. p 1), de donde el producto 1 (mod. p). En efecto se percibe fcilmente que si k es un nmero primo a p 1, tambin p 1 k ser primo a u e a a p 1, y por lo tanto la suma de los nmeros primos a p 1 se compone de pares u cuya suma es divisible por p 1 (aunque k nunca puede ser igual a p 1 k excepto en el caso p 1 = 2, o sea p = 3, el cual excluimos; pues es claro, en todos los casos restantes que p1 no es primo a p 1). 2 81. La suma de todas las ra primitivas es o bien 0 (cuando p 1 es divisible ces por algn cuadrado), o bien 1 (mod. p) (cuando p1 es un producto de nmeros u u primos diferentes; si el nmero de ellos es par, se toma el signo positivo, pero si es u impar, se toma el negativo.) Ejemplo. 1o . Para p = 13, se tienen las ra ces primitivas 2, 6, 7, 11, cuya suma 26 0 (mod. 13). ces primitivas son 2, 6, 7, 8, cuya suma 23 +1 2o . Para p = 11, las ra (mod. 11). ces primitivas son 3, 11, 12, 13, 17, 21, 22, 24 cuya 3o . Para p = 31, las ra suma 123 1 (mod. 31).

VARIOS TEOREMAS SOBRE PERIODOS Y RAICES PRIMITIVAS.

63

a Ahora digo que si el exponente es = 1, la suma A + A0 + A + etc. ser 1 (mod. p), pero si es > 1, esta suma ser 0, y de manera similar para los restantes a , , etc. Tan pronto como esto sea demostrado, la verdad de nuestro teorema ser a maniesta. De hecho, cuando p 1 es divisible por algn cuadrado, alguno de los u exponentes , , , etc. superar a la unidad, de donde alguno de los factores cuyo a producto es congruente a la suma de todas las ra primitivas ser 0, y por eso ces a tambin lo ser el producto mismo. Pero cuando p 1 no puede dividirse por ningn e a u cuadrado, todos los exponentes , , , etc. sern = 1, de donde la suma de todas a las ra primitivas ser congruente al producto de tantos factores, cada uno de los ces a cuales es 1, como cantidad de nmeros a, b, c, etc. se tenga. Por eso la suma u ser 1, segn que el nmero de stos sea par o impar. Ello se demuestra como a u u e sigue. u 1o . Cuando = 1 y A es un nmero perteneciente al exponente a, los restantes nmeros que pertenecen a este exponente sern A2 , A3 , . . . Aa1 . Pero u a 1 + A + A2 + A3 + . . . + Aa1
*) Claramente determ nense los nmeros a, b, c, etc. de manera que a 1 (mod. a ) y u 0 (mod. b c etc.); b 1 (mod. b ) y 0 (mod. a c etc.) etc. (vase art. 32), de donde ser e a a + b + c + etc. 1 (mod. p 1), (art. 19). Ahora, si cualquier ra primitiva r se representa por z el producto ABC etc., se tomar A ra , B rb , C rc , etc., luego A pertenecer al exponente a a a , B al exponente b , etc.; el producto de todos los nmeros A, B, C, etc., ser r (mod. p). u a Finalmente se ve con facilidad que A, B, C, etc., no pueden determinarse de ninguna otra manera.

Demostracin. Arriba hemos demostrado (art. 55, II), que si p 1 es = a b c etc. o (donde a, b, c, etc. designan nmeros primos diferentes), y A, B, C, etc. son nmeros u u , b , c , etc., respectivamente, cualesquiera pertenecientes a los exponentes a entonces todos los productos ABC etc. representarn ra a ces primitivas. Tambin e puede demostrarse fcilmente que cualquier ra primitiva puede representarse por a z tal tipo de producto, y de hecho de manera unica*). De esto sigue que estos productos pueden tomarse en lugar de las ra ces primitivas mismas. Pero, puesto que en estos productos conviene combinar todos los valores de A con todos los de B, etc., la suma de todos estos productos es un producto de la suma de todos los valores de A, multiplicada por la suma de todos los valores de B, multiplicada por la suma de todos los valores de C, etc., como es conocido de la teor de combinaciones. Dentense todos los valores de A; B etc., por a o 0 , A, etc.; B, B 0 , B, etc. etc., entonces la suma de todas las ra ces primitivas A, A ser: a (A + A0 + etc.)(B + B 0 + etc.) etc.

64

RESIDUOS DE LAS POTENCIAS.

es la suma de un per odo completo, de donde 0 (art. 79), por lo cual A + A2 + A3 + . . . + Aa1 1 u 2o . Sin embargo, cuando > 1 y A es un nmero perteneciente al exponente , se tendrn los restantes n meros que pertenecen a este exponente, si de A2 , A3 , a u a 4 , . . . Aa 1 se suprimen Aa , A2a , A3a , etc., (vase art. 53). Entonces la suma de e A ellos ser a 1 + A + A2 + . . . + Aa

(1 + A + A2a + . . . + Aa

i.e., congruente a la diferencia de dos per odos, y por eso 0. Q. E. D. Sobre los mdulos que son potencias de nmeros primos. o u 82. Todo lo que hasta ahora hemos expuesto se ha basado en la suposicin de o que el mdulo es un nmero primo. Nos queda considerar el caso donde se toma o u un nmero compuesto como mdulo. Pero como aqu ni se presentan propiedades u o tan elegantes como en el caso anterior, ni es necesario buscar articios sutiles para stas, sino ms bien casi todo puede extraerse por medio de una aplicacin de los e a o principios anteriores, ser superuo y tedioso discutir todos los detalles aqu As a . que expondremos brevemente cules casos son comunes al caso anterior y cuales son a propios.

83. Las proposiciones de los art culos 4548 ya fueron demostradas en general. Pero la proposicin del art. 49 tiene que cambiarse como sigue: o Si f denota cuntos nmeros son primos a m y, a la vez, menores que m, a u i.e., si f = m (art. 38), entonces el exponente t de la potencia menor de un nmero u dado a primo a m que es congruente a la unidad segn el mdulo m, ser = f , o u o a bien un factor de este nmero. u La demostracin de la proposicin del art o o culo 49 tambin puede valer para e este caso, si se sustituyen p por m, p 1 por f , y los nmeros 1, 2, 3, . . . p 1, u por los nmeros a la vez menores que y primos a m. Dejamos esta tarea al lector. u

MODULOS QUE SON POTENCIAS DE NUMEROS PRIMOS.

65

Adems las restantes demostraciones de las cuales hemos hablado all (art. 50, 51) no a pueden aplicarse a este caso sin mucha ambigedad. Con respecto a las proposiciones u de los art culos 52 y siguientes, nace una gran diferencia entre los mdulos que son o potencias de nmeros primos y los que pueden dividirse por muchos nmeros primos. u u Por lo tanto, consideraremos los mdulos del gnero anterior por separado. o e

84. u a Si el mdulo m = pn , donde p es un nmero primo, ser f = pn1 (p 1) o (art. 38). Ahora, si a este caso se aplican las investigaciones contenidas en los art culos 53 y 54, hechos los cambios necesarios como prescribimos en el artculo anterior, se descubrir que todo lo que se demostr all valdr tambin en este caso, a o a e t 1 0 (mod. pn ) no puede si se demostrara antes que una congruencia de la forma x tener ms que t ra diferentes. Para un mdulo primo dedujimos esta verdad de a ces o las proposiciones ms generales del art. 43, las cuales valen en su mayor generalidad a solamente para mdulos que son nmeros primos, y por eso no debe aplicarse a este o u caso. No obstante demostraremos utilizando un mtodo especial, que esta proposicin e o es verdadera en este caso particular. Luego (seccin VIII) aprenderemos a encontrarla o ms fcilmente. a a

85. Nos proponemos demostrar este teorema: Si e es el mximo comn divisor de los nmeros t y pn1 (p1), la congruencia a u u t 1 (mod. pn ) tendr e races diferentes. a x tal que k no involucre el factor p, de modo que divida al n mero Sea e = kp u t 1, seg n el mdulo p, tendr k ra p 1. Entonces la congruencia x u o a ces diferentes denotadas A, B, C, etc., y cualquier ra de la misma congruencia segn el mdulo z u o n , debe ser congruente, seg n el mdulo p, a alguno de los n meros A, B, C, u o u p t 1 (mod. pn ) tiene p ra etc. Ahora demostraremos que la congruencia x ces congruentes a A, otras tantas a B etc., todas segn el mdulo p. Por esto, el nmero u o u o sea e, como hemos dicho. Para llevar a cabo esta de todas las ra ces ser kp a demostracin,demostraremos primero, que si es una ra congruente a A segn el o z u mdulo p, tambin o e + pn , + 2pn , + 3pn , . . . + (p 1)pn

66

RESIDUOS DE LAS POTENCIAS.

sern ra a ces; segundo, que los nmeros congruentes a A segn el mdulo p diferentes u u o n (donde h denota cualquier de los que estn comprendidos en la forma + hp e ces entero) no pueden ser ra ces. De donde es claro que se tendrn p ra diferentes, a y no ms: lo mismo tendr que valer tambin para las ra que son congruentes a a a e ces cada uno de los nmeros B, C, etc. Tercero, mostraremos como se puede siempre u encontrar una ra congruente a A segn p. z u

86. Teorema. Si, como en el art culo anterior, t es un nmero divisible por p u +1 , tendremos: pero no por p ( + hp )t t 0 (mod. p+ ), y t1 hp t (mod. p++1 )

La ultima parte del teorema no tiene lugar cuando p = 2 y a la vez = 1. La demostracin de este teorema puede hacerse mediante el desarrollo de la o potencia de un binomio, si se muestra que todos los trminos despus del segundo son e e ++1 . Sin embargo, puesto que la consideracin de los denominadores o divisibles por p de los coecientes resulta un poco ambigua, preferimos el siguiente mtodo. e Si suponemos primero > 1 y = 1, puesto que xt y t = (x y)(xt1 + xt2 y + xt3 y 2 + etc. + y t1 ) + hp (mod. p2 )

se tendr a Pero

( + hp )t t = hp (( + hp )t1 + ( + hp )t2 + etc. + t1 )

por lo que cada trmino (+hp )t1 , (+hp )t2 , etc. ser t1 (mod. p2 ), y por e a t1 (mod. p2 ) o sea, ser de la forma tt1 + V p2 , a tanto la suma de todos ser t a )t t ser de la forma donde V denota un nmero cualquiera. Por eso, ( + hp u a t1 hp t + V hp+2 , i.e., t1 hp t (mod. p+2 ) y 0 (mod. p+1 )

Por lo tanto el teorema est demostrado para este caso. a Ahora, si el teorema no fuera vlido para otros valores de , manteniendo a todav > 1, necesariamente se presentar algn l a a u mite abajo del cual el teorema sea vlido, pero ms all falso. Sea el menor valor de para el cual es falso, de a a a donde se ve fcilmente , que si t es divisible por p1 pero no divisible por p , el a

MODULOS QUE SON POTENCIAS DE NUMEROS PRIMOS.

67

teorema ser verdadero hasta aqu pero falso si se sustituye t por tp. Por lo tanto a , tenemos ( + hp )t t + t1 hp t (mod. p+ ) o sea = t + t1 hp t + up+

donde u denota algn nmero entero. Pero ya que el teorema est demostrado para u u a = 1, se tendr: a (t + t1 hp t + up+ )p tp + tp1 hp+1 t + tpt up++1 (mod. p++1 ) y por lo tanto tambin e ( + hp )tp tp + tp1 hp tp (mod. p++1 ) i.e., el teorema tambin es vlido si se sustituye t por tp, i.e., tambin para = e a e contra la hiptesis. De donde es claro que el teorema ser vlido para todos los o a a valores de .

87. Falta el caso donde = 1. Por medio de un mtodo enteramente similar al e que hemos aplicado en el art culo anterior, puede demostrarse sin usar el teorema binomial que ( + hp)t1 t1 + t2 (t 1)hp (mod. p2 )

2 ( + hp)t3 t1 + t2 (t 3)hp etc. de donde su suma (puesto que el nmero de trminos = t) ser u e a tt1 + (t 1)t t2 hp (mod. p2 ) 2

( + hp)t2 t1 + t2 (t 2)hp

Sin embargo, puesto que t es divisible por p, tambin (t1)t ser divisible por e a 2 p en todos los casos, excepto en aqul donde p = 2, sobre el cual ya hemos informado e en el art culo anterior. Pero, en los casos restantes ser (t1)t t2 hp 0 (mod. p2 ), a 2

68

RESIDUOS DE LAS POTENCIAS.

y por tanto tambin la suma tt1 (mod. p2 ) como en el art e culo anterior. El resto de la demostracin procede aqu del mismo modo. o Por lo tanto, concluimos en general, excepto en el unico caso p = 2, que ( + hp )t t (mod. p+ ) o y ( + hp )t no t para cualquier mdulo que sea una potencia de p mayor que + , siempre que h no sea divisible por p, y que p sea la potencia mayor de p que p divide al nmero t. u De aqu se derivan directamente las proposiciones 1 y 2, que nos hab , amos propuesto demostrar: a saber, a e primero, si t 1, ser tambin ( + hpn )t 1 (mod. pn ); 0 es congruente, seg n el mdulo p, a A, y luego u o segundo, si algn nmero u u n , y si satisface la tambin a , pero no congruente a segn el mdulo p e u o t 1 (mod. pn ). Suponemos 0 es = + lp de modo que l no es congruencia x a divisible por p, entonces ser < n , pero entonces ( + lp )t ser congruente a a t seg n el mdulo p+ , pero no seg n el mdulo pn que es una potencia mayor, u o u o 0 no es una ra de la congruencia xt 1. por lo que z 88. Tercero, se debe buscar alguna ra de la congruencia xt 1 (mod. pn ) que z sea congruente a A. Mostraremos aqu solamente cmo puede hacerse esto si ya se o conoce una ra de esta misma congruencia segn el mdulo pn1 . Es claro que esto z u o es suciente, ya que podemos ir del mdulo p para el cual A es una ra al mdulo o z, o 2 y de este a todas las potencias siguientes. p u z As sea una ra de la congruencia xt 1 (mod. pn1 ), bsquese una ra , z n . Pngase sta = + hpn1 , la cual o e de la misma congruencia, segn el mdulo p u o debe tener esta forma segn el art u culo anterior (consideraremos por separado el caso donde = n 1 pues no puede ser mayor que n 1). Por lo tanto, tendremos ( + hpn1 )t t + t1 htpn1 (mod. pn ) ( + hpn1 )t 1 (mod. pn1 )

Pero

As por consiguiente, si h se determina de modo que 1 t + t1 htpn1 , n ); o sea (puesto que por hiptesis 1 t (mod. pn1 ) y t es divisible por (mod. p o

MODULOS QUE SON POTENCIAS DE NUMEROS PRIMOS.

t

69

1 p ) n1 + t1 h pt es divisible por p, tendremos la ra buscada. Que esto se puede z p hacer es claro a partir de la seccin anterior, puesto que hemos supuesto que aqu t o , por lo tanto t1 t es primo no puede dividirse por una potencia de p mayor que p p a p.

Pero si = n 1, i.e., t es divisible por pn1 o sea tambin por una potencia e u mayor de p, cualquier valor de A que satisface a la congruencia xt 1 segn el n . Pues si t = pn1 , ser a mdulo p, tambin satisfar a la misma segn el mdulo p o e a u o t 1 (mod. p), ser tambin A 1 a e t (mod. p 1): de donde, puesto que A = 1 + hp, tendremos At = (1 + hp)pn1 1 (mod. pn ) (mod. p). Ahora sea A (art. 87).

89. Todo lo derivado en el art culo 57 y siguientes con la ayuda del teorema que t 1 no puede tener ms que t ra establece que la congruencia x a ces diferentes, tambin vale para un mdulo que es una potencia de un nmero primo. Si se les e o u llama races primitivas a los nmeros que pertenecen al exponente pn1 (p 1), es u decir, en cuyos per odos aparecen todos los nmeros no divisibles por p, entonces aqu u tambin habr ra primitivas. Todo lo que antes presentamos sobre los e a ces ndices y t 1, tambin puede aplicarse a este e su aplicacin a la resolucin de la congruencia x o o caso. Puesto que esto no ha presentado ninguna dicultad, ser superuo repetir a u todo aqu Adems hemos mostrado cmo las ra de la congruencia xt 1, segn . a o ces n , pueden derivarse de las ra ces de la misma congruencia segn el mdulo u o el mdulo p o p. Pero todav hay que agregar algo al caso donde una potencia del nmero 2 es a u mdulo, puesto que fue exclu anteriormente. o do

Mdulos que son potencias de 2. o 90. Si se toma alguna potencia del nmero 2, mayor que la segunda, como mdulo, u o n , la potencia 2n2 de cualquier nmero impar es congruente a la u por ejemplo 2 unidad. De hecho, cualquier nmero impar o est comprendido en la forma 1 + 4h o u a bien en 1 + 4h: de donde la proposicin sigue directamente (teorema art. 86). o Por ejemplo 38 = 6561 1 (mod. 32).

70

RESIDUOS DE LAS POTENCIAS.

Puesto que el exponente al cual pertenece cualquier nmero impar, segn el u u n , debe ser divisor de 2n2 , pertenecer a alguno de los n meros 1, 2, 4, 8, a u mdulo 2 o n2 , entonces es fcil juzgar a cul de ellos pertenece. Si el n mero propuesto a a u ...2 = 4h 1, y la mayor potencia de 2 que divide a h es = m (que tambin puede ser e = 0, cuando h es impar); entonces el exponente al cual pertenece el nmero propuesto u nm2 si n > m + 2. Pero, si n = 0 o < m + 2, el nmero propuesto es u ser = 2 a 1 y pertenecer o al exponente 1 o al exponente 2. Es claro que un nmero de la a u m+2 k) (la cual equivale a 4h 1) elevado a la potencia 2nm2 , ser a forma 1 + (2 n , pero incongruente si es elevado a una congruente a la unidad segn el mdulo 2 u o potencia inferior del nmero 2, como se deduce del art. 86 con facilidad. Por lo tanto, u cualquier nmero de la forma 8k + 3 o 8k + 5 pertenecer al exponente 2n2 . u a

91. Se sigue de aqu que no se presentan races primitivas en el sentido aceptado antes por nosotros para esta expresin. Esto es, no hay nmeros cuyos per o u odos comprenden todos los nmeros menores que el mdulo y primos a l. Sin embargo, u o e se percibe fcilmente que aqu existe una analog De hecho, se encuentra que una a a. potencia impar de un nmero de la forma 8k + 3 siempre tiene la forma 8k + 3; u mientras que una potencia par siempre es de la forma 8k + 1. Por tanto, ninguna potencia puede ser de la forma 8k + 5 u 8k + 7. Puesto que el per odo de un nmero u n2 trminos diferentes, cada uno de los cuales es o de e de la forma 8k + 3 consta de 2 la forma 8k +3 o de la forma 8k +1, y como no se dan ms que 2n2 nmeros menores a u que el mdulo, evidentemente cada nmero de la forma 8k + 1 u 8k + 3 es congruente, o u n , a alguna potencia de un nmero cualquiera de la forma 8k + 3. u segn el mdulo 2 u o De modo similar puede demostrarse que el per odo de un nmero de la forma 8k + 5 u consta de todos los nmeros de la forma 8k + 1 y 8k + 5. Si, por lo tanto, se toma u como base un nmero de la forma 8k + 5, se obtendrn u a ndices reales de todos los nmeros de la forma 8k +1 y 8k +5 tomados positivamente y de todos los de la forma u 8k + 3 y 8k + 7 tomados negativamente. Aqu se consideran equivalentes dos ndices n2 . De este modo, se debe interpretar nuestra Tabla I donde congruentes segn 2 u siempre tomamos el nmero 5 como base para los mdulos 16, 32 y 64 (puesto que u o para el mdulo 8 ninguna tabla es necesaria). Por ejemplo, al nmero 19, que es de o u la forma 8n + 3, y por lo tanto est tomado negativamente, le corresponde el a ndice 7 7 19 (mod. 64). Pero al tomar nmeros de las formas u para el mdulo 64, esto es 5 o 8n+1, 8n+5 negativamente, y los nmeros de las formas 8n+3, 8n+7 positivamente, u

MODULOS COMPUESTOS DE VARIOS PRIMOS.

71

ciertos ndices tendrn que considerarse imaginarios. Con la introduccin de esto, el a o clculo de a ndices puede reducirse a un algoritmo bastante simple. Pero, puesto que, si deseamos exponer esto con todo rigor, nos llevar mucho tiempo, reservamos a este trabajo para otra ocasin cuando quizs intentemos profundizar la teor de las o a a cantidades imaginarias, la cual, a nuestro juicio, nadie ha reducido a nociones claras. Los expertos pueden encontrar este algoritmo con facilidad; los menos hbiles, sin a embargo, pueden usar esta tabla si han comprendido los principios presentados arriba, de la misma manera como quienes no saben nada sobre las investigaciones modernas sobre logaritmos imaginarios an usan logaritmos. u

Mdulos compuestos de varios primos. o 92. Segn un mdulo compuesto de varios primos, casi todo lo que pertenece a u o los residuos de las potencias puede deducirse de la teor general de las congruencias. a Pero, puesto que despus ensearemos en detalle a reducir cualquier congruencia, e n segn un mdulo compuesto de varios primos, a congruencias, de las cuales el mdulo u o o es o primo o una potencia de un primo, no nos detendremos ms en esto. Solamente a observamos que la bell sima propiedad que vale para los otros mdulos, a saber o que siempre existen nmeros cuyo per u odo comprende todos los nmeros primos al u mdulo, aqu no vale, excepto en un unico caso, cuando el mdulo es el doble de o o un nmero primo, o de una potencia de un nmero primo. De hecho si el mdulo u u o a B b C c etc., donde A, B, C, etc. denotan n meros primos u m se reduce a la forma A a1 (A1) por , B b1 (B 1) por , etc., y luego z diferentes, y si adems se denota A a es un nmero primo a m; ser z 1 (mod. Aa ), z 1 (mod. B b ), etc. Por tanto, u a si es el m nimo comn mltiplo de los nmeros , , , etc., ser z 1 segn u u u a u a , B b , etc., de donde tambin seg n m, que es igual al producto e u todos los mdulos A o de aqullos. Pero, excepto el caso donde m es el doble de un nmero primo o de una e u potencia de un nmero primo, el m u nimo comn mltiplo de los nmeros , , , u u u etc. es menor que su producto (puesto que los nmeros , , , etc. no pueden ser u primos entre s sino que tienen el divisor comn 2). Por tanto, ningn per , u u odo puede comprender tantos trminos como nmeros menores y primos al mdulo, puesto que e u o el nmero de stos es igual al producto de , , , etc. As por ejemplo, para u e , m = 1001 la potencia 60 de cualquier nmero primo a m es congruente a la unidad, u pues 60 es el m nimo comn mltiplo de 6, 10 y 12. El caso donde el mdulo es el u u o doble de un nmero primo, o el doble de una potencia de un primo es totalmente u

72

RESIDUOS DE LAS POTENCIAS.

anlogo al caso donde es primo o una potencia de un primo. a

93. Ya se ha hecho mencin de los escritos donde otros gemetras han hablado del o o argumento tratado en esta seccin. Para los que desean otros detalles ms amplios, o a mencionamos en particular los siguientes comentarios del ilustre Euler que, por su perspicacia distinguen a este hombre de los dems. a Theoremata circa residua ex divisione potestatum relicta, Comm. nov. Petr., VII p. 49 y siguientes. Demostrationes circa residua ex divisione potestatum per numeros primos resultantia, ibid., XVIII p. 85 y siguientes. Tambin puede agregarse Opusculorum analyt. 1, disertaciones 5 y 8. e