25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

11.1. Convergencia de la función dseta 263<br />

11.1 Convergencia de la función dseta<br />

Definición 11.1 Sea K un cuerpo numérico. Se llama función dseta de Dedekind<br />

de K a la función<br />

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

N(a) s ,<br />

a<br />

donde a recorre todos los ideales no nulos de K.<br />

Observar que la función dseta de Q es precisamente la función dseta de<br />

Riemann.<br />

Nuestro primer problema es demostrar que esta serie converge para s>1.<br />

Si llamamos h al número de clases de K podemos descomponerla en suma de h<br />

series como sigue:<br />

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

N(a) s ,<br />

C a∈C<br />

donde C recorre las clases de similitud de ideales de K.<br />

Para probar la convergencia de la serie completa es suficiente probar la de<br />

las series<br />

ζ C (s) = ∑ a∈C<br />

1<br />

N(a) s .<br />

En primer lugar las reescribimos para que el conjunto de índices sea el de<br />

los números naturales, como es habitual. Para ello llamamos f C (n) alnúmero<br />

de ideales de C de norma n, con lo que<br />

ζ C (s) =<br />

∞∑<br />

n=1<br />

f C (n)<br />

n s .<br />

La convergencia la obtendremos a partir de una estimación de la sucesión<br />

de coeficientes. En realidad estimaremos la función j C (r) que da el número de<br />

ideales de C de norma menor o igual que r.<br />

Fijamos un ideal b perteneciente a la clase inversa C −1 en el grupo de clases.<br />

Entonces para cada ideal a ∈ C el producto ab está en la clase principal, es decir,<br />

es un ideal principal ab =(α). La aplicación que a cada ideal a ∈ C le asigna el<br />

ideal ab es una biyección entre los ideales de C y los ideales principales (α) de<br />

K divisibles entre b. Además N(a) N(b) =| N(α)|, luego j C (r) eselnúmero de<br />

ideales principales de K divisibles entre b y de norma menor o igual que r N(b).<br />

En lugar de contar ideales principales contaremos enteros α ∈ b tales que<br />

| N(α)| ≤ r N(b), pero para no contar varias veces—infinitas, de hecho— el<br />

mismo ideal, hemos de considerar sólo un representante de cada clase de equivalencia<br />

respecto a la asociación.<br />

El proceso de selección de los representantes lo llevaremos a cabo con la<br />

ayuda de los métodos geométricos desarrollados en el capítulo IV. Conservamos

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

Saved successfully!

Ooh no, something went wrong!