Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EL SUEO DE JUVENTUD DE
KRONECKER
Comit editorial
P. Bayer, E. Nart, J. Quer
EL SUEO DE JUVENTUD DE
KRONECKER
Edicin a cargo de
Pilar Bayer
Con contribuciones de
P. Bayer
J. Gurdia A. Travesa
ii
Indice General
1 Formas cuadr
aticas y cuerpos cuadr
aticos
P. Bayer
1.1
1.2
1.3
1.4
1.5
1.1.1
Finitud del n
umero de clases . . . . . . . . . .
1.1.2
12
18
1.2.1
20
1.2.2
27
29
1.3.1
34
1.3.2
35
. . . . . . . . .
36
1.4.1
36
1.4.2
Caracteres de Dirichlet . . . . . . . . . . . . . .
40
1.4.3
Smbolo de Kronecker . . . . . . . . . . . . . .
45
1.4.4
Calculo del n
umero de representaciones . . . .
51
61
1.5.1
61
Funciones L . . . . . . . . . . . . . . . . . . . .
iii
INDICE GENERAL
iv
1.5.2
Calculo de L(1, D ) . . . . . . . . . . . . . . .
66
1.5.3
73
2 Cuerpos de n
umeros
A. Travesa
2.1
2.2
2.3
2.4
77
77
2.1.1
Extensiones enteras . . . . . . . . . . . . . . .
77
2.1.2
Enteros de un cuerpo de n
umeros . . . . . . . .
79
2.1.3
Anillos de Dedekind . . . . . . . . . . . . . . .
85
2.1.4
87
2.1.5
Factorialidad y principalidad . . . . . . . . . .
92
Ramificacion . . . . . . . . . . . . . . . . . . . . . . .
94
2.2.1
94
2.2.2
95
2.2.3
2.2.4
2.2.5
2.2.6
Redes de Rn
2.3.2
2.3.3
. . . . . . . . . . . . . . . . . . . 125
2.4.2
2.4.3
INDICE GENERAL
2.4.4
2.5
2.5.2
3 Funciones modulares
P. Bayer, A. Travesa
3.1
3.2
3.3
163
La funcion j . . . . . . . . . . . . . . . . . . . . . . . . 163
3.1.1
3.1.2
3.1.3
3.1.4
La funcion j
. . . . . . . . . . . . . . . . . . . 171
3.2.2
3.2.3
3.2.4
Ordenes
e ideales en los cuerpos cuadraticos
imaginarios . . . . . . . . . . . . . . . . . . . . 185
3.3.2
3.3.3
4 Resultados de trascendencia
P. Bayer
4.1
203
L-Funciones . . . . . . . . . . . . . . . . . . . . 203
INDICE GENERAL
vi
4.1.2
4.2
4.3
4.3.2
4.4
El problema del n
umero de clases 1 . . . . . . . . . . . 213
4.5
4.6
4.5.1
4.5.2
4.5.3
5 Cuerpos de clases
P. Bayer
5.1
223
5.1.2
5.2
5.3
5.3.2
5.4
5.5
5.5.2
INDICE GENERAL
5.6
El sue
no de junventud de Kronecker . . . . . . . . . . 245
6 Ejercicios
`rdia
P. Bayer, J. Gua
6.1
6.2
6.3
6.1.1
6.1.2
6.1.3
Cuerpos de n
umeros con PARI . . . . . . . . . . . . . 255
6.2.1
6.2.2
6.2.3
7 Soluciones
`rdia
P. Bayer, J. Gua
7.2
7.3
249
6.3.1
7.1
vii
265
Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . 265
7.1.1
7.1.2
7.1.3
Cuerpos de n
umeros con PARI . . . . . . . . . . . . . 272
7.2.1
7.2.2
7.2.3
viii
INDICE GENERAL
Introducci
on
Introduccion
Pilar Bayer
Barcelona, 3 de agosto de 2005
Captulo 1
Formas cuadr
aticas y
cuerpos cuadr
aticos
P. Bayer
1.1
Formas cuadr
aticas binarias
a, b, c Z[X, Y ].
2a b
Una tal forma sera denotada por f = (a, b, c). Si A(f ) :=
y
b 2c
1
X
v=
, entonces, f (X, Y ) = v > A(f )v. El determinante de A(f ),
Y
2
cambiado de signo,
2a b
= b2 4ac,
D(f ) =
b 2c
se denomina el discriminante de f .
1.1.1 Definici
on. Diremos que la forma f representa un entero n si
existen enteros (x, y) 6= (0, 0) tales que
f (x, y) = n.
1
b
Q.
2a
Con ello, el polinomio aX 2 + bX + c descompone en Q[X]. Sin restriccion, podemos suponer que mcd(a, b, c) = 1. Entonces el polinomio
aX 2 + bX + c es primitivo y descompone en Z[X]. Con ello, existiran
r, s, u, v Z tales que
i =
aX 2 + bX + c = (rX + s)(uX + v)
y, por tanto, aX 2 +bXY +cY 2 = (rX+sY )(uX+vY ). Recprocamente,
si se tiene
f (X, Y ) = (rX + sY )(uX + vY ) = ruX 2 + (su + rv)XY + svY 2 ,
para r, s, u, v Z, entonces D(f ) = (surv)2 es un cuadrado perfecto
en Z. 2
n. Basta definir
Demostracio
D 2
Y ,
si D 0 (mod 4);
4
1
D
Y 2 , si D 1 (mod 4).
f0 (X, Y ) = X 2 XY +
4
f0 (X, Y ) = X 2
1.1.1
Finitud del n
umero de clases
En lo que sigue se tendran en cuenta los efectos producidos por cambios de base sobre las formas cuadraticas. A tal fin introducimos el
grupo modular
SL(2, Z) :=
: , , , Z, = 1 .
X
Sea v =
y consideremos la forma cuadratica
Y
1 >
v A(f )v.
2
X
SL(2, Z), sea P v =
. Definimos la forma
Dada P =
Y0
g = (a0 , b0 , c0 ) por cambio de base a partir de la forma f :
f (X, Y ) :=
1
1
g(X, Y ) := f (X 0 , Y 0 ) = (P v)> A(f )(P v) = v > (P > A(f )P )v.
2
2
Por tanto, A(g) = P > A(f )P . Un simple calculo proporciona los
coeficientes de la forma g = (a0 , b0 , c0 ):
a0 = a2 + b + c 2 ,
b0 = 2a + b( + ) + 2c,
c0 = a 2 + b + c 2 .
En este caso escribiremos f g. En general, diremos que dos formas
cuadraticas f , g son equivalentes bajo la accion del grupo modular si
existe una matriz P SL(2, Z) tal que A(g) = P > A(f )P .
Esta claro que la relacion anterior es de equivalencia. La proposicion siguiente pone de manifiesto que el discriminante de una forma
cuadratica es un invariante de su clase de equivalencia.
1.1.7 Proposici
on. Sean f y g formas cuadr
aticas binarias.
(i) Si f g, entonces D(f ) = D(g).
(ii) Si f g y m Z, entonces f m si, y s
olo si, g m.
Puesto que formas equivalentes representan los mismos enteros,
deben ser simultaneamente definidas positivas, definidas negativas o
bien indefinidas. Las formulas del cambio de base ponen de manifiesto
que
(a, b, c) (a0 , b0 , c0 ) mcd(a, b, c) = mcd(a0 , b0 , c0 ).
. Se tiene que P SL(2, Z). La matriz P > A(f )P es
la matriz de una forma
Sea P =
f 00 := a0 X 2 + b00 XY + c00 Y 2
1 n
equivalente a f . Sea Q =
. La forma f 0 transformada de f 00
0 1
mediante la matriz Q es
f 0 = a0 (X nY )2 + b00 (X nY )Y + c00 Y 2
= a0 X 2 + (b00 2a0 n)XY + (a0 n2 b00 n + c00 )Y 2 .
La forma f 0 tiene tambien a0 como primer coeficiente. Veamos que
podemos elegir n Z de manera que
|a0 | < b00 2a0 n |a0 |.
Efectuando la division entera, existen q, r Z, u
nicos, tales que:
b00 = 2|a0 |q + r,
Consideremos
|a|
sig(a) =
=
a
0 r < 2|a0 |.
+1
1
si a > 0,
si a < 0.
|a0 |
q = sig(a0 )q.
a0
Entonces,
|a0 | = |a0 | 2|a0 | < r 2|a0 | < 0 < |a0 |,
con lo cual definimos n por la formula
|a0 |(q + 1) = a0 n;
es decir,
n = sig(a0 )(q + 1).
Entonces,
r 2|a0 | = b00 2a0 n.
Por la eleccion de a0 y ya que f 0 c00 , tenemos que
|a0 | |c00 |.
Por tanto, f c00 . Escogido n, bastara tomar c0 = c00 , b0 = b00 2a0 n.
2
De la demostracion del teorema anterior se deduce el siguiente
algoritmo para el calculo de una forma reducida equivalente a una
forma dada:
(a, b, c)
2
(a, b 2na, c nb + n ), |a| < b 2na |a|
|c| |a| ?
SI
.
(a, b, c) es reducida
NO
&
(a, b, c) 7 (c, b, a)
En este u
ltimo caso se reinicia el algoritmo. Observese que las formas
(a, b, c), (c, b, a) son siempre equivalentes:
0 1
1 0
(a, b, c) (c, b, a).
b2 4ac = D.
Se tendra que
|D| = |b2 4ac| |4ac| |b|2 4|a|2 |a|2
= 3|a|2 = 3a2 ;
por tanto,
|D|
,
3
y tendremos un n
umero finito de valores posibles para a y tambien
b2 D
, lo mismo ocurrira con c. 2
para b. Puesto que c =
4a
|a|
( )2 + 2
2,
(2 + 2 ) = [( + )2 2] = ( + )2 + 2 2,
implican que (2 + 2 ) 2 2 + 2 . Por tanto, |2| 2 + 2 .
A partir de |b| a, se deduce que |b||| a||, por tanto,
a|| b a||. Con ello se obtiene que
a a(2 + 2 ) + ba(2 + 2 ) a||
2a|| a|| = a||.
De donde, || = +1, o bien || = 0.
Distinguiremos ahora varios casos.
Caso 1. = +1, = 0. (El caso = 1, = 0 se trata analogamente.)
Entonces,
(a, b, c) (a, b + 2a, ).
Por ser ambas formas reducidas, se tendra que
|b| a, |b + 2a| a.
De donde, b + 2a a, b 2a a, y, al mismo tiempo, b a,
b a.
Si > 0, entonces 2a a b 2a implica que = +1.
Si < 0, entonces 2a a + b 2a implica que = 1.
Si = 0, entonces P = Id.
Por tanto, = 1, |b| = a, con lo cual (a, a, c) (a, a, c).
Caso 2. = 0, = 1. Entonces, (a, b, c) (c, b 2c, ). Como
antes, = 0, = 1.
Si = 0, entonces (a, b, c) (c, b, a); con ello a = c y se obtienen
la equivalencia (a, b, a) (a, b, a).
10
| c| a c,
1.1.12 Definici
on. Un discriminante D se denomina fundamental
cuando satisface las condiciones sig
uientes:
(i) Si D 1 (mod 4), D es libre de cuadrados.
(ii) Si D 0 (mod 4), entonces
(mod 4).
D
D
es libre de cuadrados i
2, 3
4
4
24
23
20
19
16
15
12
11
h(D)
11
12
13
16
17
20
21
24
h(D)
1.1.14 Teorema. (Siegel, 1936) Para todo > 0, existe una constante C() tal que
h(D) C()D (1/2) ,
para todo discriminante fundamental D < 0.
Observemos que el teorema de Siegel implica que el resultado
conjeturado por Gauss es cierto.
12
1.1.2
Clasificaci
on de las soluciones
Dados a, b, c, n Z, f = (a, b, c), se trata de averiguar cuantas soluciones tiene la ecuacion diofantica
f (X, Y ) = n.
Es decir, queremos saber que enteros son representados por f y, en su
caso, cuantas veces. Veremos que las respuestas a ambas preguntas
estan estrechamente relacionadas con el calculo de h(D).
Para contar de manera adecuada el n
umero de representaciones de
un entero por una clase de formas introducimos el grupo de isotropa
de una forma:
SO(f ) := {P SL(2, Z) : f P = f }.
13
1.1.16 Definici
on. Dos representaciones (x, y), (x0 , y 0 ) de un mismo
entero n por f ,
f (x0 , y 0 ) = f (x, y) = n,
se denominan equivalentes si existe una matriz P SO(f ) tal que
(x0 , y 0 ) = P (x, y).
Dada una forma cuadratica binaria f , podemos preguntarnos:
Que n
umeros enteros son representados por f ? Cual es el grupo
de isotropa SO(f )? Cuantas clases de soluciones tiene la ecuacion
f (X, Y ) = n?
En lo sucesivo, escribiremos r(n, f ) para designar el n
umero de
clases de representaciones de n por f . La aplicacion:
r(, f ) : Z
N
n 7 r(n, f )
es una funcion aritmetica.
En general, se denominan funciones aritmeticas las aplicaciones
u : N X,
en donde X es un conjunto arbitrario. A menudo X = N, R, C, etc.
Las funciones aritmeticas son, simplemente, sucesiones. A menudo
no hay formulas cerradas para expresar los valores u(n), pero las hay
para sus funciones promedio. En nuestro caso, veremos que disponemos de formulas para expresar dos tipos de funciones promedio:
N
1 X
r(n, f ),
lim
N N
h(D)
r(n, D) :=
n=1
r(n, fi ).,
i=1
14
t bu
2
(t, u) 7
au
cu
t + bu
2
t1 t2 + Du1 u2 t1 u2 + u1 t2
(t1 , u1 ) (t2 , u2 ) =
,
.
2
2
(iii) Si D < 0, el grupo SO(f ) es finito. M
as precisamente, es
cclico de orden
6 si D = 3,
4 si D = 4,
2 si D < 4.
(iv) Si D > 0, el grupo SO(f ) es infinito. M
as precisamente,
SO(f ) ' Z Z/2Z
1
15
t1 + u 1 D t2 + u 2 D
t1 t2 + u1 u2 D + D(t1 u2 + u1 t2 )
=
,
2
2
4
resultado que es indicativo sobre la procedencia de la ley de composicion de soluciones de la ecuacion de Pell.
Dada una matriz P =
SO(f ), tendremos las identi
dades
a = (a2 + b + c 2 )
= (a + b) + c 2
= (c) + c 2 = c( + ) = c.
Tambien
c( ) = (a 2 + b + c 2 ) c = (a + b) + c( 1)
= (a + c) + b
( ya que = 1)
= (b) + b
= (b + b)
= (b + b)
= b.
Por tanto, existen enteros u, s, que satisfacen mcd (u, s) = 1, s > 0,
y para los cuales
= =
= .
a
c
b
s
Escribamos
= ua
s
s
= uc
( )s = ub.
, ,
a
c
b
son n
umeros enteros. Si t = + denota ahora la traza de P ,
t ub
tendremos que = u b = t u b, con lo cual, =
. A
2
16
t + ub
su vez, = u b = t +u b, con lo cual =
. Y, finalmente,
2
= u c; = a u. Haciendo las substituciones pertinentes,
t ub t + ub
+ u2 a c
1 = =
2
2
t2 u2 b2 + 4u2 a c
t2 u2 (b2 4 a c)
=
=
4
4
t2 u 2 D
=
.
4
Por tanto, vemos que (t, u) es una solucion de la ecuacion de Pell.
Recprocamente, si (t, u) es una solucion de la ecuacion de Pell,
facilmente se comprueba que la matriz
t bu
c u
P := 2
t + b u
au
2
t2 +3u2
Si D = 4, entonces
t2 +4u2
(2, 0)
(1, 1).
(2, 0)
(0, 1).
17
1.1.18 Observaci
on. Si definimos
t+u D
tu D
0
:=
, :=
,
2
2
entonces 0 = 1. La aplicacion
: SO(f ) C
7 =
+
D
+
2
2a
es un monomorfismo de grupos.
1 i 3
Si D = 3, entonces = 1, o bien
, y el grupo de
2
isotropa es isomorfo al grupo 6 de las races sextas de la unidad.
Si D = 4, entonces = 1, o bien i, y el grupo de isotropa
es isomorfo al grupo 4 de las races cuartas de la unidad.
Si D < 4, entonces = 1, y el grupo de isotropa es isomorfo
al grupo 2 de las races segundas de la unidad.
Para D > 0, Im() R . Notemos que
1 0
= 1. Si
0 1
y, a su vez,
' (1) R+
R+ (R, +)
x
se deduce que
Im() '
7 log x,
(
(1) Z
(1).
18
1.2
Aritm
etica de cuerpos cuadr
aticos
Q( d) = { + d : , Q}.
1.2.1 Definici
on. Designamos por O el anillo de enteros de Q( D).
Es decir,
O = {x = + d : x2 tx + n = 0, t, n Z}.
Si x O, entonces,
Tr (x) = x + (x) = 2 =t Z,
N (x) = x (x) = ( + d)( d) = 2 2 d = n Z.
1.2.2 Lema.
Z 1 Z d = Z[ d]
O=
Z 1 Z 1 + d
2
si d = 2, 3 (mod 4),
si d = 1 (mod 4).
a+b d
, a2 b2 d 0 (mod 4).
x=
2
Ahora distinguiremos varios casos:
Caso 1. d 2 (mod 4) y a2 2b2 (mod 4) implican que a, b son
pares, con lo cual , Z.
19
2a0 + b0 + b0 d
a+b d
0
01 + d
=
=a +b
.
2
2
2
2
1.2.3 Proposici
on. Sea {, } una Z-base de O; es decir, O = Z
Z.
(i) El determinante D =
no depende de la base es() ()
cogida.
(ii) Se tiene que
D=
4d
d
si d 2, 3 (mod 4),
si d 1 (mod 4).
d = 2 d.
Si d 2, 3 (mod 4), entonces
1 d
1 1 + d
2 = d.
Si d 1 (mod 4), entonces
1 d
1
2
Puesto que los cambios de base son dados por matrices con coeficientes enteros y con determinante igual a 1, estos valores son invariantes. 2
20
1.2.1
1.2.4 Proposici
on. Para todo ideal (0) 6= a O, el anillo cociente
O/a es finito. Definimos
N (a) = O/a = [O : a].
n.
Demostracio
Caso 1. Supongamos que el ideal a es principal. Existe pues O,
no nulo, tal que a = (). La aplicacion
O O ,
1 1 2
,
D(a) = 0
0
1
en donde, en general,
1.2.6 Proposici
on. Se satisface que
21
d 1 d 2 2
= (d1 d2 )2 D(O) = N (a)2 D,
D(a) =
d1 0 d2
2
2
= ( 0 )2 D = N
(ii) De D(()) = 0 0
Q( D)/Q () D se
00
deduce que N (()) = | N Q(d)/Q ()|.
2
Dados ideales a, b O, es inmediato comprobar que su producto,
( t
)
X
ab :=
ai bi : ai a, bi b, t N ,
i=0
22
X 2 + rX + s = 0,
r :=
0 + 0
,
n
s :=
0 0
;
n
23
0 , 1}.
24
25
() = { : O}
para indicar el ideal fraccionario principal generado por .
Dados elementos , K, escribiremos | si, y solo si, / O;
si, y solo si, () (); si, y solo si, existe un ideal entero a tal que
() = ()a.
Dados a, b K ideales fraccionarios, escribiremos a|b si, y solo
si, existe un ideal entero c tal que b = ac; si, y solo si, b a.
Notemos que si K y a es un ideal fraccionario, entonces
a a|().
26
1.2.15 Observaci
on. Dados ideales a, b, c de O, se tienen que
c|a, c|b c|a + b
a|c, b|c a b|c.
mcd (a, b) = a + b,
mcm (a, b) = a b.
1
1
N (nb) = 2 N (a)
2
n
n
na0
a0
=
.
n2 N (b)
n N (b)
2
Dado un ideal a I(O), escribamos a = pn1 1 pn2 s con los ni Z.
Si admitimos, por un momento, exponentes nulos, podemos escribir:
Y min( , )
i i
pi
,
mcd (p1 1 ps s , p1 1 ps s ) =
Y max( , )
i i
pi
.
mcm (p1 1 ps s , p1 1 ps s ) =
27
1.2.17 Definici
on. Denotamos por
P(O) := {a I(O) : a = (), K }
el subgrupo de I(O) formado por los ideales principales. Y por
P+ (O) := {() I(O) : N () > 0},
el subgrupo formado por los ideales principales cuya norma es positiva. El grupo cociente
Cl (O) := I(O)/P(O)
se denomina el grupo de las clases de ideales de O, o bien, simplemente, de K. El grupo cociente
Cl+ (O) := I(O)/P+ (O)
se denomina el grupo de las clases de ideales de K en sentido estricto.
Si a, b I(O), escribiremos a b si y solo si existe un K tal
que a = b(). Escribiremos a + b si y solo si existe un de K tal
que N () > 0 y a = b().
1.2.2
28
1.2.19 Proposici
on. Si K = Q( D), D < 0, es un cuerpo cuadr
atico
imaginario, el grupo O es finito. Sea w = #O . Entonces,
(i) Si D = 4, se tienen que w = 4,
(ii) Si D = 3, se tienen que w = 6,
(iii) Si D 6= 4, 3, se tienen que w = 2.
n. Designaremos por n C el grupo de las races
Demostracio
n-esimas de la unidad.
2
y
x + (1 + d1 ) O . Ahora N () = (x + y2 )2 + d14y = 1 implica
2
que (2x + y)2 + d1 y 2 = 4.
O
1
(1 3). Por tanto, O Q( 3) y O ' 6 . 2
2
atico
1.2.20 Proposici
on. Sea K = Q( D), D > 0, un cuerpo cuadr
real. Entonces, O es un grupo no finito. M
as concretamente, O '
Z/2Z Z.
29
1
O=
(x + y d) : x, y Z, x y (mod 2) .
2
En este caso es necesario resolver la ecuacion X 2 dY 2 = 4. La
conclusion del teorema resulta del estudio particular de la ecuacion
de Pell. 2
1.2.21 Observaci
on. Si D < 0, se tienen que r1 = 0, r2 = 1 y el
rango del grupo abeliano de las unidades es r1 + r2 1 = 0. Si D > 0,
se tienen que r1 = 2, r2 = 0 y el rango del grupo abeliano de las
unidades es r1 + r2 1 = 1. Ambos resultados son casos particulares
del teorema de las unidades de Dirichlet.
1.2.22 Proposici
on. O es un dominio de ideales principales si, y
s
olo si, O es un dominio de factorizaci
on u
nica.
n. Supongamos que O es un dominio de factorizacion
Demostracio
u
nica. Sea p O, p 6= (0), un ideal primo. Sea a p un elemento no
nulo y no inversible. Existiran elementos irreducibles 1 , , s O
tales que a = 1 s p. Uno de estos factores debera pertenecer
al ideal p. Supongamos que 1 p. Como que es un elemento
irreducible, entonces () es un ideal primo. Puesto que el anillo
O es de dimension 1, el ideal () sera maximal. De la inclusion
() p, se deduce que () = p. Vemos pues que todos los ideales
primos son principales. Pero dado a 6= (0), (1), tendremos que a =
p1 ps = (1 ) (s ) = (1 s ). Por tanto, todos los ideales
seran principales. 2
1.3
0
.
N (a)
30
(x + y)(x0 + y 0 )
N (x + y)
=
.
N (a)
N (a)
0
,
N (a)
b :=
0 + 0
,
N (a)
c :=
0
.
N (a)
( 0 + 0 )2 4(0 )( 0 )
( 0 0 )2
D(a)
=
=
= D.
N (a)2
N (a)2
N (a)2
> 0.
D
0
D(a)
0 2
Puesto que
=
= N (a)2 es un n
umero real posiD
D
tivo, la definicion tiene sentido.
31
N (x + y)
N () N (x + y)
=
= fa (x, y).
N (()a)
N () N (a)
b D
b+ D
0
, =
.
=
2a
2a
A partir de la solucion de parte imaginaria positiva, formamos la red
a = Z Z R2 .
u+v D
O,
Veamos que a es un ideal de O. Para ello, sea =
2
con u, v Z, u vD (mod 2), y sea = x + y a un elemento
arbitrario. Se tendra que
!
!
u+v D
yb + y D
=
x+
2
2a
xu ybu yvD
xv ybv uy
=
D
+
+
+
+
+
4a
4a 2
4a
4a
2
u vb
u + vb
= x
yvc + xva + y
2
2
Z Z = a,
ya que b2 D (mod 4a) implica b D (mod 2); con lo cual, u
32
0
> 0, la base {1, } esta orientavD vb (mod 2). Como que
D
da. A su vez, tenemos que
con lo cual,
1 2
= ( 0 )2 = D ,
D(a) =
1 0
a2
N (a) =
D(a)
1
= .
D
a
b+ D
0 + 0 + N (a) D
=
=
= .
0
2a
2
b+ D
= Z + Z = (1 )a,
Z+Z
2a
33
1.3.2
Teorema. Sean D 6= 1 un discriminante fundamental y K =
Q( D). El conjunto H(D) de las clases de formas cuadr
aticas binarias de discriminante D (definidas positivas si D < 0) y el grupo
Cl + (O) de las clases de ideales de O en el sentido estricto, est
an en
correspondencia biyectiva:
Cl + (O) H(D)
a
fa
[1, ]
f.
Por tanto, el conjunto finito H(D) tiene una estructura de grupo
abeliano y el grupo abeliano Cl + (O) es un conjunto finito.
Notemos que si D < 0, entonces Cl (O) = Cl + (O) y # Cl (O) =
h(D).
1.3.3 Corolario. Supongamos que D < 0 es un discriminante
fun
damental y sea h = h(D) el n
umero de clases de Q( D) . Entonces,
(i) Para a todo ideal a I(O), se tienen que ah P(O).
(ii) O es un dominio de ideales principales si, y s
olo si, h(D) = 1.
(iii) O es un dominio de factorizaci
on u
nica si, y s
olo si, h(D) = 1.
Precisamos a continuacion el concepto de genero, necesario para
mas adelante. Sea D un discriminante fundamental y sean [f ], [g]
H(D) dos clases de formas. Diremos que gen (f ) = gen (g) si, y solo
si, existe una clase de formas [h] H(D) tal que [f ] = [g] [h]2 .
La relacion anterior es de equivalencia; el conjunto cociente posee
una estructura de grupo puesto que coincide con H(D)/H(D)2 . Sus
elementos se denominan generos. As, pues, todo genero es reunion
de un n
umero finito de clases y cada genero posee el mismo n
umero
de clases. Un celebre teorema, debido a Gauss, de cuenta del n
umero
de generos de formas cuadraticas de discriminante dado.
1.3.4 Teorema. (Gauss) Sea t el n
umero de divisores primos distintos de un discriminante fundamental D y sean f, g H(D). Entonces,
34
1.3.1
En este apartado vamos a dar una version mas precisa del teorema
1.3.2, explicando el algoritmo NUCOMP usado por PARI para la
composicion de clases de formas.
Sean f1 = (a1 , b1 , c1 ) y f2 = (a2 , b2 , c2 ) formas cuadraticas tales
que [f1 ], [f2 ] H(D). Queremos hallar un representante del producto
[f1 ] [f2 ]. Sean
:=
b1 + b2
,
2
m := mcd (a1 , ),
n = mcd (m, a2 ).
mz
b2 b1
x
c1 y
n
2
Entonces, si
g :=
(mod
a a
z
1 2
,
b
+
2a
1
1 ,
n2
n
a2
).
n
35
1.3.2
Algoritmo de factorizaci
on de Shanks
b 2c b
si b 0 (mod 2),
2
N= 2
b(4c b)
si b 1 (mod 2).
b
b +a
a
si b 0 (mod 2),
2
a
N=
36
1.4
1.4.1
Representaci
on de enteros por formas
La ley de reciprocidad cuadr
atica
0
n
:=
1
si p|n,
si p - n y X 2 = n tiene solucion enes en Fp ,
en los otros casos.
: (Z/pZ) {1}.
p
El smbolo de Legendre es un caso particular de caracter de Dirichlet.
1.4.1 Definici
on. Sea N N. Un caracter de Dirichlet modulo N
es un homomorfismo.
: (Z/N Z) C .
Equivalentemente, se puede pensar como una funcion : Z C tal
que:
37
1.4. Representaci
on de enteros por formas
p1
2
=x
p1
2
.
p1
p1
2
= 1. 2
2
1.4.3 Corolario. Si p 6= 2, [Fp : F2
p ] = 2. Si p = 2, [F2 : F2 ] = 1.
1 F2
p Fp
p
{1} 1.
El caso p = 2 es trivial. 2
1.4.4 Teorema. (Ley de reciprocidad cuadr
atica) Sean `, p 6=
2 enteros primos distintos. Entonces,
p1
1
(i)
= (1) 2 ; esto es, 1 es un residuo cuadr
atico (mod p)
p
si, y s
olo si, p 1 (mod 4).
38
p2 1
2
(ii)
= (1) 8 ; esto es, 2 es un residuo cuadr
atico (mod p)
p
si, y s
olo si, p 1 (mod 8).
p `
p `
`1 p1
=
(1) 2 2 ; esto es,
=
si p o bien ` 1
(iii)
`
p
`
p
p
`
(mod 4);
=
si p y ` 3 (mod 4).
`
p
n. Ya sabemos que
Demostracio
(i) es cierto. Para demostrar (ii),
empezaremos por construir una 2 en Fp . Sea Fp una raz primitiva octava de la unidad,
8 = 1,
(de las cuales tenemos (8) = 4). Sea y := + 1 . Entonces
y 2 = 2 + 2 + 2 ; puesto que 4 = 1, se tendra que 2 + 2 = 0
y, por tanto, y 2 = 2. Por estar en caracterstica p,
y p = p + p .
Si p 1 (mod 8), entonces y p = + 1 = y, con lo cual
2
= y p1 = 1.
p
Entonces, g 2 = (1)
p1
2
p.
39
1.4. Representaci
on de enteros por formas
n. Se tiene que
Demostracio
X x
X y
g2 =
x
y
p
p
xFp
xFp
X xy
X
X x(z x)
.
=
x+y =
z
p
p
x+y=z
x,yFp
xFp
Si x 6= 0 en Fp , y como que p 6= 2:
x(z x)
x
1 zx1
=
p
p
p
p1
1 zx1
.
= (1) 2
p
Por tanto,
(1)
p1
2
g2 =
zFp
Sea
X 1 zx1
z.
p
xFp
X 1 zx1
.
cz :=
p
zFp
Si z = 0, entonces,
X 1
c0 :=
= p 1.
p
zFp
X t
1
1
=
= 1.
z=
p
p
p
tFp
zFp
40
p1
`
De ello se deduce que
=
. Como que g 2 = (1) 2 p, tenp
p1
dremos que g es una raz cuadrada de (1) 2 p en Fl . Teniendo en
cuenta los resultados probados hasta ahora,
!
p1
(1) 2 p
`
`1
=g
=
.
`
p
g `1
Por tanto,
p1
p
`1 p1
1 2 p
`
=
= (1) 2 2
.
p
`
`
`
2
29
43
14
2
7
1.4.6 Ejemplo.
=
=
=
=
43
29
29
29
29
7
29
1
=
=
= 1.
29
7
7
1.4.2
Caracteres de Dirichlet
1.4. Representaci
on de enteros por formas
41
1.4.7 Proposici
on. Dado m N, el grupo multiplicativo (Z/mZ)
es cclico si, y s
olo si: m = 2, 4, pr , 2pr , en donde p 6= 2 es un n
umero
primo. En estos casos, los generadores de estos grupos se denominan
a races primitivas (mod m). Si m es un m
odulo que admite races
primitivas, su n
umero es ((m)).
1.4.8 Proposici
on. El n
umero de caracteres de Dirichlet m
odulo N
es:
Y
1
(N ) = N
,
1
p
p|N
(p ) = p p
=p 1
,
p
lo cual, unido a las propiedades multiplicativas de la funcion de Euler,
proporciona la formula usada para (N ).
Puesto que G = (Z/N Z) es un grupo abeliano y finito, el teorema de estructura nos dice que es isomorfo a un producto de grupos
cclicos: G ' G1 Gt . Sea gi el orden del grupo cclico Gi .
Tendremos que
t
Y
i=1
Gi , C ) '
t
Y
i=1
Hom(Gi , C ) ' g1 gt
42
N =5
1
2
3
4
0
0
0
0
0
1
2
3
4
1
1
1
1
1
i i 1
1 1 1
1
1 i
i 1
5
0
0
0
0
6
7
8
9 10
1
1
1
1 0
1
i i 1 0
1 1 1
1 0
1 i
i 1 0
N =3 0 1 2 3 4
5 6 7 8 9 10 11 12
1
0 1 0 0 0
1 0 1 0 0 0
1 0
6
0 1 0 0 0 1 0 1 0 0 0 1 0
Supongamos ahora que N 0 |N . La proyeccion canonica pone de
manifiesto que todo caracter de Dirichlet de modulo N 0 es un caracter
de Dirichlet de modulo N :
(Z/N Z) (Z/N 0 Z) C .
43
1.4. Representaci
on de enteros por formas
p
p 6= 2
r
1
p
p 6= 2 > 1 pr
no hay
2
1
2
1
2
2
4
4 = 4
2
3
8 08 = 8 , 008 = 8
2
> 3 2r
no hay
Tabla 1.1: Caracteres de Dirichlet reales de conductor N = pr
Esta consideracion da lugar al concepto de carater de Dirichlet primitivo con respecto a un modulo dado. A su vez, todo caracter se
puede interpretar como caracter primitivo respecto de un determinado modulo, llamado el conductor del caracter.
1.4.10 Observaci
on. N > 2, entones el caracter trivial 1 no es
nunca primitivo.
1.4.11 Definici
on. Un caracter de Dirichlet se denomina real si
Im() R. Entonces Im() {0, 1}.
Las dos tablas siguientes ofrecen ejemplos de caracteres de Dirichlet primitivos. Notemos que (Z/8Z) (Z2Z) (Z2Z); (8) = 4.
N =8 0 1 2
3 4
5 6
7 0
08 (n) 0 1 0 1 0 1 0
1 0
008 (n) 0 1 0
1 0 1 0 1 0
1.4.12 Proposici
on. La tabla anterior es completa, en el sentido
que proporciona todos los caracteres de Dirichlet reales, primitivos y
cuyo conductor es potencia de un n
umero primo.
n. N = pr . Buscamos caracter reales de conductor N .
Demostracio
Si p 6= 2, se tiene que (Z/pr Z) = (g). Todo caracter real , 6= 1 ,
debe satisfacer que (g) = 1. Por tanto, a lo sumo tendremos
44
p
(Z/pr Z) (Z/pZ) {1},
pone de manifiesto que el smbolo de Legendre dara lugar a un caracter
primitivo si, y solo si, N = p. Por tanto, si N = pr y r > 1, no pueden
existir caracteres primitivos reales.
Consideremos ahora el caso p = 2. Para los primeros valores de
r, tendremos que
r = 1, (Z/2Z) = (1),
= 1 ,
Unicamente
los dos u
ltimos son primitivos.
Se trata ahora de demostrar que para N = 2r , r > 3, no existen mas caracteres reales y primitivos. Consideremos la proyeccion
canonica
(Z/2r Z) (Z/8Z) .
Si : (Z/2r Z) R y, por otra parte, n 1 (mod 8), entonces
(n) = 1. En efecto, tal como demostramos en el lema siguiente,
las condiciones n 1 (mod 8), y r > 3 implican que la congruencia
X 2 n (mod 8) tienen soluciones; sea x una de ellas. Entonces,
(n) = (x)2 = (1)2 = +1;
en consecuencia, no puede ser primitivo pues factorizara modulo 8.
2
1.4.13 Lema. Sea n Z tal que 2 - n. La congruencia X 2 n 0
(mod 2r ), r 3, tiene soluci
on si, y s
olo si, n 1 (mod 8).
1.4. Representaci
on de enteros por formas
45
O sea,
t
0 (mod 2);
(mod 2), y
xr+1 = xr +
1.4.3
Smbolo de Kronecker
El smbolo de Kronecker proporciona un ejemplo importante de caracter de Dirichlet. Se define a partir del smbolo de Legendre y va
asociado a un cuerpo cuadratico.
En este apartado, D denotara un discriminante fundamental. consideramos la funcion
D : N Z
definida por:
D
D (p) :=
p
0
D (2) :=
1
si p 6= 2 es un entero primo.
si D 0 (mod 4),
si D 1 (mod 8),
si D 5 (mod 8).
46
1
1
si D > 0,
si D < 0.
1
q
p1
2
q1 p1
p1 q1
q
q
p
= (1) 2 2
(1) 2 2 =
q
p
p
implican
una periodicidad modulo p = |p0 |. Tendremos que p0 (n) =
n
si ni p ni 2 dividen a n.
p
4
= 4 (n), siendo
Un calculo directo muestra que 4 (n) =
n
-4 un discriminante fundamental.
8
0
Analogamente, 8 :=
= 8 (n), siendo 8 un discriminante
n
fundamental.
1.4. Representaci
on de enteros por formas
Y, finalmente,
008
nante fundamental.
:=
8
n
47
48
a+b D
ab D
tambien, p dividira x x0 =
= b D Pero p|a
2
2
2
2
implica que p =p |a ; es decir, p divide a. Tambien p|b D implica
que pO = p2 |(b D)2 = b2 D. Este hecho implica que p|b, o bien que
p|D. Ahora bien, p no puede dividir a a y a b a la vez, ya que entonces
p dividira x y p2 dividira x. Por tanto, p debe dividir D, con lo que
D (p) = 0.
p1
D 2 = ( D)p1 1 (mod p),
p1
p1
con lo cual D2
1 p Z = pZ. Por tanto: D 2 1 (mod p),
p1
D
pero D 2 =
= D (p), y se obtienen que D (p) = 1.
p
49
1.4. Representaci
on de enteros por formas
D
p
= 1. Sea x Z tal
x2 D (mod p).
Pero
p 6= 2, p
- D. Por tanto, p - (x D), p - (x + D). Pero,
(x D)(x + D) = x2 D, con lo cual p|(x2 D). Por tanto p
contiene al menos dos factores ideales primos. Como que estos factores no pueden ser iguales, vemos que pO = pp0 con p 6= p0 .
Teniendo presente los valores de D , podemos concluir que pO = p
si, y solo si, D (p) = 1.
Recogemos los casos para p = 2:
D 1 (mod 8), 2O = pp0 , D (2) = +1,
D 5 (mod 8), 2O = p,
D (2) = 1,
2
D 0 (mod 4), 2O = p , D (2) = 0.
2
2 3 = (1 + 5) (1 5)
12
. Pero si a = x + y 5,
efecto, si 2 = a b, 4 = N (a) N (b) =
22
la ecuacion
2 = x2 + 5y 2
no tiene soluciones enteras; por tanto 2 es irreducible. Analogamente
se demuestra que los elementos
3, 1 + 5, 1 5
50
20
5
1
20 (3) =
=
=
= 1,
3
3
3
(3) = p2 p02 ,
pO = pe11 psg ,
siendo
fi := [O/pi : Z/pZ] < ,
el llamado grado residual en pi ; entonces O/pi ' Fpfi . En general, se
satisface la igualdad
g
X
ei fi = [K : Q].
i=1
1.4. Representaci
on de enteros por formas
51
p = pO + O,
D+b
p = pO +
O,
2
Db
0
O,
p = pO +
2
en donde b es un entero que satisface la congruencia b2 D
(mod 4p).
1.4.4
C
alculo del n
umero de representaciones
r(n, f )
52
h(D)
r (n, D) :=
r (n, fi ),
r(n, D) :=
r( n, fi ).
i=1
i=1
d1
d2 |n
n
d
,
D
.
2
n
,
d2
mcd(x0 , y 0 ) = 1.
2
1.4.23 Proposici
on. r (n, D) = ]{b (mod 2n) : b2 D (mod 4n)}.
Para demostrar la proposicion nos hacen falta algunas consideraciones previas sobre grupos que operan en conjuntos. Supongamos
que un grupo G opera en dos conjuntos X, Y . Consideremos en X Y
la accion diagonal. Sea S X Y un subconjunto G-invariante por
esta accion; es decir tal que si (x, y) S, entonces para todo g G
se tienen que (gx, gy) S. Dado x X, escribiremos:
Gx = {g G : gx = x},
Yx = {y Y : (x, y) S}.
yG\Y
53
1.4. Representaci
on de enteros por formas
G
Gf = SO(f ),
54
x b
G SL(2, Z)
y a
tal que
x b
y a
1
x
=
.
0
y
Ello pone de manifiesto que los pares (x, y), (1, 0) son equivalentes
bajo la accion de SL(2, Z). Por tanto, G\Y tiene una u
nica orbita,
representada por z = (1, 0). Calculemos Gz . De
1
1
=
=
0
0
1 r
Gz =
: rZ .
0 1
Con ello,
Xz = {f X : (f, (1, 0)) S}
= {f = (n, b, c) : D(f ) = D}
=
b2 D 2
y : b Z, b2 D
nx2 + bxy +
4n
(mod 4n) .
1 0 2n b
1 r
2n
2nr + b
=
r 1
b 2d 0 1
2nr + b
2d
Si observamos que b 7 b+2nr, podremos fijar la clase de b (mod 2n).
Por tanto,
Gz \Xz = ]{b
(mod 2n) : b2 D
(mod 4n)}.
55
1.4. Representaci
on de enteros por formas
x x1 (mod 2n1 )
.
x x2 (mod 2n2 )
En efecto, de x21 x22 D (mod 4) se sigue que x21 x22 (mod 4);
y, por tanto, x1 x2 (mod 2). Escribamos 2n1 = 2 n01 , con 2 - n01 ,
2 - n2 y 1. El sistema siguiente tiene solucion, unvocamente
determinada modulo 2n:
x x1 (mod 2 )
x x1 (mod n01 )
x x1 (mod n2 ).
x x1
x x2
(mod 2n1 )
(mod 2n2 )
(mod 4n2 ).
(mod 4n1 ),
56
1.4.26 Lema. Si p 6= 2 es un n
umero primo, se tienen que
r (pr , D) = #{b (mod pr ) : b2 D
(mod pr )},
para todo r 1.
n. Consideremos los conjuntos
Demostracio
X = {b (mod 2pr ) : b2 D
Y = {c (mod pr ) : c2 D
(mod pr )},
(mod pr )}
(mod pr ) : b20 D
(mod pr )}.
2
Sabemos que r (n, D) = #{b (mod 2n) : b2 D (mod 4n)}.
Empezaremos por el calculo de r(pr , D), p 6= 2. Para ello hemos de
calcular
#{b (mod pr ) : b2 D (mod pr )};
(g1 )
que aplica una raz primitiva en una raz primitiva. Se tienen que
(Gr : G2r ) = (G1 : G21 ) = 2.
1.4. Representaci
on de enteros por formas
57
2
Llegamos ahora al resultado principal de este apartado.
1.4.28 Teorema. Sean D un discriminante fundamental y n 6= 0 un
entero. Entonces
X
r(n, D) =
D (m).
m|n
m>0
58
r (p
r2s
, D) +
0s< r2
r (pr2s , D) +
0s< r2
Caso
D
p
(
(
r (1, D)
0
si r 0 (mod 2),
si r 1 (mod 2),
si r 0 (mod 2),
si r 1 (mod 2).
1
0
= +1. Entonces,
r(pr , D) =
2+
s= 2r
0s< r2
(r+1
r
D (r+1
D
= 2 + 1 = 1+ +1 =
+
2
p
p
X
X
i
i
D (p ).
=
D (p ) =
0ir
Caso
D
p
pi |pr
= 1. Entonces,
r(pr , D) =
0+
1
0
s= 2r
0s r2
si r 0 (mod 2),
si r 1 (mod 2).
Notemos que:
X
0ir
D (p ) = (1) + + (1) =
1
0
si r 0 (mod 2),
si r 1 (mod 2).
59
1.4. Representaci
on de enteros por formas
0s< r1
2
pr
,D +
p2s
r1
s r2
2
pr
,D .
p2s
Por tanto,
r(pr , D) =
0+
0s< r1
2
D (pi )
r1
s r2
2
= D (p0 ) = 1.
0ir
2
1.4.29 Corolario. Sea D un discriminante fundamental y p un primo.
D)
1
si
p
ramifica
en
Q(
0 si p es inerte
n.Basta aplicar la formula del teorema:
Demostracio
1 + 0,
X
r(p, D) =
D (m) = D (1) + D (p) = 1 + 1,
m|p
1 1,
seg
un los casos. 2
2X 2 + 2XY + 3Y 2 = 5
60
2X 2 + 2XY + 3Y 2 = 2
2X 2 + 2XY + 3Y 2 = 3
2X 2 + 2XY + 3Y 2 = 11
p1(mod4)
pr j
q sj .
q3(mod4)
4(1 + rj )
0
61
1.5. F
ormula analtica para el n
umero de clases
2 0
1
r2 (n).
4
= 4 (1) + 4 (p)
(
= 1 + (1)
p1
2
2
0
si p 1
si p 3
(mod 4),
(mod 4),
1.5
1.5.1
F
ormula analtica para el n
umero de clases
Funciones L
1.5.1 Definici
on. Una funcion aritmetica f : N C se dice que es
multiplicativa cuando f (mn) = f (m)f (n), siempre que mcd(m, n) =
62
X
f (n)
F (s) =
ns
n=1
Y
p
f (p) f (p2 )
1 + s + 2s + . . .
p
p
Si, adem
as, la funci
on f es fuertemente multiplicativa, se tiene que:
F (s) =
Y
p
1
.
f (p)
1 s
p
X
f (n)
n=1
ns
f (22 33 55 . . . )
(22 33 55 . . . )s
2 2 s 3 3 s f 5 s
2 ,3 ,5
2 ,3 ,5
Y X
f (pr )
.
=
prs
r=0
2
Dado un caracter de Dirichlet : Z/N Z C, se define la serie
L(s, ) :=
X
(n)
n=1
ns
<(s) > 1.
1.5. F
ormula analtica para el n
umero de clases
63
X
1
(s) :=
,
ns
n=1
<(s) > 1.
1.5.3 Proposici
on. Sea un car
acter de Dirichlet m
odulo N .
n=1
(n)
converge absolutamente para
ns
1
, para <(s) > 1.
(p)
1 s
p
Q
(iii) Para = 1 , es L(s, 1 ) = p|N (1 ps )(s), <(s) > 1, en
donde (s) denota la funci
on zeta de Riemann.
(iv) La funci
on L(s, 1 ) admite una extensi
on en una funci
on meromorfa para <(s) > 0, con un u
nico polo, que es simple, cuando
(N )
.
s = 1 y cuyo residuo es
N
n. Escribiremos s = + it, , t R.
Demostracio
(i) Puesto que
|L(s, )|
X
|(n)|
n=1
X
1
< ,
n
n=1
64
1
1 (p)
1
ps
Y 1
=
1
p-N 1 s
p
Y
1
=
1 s (s).
p
L(s, 1 ) =
p|N
s1
p|N
(1 ps ) =
p|N
(1 p1 ) =
(N )
.
N
2
1.5.4 Proposici
on. Si 6= 1 , la funci
on L(s, ) es holomorfa para
<(s) > 0.
n. Resulta del calculo de la abscisa de convergencia
Demostracio
de la serie de Dirichlet. 2
Dado un discriminante fundamental D, sabemos que
X
r(n, D) =
D (m).
m|n
65
1.5. F
ormula analtica para el n
umero de clases
n. Tendremos que
Demostracio
N
X
r(n, D) =
n=1
N X
X
D (m) =
n=1 m|n
N X
X
D (m)
n=1 n=mk
D (m).
kmN
m,k
N
N , lo que implica k N ; tambien m .
k
m< N
kmN
1kN/m
1k N
N mN/k
Ahora bien,
X
1=
kN/m
N
N
+ O(1),
=
m
m
(N ).
P
Para calcular N mN/k D (m), agrupamos los valores de m en
bloques de |D| elementos consecutivos.
En un intervalo de la forma
P
(t 1)|D| < m t|D|, la suma
D (m) se anula, puesto que salen
todas las clases (Z/|D|Z) exactamente 1 vez y D 6=" 1 . El primer
#
N
+ 1 |D|.
m
ultiplo de |D| que queda a la derecha de D es
|D|
N
N
El m
ultiplo de |D| que queda mas cerca de
es
|D| . As,
k
k|D|
tenemos que
X
X
X
D (m) =
D (m).
D (m)+
N mN/k
N m
N
|D|
i
+1 |D|
N
k|D|
|D|<mN/k
#
!
N
N
+ 1 |D| N
+ 1 |D| N = |D|+ N N = |D|,
|D|
|D|
66
N
N
N
N
|D| <
+ |D| = |D|,
k
k|D|
k
k
vemos que ambas son |D|. Por tanto,
X
D (m) = O(1),
N m N
k
(N ).
r(n, D) =
n=1
D (m)
m< N
[ N]
=N
X
N
+ O(1) +
O(1)
k
k N
X D (m)
+ O( N ),
m
m=1
(N ).
Por tanto,
N
X
1 X
D (m)
= L(1, D ).
lim
r(n, D) =
N N
m
n=1
m=1
2
Notemos que
h(D)
N h(D)
X
1 XX
L(1, D ) = lim
r(n, fi ) =
N N
n=1 i=1
i=1
!
N
1 X
r(n, fi ) .
lim
N N
n=1
1.5.2
C
alculo de L(1, D )
67
1.5. F
ormula analtica para el n
umero de clases
positiva. Entonces,
w |D|
en donde
N
1 X
r(n, f ) =
lim
N N
n=1
log
0
D
6
w = #SO(f ) = 4
si D < 0,
si D > 0,
si D = 3,
si D = 4,
si D < 4,
y siendo 0 la soluci
on fundamental de la ecuaci
on de Pell asociada
a SO(f ).
n. Trataremos primero el caso D < 0. De las definiDemostracio
ciones dadas, se tiene que
r(n, f ) =
1
#{(x, y) Z Z : ax2 + bxy + cy 2 = n}.
w
Por tanto,
w
N
X
n=1
Por tanto
2a b 2
= A
|D| =
b 2c 0
2
,
AB = p
|D|
X2 Y 2
+ 2,
A2
B
0
4
2 = (AB)2 .
B2
2
S(1) = AB = p
.
|D|
68
A su vez,
S(N ) =
Z Z
=N
dx dy =
ax2 +bxy+cy 2 N
Z Z
2
X2
+ Y 2 1
A2
B
Z Z
2
X2
+ Y 2 N
A2
B
dx dy
dx dy = N S(1).
2N
es el area de la elipse
Por tanto, S(N ) = p
|D|
Y2
X2
+
= 1.
( N A)2 ( N B)2
( N A )( N B ) P (N ) ( N A + )( N B + ).
Por tanto,
P (N ) = S(N ) + O( N ),
P (N )
S(N )
2
.
= lim
=p
N N
N
|D|
N
1 X
1 2
p
lim
r(n, f ) =
.
N N
w |D|
n=1
L(1, D ) =
h(D) 2
p
.
w
|D|
1.5. F
ormula analtica para el n
umero de clases
69
|D|1
|D|
3
2
D (n)n,
n=1
|D|1
w/2 X
h(D) =
D (n)n.
|D|
n=1
Supongamos ahora que D > 0. Sea f = (a, b, c) una forma cuadratica de discriminante D. Recordamos que las soluciones (x, y)
pertenecientes a Z2
ax2 + bxy + cy 2 = n
se clasifican seg
un el grupo SO(f ). Escribamos
ax2 + bxy + cy 2 = a(x y)(x 0 y),
en donde
b + D
b D
0
:=
, =
.
2a
2a
Notemos que , 0 R. Sea (t, u) una solucion de la ecuacion de Pell:
t2 Du2 = 4
y sean
t+u D
tu D
0
=
, =
.
2
2
Se satisface que 0 = 1. Supongamos que (x0 , y 0 ) es una representacion de n,
ax02 + bx0 y 0 + cy 02 = n,
70
equivalente a (x, y). Ello significa que existe una matriz
0
x
x
SO(f ) tal que 0 =
. Por tanto, existiran enteros (t, u)
y
y
tales que
=
t bu
,
2
t + bu
,
2
= cu,
= au.
x0 0 y 0 = 0 (x 0 y),
x0 y 0 > 0,
1<
x0 0 y 0
20 ,
x0 y 0
siendo
t0 + u 0 D
, t0 , u0 > 0, t20 Du20 = 4,
0 =
2
la solucion mas peque
na de la ecuacion de Pell. La segunda condicion
es equivalente a
x 0 y
2 <
20 2 ;
x y
es decir,
2
0 <
x 0 y
2(+1)
0
.
x y
x 0 y
2
# (x, y) Z : ax + bxy + cy = n, x y > 0, 1 <
0 .
x y
2
71
1.5. F
ormula analtica para el n
umero de clases
x x
r N cos r N sin
= rN,
y y =
N sin r N cos
r
con lo cual,
Z Z
dxdy = N
(N )
Z Z
rdrd =
(1)
N
2
r2 d,
D
b + D + b + D
0
=
> 0.
=
2a
a
Notemos que
x 0 y
1 ( 0 )y 0 y 0 0 .
x y
r2 =
72
x
b D
2a cotg + b D
= cotg +
=
,
y
2a
2a
x
b+ D
2a cotg + b + D
0
= cotg +
=
,
y
2a
2a
de donde
0
2a cotg 0 + b + D
y
2
.
=
0 = x
2a cotg 0 + b D
Notemos que
d
= d cotg.
sin2
Calculando obtenemos
2a
2a
=
2a cotg + b D 2a cotg + b + D
4a D
=
2
2
4a cotg + 4ab cotg + 4ac
D
.
a cotg 2 + b cotg + c
Podemos pues escribir
1
2a
2a
1
2
r =
.
D 2a cotg + b D 2a cotg + b + D sin2
Z =0
Con ello, el valor de
r2 d vienen dado por
=0
=0
=0
2ad(cotg )
2a cotg + b + D
=0
=0
2ad(cotg )
2a cotg + b D
# 0
2
1
1
2a cotg + b + D
= log 20 = log 0 .
= log
D
2a cotg + b D 0
D
D
Juntando toda la informacion, obtenemos que
S(N ) =
N 2
log 0 ,
2 D
1.5. F
ormula analtica para el n
umero de clases
73
de donde, finalmente,
lim
log 0
P (N )
S(N )
=
.
= lim
N
N
N
D
D
h(D) =
L(1, D ).
log 0
En particular, L(1, D ) 6= 0.
2
1.5.3
Funci
on zeta de un cuerpo cuadr
atico
aO
a6=(0)
Y
p
1
N (a)s
1
1
N (p)s
X
#{a : a O, N (a) = n}
.
ns
n=1
Por tanto, si
H(D) = {A1 , , Ah(D) }
74
aAi
a entero
X ain
1
=
.
s
N (a)
ns
n=1
K (s) =
(Ai , s).
i=1
(x,y)SO(f )\Z2
f (x,y)=n
X r(n, f )
1
=
.
s
f (x, y)
ns
n=1
h(D) si D < 0,
p
w |D|
lim (s 1)K (s) =
s1+0
log 0
h(D)
si D > 0.
D
Mas generalmente, se puede definir una funcion zeta, llamada de
Dedekind, para todo cuerpo de n
umeros K:
X
1
K (s) =
, <(s) > 1.
N (a)s
a6=(0)
aO
1.5. F
ormula analtica para el n
umero de clases
75
s1+0
2r1 +r2 r2 R
p
h(K),
w |D|
en donde w es el n
umero de races de la unidad contenidas en el
cuerpo K; h(K) el orden del grupo de las clases de ideales y R el
llamado regulador del grupo de unidades (que es un determinante
r r, siendo r = r1 + r2 1 el rango de las unidades de K).
76
Captulo 2
Cuerpos de n
umeros
A. Travesa
2.1
2.1.1
Aritm
etica de los cuerpos de n
umeros
Extensiones enteras
2.1.1 Definici
on. Sea B un anillo y sea A B un subanillo. Un
elemento b B se le llama entero sobre A cuando b es raz de un
polinomio monico con coeficientes en A. La extension de anillos B/A
se denomina entera cuando todo elemento de B es entero sobre A.
2.1.2 Proposici
on. Sea B/A una extensi
on de anillos y sea b B.
Las propiedades siguientes s
on equivalentes:
(i) El elemento b es entero sobre A.
(ii) El anillo A[b] es un A-m
odulo finitamente generado.
(iii) Existe un subanillo C de B que contiene A y b el cual es un
A-m
odulo finitamente generado.
(iv) Existe un A[b]-subm
odulo M de B que es finitamente generado
como A-m
odulo.
77
78
Cap. 2 Cuerpos de n
umeros
79
2.1.10 Proposici
on. Sean A un dominio de integridad, K el cuerpo
de fracciones de A, L/K una extensi
on algebraica, b L un elemento cualquiera, y f (X) := Irr(b, K) el polinomio m
onico irreducible de
K[X] que tiene b por raz. Supongamos que A es enteramente cerrado. Entonces, condici
on necesaria y suficiente para que b sea entero
sobre A es que f (X) A[X].
n. Podemos suponer que la extension L/K es normal.
Demostracio
Sea g(X) A[X] una ecuacion de dependencia entera de b. Como
que f (X) es el polinomio irreducible de K[X] de grado mas peque
no
que tiene b por raz y g(X) es un polinomio de K[X] que tiene b por
raz, f (X) divide g(X) en K[X]. Ello implica que todas las races
de f (X) tambien lo son de g(X), de forma que todas les races de
f (X) son elementos de L enteros sobre A. Por tanto, los polinomios
simetricos elementales de estas races son enteros sobre A. Pero estos
polinomios simetricos elementales son los coeficientes de f (X) y, por
tanto, los coeficientes de f (X) son elementos de K que son enteros
sobre A; como que A es enteramente cerrado, el polinomio f (X) tiene
los coeficientes en A[X]. 2
2.1.2
Enteros de un cuerpo de n
umeros
Se llama cuerpo de n
umeros a todo cuerpo K de caracterstica cero
tal que la extension K/Q es finita.
Denotamos por Q una clausura algebraica de Q.
2.1.11 Definici
on. Un entero algebraico es un elemento de Q que
es entero sobre Z. Si K es un cuerpo de n
umeros, la clausura entera
de Z en K se llama el anillo de los enteros de K. Es el anillo formado
por todos los elementos de K que son enteros algebraicos.
80
Cap. 2 Cuerpos de n
umeros
2.1.12 Proposici
on. Sea D un entero
libre de cuadrados. El anillo
de los enteros del cuerpo K := Q( D) es elanillo OK = Z[], en
D+ D
si D 1 (mod 4).
donde = D si D 6 1 (mod 4) y =
2
n. Sean a,
Demostracio
b Q tales
que a + b D OK . El
conjugado galoisiano ab D de a+b D tambien es un entero de K,
de forma que la suma y el producto de estos dos elementos son enteros
de K. Pero son racionales y, como que Z es enteramente cerrado, son
enteros. Ello nos permite asegurar que 2a, a2 Db2 Z. Por tanto,
4a2 4Db2 4Z y 4Db2 Z. Ahora, como que D es libre de
cuadrados, 2b ha de ser entero, ya que si tuviera alg
un denominador,
D no podra llevar su cuadrado a Z. Por tanto, A := 2a, B := 2b Z i
A2 DB 2 4Z. Ademas , si D 6 1 (mod 4), entonces A2 DB 2 4Z
solo se puede dar si
A y B son pares; de forma que en este caso a,
b Z y OK = Z[ D]. Pero en el caso D 1 (mod 4) puede ser
que A y B sean impares a la vez; ello
nos permite asegurar que OK
esta formado por elementos (A + B D)/2 tales que A,B son enteros
D+ D
de la misma paridad. En particular, como que
OK (es
2
D(D 1)
raz del polinomio X 2 DX +
Z[X]), se satisface que
4
OK = Z[ D+2 D ]. 2
En particular, Z[i] es el anillo de los enteros del cuerpo cuadratico
Q(i). Es bien conocido que este anillo es un dominio de ideales
principales, ya que es eucldeo. Esta propiedad no es en absoluto
una propiedad general de los anillos de los enteros de los cuerpos de
n
umeros. En efecto, veremos en seguida que hay ejemplos de anillos
de enteros de cuerpos de n
umeros, incluso de cuerpos cuadraticos,
que no son principales; de hecho, ni siquiera son factoriales.
81
solo ocurre con los dos elementos 4 5, que tampoco son asociados
ya que, por ejemplo, su cociente no es entero sobre Z.
Falta ver que estos elementos son irreducibles. Si alguno deellos
no lo fuera, su norma debera descomponer; pero para Z[ 5],
no
puede ser2 N() 2= 3 ni N() = 7, ya que las ecuaciones N(a +
b 5) = a + 5b = 3,
7 no tienen soluciones a, b Z. En
consecuencia, el anillo Z[ 5] no puede ser un anillo factorial.
Por otra parte, hay anillos de enteros de cuerpos cuadraticos que
son principales pero que no son eucldeos para ninguna eleccion de la
aplicacion grado.
2.1.14 Ejemplo.
Sea A := Z[], 2 := 1 + 19, el anillo de los
enteros de Q( 19). Entonces, el anillo A es principal pero no es
eucldeo para ninguna eleccion de la aplicacion grado.
Ahora podemos determinar el discriminante y las leyes de descomposicion de todos los primos de Z en un cuerpo cuadratico.
2.1.15 Proposici
on. Sea D un n
umero entero libre de cuadrados y
82
Cap. 2 Cuerpos de n
umeros
Tr(1)
Tr(
D)
2 0
=
,
0 2D
Tr( D) Tr(D)
1
1
D(1, ) = det 1+ D 1 D = ( D)2 = D.
2
2
En consecuencia, los ideales primos de Z que ramifican en la extension K/Q son los primos que dividen D y 2 si D 6 1 (mod 4).
Como que la extension es de grado 2 y las extensiones residuales son
separables, ello quiere decir que la extension de estos primos es el
cuadrado de un ideal primo de K. Por otra parte, solo quedan dos
posibilidades para la descomposicion de los otros primos de Z en K:
o bien el primo de Z continua siendo un ideal primo un vez estas
en K, y en este caso se dice que el primo es inerte, o bien el primo
descompone como producto de dos ideales primos diferentes de K,
en cuyo caso se dice que el primo descompone completamente.
El resultado siguiente proporciona las leyes de descomposicion en
un cuerpo cuadratico.
83
2.1.16
on. Sean D un entero libre de cuadrados, K :=
Proposici
Q( D), OK el anillo de los enteros de K, y p un n
umero natural
primo. Si p divide el discriminante de la extensi
on cuadr
atica K/Q,
2
entonces, pOK = p , en donde p es un ideal primo de OK de grado
residual 1; si p 6= 2 y D es un residuo cuadr
atico m
odulo p, entonces
pOK = p1 p2 , el producto de dos ideales primos diferentes de OK de
grado residual 1; si p 6= 2 y D no es un residuo cuadr
atico m
odulo p,
entonces pOK es un ideal primo de OK de grado residual 2. Finalmente, 2OK es el producto de dos ideales primos diferentes de OK
de grado residual 1 cuando D 1 (mod 8) y 2OK es un ideal primo
de OK de grado residual 2 cuando D 5 (mod 8).
n. El caso de los primos que ramifican esta claro.
Demostracio
Por tanto, podemos suponer que el ideal primo pZ no ramifica en
el anillo OK de los enteros de K. Comenzamos por estudiar el caso
p 6= 2. Hemos de estudiar la descomposicion del anillo OK /pOK
en producto de cuerpos, ya que una condicion necesaria y suficiente
para que el ideal pOK sea primo es que el anillo cociente OK /pOK
sea un cuerpo. De nuevo, el calculo del anillo de los enteros de K
da que el anillo OK , como un grupo abeliano, es la suma de los
subgrupos Z y Z, como en la proposicion anterior.
En
el caso
D 6 1 (mod 4), el anillo OK /pOK es el anillo Z[ D]/pZ[ D]; y en
el caso D 1 (mod 4), si calculamos
OK /pO
K podemos observar que
este anillo
tambien es el anillo
Z[ D]/pZ[ D], ya que, para a, b Z
es a + b 1+2 D a + (b + p) 1+2 D (mod pOK ), de forma que si b es
84
Cap. 2 Cuerpos de n
umeros
1D
) ' F2 [X]/(X 2 X + b).
4
Pero condicion necesaria y suficiente para que el polinomio (separable) X 2 X + b sea irreducible en F2 [X] es que b = 1 en F2 ; y ello
equivale a decir que D 5 (mod 8). 2
2.1.17 Corolario. Les leyes de descomposici
on de los ideales primos
acter
de Z en el cuerpo cuadr
atico K := Q( D) son dadas por el car
cuadr
atico de Kronecker, D . Concretamente,
0, si p ramifica,
D (p) = 1, si p descompone completamente,
1, si p es inerte.
85
2.1.3
Anillos de Dedekind
86
Cap. 2 Cuerpos de n
umeros
87
2.1.4
88
Cap. 2 Cuerpos de n
umeros
89
90
Cap. 2 Cuerpos de n
umeros
91
Acabamos de probar que el conjunto formado por los ideales fraccionarios no nulos de A es un grupo respecto de la multiplicacion de
ideales fraccionarios. Si demostramos que todo ideal entero no nulo
descompone de forma u
nica como un producto de ideales primos de
A ya habremos acabado, ya que todo ideal fraccionario es de la forma
a1 a para un cierto elemento a A y un cierto ideal entero a A.
El conjunto de los ideales no nulos de A que no admiten una
descomposicion como un producto de ideales primos no nulos es el
conjunto vaco; en efecto, en caso contrario tendra un elemento maximal a A; si p es un ideal maximal de A que contiene a, como que
p es invertible, ha de ser a p; entonces, a ap1 pp1 = A, de
manera que podemos repetir el razonamiento de antes: ap1 es un
ideal entero de A que no puede coincidir con a ya que p1 contiene
elementos no enteros sobre A y a es un A-submodulo finitamente
generado de K; por tanto, ap1 admite una descomposicion como
producto de ideales primos; si multiplicamos por p obtenemos una
descomposicion de a como producto de ideales primos de A.
Falta ver la unicidad. Pero esta es facil, ya que disponemos de
la multiplicacion por los inversos de los ideales primos no nulos de
A. Si p1 p2 pr = q1 q2 qs , el ideal q1 es un ideal primo que contiene un producto de ideales primos; por tanto contiene alg
un pi ,
supongamos que pi = p1 . La maximalidad nos permite asegurar que
q1 = p1 ; si multiplicamos por el inverso de p1 , obtenemos la igualdad
p2 pr = q2 qs , con menos factores, y la demostracion termina
por induccion. 2
2.1.32 Definici
on. El grupo de los ideales fraccionarios no nulos
de un anillo de Dedekind A se llama el grupo de ideales de A (o
el grupo de ideales de K cuando el anillo A se sobreentiende). El
grupo cociente de este grupo de ideales por el subgrupo de los ideales
fraccionarios principales se denomina el grupo de clases de ideales de
A (o de K). Los designamos por Cl(A).
De hecho, se dispone de la succession exacta de grupos abelianos
1 A K I(A) Cl(A) 1,
en donde I(A) designa el grupo de los ideales fraccionarios no nulos
de A y A el grupo de los elementos invertibles del anillo A.
92
2.1.5
Cap. 2 Cuerpos de n
umeros
Factorialidad y principalidad
93
2.1.36 Proposici
on. Sea A un anillo de Dedekind. Condici
on necesaria y suficiente para que A sea factorial es que sea un dominio de
ideales principales.
94
Cap. 2 Cuerpos de n
umeros
2.2
2.2.1
Ramificaci
on
Extensiones de anillos de Dedekind
95
2.2. Ramificaci
on
2.2.2
Indice de ramificaci
on y grado residual
96
Cap. 2 Cuerpos de n
umeros
97
2.2. Ramificaci
on
2.2.7 Definici
on. Sean B/A una extension finita y entera de anillos
de Dedekind, P B un ideal primo de B y p := P A. Se dice que
la extension B/A es ramificada en P cuando e(P/p) > 1 o bien la
extension residual en P no es separable; es dice que la extension B/A
es ramificada en p cuando hay alg
un ideal primo P en B tal que
2
P divide pB, o bien la extension residual en P no es separable. Se
dice que la extension B/A es no ramificada en P B cuando la
extension residual B/P de A/p es separable y e(P/p) = 1. Se dice
que la extension B/A es no ramificada en el primo p A cuando es
no ramificada en todo ideal primo P B que divide p.
98
Cap. 2 Cuerpos de n
umeros
2.2.8 Proposici
on. Sean A un anillo de Dedekind, K su cuerpo
de fracciones, L/K una extensi
on finita, B la clausura entera de A
en L, n := [L : K] y p un ideal primo no nulo de A. Sea pB =
e
Pe11 Pe22 Pgg la descomposici
on de pB en factores primos en B.
Entonces, se satisface la desigualdad
g
X
i=1
La suma
torial.
Pg
i=1 ei fi
ei fi n.
es la dimensi
on de B/pB como A/p-espacio vec-
g
Y
B/Pei i .
i=1
ei
Por tanto, si demostramos que B/PP
on ei fi sobre A/p,
i tiene dimensi
g
obtendremos el valor de la suma
e
f
como
la dimension de
i
i
i=1
B/pB. Aunque el anillo B/Pei i no es, en general, un B/Pi -espacio
vectorial, sus ideales Pai /Pei i , 0 a ei 1, forman una cadena con
cocientes Pai /Pa+1
que son B/Pi -espacios vectoriales de dimension
i
1 (la multiplicacion por la potencia a-esima de un generador de Pi
define un isomorfismo de B/Pi en Pai /Pa+1
). Para acabar la dei
mostracion de la segunda propiedad solo es necesario tener en cuenta
que el A/p-espacio vectorial B/Pi es de dimension fi .
2.2. Ramificaci
on
99
100
Cap. 2 Cuerpos de n
umeros
ei fi = [L : K].
i=1
2.2. Ramificaci
on
101
2.2.13 Proposici
on. Consideramos un ideal primo no nulo p A.
Entonces, el grupo de Galois G opera transitivamente y de forma
natural en el conjunto de los ideales primos P de B que dividen p.
n. En efecto, si G es un K-automorfismo de L,
Demostracio
entonces la imagen (b) de un elemento b B es un elemento de B,
ya que (b) es un conjugado de b sobre K y, por tanto, es raz del
mismo polinomio monico irreducible de coeficientes en A que tiene b
por raz. Por tanto, es un A-automorfismo de B. Ahora, la imagen
por un isomorfismo de un ideal primo es un ideal primo; por tanto,
G opera en el conjunto de los ideales primos de B; y si P A = p,
entonces, (P) A = p, ya que A (y, por tanto, p) es fijo por . Por
tanto, G opera en el conjunto de los ideales primos de B que dividen
un ideal primo dado p en A.
Falta ver que esta accion es transitiva. Sean P1 , P2 , . . . , Ps ,
s g, los ideales primos de B conjugados de P1 := P. Supongamos
que s < g. Claramente, G permuta los ideales P1 , . . . , Ps y tambien
permuta los ideales Ps+1 , . . . , Pg ; el producto P1 Ps no esta incluido en ning
un Pi para i > s, de forma que existe b P1Q Ps tal
que b
/ Pi para todo i, s < i g. Entonces, NL/K (b) = G (b)
es un elemento del producto P1 Ps y tambien de A; por tanto, de
la interseccion, que esta incluida en P A = p; es decir, NL/K (b) p.
En consecuencia, NL/K (b) Pi , de forma que para alg
un G es
(b) Pi , ya que Pi es un ideal primo de B y (b) B para todo
G. Pero entonces, b 1 (Pi ), de forma que 1 (Pi ) es uno
de los ideales P1 , . . . , Ps , que son los u
nicos que pueden contener b.
Esto contradice el hecho que s < g. 2
P
La formula gi=1 ei fi = n del caso separable admite una expresion
mas sencilla en el caso galoisiano.
2.2.14 Proposici
on. Supongamos que la extensi
on L/K es de Galois. Entonces, todos los ideales primos P B que dividen un ideal
primo p A tienen el mismo ndice de ramificaci
on y el mismo grado
residual; es decir, e := e(P/p) y f := f (p/p) no dependen del ideal
primo P de B que divide p. Adem
as, se satisface la f
ormula n = ef g,
en donde g es el n
umero de ideales primos de B que dividen el ideal
p.
102
Cap. 2 Cuerpos de n
umeros
2.2. Ramificaci
on
103
un polinomio con coeficientes en A/p que tiene por races las clases
(b) + P B/P; por tanto, descompone en factores lineales en B/P;
en consecuencia, el polinomio Irr(b + P, A/p), que es un divisor, tambien descompone en factores lineales en B/P. Ello nos dice que todos
los conjugados sobre A/p de todos los elementos de B/P son elementos de B/P; por tanto, la extension A/p B/P es una extension
normal.
Por otra parte, sea D(P/p); es decir, un A-automorfismo
de B que deja P invariante. Por paso al cociente, define un A/pautomorfismo de B/P; es decir, un elemento del grupo de Galois de la
extension A/p B/P. De esta forma se obtiene un morfismo de gru
pos D(P/p) Gal B/P/A/p. Queremos probar que es exhaustivo. Para ello comenzamos por recordar que un A/p-automorfismo
de B/P queda determinado de forma u
nica por su accion sobre un
elemento primitivo de la clausura separable de A/p en B/P; es decir,
que dar un elemento de Gal (B/P/A/p) equivale a dar un conjugado
sobre A/p de un elemento primitivo.
Sea, entonces, b B/P un elemento primitivo; podemos elegir
b B de forma que b b (mod P) y que b 1 (P) para todo
GD(P/p); por ejemplo, un elemento que satisfaga simultaneamente
las congruencias
b b (mod P),
b 0 (mod 1 (P)), para todo G D(P/p).
Q
Si consideramos el polinomio f (X) := G (X (b)), sus races
no nulas de su reduccion modulo P son de la forma (b) + P con
D(P/p); por tanto todos los conjugados de b + P sobre A/p son
las reducciones modulo P de conjugados (b) de b sobre A. Es decir,
dada una A/p-immersion de B/P, entonces existe un elemento
D(P/p) que la proporciona por reduccion modulo P. Esto demuestra
la exhaustividad de . 2
2.2.17 Definici
on. Sea P B un ideal primo no nulo de B y sea
p := P A. El n
ucleo del morfismo D(P/p) Gal (B/P/A/p), es
decir, el subgrupo
I(P/p) := { D(P/p) : (b) b P para todo b B}
104
Cap. 2 Cuerpos de n
umeros
2.2.3
Normas y trazas
2.2. Ramificaci
on
105
106
Cap. 2 Cuerpos de n
umeros
potencia [L : K 0 ]-esima del polinomio caracterstico de la multiplicacion por en la extension K 0 /K; en particular, la traza TrL/K ()
es el producto [L : K 0 ]TrK 0 /K () y la norma NL/K () es la potencia
[L:K 0 ]
NK 0 /K
(). Para acabar la demostracion, solo hay que tener en cuenta que las s K-immersions diferentes de L se distribuyen,
seg
un los valores que toman sobre , en tantas clases de equivalencia
como el grado de separabilidad de la extension K 0 /K, y que todas las
clases tienen cardinal el grado de separabilidad de la extension L/K 0 .
2
2.2.21 Proposici
on. Sean L/K 0 y K 0 /K extensiones finitas de cuerpos. Entonces, para todo L se satisfacen
las f
ormulas de tran
sitividad
dadas por
TrL/K () = TrK 0 /K TrL/K 0 () y NL/K () =
NK 0 /K NL/K 0 () . Es decir, como aplicaciones, TrL/K = TrK 0 /K
TrL/K 0 y NL/K = NK 0 /K NL/K 0 .
n. Solo es necesario tener en cuenta que las K-inmerDemostracio
siones de L son las extensiones diferentes a L de las K-inmersiones
de K 0 y de que forma se obtienen a partir de las K 0 -inmersiones de
L. 2
La forma lineal traza nos permite definir de forma natural, ya que
L es una K-algebra, una aplicacion bilineal TrL/K : L L K por
la formula (a, b) 7 TrL/K (ab). Como que L es conmutativo, la forma
bilineal es simetrica. El resultado que sigue ya ha estado usado en
un par de ocasiones.
2.2.22 Proposici
on. Sea L/K una extensi
on finita de cuerpos y
consideramos TL/K : LL K la forma bilineal simetrica definida
por (x, y) 7 TrL/K (xy). Para que la extensi
on L/K sea separable es
condici
on necesaria y suficiente que la forma TrL/K sea no degenerada; es decir que de la igualdad TrL/K (xy) = 0 para todo y L se
deduzca x = 0.
n. En primer lugar, supongamos que la extension
Demostracio
L/K es separable y sea un elemento primitivo de la extension.
El conjunto {1, , 2 , . . . , n1 }, en donde n := [L : K] designa el
2.2. Ramificaci
on
107
1
1
...
1
1
2
. . . n
2
2
. . . n2
2
V = V (1 , 2 , . . . , n ) := 1
,
..
..
..
.
.
.
.
.
.
n1
n1
n1
1
2
. . . n
2.2.4
Discriminante y ramificaci
on
108
Cap. 2 Cuerpos de n
umeros
bn
n
X
ai TrL/K (bi bj ).
i=1
2.2. Ramificaci
on
109
110
Cap. 2 Cuerpos de n
umeros
f 0 (i ) =
n Y
Y
i=1 j6=i
i=1
(i j ).
1
1
...
1
1
2
. . . n
..
..
..
..
.
.
.
.
1n1 2n1 . . . nn1
es el producto
Qn Q
i=2
D(1, , . . . , n1 ) =
j<i (i
n Y
Y
i=2 j<i
j ), obtenemos la igualdad
(i j )2 = (1)n(n1)/2
n Y
Y
i=1 j6=i
(i j )
111
2.2. Ramificaci
on
n(n)
.
(n)/(p1)
p|n p
112
Cap. 2 Cuerpos de n
umeros
2.2. Ramificaci
on
113
114
Cap. 2 Cuerpos de n
umeros
g
M
B/Pei i
i=1
g
Y
Di ,
i=1
2.2. Ramificaci
on
115
en la filtracion de B/Pe11 dada por los ideales (y A/p-espacios vectoriales) Pa1 /Pe11 , e1 1 a 0. El hecho que el primer vector de
esta base sea nilpotente (su potencia e1 -esima se anula) hace que la
aplicacion lineal de multiplicacion por este elemento sea un endomorfismo nilpotente de B/Pe11 y, por tanto, todos los valores propios sean
nulos. Analogamente, el producto de este elemento por cualquier otro
tambien es nilpotente y lo mismo sucede con los endomorfismos de
B/Pe11 de multiplicacion por estos productos; por tanto, los trazas
de los productos son nulas y la matriz que sirve para calcular el determinante D 1 tiene una columna de ceros. Por tanto, D 1 = 0. Falta
el caso en que todos los ndices de ramificacion sean triviales, pero
que alguna de las extensiones A/p B/Pi no sea separable. Pero,
en este caso, la forma traza en B/Pi es la forma nula y D i = 0.
En resumen, hemos demostrado el resultado siguiente.
2.2.30 Proposici
on. Sean A un anillo de Dedekind, K su cuerpo
de fracciones, L/K una extensi
on finita y separable, B la clausura
entera de A en L y p un ideal primo no nulo de A. Condici
on necesaria y suficiente para que p ramifique en la extensi
on B/A es que el
discriminante (B/A) sea divisible por p.
2.2.5
Cuerpos cuadr
aticos
que a y b son n
umeros racionales, Q(x) = Q( b2 4ac).
Quitando
116
Cap. 2 Cuerpos de n
umeros
1
2
Gauss para el car
acter de Legendre
. Entonces S =
p.
p
p
P
2.2.32 Definici
on. Sea
p un
natural primo impar. Escribiremos p
1
p.
para designar el n
umero
p
Observemos que siempre es p 1 (mod 4).
2.2.33 Corolario. Sea p un n
umero primo impar y sea una raz
Por otra parte, esta claro que i = 1 es una raz cuarta prim
itiva de la unidad. Ademas, como que Q( p ) es un subcuerpo
de la composicion de los dos cuerpos Q( p ) y Q(i), y como que
la composicion de cuerpos ciclotomicos es un cuerpo ciclotomico, las
umero primo
extensiones cuadraticas Q( p)/Q, en donde p es un n
impar, son subextensiones de un cuerpo ciclotomico.
1+i
Por otra parte, el n
umero complejo 8 := es una raz octava
2
de
la
unidad,
de
forma
que,
como
que
i
Q(
8 ), tambi
en 2 y
p p
p
Q( D) Q( 1, 2, p1 , p2 , . . . , pr ).
p
y, como que cada uno de los cuerpos Q( pi ) es un subcuerpo de un
2.2. Ramificaci
on
117
2.2.34 Teorema.
Sea D un entero libre de cuadrados. Entonces se
2.2.6
Cuerpos ciclot
omicos
118
Cap. 2 Cuerpos de n
umeros
2
Para todo entero i se satisface la formula ui := 1
1 = 1+ + + +
i1 , de forma que ui O; y si i no es divisible por p, intercambiando
los papeles de y i , obtenemos tambien que u1
i A, de forma que
ui es un elemento invertible de O. A partir de la igualdad f (X) =
Q
i
mcd (i,p)=1 (X ) podemos escribir
p = f (1) =
mcd (i,p)=1
(1 i ) = u(1 )(n) ,
Q
en donde u = mcd (i,p)=1 ui es invertible en O. En particular, los
elementos a y 1 i , mcd (i, p) = 1, son asociados (generan el mismo
ideal) y el ideal pO es la potencia (n)-esima del ideal principal Oa.
Como que pZ es un ideal primo de Z y la extension Q()/Q es de
Galois, la formula ef g = n nos permite asegurar que el ideal Oa es
un ideal primo de O de grado residual 1. 2
2.2.37 Corolario. Sea n 6 2 (mod 4) un natural, que escribiremos
en la forma n = pr n0 , con r 0 y mcd (p, n0 ) = 1, y sea p O
un ideal primo de A que divide p. Entonces, e(p/pZ) = (pr ). En
2.2. Ramificaci
on
119
particular, condici
on necesaria y suficiente para que p ramifique en
Q() es que p divida n.
n. Podemos considerar las cadenas de cuerpos Q
Demostracio
Q(n0 ) Q(n ) y Q Q(pr ) Q(n ). Acabamos de probar que la
extension Q(pr )/Q solo ramifica en el primo pZ y que el ndice de
ramificacion es (pr ); por tanto, la extension Q(n )/Q ramifica en pZ
y el ndice de ramificacion de pZ es un m
ultiple de (pr ). Por otra
parte, en virtud de la proposicion ??, la extension Q(n0 )/Q no ramifica en ning
un ideal primo de Q(n0 ) que divide pZ; en consecuencia,
si p es un ideal primo de Q(n ) que contrae a pZ, y si p0 es la contraccion de p a Q(n0 ), entonces, e(p/pZ) = e(p/p0 ) divide el grado
[Q(n ) : Q(n0 )] = (pr ). Por tanto, la igualdad e(p/pZ) = (pr ). 2
A continuacion determinaremos el grado residual de todos los ideales primos. Comenzaremos por demostrar el resultado siguiente.
2.2.38 Lema. Sean ` un n
umero natural primo que no divide n y
l O un ideal primo que divide O`. Entonces, las clases residuales
de 1, , 2 , . . . , n1 en el cuerpo residual O/l son todas diferentes.
Adem
as, si f := f (l/`) designa el grado residual en l, entonces `f 1
(mod n).
n. El polinomio X n 1 Z[X] es separable sobre Z
Demostracio
y sobre F` , ya que ` no divide n. Por tanto, la reduccion modulo l
de las races diferentes de f (X), 1, , 2 , . . . , n1 , han de ser races
diferentes de X n 1 en F` . Esto demuestra la primera afirmacion.
Por otra parte, el conjunto { i A/l : 0 i n 1} es un subgrupo
de orden n de (A/l) , que es de orden `f 1. Por tanto, n divide
`f 1. 2
2.2.39 Lema. Sea ` un natural primo que no divide n. Entonces,
O = O` + Z[].
n. Es necesario demostrar que para todo elemento b
Demostracio
O existe b0 Z[] tal que b b0 O`. Sea D := D(1, , . . . , (n)1 );
entonces, D Z y ` no divide D, ya que D divide una potencia de
120
Cap. 2 Cuerpos de n
umeros
P
f
i ` b` (mod O`). Por inducci
on, F`f (b)b` O`, de forma
i ai
que, en virtud del corolario anterior, F`f (b)b O`, para todo b O.
Por hipotesi, el orden del automorfismo F` Gal (Q()/Q) es
exactamente f . Sean l un ideal primo de O que divide O` y f1 el
grado residual de l. Ello nos dice que O/Ol es el cuerpo finito de `f1
elementos; por tanto, f1 es el natural no nulo mas peque
no que para
f
todo elemento b O satisface b` 1 b l para todo elemento b O.
Como que f tambien lo satisface, ha de ser f1 f . Pero, por otra
f
parte, como que ` 1 l y las races de la unidad 1, , . . . , n1
121
2.2. Ramificaci
on
122
Cap. 2 Cuerpos de n
umeros
123
2.2. Ramificaci
on
0
n(n)
.
(n)/(p1)
p|n p
124
Cap. 2 Cuerpos de n
umeros
125
O0
`
si, y solo si,
= 1,
p
p
`
=
Por tanto, obtenemos la equivalencia entre las igualdades
`
1y
= 1; solo es necesario tener en cuenta el valor del smbolo
p
1
.
`
2.3
2.3.1
Teoremas de Minkowski
Redes de Rn
126
Cap. 2 Cuerpos de n
umeros
G
ponemos
x
:=
kx
k
i=1 [ki ]ei =
Pr
(k
[k
])e
;
como
antes,
x
G
y,
como
que S G
i
i
i
k
i=1
es finito, existen enteros diferentes k, j tales que xk = xj S G.
La R-independencia lineal de los elementos ei y la u
ltima igualdad
nos permiten asegurar que para todo ndice i los coeficientes i son
racionales, ya que i = (k j)1 ([ki ] [ji ]). Esto implica que x
pertenece al Q-espacio vectorial generado por los elementos ei . En
particular, los elementos (en n
umero finito) de S G son combinacion
lineal de los elementos ei que tienen coeficientes racionales y podemos considerar un denominador com
un d Z, d 6= 0, de todos estos
coeficientes; entonces,Lel grupo abeliano libre G es un subgrupo del
grupo abeliano libre ri=1 d1 Zei de rango r; por tanto, el rango de
G es menor o igual que r y, como que G contiene r elementos que son
R-linealmente independientes, los ei , el grupo G es de rango r. 2
2.3.2 Definici
on. Un subgrupo G Rn se llama una red de Rn si
es un subgrupo discreto de rango n.
Sea G una red de Rn ; entonces G es un grupo topologicoP
que act
ua
n
n
en R por translacion: (, x) 7 x + . El conjunto D := { i=1 ai ei :
0 ai < 1}, en donde e1 , . . . , en es una Z-base de G, es un dominio
fundamental por la accion de G en Rn ; se llama el parleleppedo
fundamental relativo a la base {e1 , . . . , en }. Observamos que D es
un subconjunto medible Lebesgue de Rn ; su medida (D) se llama
la malla de la red G y se representa usualmente por (G). Por otra
parte, no hay ninguna pareja de elementos de D que esten en la misma
orbita por la accion de G.
2.3.3 Lema. La malla de una red G de Rn no depende de la Z-base
elegida en G.
n. En efecto, un cambio de base en G viene dado
Demostracio
por una matriz M GLn (Z); y la medida del nuevo paraleleppedo
fundamental se obtiene a partir del anterior multiplicando por el valor
absoluto del determinante de M . Pero las matrices de GLn (Z) tienen
determinante 1. 2
127
2.3.4 Teorema. (Minkowski) Sean G una red de Rn y X un subconjunto medible Lebesgue de Rn tal que (X) > (G). Entonces, X
contiene dos elementos diferentes x, y tales que x y (mod G).
n. Sean {e1 , . . . , en } una Z-base de G y D el paraDemostracio
leleppedo fundamental para Rn relativo a esta base. Por definicion
de dominio fundamental, los conjuntos g + D, g G, dan un recubrimiento de Rn ; este recubrimiento es disjunto en virtud de la
eleccion de D. En consecuencia, los conjuntos X (g + D), g G,
forman un recubrimiento disjunto de X. Por otra parte, como que
la medida de Lebesgue es invariante por traslacion (es la medida de
Haar del grupo topologico localmente compacto Rn ), los conjuntos
g + D son medibles; por tanto, las intersecciones X (g + D) tambien
son medibles y su medida coincide con P
la medida de sus trasladados
(g + X) D. De la igualdad (X) = gG (X (g + D)), que se
deduce del hecho que X es recubrimiento de P
forma disjunta por los
conjuntos X (g+D), obtenemos que (X) = gG ((g+X)D),
de forma que los conjuntos (g+X)D no pueden ser disjuntos dos a
dos, ya que su reunion es un subconjunto de D y estamos suponiendo
que (G) = (D) < (X).
Por tanto, existen elementos diferentes g, g 0 G tales que (g +
X) (g 0 + X) D es no vaco; por tanto, existen elementos x, y X
tales que x g = y g 0 y, entonces, x y = g g 0 G y x 6= y ya
que g 6= g 0 . 2
2.3.5 Corolario. Sean G una red de Rn y X Rn un subconjunto
convexo, simetrico respecto del origen y medible Lebesgue. Supongamos que (X) > 2n (G) o bien que X es compacto y (X)
2n (G). Entonces, existe x G X tal que x 6= 0.
n. Supongamos que (X) > 2n (G); entonces, el
Demostracio
conjunto Y := {x/2 : x X} tamben es medible Lebesgue y (Y ) =
2n (X) > (G), por hipotes. En virtud del teorema de Minkowski
existen dos puntos diferentes y1 , y2 Y tales que y2 y1 G; el
punto x := y2 y1 es un punto no nulo de X G, ya que X es
convexo y simetrico respecto del origen, 2y1 , 2y2 X y x es el punto
medio de 2y2 y 2y1 .
128
Cap. 2 Cuerpos de n
umeros
2.3.2
La inmersi
on can
onica
Sea K un cuerpo de n
umeros y sea n := [K : Q] su grado. Si consideramos una clausura algebraica Q de Q, entonces existen exactamente n formas diferentes de pensar K como subcuerpo de Q; en
efecto, como que Q es de caracterstica cero, toda extension de Q es
separable, de forma que el grado de separabilidad de cualquier cuerpo
extension finita K (es a decir, el n
umero de formas de incluir K en
Q) coincide con el grado.
Por otra parte, podemos cambiar Q por cualquier cuerpo que lo
contenga y la propiedad no varia, ya que una Q-inmersion de K ha
umero total de Qde estar incluida en K = Q; en particular, el n
inmersiones de K en C es exactamente n.
Podemos tambien considerar en las Q-inmersiones de K en R;
como que R C, esta claro que el n
umero de Q-inmersiones de K
en R es r1 n. Sea una inmersion de K en C; si componemos
con la conjugacion compleja, c : C C, dada por c(a + bi) :=
a bi, para a, b R, obtendremos otra Q-inmersion c de K en C.
Esta claro que una condicion necesaria y suficiente para que = c
es que (K) R. Esto nos permite asegurar que el n
umero n de
Q-inmersiones diferentes de K en C se puede expresar en la forma
n = r1 + 2r2 , en donde r2 es el n
umero de conjuntos {, c} tales que
6= c.
En vista de este hecho, y por comodidad, enumeraremos las Qinmersiones de K en la forma 1 , . . . , r1 , las inmersiones reales,
y r1 +j , r1 +r2 +j = cr1 +j , con 1 j r2 , las parejas de Q-
129
2.3.6 Definici
on. El morfismo de anillos K Rr1 Cr2 definido
por la asignacion
x 7 (1 (x), . . . , r1 (x), r1 +1 (x), . . . , r1 +r2 (x))
se denomina la inmersion canonica de K. Frecuentemente se acostumbra a identificar C con R2 (como R-espacio vectorial); en este
130
Cap. 2 Cuerpos de n
umeros
y la extension K/Q es separable. Este calculo demuestra, por tanto, que los vectores (ej ) son R-linealmente independientes y que la
malla de la red esta dada por la formula enunciada. 2
2.3.8 Corolario. Sea {e1 , . . . , en } una Z-base del anillo de los enteros del cuerpo de n
umeros K. Condici
on necesaria y suficiente para
que el discriminante absoluto de K, (e1 , . . . , en ) := det(i (ej ))2 ,
sea positivo es que el n
umero r2 de parejas de inmersiones complejas
conjugadas no reales de K sea par.
n. En la demostracion de la proposicion anterior hemos
Demostracio
visto que el determinante es el producto de un determinante de entradas reales por el producto de los factores (2i)r2 . Por tanto, el
discriminante de los vectores ej es un n
umero real positivo multiplicado por (2i)2r2 ; y este n
umero es positivo real cuando r2 es par.
2
2.3.9 Observaci
on. El resultado anterior proporciona una manera sencilla de comprobar el signo del discriminante de los cuerpos
ciclotomicos.
El corolario siguiente da cuenta de las redes mas u
tiles; concretamente, ya hemos visto que el anillo OK de los enteros de K es un
Z-submodulo libre de rango n de K. Lo mismo ocurre a todo ideal
a OK ; esta claro que es un Z-submodulo sin torsion de OK y que es
finitamente generado, ya que Z es noetheriano y OK es finitamente
generado; por tanto, es un grupo abeliano libre de rango n; como que para todo a a no nulo se satisface la inclusion aOK a
y aOK ' OK como grupos abelianos, a contiene un grupo abeliano
libre de rango n y, en consecuencia, a es un grupo abeliano libre de
rango n.
2.3.10 Corolario. Sean OK el anillo de los enteros de un cuerpo de
n
umeros K de grado [K : Q] = n, a OK un ideal no nulo de OK
y el discriminante de una Z-base de OK . Entonces, (OK ) y (a)
son redes de Rn y sus mallas son dadas por las f
ormulas:
((OK )) = 2r2 ||1/2 ,
((a))
= 2r2 ||1/2 N (a),
131
2.3.3
nn
132
Cap. 2 Cuerpos de n
umeros
r2 n
.
2
n!
r 2
2
r2 ( x)r1 +2r2
2
(r1 + 2r2 )!
r1 +1+2r2
,
(r1 + 1 + 2r2 )!
como era necesario ver. El paso de r2 a r2 + 1 se hace de manera parecida integrando sobre el disco |z| /2; concretamente, es
necesario calcular la integral
Z
m(r1 , r2 , 2|z|)d(z),
|z|/2
133
R /2 R 2
0
= 2 r1
= 2 r1
r2
2
2 r1
2
(r1 +2r2 )!
r2 +1
2
r2
(2)r1 +2r2
(r1 +2r2 )! dd
R /2
0
( 2)r1 +2r2 d
r1 +2r2 +2
(r1 +2r2 +2)! ,
despues de calcular la u
ltima integral por partes. Esto acaba el
calculo de la medida del conjunto X . 2
A continuacion, dado el ideal a, podemos elegir de forma que
r2
4
n
=
n!||1/2 N (a),
n
r1
r2
X
X
1
2
|NK/Q (a)|
|i (a)| +
|r1 +j (a)| ,
n
n
i=1
j=1
n
que admite n como la cota superior. El resultado se deduce del
n
hecho, que n = r1 + 2r2 . 2
nn
n. Como que toda clase de ideales contiene un repreDemostracio
sentante entero, podemos tomar un representante entero b de la clase
134
Cap. 2 Cuerpos de n
umeros
3
4
n1
135
n
esta acotado superiormente por una
log()
constante independiente del cuerpo K 6= Q.
En particular, el cociente
1 2n
el cociente un+1 /un es la expresion
1+
, que esta acotada
4
n
inferiormente por 3/4 en virtud de la formula del binomio; por tan n2
3
to, se obtiene la desigualdad un u2
que proporciona la
4
desigualdad que queramos demostrar.
Por otra parte, si tomamos logaritmos obtendremos la cota unin
. 2
forme del cociente
log ||
Ahora, La demostracion del teorema dHermite-Minkowski es in 3 n1
mediata al tener en cuenta que, para n 2, es
3
4
3
> 1. 2
3
4
2.3.17 Observaci
on. Este resultado dista mucho de ser general. En
efecto, veremos que hay cuerpos de n
umeros que tienen extensiones
finitas (incluso abelianas) que son no ramificadas en todos los primos
de su anillo de enteros. Esto sucede, tambien, en casos locales.
A
un mas, demostraremos mas adelante que todo cuerpo local (que
ya definiremos) tiene extensiones no ramificadas de grado arbitrariamente grande, y que todas ellas son abelianas; en cambio, todo cuerpo
de n
umeros tiene solo un n
umero finito de extensiones abelianas no
ramificadas en todos los ideales primos de su anillo de enteros.
El resultado siguiente da informacion sobre la cantidad de cuerpos
de n
umeros peque
nos que pueden ramificar solo en un conjunto dado
136
Cap. 2 Cuerpos de n
umeros
de n
umero primos.
2.3.18 Teorema. (Hermite) Sea D N un entero positivo cualquiera. El conjunto formado por los cuerpos de n
umeros que tienen
discriminante absoluto acotado por D es finito.
n. El corolario que hemos utilizado en la demostracion
Demostracio
del teorema dHermite-Minkowski nos permite asegurar que el grado
de un cuerpo de n
umeros esta acotado superiormente por el logaritmo
de una potencia fija de su discriminante; por tanto, es suficiente demostrar que el conjunto de los cuerpos de n
umeros que tienen grado
y discriminante dados es finito. Ademas, para n dado, solo hay un
n
umero finito de parejas de naturales r1 , r2 tales que n = r1 +2r2 ; por
tanto, podemos suponer, tambien, que r1 , r2 son fijos. Suponemos,
entonces, que n = r1 +2r2 , y que K es un cuerpo de n
umeros de grado
n y discriminante absoluto que tiene exactamente r1 inmersiones
reales. Es necesario ver que solo podemos elegir K entre un n
umero
finito de cuerpos.
Consideramos el subconjunto X Rr1 Cr2 definido de la forma
siguiente:
(a) si r1 > 0, tomamos X como el producto de los discos de centro
el origen y radio 1/2 en cada componente complejo no real, del intervalo 1/2 x 1/2 en cada factor R excepto del primero (si
es que
alguno), y del intervalo centrado en el origen de longitud
hay
r2
2
2n
||1/2 en el primer componente;
2.4. Ramificaci
on superior
137
(a),
y tomamos modulos, observaremos que |1 (a)| > 1, ya
i
i=1
que la norma de a es un n
umero entero por ser a un entero algebraico
no nulo. En particular, si r1 > 0 obtenemos que 1 (a) es diferente
de todos los otros conjugados, de forma que el grado de la extension
K/Q(a) es 1 y a es un elemento primitivo de K. Si r1 = 0, el mismo
argumento demuestra que es |(a)| = |1 (a)| > 1, de forma que 1 (a)
es diferente de todos los i (a) y de los i (a) para i > 1; pero, por construccion de X, la parte real de 1 (a) tiene modulo menor o igual que
1/4, de forma que 1 (a) no puede ser real ya que es de modulo > 1;
en particular, tambien 1 (a) es diferente de 1 (a) y, en consecuencia,
a es un elemento primitivo de K.
Por construccion del conjunto X, los conjugados de a son n
umeros
complejos (o reales) acotados; por tanto, tambien son acotados los
valores de los polinomios simetricos elementales construidos con estos n
umeros; como que estos valores son los coeficientes del polinomio
Irr(a, Q), y estos coeficientes son n
umeros enteros, ya que a es un entero algebraico, solo hay un n
umero finito de posibilidades para el
polinomio Irr(a, Q) y, en consecuencia, un n
umero finito de posibilidades para el elemento primitivo a. 2
2.3.19 Observaci
on. Este resultado admite otras formulaciones interesantes. Por ejemplo, si fijamos un conjunto finito de n
umero
primos y un entero N > 1, entonces el conjunto formado por los
cuerpos de n
umeros de grado n N que no ramifican fuera de los
primos fijados es, tambien, un conjunto finito.
2.4
2.4.1
Ramificaci
on superior
Grupos de descomposici
on y de inercia
138
Cap. 2 Cuerpos de n
umeros
de sus propiedades generales y de las de los cuerpos de descomposicion y de inercia, que tambien introduciremos. Ello servira de base
para la definicion y el estudio de los grupos de ramificacion superior.
Sean A un anillo de Dedekind, K su cuerpo de fracciones, L/K
una extension finita, B la clausura entera de A en L, P B un ideal
primo no nulo de B, y p := P A. Supongamos que la extension
L/K es de Galois y sea G := Gal L/K. Recordamos que el grupo de
descomposicion del ideal primo P es el grupo G1 (P/p) := D(P/p)
formado por todos los automorfismos G tales que (P) = P, y
que el grupo de inercia de P es el grupo G0 (P/p) := I(P/p) formado
por los automorfismos G1 (P/p) que act
uan trivialmente en
el cociente B/P. Ademas, disponemos de una succession exacta de
grupos
1 G0 (P/p) G1 (P/p) Gal (B/P)/(A/p) 1.
Empezamos por estudiar el comportamiento de estos grupos en
cadenas de extensiones de Galois.
2.4.1 Proposici
on. Con las mismas notaciones y hip
otesis anteriores, supongamos que K 0 L es un subcuerpo de L que contiene K
y sean A0 la clausura entera de A en K 0 y P0 := P A0 . Entonces,
los grupos de descomposici
on y de inercia de P sobre su contracci
on
0
P se obtienen cortando los grupos sobre p con el grupo de Galois
Gal (L/K 0 ); es decir, Gi (P/P0 ) = Gi (P/p) Gal (L/K 0 ), para i =
1, 0.
n. Es inmediata a partir de las definiciones. 2
Demostracio
2.4. Ramificaci
on superior
139
1 G0 (P/P0 ) G0 (P/p)
G0 (P0 /p)
1
0
0
1 Gal (L/K ) Gal (L/K) Gal (K /K) 1
1
1
1
0
140
Cap. 2 Cuerpos de n
umeros
2.4.3 Observaci
on. Frecuentemente se demuestra este resultado con
la hipotesis adicional que la extension residual L/K es separable, de
forma que, entonces, es de Galois; de hecho, esta hipotesis solo la
hemos utilizado en la demostracion de la proposicion cuando hemos
hablado de la exactitud de la tercera fila del diagrama. Ahora bien,
esta sucesion es exacta sin necesidad de la hipotesi de separabilidad.
Para verlo, observamos los hechos siguientes: en primer lugar, para la
0
definicion de la sucesion solo es necesario que la extension K /K sea
normal; en segundo lugar, la exhaustividad del segundo morfismo solo
utiliza la normalidad de la extension L/K, cuando aseguramos que
0
una K-inmersion de L que extienda un K-automorfismo dado de K
ucleo
es automaticamente un K-automorfismo de L; y, finalmente, el n
0
de este morfismo es exactamente el grupo de Galois Gal (L/K ), sin
necesidad de ninguna propiedad de normalidad ni de separabilidad.
Mantenemos las notaciones y las hipotesis del n
umero anterior.
Escribiremos D, I, para designar los grupos de descomposicion y de
inercia, respectivamente, del ideal P sobre su contraccion.
2.4.4 Definici
on. Los cuerpos fijos de L por los subgrupos D :=
G1 (P/p), I := G0 (P/p), LD , LI , se denominan, el cuerpo de descomposicion y el cuerpo de inercia en P, respectivamente.
De esta forma, obtenemos una sucesion de cuerpos K LD
LI L tal que las extensiones L/LI , L/LD , y LI /LD son extensiones
de Galois con grupos respectivos Gal (L/LI ) = I, Gal (L/LD ) = D,
y Gal (LI /LD ) ' Gal (L/K), el grupo de Galois de la extension
residual. En particular, obtenemos los grados de las extensiones: por
un lado, si ponemos e := e(P/p) y f := f (P/p), entonces [L : LD ] =
ef = n/g, ya que g := g(p) es el ndice del grupo de isotropa de
la accion de Gal (L/K) en el conjunto de los ideales primos de B
que dividen p; es decir, el ndice del grupo de descomposicion D; en
consecuencia, [LD : K] = g. Por otra parte, el grado [LI : LD ] es
el grado de separabilidad de la extension residual L/K, ya que es
una extension normal y, por tanto, el orden de su grupo de Galois
coincide con el grado de separabilidad; en particular, si la extension
residual L/K es de caracterstica p > 0, y escribimos el grado de
separabilidad en la forma fs = fs (P/p), obtenemos que el cociente
2.4. Ramificaci
on superior
141
2.4.5 Proposici
on. Sean PI y PD las contracciones de P a las
clausuras enteras BI , BD , de A en LI , LD , respectivamente. Entonces:
(i) P es el u
nico ideal primo de B que divide PI y PD .
(ii) La extensi
on de PI a B es el ideal Pe , en donde e := e(P/p) es el
ndice de ramificaci
on de P sobre p, y el grado residual f (P/PI ) es el
grado de inseparabilidad, pi , de la extensi
on residual (B/P)/(A/p).
(iii) La extensi
on de PD a BI es el ideal PI , y el grado residual
on residual
f (PI /PD ) es el grado de separabilidad, fs , de la extensi
(B/P)/(A/p).
I
D
I
D
1 Gal (L/L ) Gal (L/L ) Gal (L /L ) 1
1
1
1
142
Cap. 2 Cuerpos de n
umeros
de forma que I(PI /PD ) es trivial y el grupo de Galois de la extension residual (BI /PI )/(BD /PD ) es isomorfo al grupo de Galois
Gal (LI /LD ); en particular, el grado residual f (PI /PD ) coincide con
el grado de la extension; es decir, este grado es fs y PI es no ramificado sobre PD . De ello se deduce inmediatamente la validez de las
propiedades (ii) y (iii). 2
2.4.6 Observaci
on. En general, el grupo de descomposicion no es
un subgrupo normal del grupo de Galois. En el caso que lo sea, la
descomposicion de p en BD viene dada por la formula
pBD = PD,1 PD,g ,
en donde PD,i , son ideales primos diferentes de BD de grado residual
f (PD,i /p) = 1 y g = g(p) es el n
umero de ideales primos de B que
dividen p.
n. En este caso, la extension LD /K es de Galois y,
Demostracio
por tanto, todos los ideales primos de BD que dividen p tienen el
mismo ndice de ramificacion y el mismo grado residual; pero si nos
fijamos en el ideal de BD contraccion de P, obtenemos que el ndice
de ramificacion y el grado residual de P sobre p son los de P sobre la
su contraccion P BD ; por tanto, el ndice de ramificacion y el grado
residual de P BD sobre p son los dos triviales, es decir, iguales a
1, y el n
umero de ideales primos de B que dividen P BD tambien
es 1, de forma que el n
umero de ideales primos de BD que dividen p
coincide con el n
umero de ideales primos de B que dividen p. 2
Podemos resumir estos hechos en el resultado siguiente.
2.4.7 Corolario. Sean A un anillo de Dedekind, K su cuerpo de
fracciones, L/K una extensi
on finita, B la clausura entera de A en
143
2.4. Ramificaci
on superior
2.4.2
Automorfismo de Frobenius
144
Cap. 2 Cuerpos de n
umeros
B/A
. Cuando no hay duda acerca de los anillos implicados, tamP
L/K
bien se suele escribir (P, L/K) y
.
P
Observamos que si P es no ramificado sobre p, entonces (P)
tambien es no ramificado sobre p para todo elemento Gal (L/K).
Como que la extension L/K es de Galois, esto significa que para todo
ideal primo de B que divide p estara definido el automorfismo de
Frobenius.
2.4.9 Proposici
on. Supongamos que B/A es no ramificada en P,
0
sea P B otro ideal primo no nulo de B que divida p y sea
Gal (L/K) un automorfismo cualquiera tal que P0 = (P). Entonces
se satisface la igualdad
B/A
(P)
B/A
P
2.4. Ramificaci
on superior
145
B/A
, en donde f 0 es el grado residual
morfismo de Frobenius
P
f 0 := f (P0 /p). Si, adem
as, la extensi
on K 0 /K es de Galois, en0
0
tonces la extensi
o0n A/A es no ramificada en P y el automorfismo
K /K
de Frobenius
es la restricci
on a Gal (K 0 /K) del automorP0
L/K
.
fismo de Frobenius
P
2.4.11 Observaci
on. Supongamos ahora que tenemos dos extensiones de Galois Li /K tales que el cuerpo L es la composicion de los
Li ; sean Pi := P Bi , las restricciones de P a la clausura entera Bi
de A en Li , i = 1, 2. Entonces, les extensiones B
no ramii /A son
B/A
Bi /A
ficadas en Pi y los automorfismos de Frobenius
,
P
Pi
estan definidos. Por otra parte, como que el grupo de Galois de la
extension L/K se inyecta, por restriccion en cada componente, en el
producto cartesiano de los grupos Gal (Li /K), podemos identificar
Gal (L/K) con un subgrupo de Gal (L1 /K) Gal
/K). Con es (L2
B/A
es la pareja
ta identificacion, el automorfismo de Frobenius
P
Bi /A
Bi /A
,
.
Pi
Pi
El automorfismo de Frobenius da una caracteritzacion muy sencilla de los ideales primos del anillo base que descomponen completamente. Recordamos que se dice que un ideal primo p A descompone
completamente en un cuerpo L extension de K cuando la extension
de p a la clausura entera de A en L es el producto de tantos ideales
primos diferentes como el grado [L : K] de la extension.
2.4.12 Corolario. Supongamos que la extensi
on L/K es de Galois
y no ramificada en p. Condici
on necesaria y suficiente para que p
descomponga completamente en B es que para cualquierideal primo
B/A
P B que divida p en B, el automorfismo de Frobenius
sea
P
146
Cap. 2 Cuerpos de n
umeros
trivial.
n. En efecto, el automorfismo de Frobenius es un
Demostracio
generador del grupo de descomposicion y condicion necesaria y suficiente para que este grupo sea trivial es que el ndice de ramificacion
y el grado residual de cualquier ideal primo p sean lo dos iguales a
1. Esta condicion es equivalente a decir que p descompone completamente. 2
2.4.13 Corolario. Supongamos que el cuerpo L es el cuerpo composici
on de dos subcuerpos Li L, i = 1, 2, que contienen K. Entonces, condici
on necesaria y suficiente para que p descomponga completamente en L es que descomponga completamente en cada una de
las extensiones Li /K.
2.4.14 Observaci
on. En el caso
que la
extension L/K sea abeliana,
L/K
el automorfismo de Frobenius
no depende del ideal primo
P
P
de B que divide p; en este caso, se acostumbra a designar por
L/K
y se llama el automorfismo de Frobenius de p.
p
2.4.3
Grupos de ramificaci
on superior
2.4. Ramificaci
on superior
147
T
Como que el anillo B es noetheriano, se satisface que k1 Pk = (0),
de forma que, como que G1 es finito, existe n0 Z tal que para
k n0 es Gk = (1). Por tanto, los subgrupos Gk forman una cadena
finita (y normal) de G1 .
De los grupos de ramificacion nos interesa los cocientes Gk /Gk+1 ,
que podemos formar en virtud de la definicion. Ya sabemos que el
grupo cociente G1 /G0 es isomorfo al grupo de Galois de la extension
residual (B/P)/(A/p). Para estudiar la estructura de los cocientes
para k 0, comenzamos por establecer el resultado siguiente.
148
Cap. 2 Cuerpos de n
umeros
2.4.17 Proposici
on. Para todo entero k 1, los grupos cociente
Gk /Gk+1 son abelianos.
n. La demostracion es una consecuencia elemental
Demostracio
del estudio de los conmutadores [, ] := 1 1 , para Gk ,
Gn , k, n 0. Se satisface el resultado siguiente.
2.4.18 Lema. Con las notaciones anteriores, [, ] Gk+n .
n. Comenzamos por ver que para todo b Pn+1 es
Demostracio
b b Pk+n+1 . Para ello, es suficiente considerar elementos b de
la forma b := b1 b2 . . . bn+1 tales que bj P, ya que estos elementos generan Pn+1 como grupo abeliano aditivo. Podemos escribir la
identidad
(b) b =
n+1
X
j=1
(b) b (c) + c =
= ( (y) y) ( (y) y) ((y) y) + ((y) y)
= (y) (y) Pk+n+1 ;
es decir, [, ](x) x Pk+n+1 . Por tanto, [, ] Gk+n . 2
Ahora podemos acabar facilmente la prueba de la proposicion; solo
es necesario tomar n = k y obtenemos que [, ] G2k ; como que
k 1, es 2k k + 1 y el grupo cociente Gk /Gk+1 es abeliano. 2
2.4.19 Proposici
on. Supongamos que la extensi
on residual en P es
separable. Entonces:
2.4. Ramificaci
on superior
149
150
Cap. 2 Cuerpos de n
umeros
2.4. Ramificaci
on superior
151
2.4.22 Corolario. Supongamos que los cuerpos residuales son finitos. Entonces, el grupo de descomposici
on es un grupo resoluble.
n. En efecto, acabamos de probar que si la extension
Demostracio
residual es separable, entonces el grupo de inercia es resoluble, ya que
la cadena de los grupos de ramificacion Gk , k 0, es abeliana; a su
vez, si la extension residual es resoluble, como que el grupo cociente
G1 /G0 es isomorfo al grupo de Galois de la extension residual, la
cadena Gk , k 1, es abeliana; y este es el caso si los cuerpos
residuales son finitos. 2
2.4.4
152
Cap. 2 Cuerpos de n
umeros
1
(mod
P),
que
divide
q
1,
com
quer
amos
deP, que uq1
mostrar. 2
2.5
153
El teorema de Kronecker-Weber
2.5.1
154
Cap. 2 Cuerpos de n
umeros
155
156
Cap. 2 Cuerpos de n
umeros
2.5.2
157
158
Cap. 2 Cuerpos de n
umeros
Gi H = H
Gi H Gk+1
si 0 y k,
si i k + 1,
esta u
ltima igualdad para que H 6= Gk+1 y los dos son subgrupos de
ndice p de G. Estos calculos nos permiten comparar los exponentes
de p en las diferentes extensiones K/K H y K/K Gk+1 de la forma
siguiente:
X
i0
(#Gi H 1) <
X
i0
159
160
Cap. 2 Cuerpos de n
umeros
161
Q( + 1 )(i) = Q(). Pero K(i)+ (i) K(i) y los dos cuerpos son
de grado 2 sobre K(i)+ ; por tanto, coinciden. 2
162
Cap. 2 Cuerpos de n
umeros
Captulo 3
Funciones modulares
P. Bayer, A. Travesa
3.1
La funci
on j
3.1.1
Grupos fuchsianos
a b
grupo de transformaciones homograficas. Un elemento =
c d
de SL(2, C) opera como
(z) =
az + b
,
cz + d
163
z P1 .
164
|z1 z2 |2
,
d(z1 , z2 ) = arc cosh 1 +
2Im(z1 )Im(z2 )
y de la 2-forma SL(2, R)-invariante d(y 1 dx) = y 2 dx dy. La accion de los grupos SL(2, R) y PSL(2, R) = SL(2, R)/(12 ) en H
proporciona todas las isometras de H que preservan la orientacion.
Atendiendo al n
umero y naturaleza de sus puntos fijos, las transformaciones homograficas SL(2, R)/(12 ) se clasifican en tres
tipos: hiperbolico, elptico y parabolico. Las transformaciones hiperbolicas (|tr()| > 2) tienen dos puntos fijos, ambos situados en
R {}. Las transformaciones elpticas (|tr()| < 2) tienen dos
puntos fijos, que son complejos conjugados; uno de ellos es de H.
Las transformaciones parabolicas (|tr()| = 2) tienen exactamente
un punto fijo, localizado en R {}. Las correspondientes formas
de Jordan de estas transformaciones son
1 1
e
1
.
, R;
, 1 6= 2 ;
0 1
2
ei
Fijemos ahora un subgrupo discreto SL(2, R). Un punto
z H se denomina elptico si es el punto fijo de una transformacion elptica. Un punto z R {} se denomina parabolico si es
el punto fijo de una transformacion parabolica. Denotamos por P
el conjunto de puntos parabolicos de . P puede muy bien ser un
conjunto vaco.
El grupo opera en el conjunto de sus puntos parabolicos. Por
tanto, opera tambien en
H := H P .
165
3.1. La funci
on j
X
1
1
.
vol(\H ) = 2g 2 +
1
2
ew
wX()
3.1.1 Definici
on. Un dominio fundamental por la accion de en H
es un subconjunto D H R {} tal que
(i) D es cerrado y conexo,
S
(ii) H = (D),
166
3.1.2
Funciones automorfas
+
Sea GL
(2,
j(, z) := cz + d.
Se trata de una funcion holomorfa y sin ceros en H.
Sea k un entero. Para cada funcion f : H P1 , podemos considerar una accion
(f |k )(z) = det()k/2 j(, z)k f (z),
z H.
para todo .
Denotamos por Ak () el C-espacio vectorial de todas las formas automorfas de peso k. Las formas automorfas de peso cero se denominan funciones automorfas. Su conjunto constituye el cuerpo A0 ().
Este cuerpo coincide con el cuerpo de funciones de la superficie de Riemann \H . Por tanto, es isomorfo al cuerpo de funciones racionales
de la curva proyectiva asociada:
A0 () ' C(X()).
167
3.1. La funci
on j
Mas generalmente, existe una correspondencia biyectiva entre las formas automorfas de peso par k = 2m definidas en H y las diferenciales meromorfas de grado m de X():
A2m () ' m (X()),
f 7 f .
Hemos denotado por f la formas diferenciales holomorfa que satisface la igualdad f (z)(dz)m = f .
Cuando es un subgrupo del grupo modular SL(2, Z), las formas automorfas (en particular, las funciones automorfas) se designan,
simplemente, como formas modulares, (respectivamente, funciones
modulares).
El primer ejemplo de un funcion modular lo proporciona la funcion j:
g2 (z)3
j(z) := 1728
, z H.
(z)
En esta definicion,
X
X
1
1
g2 (z) = 60
,
g
(z)
=
140
3
4
(m + nz)
(m + nz)6
m,n
m,n
(m,n)6=(0,0)
(m,n)6=(0,0)
168
3.1.3
Aunque hoy parece un tema practicamente olvidado, la conexion entre funciones automorfas y ecuaciones diferenciales fue largamente
estudiada en el pasado. Entre los estudios pioneros se encuentran
contribuciones debidas a Dedekind y Poincare. La investigacion de
ambos matematicos fue influenciada notablemente por unos trabajos
de Fuchs sobre ecuaciones diferenciales ordinarias complejas.
En 1877, Dedekind construyo una funcion especial, a la que denomino valencia, por integracion de una ecuacion diferencial de segundo orden de tipo fuchsiano. La funcion valencia de Dedekind
coincide, salvo una normalizacion, con la funcion j anteriormente introducida.
El trabajo de Poincare sobre funciones automorfas se inicio en
1881 y fue el punto de partida de numerosas de sus publicaciones,
recopiladas en sus uvres. Para ser exactos, Poincare no denomino
automorfas a las funciones periodicas que nos ocupan, sino que las
denomino fuchsianas, en honor de Fuchs. El adjetivo automorfo es
debido a Klein. Como puede apreciarse, la denominacion de Klein
ha prevalecido hasta nuestros das para designar las funciones; la de
Poincare ha prevalecido a la hora de designar los grupos de transformaciones. Con ello se da la curiosa circunstancia que una funcion
automorfa es la que es periodica con respecto a un grupo fuchsiano.
El espacio Ak () de formas automorfas de peso k no es cerrado
bajo la derivacion habitual de funciones. Concretamente, la derivada
D(f, z) de una funcion automorfa f (z) no es una funcion automorfa
sino que es una forma automorfa de peso 2. Damos a continuacion el
comportamiento bajo derivacion de una forma automorfa de peso k.
3.1.2 Proposici
on. Si f (z) es una forma automorfa de peso k, entonces
kf (z)D 2 (f, z) (k + 1)D(f, z)2
169
3.1. La funci
on j
Ds(f, z)
.
D(f, z)2
Da(f, z)
.
D(g, f (z))2
3.1.5 Proposici
on. Supongamos que f (z) = x es una funci
on lisa
cuya funci
on inversa es PGL(2, C)-multivalorada. Entonces,
(i) La derivada de Schwarz Ds(f 1 , x) es una funci
on univalorada
que satisface
Ds(f 1 , x) = Da(f, z),
f 1 (x) = z.
170
f 1 (x)
,
D(f 1 , x)1/2
2 (x) :=
1
D(f 1 , x)1/2
X 1 2
X Ai
i
+
.
(v ai )2
v ai
171
3.1. La funci
on j
(i)
Ai = 0,
P
(ii)
ai Ai + (1 i2 ) = 0,
P 2
P
(iii)
ai Ai + ai (1 i2 ) = 0.
P
Ai = 0,
P
P
(ii)
ai Ai + (1 i2 ) (1 2 ) = 0.
En general, las relaciones anteriores no son suficientes para determinar todas las constantes involucradas. El punto clave se encuentra en
que, en algunos casos, las simetras de la funcion v que se busca son
suficientes para la determinacion completa de su derivada automorfa
R(v).
3.1.4
La funci
on j
dv
dz
v(e
2i
3
) = 0,
v() = .
172
A partir de la observacion del triangulo hiperbolico fundamental asociado a la accion de SL(2, Z) en el semiplano superior complejo H,
Dedekind deduce una identidad de la forma
[v, z] =
3
8
A1
A2
+ 2+
+
.
2
4(v 1)
9v
v1
v
Las constantes Ai son determinadas teniendo en cuenta el comportamiento en el infinito. Se obtiene que
[v, z] =
36v 2 41v + 32
.
36v 2 (1 v)2
d2
2 7
d
v(1 v) 2 +
v
= 0.
dv
3 6
dv
144
Las soluciones de esta u
ltima son combinaciones lineales de series
hipergeometricas de Gauss
F (1/12, 1/12, 2/3; v),
173
P
n
Nosotros consideraremos una serie formal v(q) =
1 cn q , con
coeficientes indeterminados, que calcularemos despues por integracion
de la ecuacion diferencial de tercer orden:
36v 2 41v + 32
Da(v, q) +
= 0.
36v 2 (1 v)2
Un calculo directo muestra que
j 2 1968j + 2654208
.
j 2 (j 1728)2
Esta
ecuacion se obtienen a traves de las condiciones iniciales que
satisface la funcion j:
j(i) = 1728,
3.2
j(e
2i
3
) = 0,
j() = .
Polinomios modulares
a b
a b
Sea M+ (2, Z) := =
: a, b, c, d Z, det > 0 . Enc d
tonces, este conjunto se expresa como reunion disjunta
]
M+ (2, Z) =
n ,
n1
174
en donde
n := { M+ (2, Z) : det = n}.
a b
Dada =
M+ (2, Z), diremos que es primitiva si los
c d
coeficientes a, b, c y d son primos entre si. Para todo n 1 pondremos
n := { n : primitiva}.
3.2.1 Observaci
on. 1 = 1 = (1) := SL(2, Z) es el llamado
grupo modular. Mas generalmente, si n es un entero libre de cuadrados, entonces n = n .
El grupo (1) act
ua por la izquierda en el conjunto n de manera natural. En efecto, si (1) y n , entonces
n y es primitiva, ya que en caso contrario la matriz no sera
primitiva (multiplicar por 1 ). Se trata de calcular un conjunto de
representantes de las orbitas. Concretamente:
3.2.2 Proposici
on. El conjunto formado por las matrices triangua b
lares superiores
tales que a 1, a|n, d = n/a, mcd(a, b, d) = 1
0 d
y 0 b < d es un sistema de representantes de las o
rbitas (1),
n .
A B
n. Sea =
n . Podemos encontrar
Demostracio
C D
z, t Z con mcd(z, t) = 1 tales que Az +Ct = 0 (si A = A0 , C = C 0
con = mcd(A, C), podemos hacer z = C 0 , t = A0 ). Y como que
mcd(z, t) = 1, podemos
tomar x, y Z tales
que xt yz = 1. En
x y
a1 b1
. Por tanto, toda orbita
tonces, =
(1) y =
0 d1
z t
contiene matrices triangulares
superiores.
Y, si conviene, podemos
1 0
para obtener una matriz triangular
multiplicar por 12 =
0 1
superior con a1 , d1> 0. Con ello, toda orbita tiene un representante
a b
de la forma
con a, d > 0 y ad = n. Si ahora multiplicamos
0 d
175
1 k
a b + kd
por una matriz
, obtenemos la matriz
, de manera
0 1
0
d
que podemos tomar k de forma que 0 b + kd < d.
Hemos
visto que toda orbita contiene una matriz de la forma
a b
con a, d > 0, 0 b < d y ad = n. Dos de estas matrices
0 d
que sean
son
no
diferentes
3.2.3 Observaci
on. Analogamente, podemospensar
en un sistema
a 0
de representantes formado por las matrices
con a, d > 0,
c d
mcd(a, c, d) = 1, 0 c < a y ad = n.
Si trasponemos todas las matrices obtenemos el resultado:
3.2.4 Proposici
on. El grupo (1) act
ua por la derecha
en n de
a b
manera natural y el conjunto formado por las matrices
tales
0 d
que a 1, a|n, d = n/a, mcd(a, b, d) = 1 y 0 b < a es un sistema
de representantes de las o
rbitas (1),
n . Tambien lo es el
a 0
con a, d > 0, mcd(a, c, d) =
conjunto formado por las matrices
c d
1, 0 c < d y ad = n.
1 0
, 0 (1) tales que 0 =
. Los divisores elementales de
0 n
176
1 0
1 0
1 0
y 0
, respectivamente, y obtener 0 =
0 1
0 n
0 1
0
con , (1). 2
En particular, obtenemos el resultado siguiente sobre las orbitas:
3.2.6 Corolario. El grupo (1) act
ua transitivamente por la derecha
en el conjunto de las o
rbitas (1), n . Tambien act
ua transitivamente por la izquierda en el conjunto de las o
rbitas (1), n .
2
3.2.7 Proposici
on. Sea (n) = n
p|n (1
+ p1 ). Entonces,
a b
con a > 0, ad = n, 0 b < d y mcd(a, b, d) = 1.
de matrices
0 d
En primer lugar, d ha de ser un divisor positivo de n y a = n/d queda
determinado; as, para todo d|n hay que ver cuantos valores puede
tomar b. Sea e := mcd(d, n/d). Entre todos los enteros 0 b < d
es necesario elegir los que sean primos con e; si b es uno
de estos,
d
restandole un m
ultiple de e entre los 0, e, 2e, . . . , e 1 e, podemos
suponer que 0 b < e; de estos hay (e)
umero de
Py, por tanto, el n
los valores de b es (e)d/e. As, (n) = d|n d(e(d))/e(d) en donde
e(d) := mcd(d, n/d).
La funcion es una funcion multiplicativa. En efecto, si n = n1 n2
con mcd(n1 , n2 ) = 1, entonces podemos escribir todo divisor d de n
en la forma u
nica d = d1 d2 , para ciertos divisores di de ni y es
177
3.2.1
Propiedades de la funci
on j
n1 5 (n)q
:= (q)
j := j(q)
:= 1728E23 / Q((q)),
Z[[q]],
s
on suma de les potencias sen donde s (n) :=
d|n d es la funci
esimas de los divisores positivos de n.
1
Z[[q]].
q
n. A partir de
Demostracio
X
X
X :=
3 (n)q n , Y :=
5 (n)q n ,
n1
n1
178
3
1
1728E2
Z[[q]]. 2
j(q) =
q
3.2.9 Observaci
on. Para evitar factores transcendentes a las formulas,
hemos normalizado E2 , E3 y de manera que E2 (0) = E3 (0) = 1
y (q) 1728q (mod q 2 ), aunque, frecuentemente, se toma E2 (0) =
(2)4
(2)6
, E3 (0) =
y (q) (2)12 q (mod q 2 ), de tal forma que
12
216
= E23 27E32 . Pero esto no tiene ning
un efecto sobre la serie j,
ya que la definicion dada en este apartado coincide con la clasica
considerada previamente.
Una funcion modular de peso cero es una funcion meromorfa f :
H C tal que f = f para todo (1) y tal que P
f admite una
q-expansion; es decir, una expresion de la forma f (z) = nn0 cn q n ,
n0 Z.
3.2.10P
Proposici
on. Sea f una funci
on modular holomorfa en H
n , n 0, su q-expansi
c
q
on. Entonces, esta qy sea
0
nn0 n
expansi
on es un polinomio en j con coeficientes en el grupo abeliano
generado por los coeficientes cn .
n. En primer lugar, observamos que j define una funDemostracio
cion holomorfa en H que tiene una q-expansion que comienza con un
cn
termino polar de orden 1; por tanto, si escribimos f = n00 +terminos
q
de orden superior, vemos que f cn0 j n0 es una funcion holomorfa en
H que tiene una q-expansion que comienza con un termino polar de
orden n0 1; como que j tiene coeficientes enteros, los coeficientes
de la q-expansion de f cn0 j n0 estan en el Z-modulo generado por
179
vz (g) = 0,
zD
z 6= i,
en donde D es un dominio
fundamental, vz (g) indica el orden de la
1+ 3i
. 2
funcion g en z y =
2
3.2.2
Polinomios modulares
n (X, j) :=
Y
i=1
(X j i )
180
1 1
es de (1), los coeficientes de n (X, j) son funciones
matriz
0 1
periodicas de perodo 1.
Por otro lado, como que la funcion j es holomorfa en H y las matrices i operan en H de manera holomorfa, cada una de las funciones
j i y, en consecuencia, cada una de las funciones definidas por sus
polinomios simetricos, es una funcion holomorfa en H.
Veamos, ahora, que las funciones j i son meromorfas en infinito.
Como que j es meromorfa
entonces
X
1
a b
j
= b a/d +
ck dbk q ak/d .
0 d
d q
k0
(3.1)
181
182
3.2.15 Proposici
on. Tenemos que 1 (X, j) = X j = 1 (j, X).
Para todo n > 1, el polinomio n (X, j) es simetrico; es decir, satisface que n (X, j) = n (j, X).
n. Una de las matrices i del sistema
Demostracio
de represen
1
0
tantes de las orbitas (1), n , es la matriz
; por tan0 n
to, la funcion j(z/n) es una raz del polinomio n (X, j). Esto nos
dice que n (j(z/n), j(z)) = 0 para todo z H. En particular,
para
todo z H es n (j(z), j(nz)) = 0 o, si se quiere, la funcion
n 0
j
es una raz del polinomio n (j, X). Pero tambien es raz
0 1
del polinomio monico irreducible n (X, j), de manera que n (X, j)
ha de dividir n (j, X). Como que los dos polinomios tienen coeficientes enteros, el lema de Gauss nos asegura que existe un polinomio g(t, u) Z[t, u] tal que n (j, X) = g(X, j)n (X, j). Intercambiando las variables, n (X, j) = g(j, X)n (j, X), de manera que
n (j, X) = g(X, j)g(j, X)n (j, X) y, por tanto, g(X, j)g(j, X) = 1
y g(X, j) = g(j, X) = 1. Si fuera g(X, j) = 1, de la igualdad
n (j, X) = g(X, j)n (X, j) obtendramos que n (j, j) = n (j, j),
en donde n (j, j) = 0 y j seria una raz de n (X, j). Como que
n (X, j) es irreducible, esto solo puede pasar en el caso que n (X, j)
sea de grado (n) = 1; en este caso, ademas, debera ser n (X, j) =
X j. Pero la funcion (n) solo vale 1 para n = 1, de manera que
si n > 1, entonces ha de ser g(X, j) = 1 y n (X, j) = n (j, X). Y si
n = 1, esta claro que la u
nica matriz posible entre las i es la matriz
identidad, de manera que, directamente, 1 (X, j) = X j. 2
3.2.16 Proposici
on. Si n no es un cuadrado, entonces n (j, j) es
un polinomio en j de grado > 1 y coeficiente dominante 1.
n. En primer lugar, n (j, j) es un polinomio con coDemostracio
eficientes enteros y, de la definicion de los polinomios modulares,
Q(n)
n (j, j) = i=1 (j j i ).
Supongamos
que n es un entero no cuadrado; entonces, si =
a b
es uno de los representantes de las orbitas (1), n ,
0 d
183
3.2.3
M
odulos singulares
184
3.2.4
La congruencia de Kronecker
(mod p).
1 i
,
0 i p 1,
i :=
0 p
p 0
.
p :=
0 1
P
Si escribimos j(q) = k1 ck q k , obtenemos enseguida que jp (q) =
P
j(q p ) = k1 ck q pk j(q)p (mod p), ya que para todo k 1 el
coeficiente ck es entero y, por tanto, cpk ck (mod p). Por otra lado, si := p es una raz primitiva p-esima de la unidad, entonces
185
3.3. Multiplicaci
on compleja
Qp1
i=0
Qp1
i=0
(X j i (q))
X j(q 1/p )
p
= (X j(q)p ) X j(q 1/p )
(X j(q)p ) (X p j(q))
(mod (1 )),
p
ya que j q 1/p j(q) (mod p) i, por tanto, (mod (1 )).
P
Dicho de otra manera, p (X, j)(X j p ) (X p j) = k Pk (j)X k
en donde los Pk (j) pZ[j] son polinomios, ya que el primer miembro
de la igualdad tiene coeficientes enteros y es divisible por 1 en
Z[][X, j]. Esto demuestra la propiedad requerida. 2
3.3
3.3.1
Multiplicaci
on compleja
Ordenes
e ideales en los cuerpos cuadr
aticos imaginarios
Aunque muchas cosas que diremos en este apartado son validas para
todos los cuerpos de n
umeros, y algunas son validas para todos
los cuerpos cuadraticos, nos centraremos en el caso de los cuerpos
cuadraticos imaginarios. Se trata de extender la teora de Dedekind
a ordenes no necesariamente maximales. En el caso cuadratico, ello
equivale al estudio de formas cuadraticas primitivas de discriminante
no necesariamente fundamental. Recordemos que un tal discriminante se escribe en la forma D = D0 f 2 , siendo D0 un discriminante
186
fundamental.
3.3.1 Definici
on. Un orden de un cuerpo de n
umeros K es un subconjunto O K para el cual se satisfacen las propiedades siguientes:
(i) O es un subanillo de K que contiene 1.
(ii) O es un Z-modulo finitamente generado.
(iii) O contiene una Q-base de K.
Como que O es libre de torsion, (ii) y (iii) son equivalentes a decir
que O es un Z-modulo libre de rango 2. Notamos tambien que de
(iii) se deduce que K es el cuerpo de fracciones de O.
El anillo de los enteros algebraicos, que denotaremos por OK , es
un orden de K. El hecho que todo orden de K es finitamente generado
como grupo abeliano implica que todos los elementos de O son enteros
algebraicos de K; en particular, O O K y, en consecuencia, OK es el
orden maximo de K. Ademas como que O y OK son grupos abelianos
libres de la misma dimension finita, O es un subgrupo de ndice finito
de OK .
3.3.2 Definici
on. El ndice f := [OK : O] se denomina conductor
de OK en O.
Ahora podemos describir todos los ordenes de los cuerpos cuadraticos.
3.3.3 Proposici
on. Supongamos que K es un cuerpo cuadr
atico y
sead Z, d 6= 0, 1, y d un entero libre de cuadrados tal que K =
Q( d). Ponemos D := d si d 1 (mod 4), D := 4d si d 2, 3
(mod 4) y sea wD := D+2 D . Entonces:
(i) OK = Z ZwD .
(ii) Para todo entero f 1 hay un u
nico orden de conductor f en
OK ; es el orden ODf 2 := Z Zf wD = Zf OK .
3.3. Multiplicaci
on compleja
187
D = det
0 0
.
Tal como hemos definido D a partir de d, el discriminante de
OK es exactamente D y el discriminante de ODf 2 es exactamente
Df 2 . As, los ordenes de los cuerpos cuadraticos son determinados
unvocamente por su discriminante, que puede ser cualquier n
umero
entero no cuadrado D 0, 1 (mod 4).
Ahora estudiaremos los ideales de un orden O. Sea a un ideal
no nulo de O. Como que a contiene una Q-base de K, a tambien es
un grupo abeliano de dimension 2 = [K : Q]; en particular, el anillo
cociente O/a es finito.
3.3.5 Definici
on. La norma de a relativa a O es el cardinal de el
anillo cociente O/a; es decir, N (a) = ](O/a).
Como que todo dominio de integridad finito es un cuerpo, todo
ideal primo no nulo de O es maximal y O es un dominio de dimension
1. Por otro lado, O es un anillo noetheriano, porque, dado un ideal no
nulo a O, el anillo cociente solo tiene una cantidad finita de ideales,
de manera que todas las cadenas ascendentes de ideales a0 := a
a1 . . . O estacionan.
188
Un orden O K no es, en general, un subanillo enteramente cerrado de K; de hecho, y por definicion, solo es enteramente cerrado el
orden maximo. En particular, los ordenes no son anillos de Dedekind
y no disponemos, a priori, de una factoritzacion u
nica de los ideales
como productos de ideales primos.
Con el objetivo de tener una buena teora multiplicativa de ideales, introduciremos el concepto de ideal propio de un orden. Dado
un ideal a de O, notamos que
O { K : a a}.
Pero, en general, la igualdad no es valida.
3.3.6 Definici
on. Diremos que un ideal a O es propio cuando se
satisface la igualdad
O = { K : a a} := O(a).
Llamaremos anillo de multiplicadores de a a O(a). Notamos que, en
general, O(a) es un orden de K que contiene O como suborden.
Podemos extender esta terminologa a ideales fraccionarios.
3.3.7 Definici
on. Un ideal fraccionario de O es un O-submodulo
de K no nulo y finitamente generado. De manera equivalente, un
O-ideal fraccionario de K es un O-submodulo de K de la forma a,
para alg
un elemento K, 6= 0, y alg
un ideal no nulo a O.
Los ideales a O son O-ideales fraccionarios de K; tambien se
les denomina ideales enteros. Si un ideal fraccionario a K es de la
forma a = O, para alg
un elemento no nulo K, se dice que a es un
O-ideal fraccionario principal. Notamos que todo ideal fraccionario
principal es propio.
3.3.8 Observaci
on. Todo O-ideal fraccionario a es un O(a)-ideal
fraccionario; y siempre es un O(a)-ideal fraccionario propio. En el
caso del anillo de los enteros, todo ideal fraccionario es propio.
189
3.3. Multiplicaci
on compleja
3.3.9 Definici
on. Un O-ideal fraccionario a es invertible si existe
otro O-ideal fraccionario b para el cual se satisface la igualdad ab =
O. Notamos que todo ideal fraccionario principal es invertible.
A fin de disponer de una buena teora multiplicativa de ideales
en el caso de los ordenes de los cuerpos cuadraticos, una primera
restriccion consiste en considerar solamente los ideales fraccionarios
propios. En efecto, en el caso de los cuerpos cuadraticos, los ideales
fraccionarios propios y los ideales fraccionarios invertibles coinciden.
Para verlo usaremos el lema siguiente.
3.3.10 Lema. Sea K = Q( ) un cuerpo cuadr
atico y sea ax2 +bx+c
el polinomio minimal de , en donde a, b, c son enteros primos entre
si. Entonces [1, ] es un ideal fraccionario propio del orden [1, a ] de
K.
n. Primeramente, [1, a ] es un orden ya que a es
Demostracio
un entero algebraico y es cerrado para las operaciones diferencia y
de producto. Dado un elemento K, notamos que la inclusion
[1, ] [1, ] es equivalente a las dos propiedades
1 [1, ],
[1, ].
De la primera lnea obtenemos que = m + n, m, n Z. Por tanto,
= m + n 2 = m +
n
cn
bn
(b c) =
+(
+ m).
a
a
a
Como que mcd(a, b, c) = 1 se tiene que, [1, ] si, y solo si, a|n.
Por tanto, tenemos que
{ K : [1, ] [1, ]} = [1, a ],
y esto prueba el lema. 2
3.3.11 Proposici
on. Sea O un orden de un cuerpo cuadr
atico K,
y sea a un O-ideal fraccionario. Entonces a es propio si, y s
olo si, a
es invertible.
190
N ()
O
a
3.3. Multiplicaci
on compleja
191
En el caso en que O = OK , esta definicion coincide con la definicion usual del grupo de clases de ideales de OK ya que, para el orden
maximo, todos los ideales fraccionarios son propios. En este caso,
indicaremos por IK , PK los grupos I(OK ), P (OK ), respectivamente.
Hasta ahora, la teora no interactuara bien con la formulacion
usual de la teora de cuerpos de clases. La razon es que la teora
de cuerpos de clases se expresa usualmente en terminos del orden
maximal OK . Por tanto, dado un orden O de un cuerpo cuadratico
K, necesitamos trasladar O-ideales propios a terminos de OK -ideales.
Es difcil hacerlo directamente, pero resulta mas facil si primeramente
estudiamos los O-ideales primos con el conductor.
3.3.13 Definici
on. Dado un orden O de conductor f , diremos que
un O-ideal no nulo a es primo con f si a + f O = O.
3.3.14 Lema. Sea O un orden de conductor f .
(i) Un O-ideal a es primo con f si, y s
olo si mcd(N (a), f ) = 1.
(ii) Todo O-ideal primo con f es propio.
n. Para ver (i), sea mf : O/a O/a la multiplicacion
Demostracio
por f . Entonces,
a + f O = O mf es injectiva mf es un isomorfismo.
Por el teorema de estructura de grupos abelianos finitos, mf es un
isomorfismo si, y solo si, f es relativamente primo con el orden N (a)
de O/a, y esto prueba (i). Para ver que un O-ideal a primo con f es
propio, consideramos el elemento K para el cual se satisface la
inclusion a a. Entonces es de OK y tenemos que
O = (a + f O) = a + f O a + f OK .
Como que f OK O, obtenemos que O O. As, O, y a es un
ideal propio. 2
Como consecuencia de este resultado, todos los O-ideales enteros
primos con el conductor pertenecen a I(O); ademas, como para Oideales propios se tiene que N (ab) = N (a)N (b), si a, b O son
192
3.3. Multiplicaci
on compleja
193
3.3.17 Definici
on. Sea K un cuerpo cuadratico imaginario, OK
K el orden maximo de K y m Z, m 6= 0 un n
umero entero. Escribiremos IK (m) para indicar el subgrupo de IK generado por los
OK -ideales enteros primos con m.
La relacion entre los O-ideales enteros primos con el conductor de
O y los ideales de OK viene dada en la proposicion siguiente.
3.3.18 Proposici
on. Sea K un cuerpo cuadr
atico imaginario, OK
K el orden m
aximo de K, f 1 un n
umero entero, y O OK el
orden de K de conductor f .
(i) Si a OK es un OK -ideal primo con f , entonces a O O
es un O-ideal primo con f de la misma norma que a.
(ii) Si a O es un O-ideal entero primo con f , entonces aOK
OK es un OK -ideal entero primo con f de la misma norma
que a.
(iii) La aplicaci
on a 7 a O induce un isomorfismo IK (f )
I(O, f ), con inverso dado por la asignaci
on a 7 aOK .
n. Probamos (i). Sea a un OK -ideal primo con f .
Demostracio
Como que O/a O se inyecta en OK /a y la norma N (a) es primo
con f , tenemos que la norma N (a O) tambien sera primo con f y,
por tanto, a O es primo con f . Tenemos que la aplicacion
O/a O OK /a
es inyectiva. Como que a es primo con f , la multiplicacion por f
induce un isomorfismo en OK /a. As, como que f OK O, tenemos la exhaustividad; y, por tanto, la igualdad de las normas, como
queramos ver. Probamos (ii). Sea a un O-ideal primo con f . Como
que
aOK + f OK = (a + f O)OK = OOK = OK ,
tenemos que aOK es un OK -ideal primo con f . Ademas, la igualdad
de las normas ya la hemos probado en (i). Probamos (iii). Primeramente, comenzamos probando que si a es un O-ideal primo con f ,
194
3.3. Multiplicaci
on compleja
195
(mod f OK ), a Z, mcd(a, f) = 1
O, mcd(N (), f ) = 1.
196
3.3.2
3.3.3
La ecuaci
on de las clases
3.3. Multiplicaci
on compleja
197
3.3.21 Definici
on. Dado un orden O de un cuerpo cuadratico imaginario K, diremos que un O-ideal propio es primitivo si no es de
la forma da, en donde d > 1 es un entero y a es un O-ideal entero
propio.
El lema siguiente relaciona ideales primitivos con subredes cclicas.
3.3.22 Lema. Sea O un orden de un cuerpo cuadr
atico imaginario
y sea b un O-ideal fraccionario propio. Entonces, dado un O-ideal
propio a, ab es una subred de b de ndice N (a). La subred ab es
cclica si, y s
olo si, a es un ideal primitivo.
n. Substituyendo b por un m
Demostracio
ultiplo escalar, podemos
suponer que b O. Entonces, de la succesion exacta
0 b/ab O/ab O/b 0
se deduce que [b : ab]N (b) = N (ab) = N (a)N (b); entonces, [b : ab] =
N (a) y, por tanto, ab es una subred de b de ndice N (a). Supongamos
que b/ab no es cclica. Por el teorema de los factores invariantes,
b/ab contiene un subgrupo isomorfo a (Z/dZ)2 para alg
un d > 1, por
0
0
tanto, existe una subred ab b b tal que b /ab ' (Z/dZ)2 . Como
que b0 es un modulo libre de rango 2, tendramos que ab = db0 y,
entonces, a = db0 b1 . Pero b0 b1 O ya que b0 b. Por tanto,
sera que a no primitivo. Recprocamente, si a no fuera primitivo,
a = db0 , en donde d > 1 es un entero y b0 O. Como que ab = db0 b
son modulos libres de rango 2, se tendra que b0 b/ab ' (Z/dZ)2 .
Entonces, b0 b/ab b/ab y, por el teorema de los factores invariantes,
b/ab no sera cclico. 2
Frecuentemente se aplica el lema a un ideal principal a = O,
O. En este caso, O es un ideal primitivo si, y solo si, es un
elemento primitivo de O ( no es de la forma d0 siendo d > 1 un
entero y 0 O). Como que N () = N (O), podemos enunciar el
corolario siguiente.
3.3.23 Corolario. Sea O un orden de un cuerpo cuadr
atico imaginario, y sea b un O-ideal fraccionario propio. Entonces, dado O,
198
D2 D
D(D 1)
= f2
;
4
4
199
3.3. Multiplicaci
on compleja
(2)
(mod P).
200
201
3.3. Multiplicaci
on compleja
En consecuencia,
:=
1i<jh
(j(ai ) j(aj ))
es un elemento no nulo de OL .
Ahora, para probar la inclusion contraria, L M , bastara ver
que, salvo un conjunto finito, se tiene una inclusion SeM |Q SL|Q , en
donde SeM |Q es el conjunto de los primos p que no ramifican en OM
y que son divisibles para alg
un primo P de M de grado residual 1.
j(a0 )p j(a)
e
(mod P),
j(a0 ) j(a)p
e
(mod P).
Por otro lado, como que fP|p = 1, tenemos que j(a)p j(a)
e divide P, obtenemos que j(a)p j(a)
(mod P); y, como que P
202
e
e es de caracterstica residual p, es(mod P).
Ahora, como que P
ta condicion, juntamente con (2), nos ense
nan que j(a0 ) j(a)
e
(mod P).
Captulo 4
Resultados de
trascendencia
P. Bayer
4.1
4.1.1
F
ormula lmite de Kronecker
L-Funciones
k
d
0
0
(n) := k (n) =
, (n) := d
.
n
n
(1)
204
describe un sistema completo de formas cuadraticas binarias de discriminante d. Para comprobar esta afirmacion, observamos que el
lado izquierdo de (1) esta dado por
X
X
X
kd
k s X d
k
s
(mn) =
l
,
m
n
l
n
m=1 n=1
l=1
n|l
y el u
ltimo sumatorio es igual a la mitad del n
umero de representaciones de l por la forma f . Ahora, el termino de la derecha de (1)
puede ser escrito como
XX
f
2 s
(ax )(ax )
x=1
X
XX
f
(f )f s .
y=1 x=
El primer termino es
Y
(2s)
p|k
(1 p2s )
(a)as ,
X X
f
Ar (s)eirb/(ka) ,
r=
en donde
Ar (s) = k 1
y
kX
(f )g s e2irv/k dv,
0 y=1 x=
x + vy = uy( d/2a),
escribiendo x = m + kyn, en donde 0 m < ky, e intercambiando
el orden de integracion y de sumacion, lo cual puede hacerse por el
teorema de la convergencia dominada, se obtiene
205
4.1. F
ormula lmite de Kronecker
en donde
Ir (s) =
y
(y) =
ky1
X
eiur d/(ka)
du
(u2 + 1)s
(f (m, y))e2irm/(km) ;
m=0
k
X
(f (j, y))e2irj/(ky)
j=1
4.1.2
Formula lmite
Ar = Ar (1) (r 6= 0),
1
(a) X X
2 Y
Ar eirb/(ba) .
1 2 f
+
L(1, )L(1, ) =
6
p
a
r=
0
p|k
(2)
2
|Ar | |r|e|r| d/(ka)
d
206
para r 6= 0, y
2
A0 = (a) log p
k d
si k es la potencia de un primo p; en caso contrario, A0 = 0.
Para empezar, observamos que, para r 6= 0,
k
XX
1
Ar = ( k d)1 Ir (1)
y 1 (f (j, y))e2irj/(ky) ,
2
y
j=1
y=1
j=1
X
X
1 12s
y 12s
d)
(f (j, y)),
I0 (s)
2
y, a su vez,
1
(s )/(s).
2
Ademas, por estimaciones bien conocidas de las sumas de Gauss,
obtenemos, para todo entero positivo y y para todo k impar,
I0 (s) =
k
X
j=1
k
X
(j 2 )e2ijy/k ;
j=1
207
4.2
El siguiente lema, debido a Siegel, ha conocido generalizaciones diversas, por parte de Schneider, Baker, etc. que consideraremos a
continuacion. Nos dice que un sistema de ecuaciones lineales y homogeneas de coeficientes enteros, y peque
nos, admite soluciones enteras no triviales, tambien peque
nas.
4.2.1 Lema. Sean M, N enteros tales que N > M > 0, y sean
uij
(1 i M, 1 j N )
Y
i,j
(x (i) (j) ),
(ab)d
Y
i,j
(x (i) (j) ),
208
4.3
209
alturas de los n
umeros algebraicos implicados. El caso n 2 fue ya
considerado por Morduchai-Boltovskoj [1923] y por Gelfond [1935];
los resultados en le caso general son debidos a Baker [1966]. Mas
adelante se dara una aplicacion de este resultado de tipo tecnico.
4.3.1 Teorema. Sean 1 , . . . , n n
umeros algebraicos no nulos de
grados a lo sumo d y alturas a lo sumo A. Adem
as, sean 0 , . . . , n
n
umeros algebraicos de grados a lo sumo d y alturas a lo sumo B(
2). Entonces, o bien = 0, o bien || > B C , en donde C es una
constante computable efectivamente que depende solamente de n, d, A
y de la determinaci
on de los logaritmos elegida de antemano.
La demostracion del teorema se basa en la construccion de una
funcion auxiliar. Suponiendo que 1 , . . . , n son n
umeros algebraicos
no nulos para los cuales
|0 + 1 log 1 + . . . n1 log n1 log n | < B C
(3)
con 0 , . . . , n1 satisfaciendo las condiciones del teorema y C suficientemente grande, se llega a la conclusion que deben existir enteros
racionales b01 , . . . , b0n no todos nulos y de valora absoluto c1 como
maximo, satisfaciendo
b01 log 1 + . . . b0n log n = 0.
(4)
4.3.1
L1 = h 1,
L = L0 = = Ln = [k 11/(4n) ]
La funci
on auxiliar
210
4.3.2 Lema. Existen enteros p(1 , . . . , n ), no todos nulos, con valor absoluto a lo sumo chk
on
2 , tales que la funci
(z0 , . . . , zn1 ) =
L1
X
1 =0
Ln
X
n =0
p(1 , . . . , n )
n1
((z0 + 1 ; h))0 +1 en 0 z0 11 z1 . . . n1
zn1
(5)
para todos los enteros l tales que 1 l h y para todos los enteros
no negativos m0 , . . . , mn1 con m0 + + mn1 k.
n. Determinamos los coeficientes p(1 , . . . , n ) tales
Demostracio
que
L1
Ln
X
X
p(1 , . . . , n )q(1 , 0 , n , l)
n =0
1 =0
(6)
m
n1
11 l nn l 1m1 n1
= 0,
m0
X
m0
0 !(z+1 ; h, 0 +1, 0 )(n 0 )m0 0 .
q(1 , 0 , n , z) =
0
0 =0
211
1 =0
4.3.2
Ln
X
n =0
l/k
nn l/k = 0.
(7)
Demostraci
on del teorema principal
(0 1 L1 , 0 0 L0 )
1 =0
Ln
X
n =0
L
X
p0 (0 , 1 , . . . , n )x ,
0 =0
en donde L0 = h(L + 1), vemos que al menos uno de los L00 = (L0 +
1)(L + 1)n n
umeros p0 (0 , 1 , . . . , n ) es no nulo. Ahora (7) puede
escribirse en la forma
L0
L1
1
X
X
01 =0 1 =0
Ln
X
n =0
l/k
p0 (0 , 1 , . . . , n )(l/k)) (1 1
nn l/k )l = 0,
212
1 1
0 /k
nn /k = 1 1
nn /k
(0 j < n),
siendo b00 definido como 0. Ademas, las observaciones anteriores ponen de manifiesto que j00 tiene grado a lo sumo d2 y altura a lo sumo
213
B 00 B c para alg
un c = c(n, d, A). Ademas tenemos que r00 = 0.
Pero el teorema es obviamente valido para n = 0, y si suponemos que
se satisface para menos de n logaritmos, entonces lo dicho hasta ahora muestra que sera tambien valido para n logaritmos. Ello prueba
el resultado.
Se observa que el argumento inductivo no sera necesario de ser
log 1 , . . . , log n linealmente independientes sobre Q, y ademas el
lema 4.3.2 no sera necesario si los 1 , . . . , n fueran multiplicativamente independientes.
Para tratar en la seccion siguiente el problema del n
umero de
clases, necesitaremos un refinamiento del teorema 4.3.1. Concretamente, necesitamos la siguiente version cuantitativa del mismo, cuya
demostracion omitiremos.
4.3.6 Teorema. Sean 1 , . . . , n , n 2, n
umeros algebraicos no
nulos de grados a lo sumo d ( 4) y alturas a lo sumo A ( 4)).
Supongamos que existen racionales enteros 0 , . . . , n de valor absoluto a lo sumo B y tales que
0 < |b1 log 1 + + bn log n | > eB ,
en donde 0 < 1, y la determinaci
on del logaritmo es la principal.
Entonces,
2
2
B < (4n 1 d2n log A)(2n+1) .
4.4
El problema del n
umero de clases 1
214
1
posee como unidad fundamental = (5 + 21). Ademas, notamos
2
que mcd(k, d) = 1 para d > k, y que A0 = 0, siendo A0 la constante
que aparece en la formula lmite de Kronecker. Por tanto la suma
doble en la formula
2 Y
1
(a) X X
0
L(1, )L(1, ) =
1 2 f
+
Ar eirb/(ba)
6
p
a
r=
f
p|k
X
(4/ d)
r r ,
r=1
1
si d > k; por tanto la expresion anterior es a lo sumo
y <
2
16/ d. Ahora, mediante la formula analtica del n
umero de clases,
debida a Dirichlet,
en donde h denota el n
umero de clases del cuerpo Q( kd), y, al
substituir en (2), se deduce inmediatamente la desigualdad
|h log
32
d| < e d/100 ,
21
suponiendo por ejemplo que d > 1020 . Pero = 2i log i y, por tanto,
el termino de la izquierda corresponde a una forma lineal en dos
logaritmos del tipo delas consideradas en el teorema 4.3.1; puesto
que obviamente h < 4 d y log , log i son linealmente independientes,
concluimos que la desigualdad es contradictoria si d es mayor que una
determinada cantidad computable de manera efectiva. Para calcular
215
esta u
ltima, es conveniente utilizar una segunda desigualdad obtenida
a partir de (2) al tomar k = 33, a saber
|h0 log 0
80
d| < e d/100 ,
33
B = 140 d,
b = 35h,
b0 = 22h0 ,
4.5
El teorema de Schneider
216
(8)
217
4.5.1
Formas lineales
(1 i M, 1 j N )
y, al mismo tiempo,
||xj || c1 (c1 N U )M/(N M ) ,
(1 j N ).
uhijk xjk = 0,
j=1 k=1
(1 h n, 1 i M ).
n
X
xjk j ,
k=1
(1 j N )
218
4.5.2
La funci
on auxiliar
L
L X
X
1 =0 2 =0
satisface
(j) (yl ) = 0,
(0 j k, 1 l m).
219
d
X
l1 =0
d
X
ln =0
220
4.5.3
Demostraci
on del teorema principal
221
4.6
f1 (z) = (z2),
f3 (z) = z
41
g 36 , g 36 si g 3 6= 0, y g 2 4 , g 2
si g 2 6= 0.
f2 = (z),
f3 = 0 (),
f4 = 0 (z)
222
1
z= r+
1 , (r = 1, 2, . . . ).
2
Por tanto, por el teorema 4.5.2, el cuerpo K[f1 , f2 , f3 , f4 ] tendra grado
de trascendencia a lo sumo igual a 1. Esto implica que las funciones
f1 , f2 son algebraicamente dependientes. En consecuencia, l2 sera
un perodo de (z) para alg
un entero positivo l. Se tendra que
l2 = m1 + n2
para ciertos enteros m, n y, por tanto, sera un irracional cuadratico.
Recordemos que si 1, es una base de un cuerpo cuadratico imaginario K, entonces la teora de la multiplicacion compleja nos ha dicho
que j() es un n
umero real entero algebraico cuyo grado coincide con
el n
umero de clases de K. Observamos pues que las hipotesis del
teorema son ciertamente necesarias. 2
4.6.3 Corolario. Existen u
nicamente trece argumentos cuadr
aticos
(mod SL(2, Z)) en los cuales el valor j( ) es racional. M
as precisamente, en estos argumentos j( ) es entero.
n. Las formulas para el n
Demostracio
umero de clases de un orden
(no necesariamente maximal), permiten deducir que existen exactamente 4 discriminantes no fundamentales con n
umero de clases 1:
D = 12 = 3 22 , D = 16 = 4 22 ,
D = 27 = 3 32 , D = 28 = 7 22 .
Estos discriminantes deben a
nadirse a la lista de los 9 discriminantes
fundamentales con n
umero de clases 1. Si 1, f denota una base de
enteros del orden Of de conductor f 1, los valores en cuestion
seran dados por j(f ). 2
Captulo 5
Cuerpos de clases
P. Bayer
5.1
En esta seccion, K denotara un cuerpo local; es decir, un cuerpo valorado y completo respecto de una valoracion discreta, vK , de cuerpo
residual finito. Sea p un n
umero primo. Todo cuerpo local es extension finita de un cuerpo Qp de n
umeros p-adicos o bien de un cuerpo
Fp ((t)) de series formales sobre un cuerpo finito de p elementos.
El anillo de la valoracion de K,
OK = {a K : vK (a) 0},
es un anillo de valoracion discreta. Denotaremos por p su ideal maximal y por un generador: p = ().
El grupo de las unidades de K,
UK = {a K : vK (a) = 0},
admite una filtracion
(0)
(1)
(2)
UK = U K U K U K . . .
223
224
en la cual
(n)
UK = 1 + p n ,
para n > 0.
1
L|K = L|K
.
5.1.1
Dada una extension finita L|K, denotamos por NL|K , TrL|K la norma
y la traza, respectivamente.
225
(i)
fL|K := pK
(n)
226
Por tanto,
L Qp ((pf 1)pn ),
5.1.2
El smbolo de Hilbert
Sea n un n
umero natural primo con la caracterstica de K. Supongamos ahora que
el cuerpo K contiene las races n-esimas de la unidad.
Si L = K( n K ), entonces NL/K L = K . La teora de Kummer y
el isomorfismo de reciprocidad proporcionan una aplicacion bilineal
no degenerado
,
: K /K n K /K n n ,
p
llamada smbolo de Hilbert.
La proposicion que sigue relaciona el smbolo local de residuos
normicos con el smbolo de Hilbert.
5.1.5 Proposici
on. Dados a, b K , se satisface que
a, b
n
n
n
(a, K( b)/K) b =
b.
p
Cuando K = Qp , podemos precisar una poco mas.
5.1.6 Proposici
on. Sea a = upvp (a) Qp , p - u.
i) Si Qp es una raz primitiva m-esima de la unidad y p - m,
entonces
vp (a)
(a, Qp ()/Qp ) = p
.
227
(a, Qp ()/Qp ) = u .
5.2
Sea K un cuerpo de n
umeros. Un plaza p de K es, por definicion,
una clase de equivalencia de valoraciones de K. Las plazas definidas
por valoraciones no arquimedianas se llaman plazas finitas; estan en
correspondencia biyectiva con los ideales primos del anillo de enteros
OK . Las plazas definidas por valoraciones arquimedianas se llaman
plazas del infinito (o plazas infinitas); se corresponden con las r1
inmersiones reales K , R y con las r2 parejas de inmersiones complejas, no reales, K , C. Esta claro que [K : Q] = r1 + 2r2 .
Para a cada plaza p de K y cada entero np 0, en donde se
(n )
supone que np {0, 1} si p|, queremos definir subgrupos Up p .
Sea, entonces:
1 + pnp , si np > 0,
si np = 0, p - ,
UK p ,
n
R ,
si p es real y np = 0,
Up p =
R
si
p es real y np = 1,
+
C ,
si p es complex.
228
IK = AK = {(p )
ISK =
pS
Kp
Y
p
Kp : p Up c.p.t.},
Up ,
IK =
p6S
ISK .
229
(np )
Up
El grupo cociente
m
ClK (m) = Im
K /PK
Clm
K = IK K /K
230
5.2.4 Proposici
on. El epimorfismo natural IK IK induce un isomorfismo entre el grupo radial de clases de ideles y el grupo radial de
clases de ideales de un mismo m
odulo
ClK (m) ' Clm
K.
5.2.5 Corolario. Si K = Q y m = (m), entonces
ClQ (m) ' ClQ (m) ' (Z/mZ) .
Podemos ahora formular el resultado fundamental de la teora
global de cuerpos de clases:
5.2.6 Teorema. (Ley de reciprocidad de Artin) Sea L|K una
extensi
on finita y abeliana de cuerpos de n
umeros.
(i) Existe un isomorfismo can
onico
rL|K : Gal(L|K) ClK /NL|K ClL ,
llamado de reciprocidad.
(ii) El isomorfismo inverso de rL|K
( , L|K) : ClK /NL|K ClL Gal(L|K)
define el smbolo global de residuos n
ormicos.
Sea Lp el completado de L respecto de una plaza P|p. Al considerar el homomorfismo natural
: Kp ClK ,
ap 7 (. . . , 1, 1, 1, ap , 1, 1, 1, . . . ),
ClK
( , Lp |Kp )
( , L|K)
Gal(Lp |Kp )
i
Gal(L|K).
231
Y
p
(p , Lp |Kp );
.
5.2.8 Definici
on. Si H es un subgrupo cerrado y de ndice finito de
ClK , la extension abeliana L|K que le corresponde en la biyeccion
anterior se denomina el cuerpo de clases de H. Si H = Clm
K es el
m
subgrupo de congruencia modulo m, entonces el cuerpo K que le
corresponde se denomina el cuerpo de clases radial modulo m. Por
tanto,
Gal(K m |K) ' ClK (m).
El cuerpo de clases radial modulo (1) es el cuerpo de clases de Hilbert
K (1) . Coincide con la extension abeliana no ramificada maximal de
K y satisface que
(1)
Gal(K (1) /K) ' ClK .
5.2.9 Definici
on. Toda extension finita y abeliana L de un cuerpo
de n
umeros K esta contenida en un cuerpo de clases radial K m de
K; el ideal entero m se llama un modulo de definicion de la extension
L|K. El conductor fL|K es el maximo com
un divisor de todos los
modulos de definicion de L|K. Por tanto, es el modulo mas peque
no
para el cual K L K f .
La proposicion siguiente caracteriza el conductor de una extension
abeliana en terminos de la ramificacion.
232
5.2.10 Proposici
on. Si L|K es una extensi
on finita y abeliana y fp
denota el conductor de Lp |Kp , entonces
Y
fL|K =
fp ,
p
para todo a OL ,
L|K
p =: (p , Lp |Kp ) =:
.
p
La foQ
rmula siguiente define entonces el smbolo de Artin de un ideal
un ideal primo ramificado
a = pvp de OK no divisible por ning
L|K
a
Y L|K vp (a)
p
233
m
H m /PK
ClK
ClK (m)
( , L|K)
L|K
Gal(L|K)
id
Gal(L|K) 1,
m )P m .
en donde H m := (NL|K IK
K
234
Y a, b
p
5.3
:= es el smbolo de Hilbert.
Funciones L de Hecke
5.3.1
Caracteres de Hecke
5.3.2 Definici
on. Sea m OK un ideal entero. Un caracter de
Hecke modulo m es un homomorfismo continuo
: I m S 1 = {z C : |z| = 1}.
A todo caracter de Hecke le podemos asociar una serie L,
L(, s) =
Y
X (a)
1
=
,
s
N
(a)
1
(p)N
(p)s
p
a
Re(s) > 1,
235
: R S 1 ,
tales que
((a)) = f (a) (a),
para todo a O, (a) I m .
Entonces, existen n
umeros p = (p ) Z, p {0, 1} si es
una plaza real, y p p = 0 si es una plaza compleja, y q R,
unvocamente determinados, tales que
(x) = N (xp |x|p+iq ).
El caracter se dice que es de tipo A0 = (p, q). El modulo de definicion
mas peque
no se denomina el conductor del caracter de Hecke de tipo
A0 .
5.3.4 Definici
on. Un caracter de Dirichlet modulo m es un homomorfismo
m
m
: ClK (m) = IK
/PK
S1,
del grupo radial de clases de ideales modulo m en la circunferencia
unidad.
5.3.5 Observaci
on. Todo caracter de Dirichlet modulo m,
m
m
: IK
/PK
S1,
236
m S 1 tal que (P m ) = 1.
da lugar a un caracter de Hecke : IK
K
Define un caracter de Hecke de tipo (p, 0), ya que satisface la igualdad
m1 D1 ,
para todo y
en donde el ideal D denota la diferente de
K|Q, y el sumatorio se extiende a un sistema de representantes de
(O/m) .
1
: Cl(m) = IK /Im
KK S
se llaman caracteres de Hecke sobre les clases de ideles, de modulo de
definicion m. Al considerar la composicion
c
I m Cl(m) S 1 ,
en donde c denota el homomorfismo natural, todo caracter de Hecke
sobre las clases de ideles da lugar a un caracter de Hecke de tipo A0
del mismo modulo.
5.3.8 Proposici
on. La aplicaci
on 7 c establece una correspondencia biyectiva entre los caracteres de Hecke m
odulo m definidos
sobre las clases de ideles y los caracteres de Hecke de tipo A0 m
odulo
m definidos sobre las clases de ideales.
237
5.3.2
Equaci
on funcional de las series L de Hecke
E. Hecke [1970] demostro la ecuacion funcional de las series L asociadas a un caracter de Hecke de tipo A0 por medio del uso de funciones
theta. La tesis de J. Tate [1950], dirigida por E. Artin, permite dar
una demostracion alternativa, basada en el analisi de Fourier sobre
los grupos multiplicativos de los cuerpos p-adicos y los grupos de
las ideles. Con este metodo, las ecuaciones funcionales locales son
relativamente simples de obtener; las ecuaciones funcionales globales
resultan de formulas de sumacion de Poisson.
Sea K un cuerpo de n
umeros. Dados un caracter de Hecke de tipo
A0 , primitivo de modulo m, y una clase de ideales A IK /PK , se
define la serie L parcial relativa a la clase A,
L(A, , s) :=
X (a)
,
N (a)s
aA
en donde el sumatorio se extiende a todos los ideales enteros contenidos a la clase A. La serie L asociada a descompone entonces
en una suma finita de series L parciales
L(, s) =
L(A, , s),
238
"
!#1
(f )
md p
Tr(p)
p
N
,
W () = i
|md|
(N (m))
con |W ()| = 1.
(ii) La funci
on (A, , s) es holomorfa excepto, como mucho, de un
polo simple a
s = Tr(p + iq),
s = 1 + Tr(p + iq).
5.4
Series L de Artin
239
Y
p
1
,
det(1 (P )N (p)s ; V IP )
240
fp (),
p-
X gi
dim(V /V Gi ),
g0
i0
5.5. Reformulaci
on de la teora global de cuerpos de clases
241
5.5
Reformulaci
on de la teora global de cuerpos de clases
5.5.1
Equaci
on funcional de las series L de Artin en el
caso abeliano
L|K
f
f
f
IK /PK Gal(L|K), a (mod P ) 7
a
es un isomorfismo. Por composicion con el smbolo de Artin, a todo
caracter irreducible de Gal(L|K), necesariamente de grado 1,
: Gal(L|K) C ,
le podemos asociar el caracter de Hecke de tipo A0 siguiente:
f
e : IfK IK
C .
242
pS
1
L(e
, s),
1 (P )N (p)s
Re(s) > 1,
LC (s)(1) ,
si p es complejo,
Lp (L|K, , s) =
+
n
n
LR (s) LR (s + 1) , si p es real,
en donde n+ =
(1)+(P )
,
2
n =
(1)(P )
.
2
Como antes,
5.5.3 Definici
on. Dado un caracter de Gal(L|K), la serie L de
Artin completa se define por
(L|K, , s) = c(L|K, )s/2 L (L|K, , s)L(L|K, , s),
Re(s) > 1,
en donde
L (L|K, , s) =
p|
Lp (L|K, , s),
5.5.4 Proposici
on. Si es un car
acter de grado 1, entonces las
series de Artin y de Hecke completas, asociadas a , coinciden:
(L|K, , s) = (e
, s).
5.5. Reformulaci
on de la teora global de cuerpos de clases
243
5.5.2
244
y como que las dos funciones zeta de Dedekind tienen un polo simple
en s = 1, se sigue que L(K m |K, , 1) 6= 0, para todo 6= 1. Por
tanto, L(, 1) 6= 0. 2
Llegamos ahora a una de las aplicaciones de mas utilidad de la
teora.
5.5.7 Definici
on. Dados un cuerpo de n
umeros K y un subconjunto
M IK de ideales fraccionarios, la densidad de Dirichlet (M ) se
define por la igualdad
P
s
pM N (p)
(M ) = lim
,
1
s1+0
log s1
siempre que el lmite exista.
5.5.8 Teorema. (Chebotarev) Sean L|K una extensi
on finita y
de Galois. Dada una transformaci
on Gal(L|K), sea
L|K
PL|K () = p :
= para un P|p .
P
El conjunto PL|K () tiene densidad de Dirichlet dada por la f
ormula
#hi
,
#Gal(L|K)
(PL|K ()) =
en donde hi = 1
de .
Los resultados que siguen son consecuencia del teorema de densidad de Chebotarev. Permiten interpretar las extensiones de Galois
de los cuerpos de n
umeros como verdaderas maquinas distribuidores
de ideales primos.
5.6. El sue
no de junventud de Kronecker
245
5.6
El sue
no de junventud de Kronecker
246
funciones permitiran profundizar en nuestro conocimiento de los elementos algebraicos y en la teora de Galois.
El sue
no de juventud involucra no solo el conocimiento de funciones especiales sino, tambien, de los puntos en los cuales estas han
de ser evaluadas. En el caso de la funcion exponencial, estos puntos
son los vertices de los polgonos regulares inscritos en la circunferencia
unidad. En el caso de la funcion j, estos puntos son proporcionados
por la teora de Gauss de las formas cuadraticas binarias.
En general, las funciones transcendentes tienden a tomar valores
transcendentes en argumentos algebraicos. La verificacion de las ideas
de Kronecker implica pues la caracterizacion de los modulos singulares para una funcion, o sea de los argumentos algebraicos en los
5.6. El sue
no de junventud de Kronecker
247
248
Captulo 6
Ejercicios
`rdia
P. Bayer, J. Gua
Introducci
on al PARI
250
Cap. 6 Ejercicios
6.1
6.1.1
Funciones elementales
251
Q( x), en donde x Q.
gp > quaddisc(32)
%16 = 8
gp > quaddisc(8)
%17 = 8
gp > quaddisc(3/4)
%18 = 3
252
Cap. 6 Ejercicios
gp > quaddisc(7/6)
%19 = 168
quadunit(x): devuelve la unidad fundamental del cuerpo cuadratico de discriminante positivo x. Si x no es fundamental,
devuelve la unidad fundamental correspondiente al orden. Devuelve un n
umero cuadratico en la base [1, w] del anillo de enteros, en donde w = quadgen(x).
gp > quadunit(5)
%20 = w
gp > quadunit(8)
%21 = 1 + w
quadregulator(x): devuelve el regulador del cuerpo cuadratico
de discriminante positivo x. Devuelve error si x no es un discriminante (fundamental o no) o si x es un cuadrado.
gp > quadregulator(5)
%22 = 0.4812118250596034474977589134
gp > log(quaduinit(5))
%23 = 0.4812118250596034474977589134
gp > quadregulator(8)
%24 = 0.8813735870195430252326093250
gp > log(quadunit(8))
%25 = 0.8813735870195430252326093250
6.1.2
253
%1 = 1/2 + 0.8660254037844386467637231707 I
gp > algdep(a, 2)
%2 = x2 + x + 1
gp > algdep(a, 3)
%3 = x2 + x + 1
gp > algdep(a, 4)
%4 = x2 + x + 1
gp > subst(%2, x, a)
%5 = 0.E 28
gp > b = 3(1/3) /3
%6 = 0.4807498567691361274405461036
gp > algdep(b, 3)
%7 = 9 x3 1
6.1.3
Formas cuadr
aticas binarias
254
Cap. 6 Ejercicios
gp > qf bclassno(34)
qf bclassno : discriminant not congruent to 0, 1 mod 4.
gp > coredisc(34)
%4 = 136
gp > coredisc(136, 1)
%5 = [136, 1]
gp > qf bclassno(136)
%6 = 2
El conjunto de las clases de formas cuadraticas de discriminante
D, que denotaremos por H(D), tiene estructura de grupo. PARI tiene
implementado el producto de formas cuadraticas. La instrucciones
que se usan son muy naturales:
gp > f g
%7 = Qf b(2, 1, 3)
gp > f /g
%8 = Qf b(1, 1, 6)
gp > f 5
%9 = Qf b(2, 1, 3)
gp > f 6
%10 = Qf b(1, 1, 6)
PARI tiene la instruccion quadclassunit(D) que determina la estructura del grupo de clases de formas cuadraticas binarias de discriminante D:
gp > quadclassunit(23)
%11 = [3, [3], [Qf b(2, 1, 3)], 1]
La funcion quadclassunit(D) devuelve una lista de 4 elementos, de los
cuales ahora nos fijaremos en los 3 primeros. El primero es el orden
6.2. Cuerpos de n
umeros con PARI
255
del grupo H(D). Este grupo es abeliano finito; por tanto, isomorfo a
un producto de grupos cclicos:
H(D) ' Z/a1 Z Z/ar Z.
El segundo elemento de la lista son los factores invariantes [a1 , . . . , ar ].
El tercer elemento de la lista proporciona un sistema de generadores
[f1 , . . . , fr ] del grupo H(D). Cada clase de formas fi genera el correspondiente subgrupo cclico Z/ai Z. Para comprender la cuarta
entrada de la funcion quadclassunit observamos el ejemplo siguiente.
gp > quadclassunit(40)
%12 = [2, [2], [Qf b(3, 2, 3, 0.E 38)],
1.818446459232066823483698964]
gp > quadregulator(40)
%13 = 1.818446459232066823483698964
6.1.2 Ejercicio. Determina la estructura del grupo de las clases de
formas cuadraticas binarias de discriminante 231. Calcula una familia de generadores del grupo H(23), y escribe su tabla de multiplicar.
6.1.3 Ejercicio. Describe la funcion qf bprimef orm(D, p).
6.1.4 Ejercicio. Determina experimentalmente los primos que son
representados por la forma cuadratica X 2 + Y 2 , de discriminante
4. Si tienes en cuenta que h(4) = 1, podras utilizar la funcion
qf primef orm(D, p).
6.1.5 Ejercicio. Escribe la lista de todos los cuerpos cuadraticos
imaginarios con n
umero de clases 1 cuyo discriminante D satisface
|D| 1000.
6.2
Cuerpos de n
umeros con PARI
256
Cap. 6 Ejercicios
6.2. Cuerpos de n
umeros con PARI
257
%3 = [1,
1/8510 x5 + 1/851 x4 7/1702 x3 + 221/1702 x2
11/115 x + 12327/4255,
7/8602 x5 + 10/4301 x4 + 427/8602 x3 + 1557/8602 x2
+3317/4301 x + 481/187,
168/795685 x5 + 1779/159137 x4 + 4892/159137 x3
+81750/159137 x2 + 11864/21505 x + 4718702/795685,
17/8510 x5 + 3/1702 x4 70/851 x3 + 101/851 x2
103/115 x + 12117/8510,
763/1591370 x5 + 717/159137 x4 1307/159137 x3
+3035/13838 x2 + 8451/43010 x + 3284473/1591370]
Esta sera la base en que PARI expresara todo los elementos de
OK . De manera mas comoda, podemos visualizar sus elementos:
1 = 1
2 =
5
4
73
2212 11 12327
+
+
8510 851 1702
1702
115
4255
3 =
75
104 4273 15572 3317 481
+
+
+
+
+
8602 4301
8602
8602
4301
187
4 =
1685
17794 48923 817502 11864 4718702
+
+
+
+
+
795685 159137
159137
159137
21505
795685
5 =
175
34
703 1012 103 12117
+
+
8510 1702
851
851
115
8510
6 =
7635
7174
13073 30352 8451 3284473
+
+
+
+
1591370 159137 159137
13838
43010
1591370
258
Cap. 6 Ejercicios
6.2.1
Veremos que PARI tambien puede hacer calculos con los ideales
del
anillo de enteros OK . Vamos a trabajar en el cuerpo K = Q( 87).
6.2.2 Ejercicio. Inicializa el cuerpo K en PARI, mediante elpoli1 + 87
nomio X 2 + 87. Comprueba que los elementos 1, =
2
forman una Z-base del anillo OK .
Las funciones de PARI que permiten trabajar con ideales comienzan todas por el prefijo ideal. La primera de ellas es la funcion
idealprincipal, que sirve para definir
un ideal principal. Por ejemplo, si queremos definir el ideal (3 + 2 87), podemos escribir:
gp > a = idealprincipal(K, 3 + 2 x)
%2 =
[5]
[4]
La salida de esta funcion es una matriz, cuyas columnas son las
coordenadas de los generadores del ideal respecto de la Z-base dada
por la variable K.zk. Nosotros tambien podemos utilizar esta notacion para describir los ideales. Por ejemplo, podemos definir un
ideal mediante la instruccion:
6.2. Cuerpos de n
umeros con PARI
259
260
Cap. 6 Ejercicios
%4 =
[15166431 5634267]
[0 3]
Se observa que el ideal ab = 357OK es principal. Si a, b fueran
coprimos, el u
nico ideal que los dividira a la vez seria OK ; es decir,
el mnimo ideal que los contendra sera OK . El mnimo ideal que los
contiene es el ideal suma. As, basta observar que el ideal suma es
a+b = (3, 2+) 6 OK para asegurar que no son coprimos. Veamoslo
con PARI.
PARI usa frecuentemente la representacion anterior de los ideales
en sus resultados. Estudiemos, por ejemplo, la funcion idealprimedec.
Esta funcion se aplica a un n
umero primo p Z y devuelve la factorizacion en producto de ideales primos del ideal pO. El output es una
lista de vectores del tipo [p, aj , ej , fj , bj ] cada uno. Cada vector nos
dice que el ideal primo pj = (p, aj ) divide al ideal pOK , con exponente
ej , y que la norma del ideal pj es pfj . La descomposicion completa
e
del ideal pOK es pOK = pe11 png , en donde g es la longitud de la
lista que nos devuelve PARI.
Por ejemplo, la instruccion
gp > idealprimedec(K, 7)
%5 = [[7, [1, 2], 1, 1, [3, 2]], [7, [3, 2], 1, 1, [1, 2]]]
nos confirma que el ideal 7OK es producto de dos ideales:
7OK = p1 p2 ,
p1 = (7, 1 + 2), N(p1 ) = 7,
p2 = (7, 3 + 2),
N(p2 ) = 7.
6.2.4 Ejercicio. Comprueba que los primos 3 y 29 ramifican en el
cuerpo K. Comprueba que los primos 5 y 19 son inertes. Como se
comporta el ideal 2?
6.2.5 Ejercicio. Utiliza la funcion idealf actor para factorizar los
ideales 74 OK , 36OK en producto de ideales primos y calcular su
norma.
6.2. Cuerpos de n
umeros con PARI
6.2.2
261
Clases de ideales
262
Cap. 6 Ejercicios
b = (3, 1 + )
6.2.3
Formas cuadr
aticas e ideales
6.3. La funci
on j con PARI
263
c = component(f q, 3);
i0 = idealprincipal(K, a);
idealadd(K, i0, b/2 + x/2)
}
6.2.9 Ejercicio. Calcula el ideal de OK que define cada una de las
formas cuadraticas reducidas de discriminante 87.
6.3
La funci
on j con PARI
6.3.1 Ejercicio. Calcula los ceros de las formas cuadraticas reducidas de discriminante 15.
6.3.2 Ejercicio. Estudia la funcion ellj de PARI. Utiliza esta funcion para calcular el invariante j en los irracionales cuadraticos que
has encontrado en el ejercicio anterior.
6.3.3 Ejercicio. En el ejercicio anterior has obtenido dos valores
j1 , j2 . Comprueba que el polinomio f (X) = (X j1 )(X j2 ) es de
coeficientes enteros.
6.3.1
264
Cap. 6 Ejercicios
Captulo 7
Soluciones
`rdia
P. Bayer, J. Gua
7.1
7.1.1
Soluciones
Funciones elementales
266
Cap. 7 Soluciones
nentes [d, f ].
gp > core(20, 0)
%1 = 5
gp > core(20)
%2 = 5
gp > core(20, 1)
%3 = [5, 2]
gp > core(32)
%4 = 2
gp > core(32, 1)
%5 = [2, 4]
gp > core(31)
%6 = 31
gp > core(31, 1)
%7 = [31, 1]
7.1. Soluciones
267
Q( x), en donde x Q.
gp > quaddisc(32)
%16 = 8
gp > quaddisc(8)
%17 = 8
gp > quaddisc(3/4)
%18 = 3
gp > quaddisc(7/6)
%19 = 168
quadunit(x): devuelve la unidad fundamental del cuerpo cuadratico de discriminante positivo x. Si x no es fundamental,
devuelve la unidad fundamental correspondiente al orden. Devuelve un n
umero cuadratico en la base [1, w] del anillo de enteros, en donde w = quadgen(x).
gp > quadunit(5)
%20 = w
gp > quadunit(8)
%21 = 1 + w
quadregulator(x): devuelve el regulador del cuerpo cuadratico
de discriminante positivo x. Devuelve error si x no es un discriminante (fundamental o no) o si x es un cuadrado.
gp > quadregulator(5)
%22 = 0.4812118250596034474977589134
gp > log(quaduinit(5))
%23 = 0.4812118250596034474977589134
268
Cap. 7 Soluciones
gp > quadregulator(8)
%24 = 0.8813735870195430252326093250
gp > log(quadunit(8))
%25 = 0.8813735870195430252326093250
7.1.1 Ejercicio. Escribe todos los discriminantes fundamentales D,
para 1 D 100.
n.
Solucio
gp > for(n=1, 100, if(isfundamental (n)! = 0,print(n),))
%1 = 3, 4, 7, 8, 11, 15, 19, 20, 23, 24, 31,
35, 39, 40, 43, 47, 51, 52, 55, 56, 59,
67, 68, 71, 79, 83, 84, 87, 88, 91, 95.
7.1.2
7.1. Soluciones
269
%6 = 0.4807498567691361274405461036
gp > algdep(b, 3)
%7 = 9 x3 1
7.1.3
Formas cuadr
aticas binarias
270
Cap. 7 Soluciones
271
7.1. Soluciones
gp > quadregulator(40)
%13 = 1.818446459232066823483698964
7.1.2 Ejercicio. Determina la estructura del grupo de las clases de
formas cuadraticas binarias de discriminante 231. Calcula una familia de generadores del grupo H(23), y escribe su tabla de multiplicar.
n.
Solucio
gp > coredisc(231)
%1 = [231]
gp > quadclassunit(231)
%2 = [12, [6, 2], [Qf b(2, 1, 29), Qf b(7, 7, 10)], 1]
Por tanto, h(231) = 12 y H(231) ' Z/6Z Z/2Z.
El grupo esta generado por las clases de las formas f = (2, 1, 29)
y g = (7, 7, 10). La tabla de multiplicar es la siguiente:
I
g
I
(1, 1, 58)
(7, 7, 10)
f
(2, 1, 29)
(5, 3, 12)
f2
(4, 3, 15)
(6, 3, 10)
f3
(8, 5, 8)
(3, 3, 20)
f4
(4, 3, 15)
(6, 3, 10)
f5
(2, 1, 29)
(5, 3, 12)
272
Cap. 7 Soluciones
2
S
2
p
es representado?
p (mod 4)
29
S
1
3
N
3
31
N
3
5
S
1
7
N
3
37
S
1
11
N
3
41
S
1
13
S
1
43
N
3
17
S
1
47
N
3
19
N
3
53
S
1
23
N
3
59
N
3
El resultado parece indicar que los primos p 3 que son representados por la forma cuadratica son los primos congruentes con 1
modulo 4.
7.1.5 Ejercicio. Escribe la lista de todos los cuerpos cuadraticos
imaginarios con n
umero de clases 1 cuyo discriminante D satisface
|D| 1000.
n.
Solucio
gp > for(n = 1, 1000, if(isfundamental(n)! = 0
&& qfbclassno(n) < 2, print(n),))
%1 = 3, 4, 7, 8, 11, 19, 43, 67, 163
7.2
Cuerpos de n
umeros con PARI
7.2. Cuerpos de n
umeros con PARI
273
274
Cap. 7 Soluciones
%3 = [1,
1/8510 x5 + 1/851 x4 7/1702 x3 + 221/1702 x2
11/115 x + 12327/4255,
7/8602 x5 + 10/4301 x4 + 427/8602 x3 + 1557/8602 x2
+3317/4301 x + 481/187,
168/795685 x5 + 1779/159137 x4 + 4892/159137 x3
+81750/159137 x2 + 11864/21505 x + 4718702/795685,
17/8510 x5 + 3/1702 x4 70/851 x3 + 101/851 x2
103/115 x + 12117/8510,
763/1591370 x5 + 717/159137 x4 1307/159137 x3
+3035/13838 x2 + 8451/43010 x + 3284473/1591370]
Esta sera la base en que PARI expresara todo los elementos de
OK . De manera mas comoda, podemos visualizar sus elementos:
1 = 1
2 =
5
4
73
2212 11 12327
+
+
8510 851 1702
1702
115
4255
3 =
75
104 4273 15572 3317 481
+
+
+
+
+
8602 4301
8602
8602
4301
187
4 =
1685
17794 48923 817502 11864 4718702
+
+
+
+
+
795685 159137
159137
159137
21505
795685
5 =
175
34
703 1012 103 12117
+
+
8510 1702
851
851
115
8510
6 =
7635
7174
13073 30352 8451 3284473
+
+
+
+
1591370 159137 159137
13838
43010
1591370
7.2. Cuerpos de n
umeros con PARI
275
7.2.1
Veremos que PARI tambien puede hacer calculos con los ideales
del
anillo de enteros OK . Vamos a trabajar en el cuerpo K = Q( 87).
7.2.2 Ejercicio. Inicializa el cuerpo K en PARI, mediante elpoli1 + 87
nomio X 2 + 87. Comprueba que los elementos 1, =
2
forman una Z-base del anillo OK .
n.
Solucio
gp > K = nf init(x2 + 87);
gp > K.zk
%1 = [1, 1/2 x 1/2]
Efectivamente, forman una Z-base de OK .
Las funciones de PARI que permiten trabajar con ideales comienzan todas por el prefijo ideal. La primera de ellas es la funcion
276
Cap. 7 Soluciones
7.2. Cuerpos de n
umeros con PARI
277
[357 0]
[0 357]
Interseccion de ideales:
gp > idealintersect(K, a, b)
%3 =
[357 238]
[0 119]
Potenciacion de ideales:
gp > idealpow(K, a, 3)
%4 =
[15166431 5634267]
[0 3]
Se observa que el ideal ab = 357OK es principal. Si a, b fueran
coprimos, el u
nico ideal que los dividira a la vez seria OK ; es decir,
el mnimo ideal que los contendra sera OK . El mnimo ideal que los
contiene es el ideal suma. As, basta observar que el ideal suma es
a + b = (3, 2 + ) 6 OK para asegurar que no son coprimos.
PARI usa frecuentemente la representacion anterior de los ideales
en sus resultados. Estudiemos, por ejemplo, la funcion idealprimedec.
Esta funcion se aplica a un n
umero primo p Z y devuelve la factorizacion en producto de ideales primos del ideal pO. El output es una
lista de vectores del tipo [p, aj , ej , fj , bj ] cada uno. Cada vector nos
dice que el ideal primo pj = (p, aj ) divide al ideal pOK , con exponente
ej , y que la norma del ideal pj es pfj . La descomposicion completa
e
del ideal pOK es pOK = pe11 png , en donde g es la longitud de la
lista que nos devuelve PARI.
Por ejemplo, la instruccion
gp > idealprimedec(K, 7)
%5 = [[7, [1, 2], 1, 1, [3, 2]], [7, [3, 2], 1, 1, [1, 2]]]
278
Cap. 7 Soluciones
7.2. Cuerpos de n
umeros con PARI
279
n.
Solucio
gp > idealf actor(K, 74 )
%1 =
[[7, [1, 2], 1, 1, [3, 2]]4]
[[7, [3, 2], 1, 1, [1, 2]]4]
74 OK = (7, 1 + 2)4 (7, 3 + 2)4 ; tiene norma 74 74 = 78 .
gp > idealf actor(K, 36)
%2 =
[[2, [0, 1], 1, 1, [1, 1]]2]
[[2, [1, 1], 1, 1, [0, 1]]2]
[[3, [1, 2], 2, 1, [1, 1]]4]
36OK = (2, )2 (2, 1 + )2 (3, 1 + 2)4 ; se norma es 22 22 34 = 362 .
280
Cap. 7 Soluciones
7.2.2
Clases de ideales
281
7.2. Cuerpos de n
umeros con PARI
b = (3, 1 + )
282
Cap. 7 Soluciones
7.2.3
Formas cuadr
aticas e ideales
7.2. Cuerpos de n
umeros con PARI
283
%4 =
[2 0]
[0 1]
gp > a2 = ideal(f 2 )
%5 =
[4 2]
[0 1]
gp > a3 = ideal(f 3 )
%6 =
[3 2]
[0 1]
gp > a4 = ideal(f 4 )
%7 =
[4 3]
[0 1]
gp > a5 = ideal(f 5 )
%8 =
[2 1]
[0 1]
gp > a0 = ideal(f 6 )
%9 =
[1 0]
[0 1]
Por tanto, la biyeccion entre clases de formas cuadraticas y clases
284
Cap. 7 Soluciones
7.3
1 +
7
7
7
7
7
7
a0
a1
a2
a3
a4
a5
=
=
=
=
=
=
(1, ) = OK
(2, )
(4, 2 + )
(3, 2 + )
(4, 3 + )
(2, 1 + )
87
.
2
La funci
on j con PARI
7.3.1 Ejercicio. Calcula los ceros de las formas cuadraticas reducidas de discriminante 15.
n. Aplicaremos la funcion quadclassunit a 15:
Solucio
gp > quadclassunit(15)
%1 = [2, [2], [Qf b(2, 1, 2)], 1]
Tenemos que H(15) = {[(1, 1, 4)], [(2, 1, 2)]}; por tanto, los ceros
correspondientes en el semiplano de Poincare son:
1 + 15
1 + 15
t1 =
, t2 =
.
2
4
7.3.2 Ejercicio. Estudia la funcion ellj de PARI. Utiliza esta funcion para calcular el invariante j en los irracionales cuadraticos que
has encontrado en el ejercicio anterior.
n. La funcion ellj(x) calcula el invariante j del elemento x.
Solucio
gp > t1 = (1 + sqrt(15))/2
%1 = 1/2 + 1.936491673103708442589632700 I
gp > t2 = (1 + sqrt(15))/4
7.3. La funci
on j con PARI
285
%2 = 1/4 + 0.9682458365518542212948163499 I
gp > j1 = ellj(t1)
%3 = 191657.8328625472074713534448 9.42985898E 23 I
gp > j21 = ellj(t2)
%4 = 632.8328625472074713534448207 1.680210619E 25 I
7.3.3 Ejercicio. En el ejercicio anterior has obtenido dos valores
j1 , j2 . Comprueba que el polinomio f (X) = (X j1 )(X j2 ) es de
coeficientes enteros.
n.
Solucio
gp > (X j1) (X j2)
%1 = X 2 +(191025.0000000000000000000000+9.44666109E23
I)X +(121287375.00000000000000000000002.710505432E 20
I)
El polinomio es, pues,
X 2 + 191025X 121287375
Podemos ahora pedirle a PARI que nos haga algunas comprobaciones:
gp > qf bclassno(15)
%2 = 2
gp > quadhilbert(15)
%3 = X 2 X 1
Notemos que ambos polinomios
cuadraticos definen la misma ex
tensi
o
n
de
Q,
a
saber,
Q(
5)
y,
por
tanto, la misma extensi
o
n de
7.3.1
7.3.4 Ejercicio. Calcula el cuerpo de clases de Hilbert de los cuerpos cuadraticos de discriminante D = 23, 55, 88, 95.
286
Cap. 7 Soluciones
n.
Solucio
Consideremos los 9 discriminantes fundamentales de n
umero de
clases 1:
gp > quadhilbert(23)
%1 = x3 + x2 1
gp > quadhilbert(23)
%2 = x3 + x2 1
gp > quadhilbert(55)
%3 = x4 + 2 x3 x 1
gp > quadhilbert(88)
%4 = x2 2 x 1
gp > quadhilbert(163)
%5 = x
7.3.5 Ejercicio. Calcula los trece valores algebraicos de , modulo
SL(2, Z) para los cuales j( ) es un n
umero racional. Por que, de
hecho, obtienes valores enteros?
n.
Solucio
Consideremos los 9 discriminantes fundamentales negativos con
n
umero de clases 1: {3, 4, 7, 8, 11, 19, 43, 67, 163}
gp > K = nf init(x2 + 3);
gp > K.zk
%2 = [1, 1/2 x 1/2]
gp > ellj(1/2 + 1/2 sqrt3)
%3 = 4.262177685E 82 1.585447738E 82 I
j(1/2 + 1/2 3) = 0
gp > K4 = nf init(x2 + 4);
7.3. La funci
on j con PARI
287
gp > K4.zk
%5 = [1, 1/2 x]
gp > ellj(1/2 sqrt(4))
%6 = 1728.000000000000000000000000
j(i) = 1728 = 26 33
gp > K7 = nf init(x2 + 7);
gp > K7.zk
%9 = [1, 1/2 x 1/2]
gp > ellj(1/2 + 1/2 sqrt(7))
%10 = 3375.0000000000000000000000014.911384888E 25I
j( 2) = 8000 = 26 53
gp > K11 = nf init(x2 + 11);
gp > K11.zk
%15 = [1, 1/2 x 1/2]
gp > ellj(1/2 + 1/2 sqrt(11))
%16 = 32768.000000000000000000000012.502221353E 23I
288
Cap. 7 Soluciones
7.3. La funci
on j con PARI
289
j( 3) = 54000 = 24 33 53
gp > K16 = bnf init(x2 + 16);
gp > K16.zk
%2 = [1, 1/4 x]
gp > coredisc(16, 1)
%3 = [4, 2]
gp > ellj(2 1/4 sqrt(16))
%4 = 287496.0000000000000000000002
gp > f actor(287496)
j(2i) = 287496 = 23 33 113
gp > K27 = bnf init(x2 + 27);
gp > K27.zk
%2 = [1, 1/6 x 1/2]
gp > coredisc(27, 1)
%3 = [3, 3]
290
Cap. 7 Soluciones
j( 7) = 16581375 = 33 53 173
Bibliografa
[Ba1990]
[Bay2002]
[Ca2004]
[Co1989]
[La1973]
[Ne1999]
Neukirch, J
urgen: Algebraic number theory. Translated from the 1992 German original and with a note by
Norbert Schappacher. With a foreword by G. Harder.
Grundlehren der Mathematischen Wissenschaften, 322.
291
BIBLIOGRAFIA
292
PARI-Group, PARI/GP: Number Theory-oriented Computer Algebra System. Universite de Bordeaux, 2004.
Disponible en http://pari.math.u-bordeaux.fr/.
[Ri1972]
Ribenboim, Paulo: Algebraic numbers. Pure and Applied Mathematics, Vol. 27. Wiley-Interscience [A Division of John Wiley & Sons, Inc.], New York-LondonSydney, 1972. x+300 pp. MR0340212 (49 #4968).
[Sa1967]
Samuel, Pierre: Theorie algebrique des nombres. Hermann, Paris 1967 130 pp. MR0215808 (35 #6643).
[Se1977]
[Se1979]
[Si1949]
[Tr1992]
Travesa, A.:
1991/92.
[Wa1997]
[Za1981]
BIBLIOGRAFIA
293
P. Bayer
`tiques
Facultat de Matema
Universitat de Barcelona
Gran Via de les Corts Catalanes, 585
E-08007, Barcelona
bayer@mat.ub.es
P. Bayer
Facultat de Matemtiques, UB
Gran Via de les Corts Catalanes, 585
08007 Barcelona. Espanya
bayer@ub.edu
Comit editorial
P. Bayer
Fac. de Matemtiques
Univ. de Barcelona
Gran Via de les Corts
Catalanes, 585
08007 Barcelona
Espanya
E. Nart
Fac.de Cincies
Univ. Autnoma de
Barcelona
Dep. de Matemtiques
08193 Bellaterra
Espanya
J. Quer
Fac. de Matemtiques
i Informtica
Univ. Politcnica de
Catalunya
Pau Gargallo, 5
08228 Barcelona
Espanya
Classificaci AMS
Primria: 11Rxx, 11J86, 11J89
Secundria: 11Y70
Barcelona, 2005
Amb suport parcial de MCYT, BFM2003-01898
ISBN: pendent