25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

274 Capítulo 11. La función dseta de Dedekind<br />

hechos más simples igualmente importantes y que dan idea del papel que juega<br />

la fórmula de Euler generalizada en los problemas que nos ocupan.<br />

∑<br />

Por ejemplo, Gauss utilizó lafórmula de Euler para probar que la serie<br />

1<br />

p<br />

es divergente, donde p recorre los números primos, lo que no sólo implica<br />

la existencia de infinitos primos, sino que, en cierto sentido, los primos son<br />

relativamente abundantes entre los números naturales. El argumento de Gauss<br />

se generaliza sin dificultad a cuerpos numéricos arbitrarios. Mas aún, permite<br />

probar que existen infinitos primos de norma prima.<br />

Teorema 11.10 Todo cuerpo numérico tiene infinitos primos de norma prima.<br />

De hecho, si p 1 recorre los primos de norma prima de un cuerpo numérico,<br />

entonces<br />

∑ 1<br />

p 1<br />

N(p 1 ) =+∞.<br />

Demostración: Si en la fórmula del teorema anterior tomamos logaritmos<br />

nos queda<br />

log ζ K (s) =− ∑ (<br />

log 1 − 1 )<br />

N(p) s ,<br />

p<br />

y usando el desarrollo de Taylor<br />

log(1 + x) =<br />

∞∑ (−1) m<br />

m=1<br />

m xm , para |x| < 1,<br />

obtenemos<br />

log ζ K (s) = ∑ ∞∑ 1<br />

m N(p) ms (11.10)<br />

p m=1<br />

(notar que todas las series convergen absolutamente). Sea<br />

P (s) = ∑ 1<br />

p 1<br />

N(p 1 ) s ,<br />

donde p 1 recorre los primos de norma prima de K, y sea G(s) la suma de los<br />

términos restantes de (11.10), es decir,<br />

G(s) = ∑ p 1<br />

∞ ∑<br />

m=2<br />

1<br />

m N(p 1 ) ms + ∑ q<br />

∞∑<br />

m=1<br />

1<br />

m N(q) ms ,<br />

donde q recorre los primos tales que N(q) =q f con f>1. Para cada uno de<br />

estos primos<br />

∞∑ 1<br />

m N(q) ms < ∑ ∞<br />

1<br />

q 2ms = 1<br />

q 2s − 1 ≤ 2<br />

q 2s .<br />

m=1<br />

m=1<br />

Por otra parte<br />

∞∑<br />

m=2<br />

∞<br />

1<br />

m N(p 1 ) ms < ∑<br />

m=2<br />

1<br />

p ms = 1<br />

p s (p s − 1) ≤ 2<br />

p 2s .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!