Scribd Logo
Upload

Welcome to Scribd!

  • Primos Regulares2

    Uploaded by

    Anonymous LHerGBD
    12 views10 pages
    Primos

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Primos

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    12 views10 pages

    Primos Regulares2

    Uploaded by

    Anonymous LHerGBD
    Primos

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 10
    SOBRE EL, INDICE DE IRREGULARIDAD DE LOS NUMEROS PRIMOS por Prar BAER (en Regensburg) Inrropucciéx Un primo p > 3 es llamado regular si y sélo si no divide al numera- dor de ningin nimero de Bernoulli Bz, siendo 1 < m < (6 — 3)/2. La sencillez de tales primos estriba en que Kummer probé que para los exponentes primos regulares 1a ecuacién de Fermat xf + y= 2 carece de soluciones enteras no triviales. En general, dado un primo p, un par (p, 2m) se lama irregular si p divide al numerador de B,. El mimero 6 de pares irregulares que un primo presenta en el intervalo 1 < m < (p —3)/2 se Mama el indice de irregularidad de p. Sea {yee una raiz primitiva p**!-ésima de Ia unidad. Desig- nemos por fh, el méimero de clases del cuerpo ciclotémico Q(f,-1) y por p* la maxima potencia de que divide a h,. Una conocida férmula debida a Iwasawa afirma que, para todo n stficientemente grande, (0) = up" + an en donde > 0, 2 > Oy », enteros independientes de m, som los Ik mados invariantes ciclotémicos de p. Se verifica que si y sélo si p es regular. Los invariantes ciclotémicos han sido cal- culados para todos los primos p < 105 (véase [4) y [8]), obteniéndose en todos los casos que ¢ = 0 y 4= » = 6. Un reciente teorema de B, Ferrero y L.. C. Washington prueba que # = 0 para todo primo p. En esta nota nos ocupamos de la igualdad 2= 4. Proveniente de 1a descomposicién fi, = hz fig, en donde hg es ef niimero de clases 2 Pilar Bayer del cuerpo real maximal de Q(Cw-1) y hiv es un entero, el invariante 2 descompone en la forma A= A* ++ A~. Un conocido eriterio dado por Mestinkyla ((6], (7]) afirma que la igualdad 2 = 6 tiene lugar si y solo si 2* = Oy para cada par irregular (, 2m), 1 < m < (p —3)/2, se cumple que mod p2, Es sabido (congruencia de Kummer) que tales cocientes son siem- pre congruentes médulo p. Ofrecemos aqui una nueva demostracién del criterio anterior, basada en la formula explicita de las funciones zeta p-Adicas hallada por Washington [9] 1 ‘UNCIONES ZETA p-ADICAS Ta funcién zeta de Riemann toma sobre los enteros negatives valores _racionales: ca) =——* (men), en donde B, designa el n-ésimo ntimero de Bernoulli, Como es sabido, tales mimeros se definen a partir del desarrollo eat ¥ son nulos, para n > 1, si_y s6lo si m es impar. Kubota y Leopolit probaron en 1964 la existencia de fumciones continuas p-Adieas que interpolaban los anteriores valores. Tal in- terpolacién, sin embargo, no puede hacerse por medio de una nica funcién p-Adica, sino que requiere una particién de los enteros m en clases de restos médulo p — 1 En lo sucesivo supondremos siempre que p es distinto de dos. Sea Z,* el grupo multipticativo de las unidades p-Adicas, Uy = 1+ + PZ, el subgrupo de las unidades principales y V,_1 © Z,* el grupo ciclico de orden p — 1 formado por las raices (p — 1)-ésimas de la unidad. Se tiene que Z,* = V,.1 X U, y de acuerdo con esta Sobre el indice de irregularidad de los niimeros primos 13 descomposicién, cada elemento a¢Z,* se escribe de manera tinica en la forma, a= ofa) (ay, siendo (a) e Vp, 1, =i mod (p — 1), satisface ta igualdad p(w, Ln) = (1 = pr) S(t =H) La funcién ¢,(o', ) es idénticamente mula si y s6lo si i es impar. Claramente para todo entero # > 1 Up (Colo 1 — m)) = vp(E(1 — nm), ‘en donde por vp designamos la valoracién de Q, asociada a p. Si Bay = PrylQ2q €S la representacién racional de un mimero de Bernoulli en su forma irreducible, por el teorema de von Staudt- Clausen ({1], Cap. V) sabemos que un mimero primo p divide a Q2u si y solo si (p — 1)|2m. En consecuencia, si 1 0, #30,» (resp. A” 30, w~ 30, 9°), tales que, para todo m sufi- cientemente grande, Sobre el indice de irregularidad de los nimeros primos 15 e(n) = up" + anv, (t) =e tient. Ademis tales enteros son ecalculabless a partir de las funciones de Kubota y Leopoldt. Concretamente: wasn ay a par) Con ello w Washington, Claramente 2 > 2°. Definamos 2+ por la igualdad 2 y sea = 0 (y ello implica = 0) segiin el teorema de Ferrero- = te AM=ZaT , avez, Ia serie (*). Deducimos ahora que lag" si y sélo si el polinomio de WeierstraB g;(T) es distinto de 1. Es decir pla <= > 1. Sea 2 Le» (f,0) es un par ircegular, En consecuencia dei 2, siendo 6 el indice de irregularidad de p. Consideremos ahora el in- dice 4,1. Por ef teorema de von Staudt-Clausen sabemos que %(Bp — 1; ello implica que la serie fy ,(7) debe ser un ele- mento unitario de Z,((TT]; es decir 2.1 = 0. Obtenemos ast ta si- guiente 16 Pilar Bayer Proposicién. Dado un primo p (> 3), la igualdad 2 = 6 se verifica si y sélo si At = Oy 4, =I para todo par irregular (f, i), 2 <4 < 0, con lo cual 2* = 0 para este valor de p. La conjetura de Vandiver es cierta para todo primo p< 108 3. Estupto DE 1a conDIcION 4 La congruencia 10) = Bare TH u,(T) mod p nos dice que el valor de 4, puede reconocerse como el indice del pri- mero de los coeficientes de la serie f(T) que no es miltiplo de p. Es decir, se tiene que a} = 0 mod p, parad 3 y que i>2 De la igualdad £,(0%, s) = $ aj" (¢ — 1)! se obtiene F'p(@', 0) = a" log g en donde ' indica 1a derivada respecto a s y log designa la funcién logaritmo p-ddico. Por tanto ay! fe 0 mod p == %4(¢'p(w, 0)) = 1. Sobre el indice de irregularidad de los nfimeros primos 7 Estudiaremos ahora esta ultima condicién a partir de la formula de Washington. Sea 12 A re T(s): =~ ¥ w'(a) cay" H (- 0) PN B. w= FZ Eo corm S-w' \E) wa Debemos pues calcular =¥4(o!, 0) = Tio) + (0) médulo #2. Puesto que (ay = 1 mod 3, para todo ae Z,*, se tiene que a = «(a) mod 3, Por tanto 70) =+ ¥ wi) 1 son enteros arbitrarios Salo): Es sabido que las sumas de potencias de mimeros naturales estén ligadas a los néimeros de Bernoulli. Asf para k > 1 1b (ett Sym) = MiB, td a7 Al 3)" y (eéase (1], Ch. V). Sea 0 <7 < fumentero; haciendo = p2(i — 7) +r ym = # ena formula anterior, se obtiene la eongruencia Spi -nor ® P Byaynyan M08 f3. Con ello T(0) pas —ny 41 mod p2, Escribamos ahora T"(s) = Ty (s) + T2(s), en donde TAs) 8 Pilar Bayer 6): =—-1 $ ot r+ togcay & (— y(t TS LY TH) 73,29 Orrosce 3 (FA) B, ae p s25G—-N la (cay = 12 2 ‘Teniendo en cuenta que log 0, definimos THup— 1)" entonces (véase por ejemplo (5]) Ay = 2 digi + Anca 0 mod f2, Sustituyendo se obtiene que = 2Ep(0!, 0) 22 3Agu 341-3 — 8 Ap ayaa + 5 Apu nein 3 — Apu n sist Apu-asin2 = (Pp +1) (Ai — Ao) mod 72. Por tanto, si (f, i) es un par irregular BoB, 2E plo! 0) oy SE — estat mod pt y 4 (ad, 0)) = 1 we Bh Bee pls (04 0) = 1 om ae TESST mo 2 Con ello se obtiene el siguiente Teorema. Sea (p, i) un par inregular (2

    You might also like