CAPITULO SEXTO Raices primitivas e indices §1.Teoremas a, Si (a, m) = 1, existen enteros positi- generales vos y con la condicién a? = 1 (méd. m), por ejemplo (segtin el teorema de Euler), y = (m). El menor de ellos se llama exponente, al cual pertenece el niimeroa res- pecto del médulo m. b. Si a pertenece al exponente 8 respecto del médulo m, los nuimeros | = a°, a’, ..., a7! no son congruentes entre si respecto del médulo m. En efecto, si fuese a! =a a" (méd. m),0 <& < 1 < 6 resul- taria que a'-" am | (méd. m), siendo 0< 1 — k <6, lo cual contradice a la definici6n de 8. c. Sia pertenece al exponente 5 respecto del médulo m, entonces av = av’ (méd. m) cuando, y sélo cuando, y = y’ (méd. $); en particular (si y’ = 0), a¥ == 1(méd. m) cuando, y sdlo cuando, y es divisible por 5. En efecto, sean r y r; los restos no negativos minimos de los ndimeros y y y’ respecto del médulo 8; entonces, para ciertos enteros q y q:, Se tiene y = 69 +r, y = 8g, + ry. De aqui, en virtud de que a = 1 (méd. m), resulta que aY = (a*)' a" am a" (méd. m), av’ = (a)! g"t maa"! (méd. m). Por lo tanto, a? = a% (méd. m) cuando, y sédlo cuando, a’ = = a" (méd. m), es decir, (b), cuando r = 74.§ 2. RAICES PRIM RESPECTO DE LOS MODULOS p* ¥ 2p% 109 d. Como a?(™ = | (méd. m), de c(y’ = 0) se deduce que @ (m) es divisible por 6. Por consiguiente, los exponentes a los cuales pertenecen los nuimeros respecto del médulo m, son divi- sores de @ (m). El mayor entre estos divisores es el mismo numero 9 (#7). Los niimeros que pertenecen al exponente @ (m) (si tales existen) se llaman raices primitivas respecto del mé- dulo m, § 2. Raices a. Sea p un nimero primo impar y a > I. Primitioas Demostremos la existencia de raices pri- respecto de mitivas respecto de los médulos p* y 2p*. toe modelon ps b. Si x pertenece al exponente ab respecto yee del médulo m, entonces x" pertenece al exponente 6. En efecto, supongamos que x” pertenece al exponente 6. Entonces (x*®) = 1 (mdd. m), de donde x° = | (méd. m); por lo tanto (c, § 1), a8 es divisible por ab, es decir, 6 es divisible por 6. Por otra parte, x = I (méd. m), de donde (x2)’ = 1 (méd. m); por consiguiente (c, § 1), 6 es divisible por 5. Por lo tanto, 6 = b. ce, Si x pertenece al exponente ae y pertenece al exponente b respecto del médulo m, y (a, 6) = 1, entonces xy pertenece al exponente ab. En efecto, supongamos que xy pertenece al exponente 6. Enton- ces (xy)? = 1 (mod. m). De aqui resulta que x = = | (méd. m) y (c, § 1) = 1 (mdd. m). Por lo tanto (c, § 1), 65 es divisible por a, y como (6, a) = I, 6 es divisi- ble por a. Del mismo modo hallamos que & es divisible por 6. El nimero 6, siendo divisible por a y por b, y teniendo en cuenta que (a, b) = I, es también divisible por ab. Por otra parte, de (xy)* = 1 (mdd. m) se deduce (c, § 1) que ab es divisible por 6. Por lo tanto, 6 = ab. d. Existen raices primitivas respecto del méddulo p. En efecto, sean 6, 82,..., 8, qd)HO CAPITULO VI RAICES PRIMISTIVAS E INDICES todos las exponentes distintos a que pertenecen los nitmeros 1, 2, .. ., (p—1) respecto del médulo p. Supongamos que t es el minimo comin miltiplo de estos exponentes y que t = = G2, gg? .. .. gn es su descomposicion candnica. Cada factor qs de esta descomposicién divide al menos a uno de [fos ntime- ros 6, de la sucesion (1), el cual, por consiguiente, puede expresarse en la forma; 6, = age. Sea &; uno de los niimeros de la sucesion 1, 2,..., p — 1, pertenecientes al exponente 5; . Segtin b, el nimero n, = &* pertenece al exponente @", y segine, el productog= nz... tm pertenece al expo- nente g# gz... ge =. Pero, como todos los niimeros (1) dividen a t, todos los niimeros I, 2, ..,, p — I sonsoluciones (c,§ 1) dela congruen- cia x* = | (méd. p); por esta razén, en virtud de c, § 4, cap. IV, se tiene, p—1 <1. Pero (d, § 1) 1 es un divisor del nimero p — |. Por lo tanto, t= p — 1 y g es una raiz primitiva. e. Sea g una raiz primitiva respecto del médulo p. Se puede sefialar un nitmera ¢ de modo que el nimero u que se determina por la igualdad (g + pf)’-' = 1 + pu no sea divisible por p. Ei nuimero correspondiente g + pt es una raiz primitiva respecto del médulo p> para cualquier a > \. En efecto, se tiene B= 1+ pTo (e+ piyPt=1+p(To—g? t+ pT)=1+pu, (2) donde u, simultaneamente con f, recorre el sistema completo de restos respecto del médulo p. Por lo tanto, se puede indi- car un ndmero f de modo que a no sea divisible por p. Para tal valor #, de (2) se deduce también que (g + ptyPP? = (1+ pu)? = 1+ pur, (B+ pyr = (1 + pg)? = 1 + pits, 3) donde uz, us, .. . no son divisibles por p.