Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
EL SUEÑO DE JUVENTUD DE
KRONECKER
Comitè editorial
P. Bayer, E. Nart, J. Quer
EL SUEÑO DE JUVENTUD DE
KRONECKER
Edición a cargo de
Pilar Bayer
Con contribuciones de
iii
iv ÍNDICE GENERAL
2 Cuerpos de números
A. Travesa 77
2.1 Aritmética de los cuerpos de números . . . . . . . . . 77
2.1.1 Extensiones enteras . . . . . . . . . . . . . . . 77
2.1.2 Enteros de un cuerpo de números . . . . . . . . 79
2.1.3 Anillos de Dedekind . . . . . . . . . . . . . . . 85
2.1.4 El grupo de los ideales . . . . . . . . . . . . . . 87
2.1.5 Factorialidad y principalidad . . . . . . . . . . 92
2.2 Ramificación . . . . . . . . . . . . . . . . . . . . . . . 94
2.2.1 Extensiones de anillos de Dedekind . . . . . . . 94
2.2.2 Índice de ramificación y grado residual . . . . . 95
2.2.3 Normas y trazas . . . . . . . . . . . . . . . . . 104
2.2.4 Discriminante y ramificación . . . . . . . . . . 107
2.2.5 Cuerpos cuadráticos . . . . . . . . . . . . . . . 115
2.2.6 Cuerpos ciclotómicos . . . . . . . . . . . . . . . 117
2.3 Teoremas de Minkowski . . . . . . . . . . . . . . . . . 125
2.3.1 Redes de Rn . . . . . . . . . . . . . . . . . . . 125
2.3.2 La inmersión canónica . . . . . . . . . . . . . . 128
2.3.3 Finitud del grupo de clases de ideales . . . . . 131
2.4 Ramificación superior . . . . . . . . . . . . . . . . . . 137
2.4.1 Grupos de descomposición y de inercia . . . . . 137
2.4.2 Automorfismo de Frobenius . . . . . . . . . . . 143
2.4.3 Grupos de ramificación superior . . . . . . . . 146
ÍNDICE GENERAL v
3 Funciones modulares
P. Bayer, A. Travesa 163
3.1 La función j . . . . . . . . . . . . . . . . . . . . . . . . 163
3.1.1 Grupos fuchsianos . . . . . . . . . . . . . . . . 163
3.1.2 Funciones automorfas . . . . . . . . . . . . . . 166
3.1.3 Ecuaciones diferenciales de tipo fuchsiano . . . 168
3.1.4 La función j . . . . . . . . . . . . . . . . . . . 171
3.2 Polinomios modulares . . . . . . . . . . . . . . . . . . 173
3.2.1 Propiedades de la función j . . . . . . . . . . . 177
3.2.2 Polinomios modulares . . . . . . . . . . . . . . 179
3.2.3 Módulos singulares . . . . . . . . . . . . . . . . 183
3.2.4 La congruencia de Kronecker . . . . . . . . . . 184
3.3 Multiplicación compleja . . . . . . . . . . . . . . . . . 185
3.3.1 Órdenes e ideales en los cuerpos cuadráticos
imaginarios . . . . . . . . . . . . . . . . . . . . 185
3.3.2 El cuerpo de clases de Hilbert . . . . . . . . . . 196
3.3.3 La ecuación de las clases . . . . . . . . . . . . . 196
4 Resultados de trascendencia
P. Bayer 203
4.1 Fórmula lı́mite de Kronecker . . . . . . . . . . . . . . 203
4.1.1 L-Funciones . . . . . . . . . . . . . . . . . . . . 203
vi ÍNDICE GENERAL
5 Cuerpos de clases
P. Bayer 223
5.1 Teorı́a local de cuerpos de clases . . . . . . . . . . . . 223
5.1.1 La ley local de reciprocidad . . . . . . . . . . . 224
5.1.2 El sı́mbolo de Hilbert . . . . . . . . . . . . . . 226
5.2 Teorı́a global de cuerpos de clases . . . . . . . . . . . . 227
5.3 Funciones L de Hecke . . . . . . . . . . . . . . . . . . 234
5.3.1 Caracteres de Hecke . . . . . . . . . . . . . . . 234
5.3.2 Equación funcional de las series L de Hecke . . 237
5.4 Series L de Artin . . . . . . . . . . . . . . . . . . . . . 238
5.5 Reformulación de la teorı́a global de cuerpos de clases 241
5.5.1 Equación funcional de las series L de Artin en
el caso abeliano . . . . . . . . . . . . . . . . . . 241
5.5.2 El teorema de densidad de Chebotarev . . . . . 243
ÍNDICE GENERAL vii
6 Ejercicios
P. Bayer, J. Guàrdia 249
6.1 Ejercicios con PARI . . . . . . . . . . . . . . . . . . . 250
6.1.1 Funciones elementales . . . . . . . . . . . . . . 250
6.1.2 Elementos algebraicos. Elementos enteros . . . 252
6.1.3 Formas cuadráticas binarias . . . . . . . . . . . 253
6.2 Cuerpos de números con PARI . . . . . . . . . . . . . 255
6.2.1 Anillos de enteros e ideales . . . . . . . . . . . 258
6.2.2 Clases de ideales . . . . . . . . . . . . . . . . . 261
6.2.3 Formas cuadráticas e ideales . . . . . . . . . . 262
6.3 La función j con PARI . . . . . . . . . . . . . . . . . . 263
6.3.1 Cuerpos de clases de Hilbert . . . . . . . . . . 263
7 Soluciones
P. Bayer, J. Guàrdia 265
7.1 Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . 265
7.1.1 Funciones elementales . . . . . . . . . . . . . . 265
7.1.2 Elementos algebraicos. Elementos enteros . . . 268
7.1.3 Formas cuadráticas binarias . . . . . . . . . . . 269
7.2 Cuerpos de números con PARI . . . . . . . . . . . . . 272
7.2.1 Anillos de enteros e ideales . . . . . . . . . . . 275
7.2.2 Clases de ideales . . . . . . . . . . . . . . . . . 280
7.2.3 Formas cuadráticas e ideales . . . . . . . . . . 282
7.3 La función j con PARI . . . . . . . . . . . . . . . . . . 284
7.3.1 Cuerpos de clases de Hilbert . . . . . . . . . . 285
viii ÍNDICE GENERAL
Introducción
Pilar Bayer
Formas cuadráticas y
cuerpos cuadráticos
P. Bayer
1
2 Cap. 1 Cuerpos cuadráticos
Demostración.
aX 2 + bX + c = a(X − α1 )(X − α2 ),
siendo
−b ± δ
αi = ∈ Q.
2a
Con ello, el polinomio aX 2 + bX + c descompone en Q[X]. Sin restric-
ción, podemos suponer que mcd(a, b, c) = 1. Entonces el polinomio
aX 2 + bX + c es primitivo y descompone en Z[X]. Con ello, existirán
r, s, u, v ∈ Z tales que
aX 2 + bX + c = (rX + s)(uX + v)
f (1, 0) = a,
f (b, −2a) = ab2 − b2 2a + c4a2 = −ab2 + 4a2 c = −aD,
1 >
f (X, Y ) := v A(f )v.
2
· ¸ · 0¸
α β X
Dada P = ∈ SL(2, Z), sea P v = . Definimos la forma
γ δ Y0
g = (a0 , b0 , c0 ) por cambio de base a partir de la forma f :
1 1
g(X, Y ) := f (X 0 , Y 0 ) = (P v)> A(f )(P v) = v > (P > A(f )P )v.
2 2
a0 = aα2 + bαγ + cγ 2 ,
c0 = aβ 2 + bβδ + cδ 2 .
αδ − βγ = 1.
· ¸
α β
Sea P = . Se tiene que P ∈ SL(2, Z). La matriz P > A(f )P es
γ δ
la matriz de una forma
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 .
Consideremos (
|a| +1 si a > 0,
sig(a) = =
a −1 si a < 0.
Si 0 ≤ r ≤ |a0 |, definimos n por la fórmula
|a0 |q = a0 n;
es decir
|a0 |
n= q = sig(a0 )q.
a0
Si r > |a0 |, definimos
Entonces,
|a0 |(q + 1) = a0 n;
es decir,
n = sig(a0 )(q + 1).
Entonces,
r − 2|a0 | = b00 − 2a0 n.
Por la elección de a0 y ya que f 0 → c00 , tenemos que
|a0 | ≤ |c00 |.
Se tendrá que
|D| = |b2 − 4ac| ≥ |4ac| − |b|2 ≥ 4|a|2 − |a|2
= 3|a|2 = 3a2 ;
por tanto, r
|D|
|a| ≤,
3
y tendremos un número finito de valores posibles para a y también
b2 − D
para b. Puesto que c = , lo mismo ocurrirá con c. 2
4a
|b| ≤ a, |b + 2aβ| ≤ a.
Las tablas siguientes dan cuenta de los primeros valores del número
de clases para discriminantes fundamentales.
−D 24 23 20 19 16 15 12 11 8 7 4 3
h(−D) 2 3 2 1 1 2 1 1 1 1 1 1
1.1. Formas cuadráticas binarias 11
D 1 4 5 8 9 12 13 16 17 20 21 24
h(D) 1 1 1 1 2 2 1 2 1 3 2 2
1.1.14 Teorema. (Siegel, 1936) Para todo ε > 0, existe una cons-
tante C(ε) tal que
h(−D) ≥ C(ε)D (1/2)−ε ,
para todo discriminante fundamental −D < 0.
u : N −→ X,
X 2 − DY 2 = 4
14 Cap. 1 Cuerpos cuadráticos
(i) La aplicación
t − bu
2 −cu
(t, u) 7−→ t + bu
au
2
establece una biyección entre el conjunto de las soluciones (t, u)
de la ecuación de Pell
X 2 − DY 2 = 4
aβ = β(aα2 + bαγ + cγ 2 )
= α(aαβ + bβγ) + cβγ 2
= α(−cγδ) + cβγ 2 = cγ(−αδ + βγ) = −cγ.
También
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
1 = αδ − βγ = + u2 a c
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 solución de la ecuación de Pell.
Recı́procamente, si (t, u) es una solución de la ecuación de Pell,
fácilmente se comprueba que la matriz
t − bu
−c u
P := 2 t + b u
au
2
es de SO(f ). Además, comprobamos que el producto de matrices
corresponde a la regla de multiplicación de soluciones que hemos dado
anteriormente.
Supongamos ahora que D < 0. Entonces,
t2 − D u 2 ≥ t 2 ,
t2 − D u2 ≥ |D|u2 .
x 7−→ log x,
se deduce que (
(±1) × Z
Im(λ) '
(±1).
El segundo caso no puede darse, puesto que la ecuación de Pell posee
soluciones no triviales. 2
18 Cap. 1 Cuerpos cuadráticos
Si x ∈ O, entonces,
1.2.2 Lema.
√ √
Z · 1 ⊕ Z d = Z[ d] si d = 2, 3 (mod 4),
√
O=
Z · 1 ⊕ Z 1 + d si d = 1 (mod 4).
2
√
Demostración. Sea x = α + β d ∈ O. Entonces t2 − 4n = (2α)2 −
4(α2 − β 2 d) = (2β)2 d es un elemento de Z y, como que d es libre de
cuadrados, deducimos que 2α, 2β ∈ Z y puesto que 2α = a y 2β = b,
deducimos que a, b ∈ Z. Por tanto,
√
a+b d
x= , a2 − b2 d ≡ 0 (mod 4).
2
Ahora distinguiremos varios casos:
¯ ¯2
¯ α β ¯¯
¯
(i) El determinante D = ¯ no depende de la base es-
σ(α) σ(β)¯
cogida.
√
El entero D se denomina el discriminante del cuerpo Q( d).
Demostración.
¯ √ ¯
¯1 ¯ √
Si d ≡ 2, 3 (mod 4), entonces ¯¯ √d ¯ = −2 d.
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 coefi-
cientes enteros y con determinante igual a 1, estos valores son invari-
antes. 2
20 Cap. 1 Cuerpos cuadráticos
Demostración.
O −→ O γ, α 7→ αγ
O/Oγ ³ O/a
Demostración.
(iii) a ⊇ b si, y sólo si, existe un ideal no nulo c ⊆ O tal que b = ac.
a = pni 1 · · · pni s .
a = p 1 b1 = p 1 p 2 b2 ,
a ⊆ b1 ⊆ b2 ⊆ · · · ⊆ O.
Una vez visto este resultado intermedio, sólo nos queda demostrar
la unicidad de la descomposición. Para ello, supongamos que
p1 · · · p r = q 1 · · · q s ,
con lo cual #(a/p) N (a) = N (ap). Basta pues probar que N (p) =
#(a/p). Observemos que a/p es un O/p-espacio vectorial. Sus subes-
pacios vectoriales se corresponden con los O-módulos q tales que
ap ⊆ q ⊆ a;
equivalentemente, con los ideales q tales que a|q|ap. Pero, por la uni-
cidad de las descomposiciones, se sigue que, o bien q = ap, o bien
1.2. Aritmética de cuerpos cuadráticos 25
Demostración. Está claro N (a) = N (a0 ). Por otro lado (n) = aa0
implica que O/aa0 ' O/nO, Ello implica que n2 N (aa0 ) = N (a) N (a0 ) =
N (a)2 , con lo cual observamos que N (a) = n. 2
1.2.14 Definición. Un subconjunto a ⊆ K diremos que es un ideal
fraccionario si satisface las condiciones siguientes:
√
1.2.19 Proposición. Si K = Q( D), D < 0, es un cuerpo cuadrático
imaginario, el grupo O ∗ es finito. Sea w = #O ∗ . Entonces,
√
Demostración. Escribamos K = Q( d), siendo d > 0 un entero
libre de cuadrados. Si d ≡ 2, 3 (mod 4), hemos de resolver la ecuación
1.3. Correspondencia entre ideales y formas 29
a = Z ⊕ Zτ ⊂ R2 .
√
u+v D
Veamos que a es un ideal de O. Para ello, sea λ = ∈ O,
2
con u, v ∈ Z, u ≡ vD (mod 2), y sea α = x + yτ ∈ a un elemento
arbitrario. Se tendrá que
à √ !à √ !
u+v D yb + y D
λα = x+
2 2a
µ ¶
xu ybu yvD xv ybv uy √
= + + + + + D
µ2 4a 4a¶ µ 2 4a 4a¶
u − vb u + vb
= x − yvc + xva + y τ
2 2
∈ Z ⊕ Zτ = a,
τ − τ0
vD ≡ vb (mod 2). Como que √ > 0, la base {1, τ } está orienta-
D
da. A su vez, tenemos que
¯ ¯
¯1 τ ¯2
¯
D(a) = ¯ ¯ = (τ 0 − τ )2 = D ,
1 τ 0¯ a2
con lo cual, r
D(a) 1
N (a) = = .
D a
b c
N (x + τ y) x2 + xy + y 2
fa (x, y) = = a a = f (x, y).
Na 1
a
Tenemos pues definidas aplicaciones tales que f 7→ a 7→ fa = f.
También es necesario comprobar que si a 7→ f = (a, b, c) 7→ [1, τ ],
entonces los ideales a y [1, τ ] son estrictamente equivalentes. Sea,
pues, a = [α, β], αα0 > 0. De la definición de fa = (a, b, c), se deduce
que √ √
b+ D αβ 0 + α0 β + N (a) D β
τ= = 0
= .
2a 2αα α
Ello implica que
√
b+ D β
Z+Z = Z + Z = (α−1 )a,
2a α
con lo cual el ideal [1, τ ] es estrictamente equivalente al ideal a.
Supongamos ahora que a < 0, D > 0. Escribimos a = Zλ +
Zλτ, con N (λ) < 0. La base {λ, λτ } será orientada positivamente
y formaremos fa como en el caso precedente. Recı́procamente, si
partimos de un ideal a = [α, β] dotado de una base {α, β} orientada
positivamente, entonces αα0 < 0, con lo cual la forma f = (a, b, c)
satisface que a < 0 y el ideal Zλ + Zλτ será estrictamente equivalente
al ideal a. Las consideraciones precedentes nos prueban el siguiente
teorema.
1.3. Correspondencia entre ideales y formas 33
Cl + (O) −→ H(D)
a → fa
[1, τ ] ← f.
En este apartado vamos a dar una versión más precisa del teorema
1.3.2, explicando el algoritmo NUCOMP usado por PARI para la
composición de clases de formas.
Sean f1 = (a1 , b1 , c1 ) y f2 = (a2 , b2 , c2 ) formas cuadráticas tales
que [f1 ], [f2 ] ∈ H(D). Queremos hallar un representante del producto
[f1 ] ∗ [f2 ]. Sean
b1 + b2
β := , m := mcd (a1 , β), n = mcd (m, a2 ).
2
En primer lugar, se calculan (x, y) tales que
a1 x + βy = m.
Entonces, si ³a a
1 2 z ´
g := , b 1 + 2a 1 , ∗
n2 n
1.3. Correspondencia entre ideales y formas 35
χ : (Z/N Z)∗ −→ C∗ .
El caso p = 2 es trivial. 2
µ ¶
2 p2 −1
(ii) = (−1) 8 ; esto es, 2 es un residuo cuadrático (mod p)
p
si, y sólo si, p ≡ ±1 (mod 8).
³p´ µ ` ¶ `−1 p−1
³p´ µ ` ¶
(iii) = (−1) 2 2 ; esto es, = si p o bien ` ≡ 1
` p µ ¶ ` p
³p´ `
(mod 4); =− si p y ` ≡ 3 (mod 4).
` p
Si x 6= 0 en Fp , y como que p 6= 2:
µ ¶ µ 2¶µ ¶
x(z − x) −x 1 − zx−1
=
p p µ p ¶
p−1 1 − zx−1
= (−1) 2 .
p
Por tanto,
p−1 X X µ 1 − zx−1 ¶
(−1) 2 g2 = ζz.
∗
p
z∈Fp x∈Fp
Sea
X µ 1 − zx−1 ¶
cz := .
∗
p
z∈Fp
Si z = 0, entonces,
X µ1¶
c0 := = p − 1.
∗
p
z∈Fp
2
40 Cap. 1 Cuerpos cuadráticos
Por tanto,
µ ¶ µ ¶ p−1 ³ ´ ³p´
` −1 2 p `−1 p−1
= = (−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
N =3 0 1 2 3 4 5 6
χ1 0 1 1 0 1 1 0
ε3 0 1 −1 0 1 −1 0
N =4 0 1 2 3 4 5 6 7 8
χ1 0 1 0 1 0 1 0 1 0
ε4 0 1 0 −1 0 1 0 −1 0
N =5 0 1 2 3 4 5 6 7 8 9 10
χ1 0 1 1 1 1 0 1 1 1 1 0
χ2 0 1 i −i −1 0 1 i −i −1 0
χ3 0 1 −1 −1 1 0 1 −1 −1 1 0
χ4 0 1 −i i −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
p r N χ
µ ¶
p 6= 2 1 p
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
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
p
(Z/pr Z)∗ −→ (Z/pZ)∗ −→ {±1},
r = 1, (Z/2Z)∗ = (1), χ = χ1 ,
∗
r = 2, (Z/4Z) ' Z/2Z, χ = ε4 ,
−n + x2r
xr+1 = xr +
2
será el elemento buscado. 2
Además, (
1 si D > 0,
χD (−1) :=
−1 si D < 0.
La función ası́ obtenida constituye el sı́mbolo de Kronecker asociado
a D.
Las igualdades
µ ¶ p−1 µ ¶ µ ¶ µ ¶
−1 2 p q−1 p−1 q p−1 q−1 q
= (−1) 2 2 (−1) 2 2 =
q q p p
implican
µ ¶ una periodicidad módulo p = |p0 |. Tendremos que χp0 (n) =
n
si ni p ni 2 dividen a n.
p
µ ¶
−4
Un cálculo directo muestra que ε4 (n) = = χ−4 (n), siendo
n
-4 un discriminante fundamental.
µ ¶
0 8
Análogamente, ε8 := = χ8 (n), siendo 8 un discriminante
n
fundamental.
1.4. Representación de enteros por formas 47
µ ¶
−8
Y, finalmente, ε008 := = χ−8 (n), siendo −8 un discrimi-
n
nante fundamental.
La proposición concluye teniendo presente el resultado siguiente:
(ii) p O = pp0 si, y sólo si, χD (p) = +1. En cuyo caso se dice que
p descompone completamente en K.
(iii) p O = p si, y sólo si, χD (p) = −1. En cuyo caso se dice que p
es inerte en K.
p2 = N (p2 ), p = N (p) ⇔ p O = p2
De la inclusión Z ,→ O y si (p) = p ∩ Z, se deduce que (Z/pZ) ,→ O/p
es una extensión de cuerpos. Por ello, N (p) = #(O/p) = pf , siendo
f = [O/p : Fp ] ≤ 2.
Supongamos que p 6= 2 y que pO = p√ 2 . Entonces, necesariamente
a+b D
será p = p0 , N (p) = p. Sea x = un elemento tal que p
2
divide x, pero p no divide x, el cual existe por ser p2 un subconjunto
2
siendo
fi := [O/pi : Z/pZ] < ∞,
el llamado grado residual en pi ; entonces O/pi ' Fpfi . En general, se
satisface la igualdad
X g
ei fi = [K : Q].
i=1
e1 = e2 = f1 = f2 = 1;
e = 2, f = 1;
e = 1, f = 2.
h(D) h(D)
X X
r∗ (n, D) := r∗ (n, fi ), r(n, D) := r( n, fi ).
i=1 i=1
G
e y ∼ y 0 . A cada clase [(x, y)] ∈ G\S le podemos hacer corresponder
las clase [x] ∈ G\X y la clase [y] ∈ G\Y . Contaremos ahora cuántas
clases tienen x como primera componente. Puesto que (x, y) ∼ (x, y 0 )
si, y sólo si existe, g ∈ G tal que = gx, y 0 = gy, se tendrán tantos
elementos como elementos en Gx \Yx . Por tanto,
X
](G\S) = ](Gx \Yx ).
x∈G\X
tal que · ¸· ¸ · ¸
x −b 1 x
= .
y a 0 y
Ello pone de manifiesto que los pares (x, y), (1, 0) son equivalentes
bajo la acción de SL(2, Z). Por tanto, G\Y tiene una única órbita,
representada por z = (1, 0). Calculemos Gz . De
· ¸ · ¸· ¸ · ¸
1 α β 1 α
= =
0 γ δ 0 γ
Con ello,
= {f = (n, b, c) : D(f ) = D}
½ ¾
b2 − D 2
= nx2 + bxy + y : b ∈ Z, b2 ≡ D (mod 4n) .
4n
Veamos ahora cual es la acción de Gz :
· ¸· ¸· ¸ · ¸
1 0 2n b 1 r 2n 2nr + b
=
r 1 b 2d 0 1 2nr + b 2d
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 solución, unı́vocamente
determinada módulo 2n:
x ≡ x1 (mod 2α )
x ≡ x1 (mod n01 )
x ≡ x1 (mod n2 ).
para todo r ≥ 1.
(gr ) 7→ (g1 )
que aplica una raı́z primitiva en una raı́z primitiva. Se tienen que
Como que una igualdad g1α = g1β implica que α − β = 0 (mod (p − 1))
y, por tanto, α ≡ β (mod 2), vemos que D será un cuadrado módulo
pr si, y sólo si, lo es módulo p; o sea, si, y sólo si,
µ ¶
D
= 1.
p
Por tanto,
µ ¶ (
D +1 implica que r ∗ (pr , D) = 2,
=
p −1 implica que r ∗ (pr , D) = 0.
Caso 2. p|D.
Si r = 1, hemos de resolver la ecuación X 2 ≡ 0 (mod p), con lo
cual r ∗ (p, D) = 1.
Si r > 1, la ecuación X 2 ≡ D (mod pr ) carece de soluciones
cuando p k D. En particular, si D es un discriminante fundamental,
se tendrá que r ∗ (pr , D) = 0.
Deberemos tener en cuenta que la forma básica es la única forma
reducida que representa 1. Dos representaciones de 1 por la forma
básica son SO(f )-equivalentes.
µ ¶
D
Caso = +1. Entonces,
p
X X
r(pr , D) = 2+ 1
0≤s< r2 s= 2r
µ ¶ µ ¶
r (r+1 D (r+1 D
= 2 + 1 = 1+ · · · +1 = ··· +
2
X X p p
i i
= χD (p ) = χD (p ).
0≤i≤r pi |pr
µ ¶
D
Caso = −1. Entonces,
p
X X
r(pr , D) = 0+ 1
0≤s≤ r2 s= 2r
(
1 si r ≡ 0 (mod 2),
=
0 si r ≡ 1 (mod 2).
Notemos que:
(
X 1 si r ≡ 0 (mod 2),
i 0 r
χD (p ) = (−1) + · · · + (−1) =
0≤i≤r
0 si r ≡ 1 (mod 2).
1.4. Representación de enteros por formas 59
Por tanto,
X X
r(pr , D) = 0+ 1
0≤s< r−1 r−1
≤s≤ r2
X 2 2
= χD (pi ) = χD (p0 ) = 1.
0≤i≤r
X 2 + 5Y 2 = 5, 2X 2 + 2XY + 3Y 2 = 5
60 Cap. 1 Cuerpos cuadráticos
X 2 + 5Y 2 = 2, 2X 2 + 2XY + 3Y 2 = 2
X 2 + 5Y 2 = 3, 2X 2 + 2XY + 3Y 2 = 3
X 2 + 5Y 2 = 11, 2X 2 + 2XY + 3Y 2 = 11
es
(
4π(1 + rj ) si, para todo j, sj ≡ 0 (mod 2),
r2 (n) =
0 en otro caso
r(p3 , −4) = χ−4 (1) + χ−4 (p) + χ−4 (p2 ) + χ(−4 (p3 ) =
p−1 p−1 4 si p ≡ 1 (mod 4),
= 1 + (−1) 2 + 1 + (−1) 2 =
0 si p ≡ 3 (mod 4).
Notemos, además, que
r(2, −4) = χ−4 (1) + χ−4 (2) = 1,
r(22 , −4) = χ−4 (1) + χ−4 (2) + χ−4 (22 ) = 1, etc.
Se obtienen ası́ la fórmula para el número de representaciones de un
entero como suma de dos cuadrados.
1.5.1 Funciones L
∞
X 1
ζ(s) := , <(s) > 1.
ns
n=1
P∞ χ(n)
(i) La serie L(s, χ) = n=1 converge absolutamente para
ns
<(s) > 1.
Q 1
(ii) Se tiene que L(s, χ) = p , para <(s) > 1.
χ(p)
1− s
p
Q
(iii) Para χ = χ1 , es L(s, χ1 ) = p|N (1 − p−s )ζ(s), <(s) > 1, en
donde ζ(s) denota la función zeta de Riemann.
∞
X ∞
X
|χ(n)| 1
|L(s, χ)| ≤ ≤ < ∞,
nσ nσ
n=1 n=1
Ahora bien,
X · ¸
N N
1= = + O(1), (N → ∞).
m m
k≤N/m
P
Para calcular √N ≤m≤N/k χD (m), agrupamos los valores de m en
bloques de |D| elementos consecutivos.
P En un intervalo de la forma
(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
múltiplo de |D| que queda a la derecha de D es + 1 |D|.
|D|
· ¸
N N
El múltiplo de |D| que queda más cerca de es |D| . Ası́,
k k|D|
tenemos que
X X X
χD (m) = χD (m)+ χD (m).
√ √ h√ i h i
N ≤m≤N/k N N
N ≤m≤ |D|
+1 |D| k|D|
|D|<m≤N/k
· ¸
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 → ∞).
√
N ≤m≤ N
k
Por tanto,
N ∞
1 X X χD (m)
lim r(n, D) = = L(1, χD ).
N →∞ N m
n=1 m=1
Notemos que
N h(D) h(D)
à N
!
1 XX X 1 X
L(1, χD ) = lim r(n, fi ) = lim r(n, fi ) .
N →∞ N N →∞ N
n=1 i=1 i=1 n=1
positiva. Entonces,
2π
p si D < 0,
N
w |D|
1 X
lim r(n, f ) =
N →∞ N
n=1
log ε
√ 0 si D > 0,
D
en donde
6 si D = −3,
w = #SO(f ) = 4 si D = −4,
2 si D < −4,
y siendo ε0 la solución fundamental de la ecuación de Pell asociada
a SO(f ).
X2 Y 2
ax2 + bxy + cy 2 = + 2,
A2 B
siendo ¯ ¯
¯ ¯ ¯¯ 2 ¯
¯2a b ¯ ¯ 2 0 ¯¯ 4
|D| = ¯¯ ¯ = ¯A
b 2c¯ ¯ 0 2 ¯¯ = (AB)2 .
¯ ¯
B2
Por tanto
2 2π
AB = p , S(1) = πAB = p .
|D| |D|
68 Cap. 1 Cuerpos cuadráticos
A su vez,
Z Z Z Z
S(N ) = dx dy = dx dy
X2 2
ax2 +bxy+cy 2 ≤N + Y 2 ≤N
A2 B
Z Z
=N dx dy = N S(1).
X2 2
+ Y 2 ≤1
A2 B
2πN
Por tanto, S(N ) = p es el área de la elipse
|D|
X2 Y2
√ + √ = 1.
( N A)2 ( N B)2
Por tanto, √
P (N ) = S(N ) + O( N ),
lo cual implica que
P (N ) S(N ) 2π
lim = lim =p .
N →∞ N N →∞ N |D|
h(D) 2π
L(1, χD ) = p .
w |D|
con lo cual
|D|−1
w/2 X
h(D) = − χD (n)n.
|D|
n=1
ax2 + bxy + cy 2 = n
en donde √ √
−b + D 0 −b − D
θ := , θ = .
2a 2a
Notemos que θ, θ 0 ∈ R. Sea (t, u) una solución de la ecuación de Pell:
t2 − Du2 = 4
y sean √ √
t+u D 0 t−u D
ε= , ε = .
2 2
Se satisface que εε0 = 1. Supongamos que (x0 , y 0 ) es una repre-
sentación de n,
ax02 + bx0 y 0 + cy 02 = n,
70 Cap. 1 Cuerpos cuadráticos
¸ ·
α β
equivalente a (x, y). Ello significa que existe una matriz ∈
γ δ
· 0¸ · ¸· ¸
x α β x
SO(f ) tal que 0 = . Por tanto, existirán enteros (t, u)
y γ δ y
tales que
t − bu t + bu
α= , δ= , β = −cu, γ = au.
2 2
Por substitución obtenemos
x0 − θ 0 y 0 1 x − θ0 y
= .
x0 − θy 0 ε2 x − θy
Impongamos la condiciones
x0 − θ 0 y 0
ε = ±εν0 , x0 − θy 0 > 0, 1< ≤ ε20 ,
x0 − θy 0
siendo √
t0 + u 0 D
ε0 = , t0 , u0 > 0, t20 − Du20 = 4,
2
la solución más pequeña de la ecuación de Pell. La segunda condición
es equivalente a
x − θ0 y
ε2 < ≤ ε20 ε2 ;
x − θy
es decir,
x − θ0 y 2(ν+1)
ε2ν
0 < ≤ ε0 .
x − θy
Por tanto, escogiendo ν adecuadamente, vemos que dada una solución
(x, y), existe una solución equivalente (x0 , y 0 ), única, satisfaciendo las
condiciones impuestas. Ello nos permite escribir
r(n, f ) =
½ ¾
2 2 x − θ0 y 2
# (x, y) ∈ Z : ax + bxy + cy = n, x − θy > 0, 1 < ≤ ε0 .
x − θy
1.5. Fórmula analı́tica para el número de clases 71
de donde, finalmente,
S(N ) log ε0 P (N )
lim = √ = lim .
N →∞ N D N →∞ N
Como que la fórmula es la misma para todas las formas f ∈ H(D),
se deduce que
log ε0
L(1, χD ) = h(D) √ ,
D
siendo ε0 6= 1 la menor solución de la ecuación de Pell.
El corolario siguiente proporciona la fórmula analı́tica para el
número de clases en el caso cuadrático totalmente real.
Por tanto, si
H(D) = {A1 , · · · , Ah(D) }
74 Cap. 1 Cuerpos cuadráticos
ζK (s) = ζ(s)L(s, χD ).
2r1 +r2 π r2 R
lim (s − 1)ζK (s) = p h(K),
s→1+0 w |D|
Cuerpos de números
A. Travesa
77
78 Cap. 2 Cuerpos de números
√
Demostración. Sean a, √ b ∈ Q tales
√ que a + b D ∈ OK . El
conjugado galoisiano a−b D de a+b D también 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ún denominador,
D no podrı́a llevar su cuadrado a Z. Por tanto, A := 2a, B := 2b ∈ Z i
A2 −DB 2 ∈ 4Z. Además , si D 6≡ 1 (mod 4), entonces A2 −DB 2 ∈ 4Z
sólo 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
√ nos permite asegurar que OK
que A y B sean impares a la vez; ello
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)
raı́z del polinomio X 2 − DX + ∈ Z[X]), se satisface que
√ 4
OK = Z[ D+2 D ]. 2
√ √
elementos 4 ± −5, 3 y 7 es un elemento unitario del anillo Z[ −5] y
ninguno de estos elementos es un elemento asociado de ningún otro.
Ello se puede ver, por ejemplo, teniendo en cuenta que si α es un
elemento invertible, entonces la norma N(α) es un elemento invertible
de Z, ya que es un√ entero algebraico de Q y N(α)N(α−1 ) = N(1) = 1.
Como que N(4 ± −5) = 21, N(3) = 9, y N(7) √ = 49, ninguno de
estos elementos no es una unidad del anillo Z[ −5]. Por otra parte,
si alguno de estos elementos fuera asociado de algún otro, ambos
deberı́an tener, quitando quizás del signo,
√ la misma norma; pero esto
sólo 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 de√ellos
no lo fuera, su norma deberı́a descomponer; pero para α ∈ Z[ −5],
√ puede ser2 N(α) 2= ±3 ni N(α) = ±7, ya que las ecuaciones N(a +
no
b −5) = a + 5b = ±3, √ ±7 no tienen soluciones a, b ∈ Z. En
consecuencia, el anillo Z[ −5] no puede ser un anillo factorial.
2.1.15 Proposición.
√ Sea D un número entero libre de cuadrados y
sea K := Q( D). Entonces, el discriminante de la extensión K/Q
es el entero 4D si D 6≡ 1 (mod 4) y es D si D ≡ 1 (mod 4).
2.1.16
√ Proposición. Sean D un entero libre de cuadrados, K :=
Q( D), OK el anillo de los enteros de K, y p un número natural
primo. Si p divide el discriminante de la extensión cuadrática K/Q,
entonces, pOK = p2 , en donde p es un ideal primo de OK de grado
residual 1; si p 6= 2 y D es un residuo cuadrático módulo 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ático módulo p,
entonces pOK es un ideal primo de OK de grado residual 2. Final-
mente, 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).
2.2 Ramificación
ei
Por tanto, si demostramos que B/PP i tiene dimensión ei fi sobre A/p,
g
obtendremos el valor de la suma i=1 ei fi como la dimensión de
ei
B/pB. Aunque el anillo B/Pi 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
i que son B/Pi -espacios vectoriales de dimensión
1 (la multiplicación por la potencia a-ésima de un generador de Pi
define un isomorfismo de B/Pi en Pai /Pa+1 i ). Para acabar la de-
mostración de la segunda propiedad sólo es necesario tener en cuenta
que el A/p-espacio vectorial B/Pi es de dimensión fi .
2.2. Ramificación 99
un polinomio con coeficientes en A/p que tiene por raı́ces 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, tam-
bién 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 elemen-
tos de B/P; por tanto, la extensión A/p ⊆ B/P es una extensión
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/p-
automorfismo de B/P; es decir, un elemento del grupo de Galois de la
extensión 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 exhaus-
tivo. Para ello comenzamos por recordar que un A/p-automorfismo
de B/P queda determinado de forma única por su acción 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 σ ∈
G−D(P/p); por ejemplo, un elemento que satisfaga simultáneamente
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 raı́ces
no nulas de su reducción módulo 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 módulo P de conjugados σ(b) de b sobre A. Es decir,
dada una A/p-immersión de B/P, entonces existe un elemento σ ∈
D(P/p) que la proporciona por reducción módulo P. Esto demuestra
la exhaustividad de π. 2
P
Demostración. En efecto, dado b ∈ B escribimos b = ni=1 ai bi con
los coeficientes
Pn ai ∈ L; al multiplicar por bj obtenemos las expresiones
bbj = i=1 ai bi bj y, al tomar trazas,
n
X
TrL/K (bbj ) = ai TrL/K (bi bj ).
i=1
2.2.34 Teorema.
√ Sea D un entero libre de cuadrados. Entonces se
cumple Q( D) ⊆ Q(ζ) en donde ζ es una raı́z primitiva 4|D| de la
unidad.
O` = l1 l2 · · · lg ,
Op = (p1 p2 · · · pg )e ,
0 0
grande es O = O 0 [ζ n ] + O(1 − ζ n )s . Como que una potencia del
0
ideal O(1 − ζ n ) es el ideal Op, si tomamos s suficientemente grande,
0
obtenemos la igualdad O = O 0 [ζ n ], como querı́amos demostrar. 2
nϕ(n)
∆(Z[ζ]/Z) = (−1)ϕ(n)(ϕ(n)−1)/2 Q ϕ(n)/(p−1)
.
p|n p
2.3.1 Redes de Rn
Falta ver que el rango de G es menor o igual que Prn. Para to-
do
Pr entero k y todo x ∈ G ponemos x k := kx − i=1 [kαi ]ei =
i=1 (kα i − [kα i ])e i ; como antes, x k ∈ S ∩ G y, como que S ∩ G
es finito, existen enteros diferentes k, j tales que xk = xj ∈ S ∩ G.
La R-independencia lineal de los elementos ei y la última igualdad
nos permiten asegurar que para todo ı́ndice i los coeficientes αi son
racionales, ya que αi = (k − j)−1 ([kαi ] − [jαi ]). Esto implica que x
pertenece al Q-espacio vectorial generado por los elementos ei . En
particular, los elementos (en número finito) de S ∩G son combinación
lineal de los elementos ei que tienen coeficientes racionales y pode-
mos considerar un denominador común d ∈ Z, d 6= 0, de todos estos
coeficientes; entonces,Lel grupo abeliano libre G es un subgrupo del
grupo abeliano libre ri=1 d−1 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.8 Corolario. Sea {e1 , . . . , en } una Z-base del anillo de los en-
teros del cuerpo de números K. Condición necesaria y suficiente para
que el discriminante absoluto de K, ∆(e1 , . . . , en ) := det(σi (ej ))2 ,
sea positivo es que el número r2 de parejas de inmersiones complejas
conjugadas no reales de K sea par.
¡ π ¢r2 2π
R ε/2
= 2 r1 2 (r1 +2r2 )! 0 (ε − 2ρ)r1 +2r2 ρdρ
εn
que admite n como la cota superior. El resultado se deduce del
n
hecho, que n = r1 + 2r2 . 2
n
En particular, el cociente esta acotado superiormente por una
log(∆)
constante independiente del cuerpo K 6= Q.
de número primos.
1 1 1
↓ ↓ ↓
1 −→ G0 (P/P0 ) −→ G0 (P/p) −→ G0 (P0 /p) −→ 1
↓ ↓ ↓
1 −→ G−1 (P/P0 ) −→ G−1 (P/p) −→ G−1 (P0 /p) −→ 1
↓ ↓ ↓
0 0
1 −→ Gal (L/K ) −→ Gal (L/K) −→ Gal (K /K) −→ 1
↓ ↓ ↓
1 1 1
0
en el cual las filas y las columnas son exactas y en donde L, K, K ,
designan los cuerpos residuales B/P, A/p, y A0 /P0 , respectivamente.
1 1 1
↓ ↓ ↓
1 → I(P/PI ) −→ I(P/PD ) −→ I(PI /PD ) → 1
↓ ↓ ↓
1 → D(P/PI ) −→ D(P/PD ) −→ D(PI /PD ) → 1
↓ ↓ ↓
I D I D
1 → Gal (L/L ) −→ Gal (L/L ) −→ Gal (L /L ) → 1
↓ ↓ ↓
1 1 1
142 Cap. 2 Cuerpos de números
FP (b) − bq ∈ P,
trivial.
G−1 ⊇ G0 ⊇ G1 ⊇ · · · ⊇ Gk ⊇ Gk+1 ⊇ . . .
T
Como que el anillo B es noetheriano, se satisface que k≥−1 Pk = (0),
de forma que, como que G−1 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 G−1 .
σ(b) − b − τ (c) + c =
= σ(τ (y) − y) − (τ (y) − y) − τ (σ(y) − y) + (σ(y) − y)
= στ (y) − τ σ(y) ∈ Pk+n+1 ;
esta última igualdad para que H 6= Gk+1 y los dos son subgrupos de
ı́ndice p de G. Estos cálculos nos permiten comparar los exponentes
de p en las diferentes extensiones K/K H y K/K Gk+1 de la forma
siguiente:
X X
(#Gi ∩ H − 1) < (#Gi ∩ Gk+1 − 1),
i≥0 i≥0
2.5. El teorema de Kronecker-Weber 159
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úmeros
Capı́tulo 3
Funciones modulares
P. Bayer, A. Travesa
3.1 La función j
az + b
α(z) = , z ∈ P1 .
cz + d
163
164 Cap. 3 Funciones modulares
H∗ := H ∪ PΓ .
3.1. La función j 165
jΓ : H∗ → X(Γ)(C),
j(α, z) := cz + d.
f |k γ = f, para todo γ ∈ Γ.
P
(i) Ai = 0,
P P
(ii) ai Ai + (1 − αi2 ) = 0,
P 2 P
(iii) ai Ai + ai (1 − αi2 ) = 0.
3.1.4 La función j
36v 2 − 41v + 32
[v, z] = .
36v 2 (1 − v)2
P
Nosotros consideraremos una serie formal v(q) = ∞ n
−1 cn q , con
coeficientes indeterminados, que calcularemos después por integración
de la ecuación diferencial de tercer orden:
36v 2 − 41v + 32
Da(v, q) + = 0.
36v 2 (1 − v)2
Un cálculo directo muestra que
v(q) = 1728 j(q),
siendo j la función modular elı́ptica.
Si estamos interesados en la ecuación diferencial satisfecha por la
función j, bastará integrar la ecuación diferencial
Da(j, q) + R(j) = 0,
en la cual
j 2 − 1968j + 2654208
R(j) = .
j 2 (j − 1728)2
Ésta ecuación se obtienen a través de las condiciones iniciales que
satisface la función j:
2πi
j(i) = 1728, j(e 3 ) = 0, j(∞) = ∞.
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.2 Proposición.
· ¸El conjunto formado por las matrices triangu-
a 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 órbitas Γ(1)α,
α ∈ ∆∗n .
· ¸
A B
Demostración. Sea α = ∈ ∆∗n . Podemos encontrar
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
tonces, γ = ∈ Γ(1) y γα = . Por tanto, toda órbita
z t 0 d1
contiene matrices triangulares
· superiores.
¸ Y, si conviene, podemos
−1 0
multiplicar por −12 = para obtener una matriz triangular
0 −1
superior con ·a1 , d1¸> 0. Con ello, toda órbita tiene un representante
a b
de la forma con a, d > 0 y ad = n. Si ahora multiplicamos
0 d
3.2. Polinomios modulares 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 órbita 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
· ¸ · diferentes
¸ · no son
¸ nunca de la misma órbita. En efecto, si
x y a b a0 b0
= con a, a0 , d, d0 > 0, ad = a0 d0 = n, 0 ≤
z t 0 d 0 d0
b < d y 0 ≤ b0 < d0 , resulta que az = 0 y, por tanto, z = 0;
n = a0 d0 = (ax)(dt) = (ad)xt = nxt, d’on xt = 1, x = t = ±1 y, como
que a, a0 > 0, ha de ser x = t = 1; de manera que b0 = b+yd = b+yd0 ,
de donde y = 0 y a0 = a, b0 = b y d0 = d. 2
Demostración. A partir de
X X
X := σ3 (n)q n , Y := σ5 (n)q n ,
n≥1 n≥1
178 Cap. 3 Funciones modulares
en donde D es un dominio √
fundamental, vz (g) indica el orden de la
−1+ 3i
función g en z y ρ = 2 . 2
entonces · ¸
a b 1 X
j◦ = b a/d + ck ζdbk q ak/d . (3.1)
0 d ζd q k≥0
· Supongamos
¸ que n es un entero no cuadrado; entonces, si α =
a b
es uno de los representantes de las órbitas Γ(1)α, α ∈ ∆∗n ,
0 d
3.2. Polinomios modulares 183
Aunque muchas cosas que diremos en este apartado son válidas para
todos los cuerpos de números, y algunas son válidas para todos
los cuerpos cuadráticos, nos centraremos en el caso de los cuerpos
cuadráticos imaginarios. Se trata de extender la teorı́a de Dedekind
a órdenes no necesariamente maximales. En el caso cuadrático, ello
equivale al estudio de formas cuadráticas primitivas de discriminante
no necesariamente fundamental. Recordemos que un tal discrimi-
nante se escribe en la forma D = D0 f 2 , siendo D0 un discriminante
186 Cap. 3 Funciones modulares
fundamental.
(i) OK = Z ⊕ ZwD .
O ⊆ {β ∈ K : βa ⊂ a}.
O = {β ∈ K : βa ⊂ a} := O(a).
β1 ∈ [1, τ ],
βτ ∈ [1, τ ].
De la primera lı́nea obtenemos que β = m + nτ, m, n ∈ Z. Por tanto,
n −cn −bn
βτ = mτ + nτ 2 = mτ + (−bτ − c) = +( + m)τ.
a a a
Como que mcd(a, b, c) = 1 se tiene que, βτ ∈ [1, τ ] si, y sólo si, a|n.
Por tanto, tenemos que
βO = β(ab) = (βa)b ⊂ ab = O,
N (α)
aa0 = O
a
y demuestra que a es invertible. 2
mO = N (b)O = bb;
mαO = a mb−1 = ab ⊂ O,
O/a ∩ O → OK /a
a = aO = a(a ∩ O + f O) ⊆ (a ∩ O)OK + f a.
⇔ α ∈ O, mcd(N (α), f ) = 1.
D2 − D D(D − 1)
N (f wD ) = f 2 wD wD
0
= f2 = f2 ;
4 4
y, como que mcd(D, D − 1) = 1 y D no es un cuadrado, el producto
D(D − 1) no puede ser un cuadrado.
Sea, entonces, α ∈ O, α 6= 0, un elemento primitivo de O tal que
m := N (α) no es un cuadrado.
Por otro lado, y como que m no es un cuadrado, el polinomio
Φm (X, X) ∈ Z[X] es de grado > 1 y su coeficiente dominante es
±1. Por otro lado, como que a es un O-ideal fraccionario propio
de K y α ∈ O es un elemento primitivo de O, el grupo abeliano
cociente a/αa será cı́clico de orden N (α) = m. Como que a y αa
son redes de C, tendremos que Φm (j(αa), j(a)) = 0. Además, como
3.3. Multiplicación compleja 199
Afirmamos que:
200 Cap. 3 Funciones modulares
En consecuencia,
Y
∆ := (j(ai ) − j(aj ))
1≤i<j≤h
es un elemento no nulo de OL .
Ahora, para probar la inclusión contraria, L ⊆ M , bastará ver
que, salvo un conjunto finito, se tiene una inclusión 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ún primo P de M de grado residual 1.
Sea, entonces, p ∈ SeM |Q . En particular, como que K|Q es de
Galois, p descompone completamente en K y, en consecuencia, p =
N (p) para algún ideal primo p ⊆ OK que divide p (podemos tomar
p := P ∩ K). Si nos limitamos a considerar los ideales p primos con el
conductor f , hecho que excluye, como máximo, una cantidad finita de
ideales primos de Z y, en consecuencia, un conjunto finito de primos
de L, obtenemos que p ∩ O ⊆ O es un ideal primo de O primo con f
y que N (p ∩ O) = p.
Si demostramos que p ∩ O es un ideal principal, αO, entonces,
p = N (α) implica que p ∈ SL|Q y habremos acabado. Notamos
que, de nuevo, podemos excluir de la consideración una cantidad
finita de primos; en particular, podemos suponer que p es primo
con ∆. Ponemos a0 := (p ∩ O)a. Como que N (p ∩ O) = p, el
grupo abeliano cociente a/a0 es cı́clico de orden p. Por tanto, tenemos
que Φp (j(a0 ), j(a)) = 0. De nuevo, en virtud de la congruencia de
Kronecker, existe un polinomio Q(X, Y ) ∈ Z[X, Y ] tal que
Por otro lado, como que fP|p = 1, tenemos que j(a)p ≡ j(a)
(mod P); y, como que Pe divide P, obtenemos que j(a)p ≡ j(a)
202 Cap. 3 Funciones modulares
e
(mod P). Ahora, como que Pe es de caracterı́stica residual p, es-
ta condición, juntamente con (2), nos enseñan que j(a0 ) ≡ j(a)
e
(mod P).
Si a y a0 definieran clases diferentes de Cl(O), entonces j(a)−j(a0 )
serı́a un factor de ∆ y p no serı́a primo con ∆, como hemos supuesto;
por tanto, a y a0 pertenecen a la misma clase en Cl(O); es decir,
como que a0 = (P ∩ O)a, el ideal p ∩ O es principal. Ello acaba la
demostración. 2
[K(j(O)) : .K] = h.
Resultados de
trascendencia
P. Bayer
4.1.1 L-Funciones
203
204 Cap. 4 Resultados de trascendencia
El primer término es
Y X
ζ(2s) (1 − p−2s ) χ(a)a−s ,
p|k j
en donde
Z ∞
kX ∞
X
Ar (s) = k −1 χ(f )g −s e−2πirv/k dv,
0 y=1 x=−∞
y
g = g(v) = a(x + vy)2 + (d/4a)y 2 ,
de modo que f = f (b/2a). Al substituir u por v en la ecuación
√
x + vy = uy( d/2a),
en donde √
Z ∞
e−πiur d/(ka)
Ir (s) = du
−∞ (u2 + 1)s
y
ky−1
X
σ(y) = χ(f (m, y))e2πirm/(km) ;
m=0
Todas las soluciones conocidas hasta la fecha del problema del número
de clases 1 dependen de un análogo para el producto de L-series de
una fórmula lı́mite debida a Kronecker. Al escribir, con las notaciones
del apartado anterior,
2π √
|Ar | ≤ √ |r|e−π|r| d/(ka)
d
206 Cap. 4 Resultados de trascendencia
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,
XX k
1 √
Ar = ( k d)−1 Ir (1) y −1 χ(f (j, y))e2πirj/(ky) ,
2 y j=1
X ∞ X k
1 √ 1−2s
A0 (s) = k −1 as−1 ( d) I0 (s) y 1−2s χ(f (j, y)),
2
y=1 j=1
y, a su vez,
√ 1
πΓ(s − )/Γ(s).
I0 (s) =
2
Además, por estimaciones bien conocidas de las sumas de Gauss,
obtenemos, para todo entero positivo y y para todo k impar,
k
X k
X
χ(f (j, y)) = χ(a) χ(j 2 )e2πijy/k ;
j=1 j=1
uij (1 ≤ i ≤ M, 1 ≤ j ≤ N )
∆(x; k) = (x + 1) . . . (x + k)/k!,
1 dm
y pondremos ∆(x; k, l, m) = (∆(x; k))l . Estas funciones tienen
m! dxm
las propiedades siguientes:
Λ = β0 + β1 log α1 + · · · + βn log αn ,
fm0 ....,mn−1 (z0 , . . . , zn−1 ) = (∂/∂z0 )m0 . . . (∂/∂zn−1 )mn−1 f (z0 , . . . , zn−1 ).
210 Cap. 4 Resultados de trascendencia
γ zn−1
×(∆(z0 + λ−1 ; h))λ0 +1 eλn β0 z0 α1γ1 z1 . . . αn−1
n−1
,
en donde γr = λr + λn βr (1 ≤ r < n), satisface
1
|Φm0 ,...,mn−1 (l, . . . , l)| < B − 2 C , (5)
para todos los enteros l tales que 1 ≤ l ≤ h y para todos los enteros
no negativos m0 , . . . , mn−1 con m0 + · · · + mn−1 ≤ k.
4.3.4 Lema. Supongamos que 0 < ε < c−1 para alguna constante
c suficientemente grande. Entonces, para todo entero J tal que 0 ≤
J < 8n/ε, se satisface
1
|Φm0 ,...,mn−1 (l, . . . , l)| < B − 2 C ,
para todos los enteros l tales que 1 ≤ l ≤ hk εJ y para todos los enteros
m0 , . . . , mn−1 con m0 + · · · + mn−1 ≤ k/2J .
L 0
X 0
= 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úmeros p0 (λ0 , λ1 , . . . , λn ) es no nulo. Ahora (7) puede
escribirse en la forma
L0 L1 Ln
X
−1
X X 0 λ l/k
··· p0 (λ0 , λ−1 , . . . , λn )(l/k))λ (α1 1 · · · αnλn l/k )l = 0,
λ0−1 =0 λ1 =0 λn =0
212 Cap. 4 Resultados de trascendencia
al substituir βj (1 ≤ j < n) por βj0 = −βj /βn y además que los βj0
poseen grados a lo sumo d2 y alturas a lo sumo B 0 ≤ B c , para alguna
constante c que depende sólo de d. Por tanto concluimos que (4) se
satisface para algunos b01 , . . . , b0n como los indicados en el apartado
anterior. Ahora, si b0r 6= 0, tenemos
√
Demostración. Supongamos que Q( −d) tienen número de clases
1, con d > 3. Entonces, por la teorı́a del género, d es un primo
214 Cap. 4 Resultados de trascendencia
√ X ∞
(4π/ d) rη r ,
r=1
√
en donde η = e−π d/k . La suma sobre r es precisamente η/(1 − η)2 ,
1 √
y η < si d > k; por tanto la expresión anterior es a lo sumo
√2
16πη/ d. Ahora, mediante la fórmula analı́tica del número de clases,
debida a Dirichlet,
√ √
L(1, χ) = 2 log ε/ k, L(1, χχ0 ) = hπ/ kd,
√
en donde h denota el número de clases del cuerpo Q( −kd), y, al
substituir en (2), se deduce inmediatamente la desigualdad
32 √ √
|h log ε − π d| < e−π d/100 ,
21
suponiendo por ejemplo que d > 1020 . Pero π = −2i log i y, por tanto,
el término de la izquierda corresponde a una forma lineal Λ en dos
logaritmos del tipo de√las 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
4.5. El teorema de Schneider 215
en donde
√
δ −1 = 14 × 103 , B = 140 d, b = 35h, b0 = −22h0 ,
uij , (1 ≤ i ≤ M, 1 ≤ j ≤ N )
y, al mismo tiempo,
satisface
Φ(j) (yl ) = 0, (0 ≤ j ≤ k, 1 ≤ l ≤ m).
d
X d
X
todo polinomio Q(x1 , . . . , xn ) = ··· q(l1 , . . . , ln )xl11 . . . xlnn con
l1 =0 ln =0
coeficientes en K, la función R(z) = Q(f1 , . . . , fn ) satisface R(j) (z) =
P d0 P d0 l1 ln
l1 =0 · · · ln =0 r(l1 , . . . , ln )f1 . . . fn , en donde r(l1 , . . . , ln ) son de
nuevo elementos de K y d0 ≤ d + jδ, denotando δ el máximo de los
grados de las primeras derivadas de f1 , . . . , fn , expresadas como un
polinomio en las últimas. Además, se confirma fácilmente que si los
coeficientes q(l1 , . . . , ln ) se convierten en enteros algebraicos de grado
a los sumo s tras multiplicar por algún entero positivo Q, entonces la
función R(j) puede ser multiplicada por un entero positivo de manera
que los coeficientes r(l1 , . . . , ln ) se conviertan en enteros algebraicos
de tamaño a lo sumo S = (c7 d)j j!s. El lema sigue al aplicar este resul-
tado con Q = xλ1 1 xλ2 2 y j ≤ k, por tanto s = 1, d ≤ L ≤ k y S ≥ k c8 k ,
y observando que para k suficientemente grande, entonces se obtienen
la estimación k c9 k para cada producto de potencias f1l1 . . . fnln evalua-
do en z = yl , en donde li ≥ d0 ≥ c10 k y l ≥ m. 2
F (z) = (z − y1 ) . . . (z − ym ),
pero si m > 8ρ(c12 + c15 ) entonces, en vistas del lema 4.5.5, la última
estimación implica que φ(j) (yl ) = 0. Suponiendo, como bien pode-
mos, que los denominadores h1 . . . hn no se anulan en el punto z = yl ,
se sigue que Φ(j) (yl ) = 0. Concluimos por inducción que Φ y todas
sus derivadas se anulan en y1 , . . . , ym . Ello prueba que la función Φ
se anula idénticamente, como querı́amos demostrar.
4.6. Resultados de trascendencia para la función j 221
Cuerpos de clases
P. Bayer
OK = {a ∈ K ∗ : vK (a) ≥ 0},
UK = {a ∈ K ∗ : vK (a) = 0},
223
224 Cap. 5 Cuerpos de clases
en la cual
(n)
UK = 1 + p n , para n > 0.
Gal(L|K) = G−1 ⊇ G0 ⊇ G1 ⊇ . . .
Dada una extensión finita L|K, denotamos por NL|K , TrL|K la norma
y la traza, respectivamente.
5.1. Teorı́a local de cuerpos de clases 225
llamado de reciprocidad.
(n)
N Qp (µ(pn ) ) = (p) × UQp .
Por tanto,
L ⊆ Qp (µ(pf −1)pn ),
ya que que el conductor del extensión Qp (µ(pn ) )|Qp es (p)n .
A partir de los resultados anteriores, se obtiene el teorema sigu-
iente.
ClK = IK /PK
5.2.1 Proposición.
(i) El grupo de les clases de ideales de K es un cociente de su grupo
de clases de ideles:
ClK /(ISK∞ K ∗ /K ∗ ) ' IK /ISK∞ K ∗ ' ClK .
5.2. Teorı́a global de cuerpos de clases 229
m
PK = {(a) ∈ PK : a ≡ 1 (mod m), a totalmente positivo}.
El grupo cociente
ClK (m) = Im m
K /PK
m ∗ ∗
Clm
K = IK K /K
llamado de reciprocidad.
ι : Kp∗ → ClK , ap 7→ (. . . , 1, 1, 1, ap , 1, 1, 1, . . . ),
1 −→ H m /PK
m −→ ClK (m) −→ Gal(L|K) −→ 1,
en donde H m := (NL|K IK
m )P m .
K
Y µ a, b ¶
en donde := es el sı́mbolo de Hilbert.
p
p
χ : I m → S 1 = {z ∈ C : |z| = 1}.
χf : (O/m)∗ → S 1 , χ∞ : R ∗ → S 1 ,
tales que
χ((a)) = χf (a)χ∞ (a),
5.3.6 Proposición.
(ii) Los caracteres del grupo de las clases de ideales ClK son los car-
acteres de Hecke de tipo A0 y (mod 1) para los cuales χ∞ = 1.
en donde
L∞ (χ, ) = LrR1 LrC2 ,
con |W (χ)| = 1.
(ii) La función Λ(A, χ, s) es holomorfa excepto, como mucho, de un
polo simple a
L(L|K, 1, s) = ζK (s).
χ(1)+χ(ϕP ) χ(1)−χ(ϕP )
en donde n+ = 2 , n− = 2 . Como antes,
en donde
Y
L∞ (L|K, χ, s) = Lp (L|K, χ, s), c(L|K, χ) = |dK |χ(1) N (fL|K (χ)).
p|∞
Λ(L|K, χ, s) = Λ(e
χ, s).
5.5. Reformulación de la teorı́a global de cuerpos de clases 243
L(χ, 1) 6= 0.
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
#hσi
δ(PL|K (σ)) = ,
#Gal(L|K)
© ª
en donde hσi = τ στ −1 : τ ∈ Gal(L|K) es la clase de conjugación
de σ.
P (L|K) ⊇ P (M |K) ⇐⇒ L ⊆ M.
Ejercicios
P. Bayer, J. Guàrdia
Introducción al PARI
249
250 Cap. 6 Ejercicios
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]
6.1. Ejercicios con PARI 251
gp > coredisc(34)
%8 = 136
gp > coredisc(34, 1)
%9 = [136, 1/2]
gp > coredisc(32, 1)
%10 = [8, 2]
gp > coredisc(−35, 1)
%11 = [−35, 1]
gp > coredisc(5)
%12 = 5
gp > coredisc(−8)
%13 = −8
gp > quaddisc(7/6)
%19 = 168
%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
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 cuadráticas de discriminante
D, que denotaremos por H(D), tiene estructura de grupo. PARI tiene
implementado el producto de formas cuadráticas. 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 instrucción quadclassunit(D) que determina la es-
tructura del grupo de clases de formas cuadráticas binarias de dis-
criminante D:
gp > quadclassunit(−23)
%11 = [3, [3], [Qf b(2, 1, 3)], 1]
La función 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úmeros con PARI 255
del grupo H(D). Este grupo es abeliano finito; por tanto, isomorfo a
un producto de grupos cı́clicos:
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 co-
rrespondiente subgrupo cı́clico Z/ai Z. Para comprender la cuarta
entrada de la función 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
%3 = [1,
1/8510 ∗ x5 + 1/851 ∗ x4 − 7/1702 ∗ x3 + 221/1702 ∗ x2
−11/115 ∗ x + 12327/4255,
Veremos que PARI también puede hacer cálculos con los ideales
√ del
anillo de enteros OK . Vamos a trabajar en el cuerpo K = Q( −87).
Solución.
Suma de ideales:
gp > idealadd(K, a, b)
%1 =
[3 2]
[0 1]
Multiplicación ideales:
gp > idealmul(K, a, b)
%2 =
[357 0]
[0 357]
Intersección de ideales:
gp > idealintersect(K, a, b)
%3 =
[357 238]
[0 119]
Potenciación de ideales:
gp > idealpow(K, a, 3)
260 Cap. 6 Ejercicios
%4 =
[15166431 5634267]
[0 3]
Se observa que el ideal ab = 357OK es principal. Si a, b fueran
coprimos, el único ideal que los dividirı́a a la vez seria OK ; es decir,
el mı́nimo ideal que los contendrı́a serı́a OK . El mı́nimo 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. Veámoslo
con PARI.
7OK = p1 p2 ,
p1 = (7, −1 + 2β), N(p1 ) = 7,
p2 = (7, 3 + 2β), N(p2 ) = 7.
6.2.6 Ejercicio.
√ Comprueba que el grupo de clases de ideales del
cuerpo K = Q( −231) consta de las 12 clases
OK , a, a2 , a3 , a4 , a5 , b, ab, a2 b, a3 b, a4 b, a5 b.
c = component(f q, 3);
i0 = idealprincipal(K, a);
idealadd(K, i0, −b/2 + x/2)
}
Soluciones
P. Bayer, J. Guàrdia
7.1 Soluciones
265
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]
gp > coredisc(34)
%8 = 136
gp > coredisc(34, 1)
%9 = [136, 1/2]
gp > coredisc(32, 1)
%10 = [8, 2]
gp > coredisc(−35, 1)
%11 = [−35, 1]
gp > coredisc(5)
%12 = 5
gp > coredisc(−8)
%13 = −8
7.1. Soluciones 267
gp > quadregulator(8)
%24 = 0.8813735870195430252326093250
gp > log(quadunit(8))
%25 = 0.8813735870195430252326093250
Solución.
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.
%6 = 0.4807498567691361274405461036
gp > algdep(b, 3)
%7 = 9 ∗ x3 − 1
1.818446459232066823483698964]
7.1. Soluciones 271
gp > quadregulator(40)
%13 = 1.818446459232066823483698964
Solución.
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 está generado por las clases de las formas f = (2, 1, 29)
y g = (7, 7, 10). La tabla de multiplicar es la siguiente:
I f f2 f3 f4 f5
I (1, 1, 58) (2, 1, 29) (4, −3, 15) (8, 5, 8) (4, 3, 15) (2, −1, 29)
g (7, 7, 10) (5, −3, 12) (6, 3, 10) (3, 3, 20) (6, −3, 10) (5, 3, 12)
p 29 31 37 41 43 47 53 59
¿es representado? S N S S N N S N
p (mod 4) 1 3 1 1 3 3 1 3
El resultado parece indicar que los primos p ≥ 3 que son repre-
sentados por la forma cuadrática son los primos congruentes con 1
módulo 4.
Solución.
gp > for(n = 1, 1000, if(isfundamental(−n)! = 0
%3 = [1,
1/8510 ∗ x5 + 1/851 ∗ x4 − 7/1702 ∗ x3 + 221/1702 ∗ x2
−11/115 ∗ x + 12327/4255,
β1 = 1
Veremos que PARI también puede hacer cálculos con los ideales
√ del
anillo de enteros OK . Vamos a trabajar en el cuerpo K = Q( −87).
Solución.
gp > K = nf init(x2 + 87);
gp > K.zk
%1 = [1, 1/2 ∗ x − 1/2]
Efectivamente, forman una Z-base de OK .
idealprincipal, que sirve para definir √un ideal principal. Por ejem-
plo, si queremos definir el ideal (3 + 2 −87), podemos escribir:
gp > a = idealprincipal(K, 3 + 2 ∗ x)
%2 =
[5]
[4]
La salida de esta función 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 también podemos utilizar esta no-
tación para describir los ideales. Por ejemplo, podemos definir un
ideal mediante la instrucción:
gp > b = idealprincipal(K, [1, −4])
%3 =
[1]
[−4]
Solución.
Suma de ideales:
gp > idealadd(K, a, b)
%1 =
[3 2]
[0 1]
Multiplicación ideales:
gp > idealmul(K, a, b)
%2 =
7.2. Cuerpos de números con PARI 277
[357 0]
[0 357]
Intersección de ideales:
gp > idealintersect(K, a, b)
%3 =
[357 238]
[0 119]
Potenciación 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 único ideal que los dividirı́a a la vez seria OK ; es decir,
el mı́nimo ideal que los contendrı́a serı́a OK . El mı́nimo 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.
7OK = p1 p2 ,
p1 = (7, −1 + 2β), N(p1 ) = 7,
p2 = (7, 3 + 2β), N(p2 ) = 7.
Solución.
gp > idealprimedec(K, 3)
%1 = [[3, [1, 2], 2, 1, [1, −1]]]
3OK = (3, 1 + 2β)2 implica que 3 ramifica.
gp > idealprimedec(K, 29)
%4 = [[29, [1, 2] , 2, 1, [1, 2] ]]
29OK = (29, 1 + 2β)2 implica que 29 ramifica.
Vamos a hacer una comprobación:
gp > K.disc
%2 = −87
gp > f actor(%)
%3 =
[−1 1]
[3 1]
[29 1]
Efectivamente, ramifican los primos que dividen al discriminante.
gp > idealprimedec(K, 5)
%5 = [[5, [5, 0] , 1, 2, [1, 0] ]]
5OK = (5, 5) = (5) implica que 5 es inerte.
7.2. Cuerpos de números con PARI 279
Solución.
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.6 Ejercicio.
√ Comprueba que el grupo de clases de ideales del
cuerpo K = Q( −231) consta de las 12 clases
OK , a, a2 , a3 , a4 , a5 , b, ab, a2 b, a3 b, a4 b, a5 b.
Solución.
gp > c = idealmul(K, 13, [−5, 2])
%1 = [[65, 0; 0, 65], 2]
gp > bnf isprincipal(K, c)
%2 = [[0, 0], [65, 0]]
Sabemos que todo ideal c de K se expresa en la forma c = aj bk (γ).
La primera entrada de la instrucción bnf isprincipal(K, c) es el par
(j, k), la segunda es el elemento γ expresado en la base de OK . La
presencia del par (0, 0) nos indica que nuestro ideal c es principal:
c = 65OK .
282 Cap. 7 Soluciones
Solución.
gp > K.zk
%1 = [1, 1/2 ∗ x − 1/2]
Se puede ver que el grupo de clases de formas es un grupo cı́clico
de orden 6 generado por la forma f = (2, 1, 11):
gp > quadclassunit(−87)
%2 = [6, [6], [Qf b(2, 1, 11)], 1]
gp > f = Qf b(2, 1, 11)
%3 = Qf b(2, 1, 11)
gp > a1 = ideal(f )
7.2. Cuerpos de números 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 biyección entre clases de formas cuadráticas y clases
284 Cap. 7 Soluciones
Id 7→ a0 = (1, β) = OK
f 7→ a1 = (2, β)
f2 7→ a2 = (4, 2 + β)
f3 7→ a3 = (3, 2 + β)
f4 7→ a4 = (4, 3 + β)
f5 7→ a5 = (2, 1 + β)
√
−1 + −87
siendo β = .
2
%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
Solución.
gp > (X − j1) ∗ (X − j2)
%1 = X 2 +(191025.0000000000000000000000+9.44666109E−23∗
I)∗X +(−121287375.0000000000000000000000−2.710505432E −20∗
I)
El polinomio es, pues,
X 2 + 191025X − 121287375
Solución.
Consideremos los 9 discriminantes fundamentales de número 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
Solución.
Consideremos los 9 discriminantes fundamentales negativos con
número 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 ∗ sqrt−3)
%3 = 4.262177685E − 82 − 1.585447738E − 82 ∗ I
√
j(−1/2 + 1/2 −3) = 0
gp > K4.zk
%5 = [1, 1/2 ∗ x]
gp > ellj(1/2 ∗ sqrt(−4))
%6 = 1728.000000000000000000000000
j(i) = 1728 = 26 · 33
291
292 BIBLIOGRAFÍA
P. Bayer
Facultat de Matemàtiques
Universitat de Barcelona
Gran Via de les Corts Catalanes, 585
E-08007, Barcelona
bayer@mat.ub.es
P. Bayer
Facultat de Matemàtiques, UB
Gran Via de les Corts Catalanes, 585
08007 Barcelona. Espanya
bayer@ub.edu
Comitè editorial
Classificació AMS
Primària: 11Rxx, 11J86, 11J89
Secundària: 11Y70
Barcelona, 2005
Amb suport parcial de MCYT, BFM2003-01898
ISBN: pendent