Documente Academic
Documente Profesional
Documente Cultură
Este documento contiene los apuntes que he utilizado durante varios años para explicar
Teorı́a de Números Álgebraicos en la asignatura de Teorı́a de Números del Máster en Matemática
Avanzada. Esta asignatura permite adaptar sus contenidos a los intereses de los alumnos por
lo que los contenidos de esta asignatura se han impartido durante algunos años mientras que en
otros los contenidos de la asignatura pueden ser Teorı́a Elemental de Números o Fundamentos
Matemáticos de la Criptologı́a.
Para la elaboración de estos alumnos he utilizado diversos textos entre los que habrı́a que
destacar los siguientes:
1 Elementos enteros 5
1.1 Cuerpos de números . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Elementos enteros sobre un anillo . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Anillos de enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Grupos abelianos finitamente generados . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Bases enteras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Enteros ciclotómicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Factorización 25
2.1 Factorización en irreducibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Factorización prima, dominios euclideos y DIPs . . . . . . . . . . . . . . . . . . 27
2.3 Aplicaciones de factorización única . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4 Factorización prima de ideales. Dominios de Dedekind . . . . . . . . . . . . . . 34
2.5 Factorización de un primo racional . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.6 La norma de un ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.7 Extensiones de anillos de enteros . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.8 Extensiones de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.9 Ramificación y discriminante . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.10 Factorización en cuerpos cuadráticos y ciclotómicos . . . . . . . . . . . . . . . . 55
3 Métodos Geométricos 61
3.1 Retı́culos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2 Teoremas de los dos y cuatro cuadrados . . . . . . . . . . . . . . . . . . . . . . 65
3.3 Representación geométrica de números algebraicos . . . . . . . . . . . . . . . . 67
3.4 Espacio logarı́tmico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.5 Teorema de las Unidades de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . 71
4 El grupo de clase 75
4.1 El grupo de clase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.2 Finitud del grupo de clase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3 Constantes de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.4 Cálculo de números de clase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3
4 CONTENIDOS
6 Métodos analı́ticos 93
6.1 Fórmulas analı́ticas para el número de clase . . . . . . . . . . . . . . . . . . . . 93
6.2 Caracteres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
6.3 El número de clase de los cuerpos ciclotómicos . . . . . . . . . . . . . . . . . . 104
6.4 Descomposición de hK como producto de dos factores . . . . . . . . . . . . . . 110
6.5 El factor h0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
6.6 El factor h∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.7 Cuando p no divide a h∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
Elementos enteros
P0 = 1,
P1 =X Q1 + X2 + . . . + Xn ,
P2 = i<j Xi Xj ,
... ...
Pn = X1 X2 . . . Xn
Recordemos también que todo polinomio simétrico se puede expresar como un polinomio
en los polinomios simétricos elementales, es decir, es de la forma Q(P0 , P1 , P2 , . . . , Pn ) para
5
6 CAPÍTULO 1. ELEMENTOS ENTEROS
algún polinomio Q.
Si α es algebraico sobre K y α1 , . . . , αn son los conjugados de α, entonces los coeficientes
del polinomio mı́nimo de α sobre K son
P0 (α1 , . . . , αn ) = 1
P1 (α1 , . . . , αn ) = β1
...
Pn (α1 , . . . , αn ) = βn
Si S(X1 , X2 , . . . , Xn ) ∈ K[X1 , X2 , . . . , Xn ] es un polinomio simétrico, entonces S = Q(P0 , P1 , . . . , Pn )
para algún polinomio Q ∈ K[T0 , T1 , . . . , Tn ] y por tanto S(α1 , α2 , . . . , αn ) = Q(1, β1 , . . . , βn ) ∈
K.
Definición 1.1 Un cuerpo de números es una extensión finita del cuerpo Q de los números
racionales contenida en el cuerpo de los números complejos. De hecho como C es algebraica-
mente cerrado toda extensión finita de los racionales es isomorfa a un cuerpo de números.
Teorema 1.2 Sea α ∈ F = K(θ), con θ algebraico sobre K. Sean mα y mθ los grados de sus
respectivos polinomios mı́nimos sobre K, MinK (α) y MinK (θ). Entonces
(1) mα divide a mθ .
mθ
(2) χα,F = MinK (θ) mα .
(3) En particular,
Obsérvese que NF/K (α) y TF/K (α) son respectivamente el término independiente y el
coeficiente de grado n − 1 del polinomio χF/K (α) y por tanto ambos pertenecen a K. Cuando
esté claro por el contexto, NF/K y TF/K se denotarán N y T .
El siguiente lema reúne algunas de las propiedades elementales de la norma y la traza:
Definición 1.5 Sea F una extensión finita de K de grado n y sean σ1 , . . . , σn los K-homomorfismos
de F en una clausura algebraica de F . El discriminante sobre K de una lista α1 , . . . , αn ∈ F
es
∆F/K [α1 , . . . , αn ] = det(σi (αj ))2 .
Además, para todo α ∈ F denotamos ∆F/K (α) = ∆F/K [1, α, α2 , . . . , αn−1 ].
Proposición 1.6 Sea F = K(θ) una extensión separable de grado n, sea p = MinK (θ) y sean
α1 , . . . , αn ∈ F . Entonces:
Pn
(2) Si para cada i = 1, . . . , n se tiene βi = j=1 ci,j αj con ci,j ∈ K entonces ∆[α1 , . . . , αn ] =
∆[β1 , . . . , βn ] det(cij )2 .
n(n−1)
(3) ∆F/K (θ) = (−1) 2 QN (p0 (θ)). Además, si θ1 , . . . , θn son los conjugados de θ sobre K
entonces ∆F/K (θ) = 1≤i<j≤n (θi − θj )2 .
(4) ∆F/K [α1 , . . . , αn ] 6= 0 si y solo si α1 , . . . , αn forman una base de F sobre K. En partic-
ular, si α ∈ F entonces ∆F/K (α) 6= 0 si y solo si F = K(α).
Además p(X) = i=1 (X − θi ), con lo que p0 (X) = ni=1 j6=i (X − θj ) y, por tanto, p0 (θi ) =
Qn P Q
Q
j6=i (θi − θj ). Luego
n Y
(θi − θj )2 = (−1)( 2 ) (θi − θj )
Y
∆(θ) =
i<j i6=j
n
n(n−1) Y n(n−1
= (−1) 2 p0 (θi ) = (−1) 2 N (p0 (θ)).
i=1
(4) En la demostración de (3) hemos Pn vistoi−1 que ∆(θ) 6= 0. Como 1, θ, θ2 , . . . , θn−1 forman una
base de F sobre K tenemos αi = i=1 ci,j θ para ciertos ci,j ∈ K. Aplicando (2) deducimos
que ∆[α1 , . . . , αn ] 6= 0 si y solo si (ci,j ) es invertible si y solo si α1 , . . . , αn forman una base
de F sobre K. La última afirmación proviene de que F = K(α) si y solo si 1, α, α2 , . . . , αn−1
forman una base de F sobre K.
αn + an−1 αn−1 + . . . + a1 α + a0 = 0,
Proposición 1.9 Sea B un anillo y sea A un subanillo de B. Las siguientes condiciones son
equivalentes para un elemento b ∈ B.
(3) A[b] está contenido en subanillo C de B que es finitamente generado como A-módulo.
10 CAPÍTULO 1. ELEMENTOS ENTEROS
Corolario 1.11 El conjunto de los elementos de B que son enteros sobre A forma un subanillo
de B.
Definición 1.12 El conjunto de elementos de B que son enteros en A se llama clausura entera
de A en B. Se dice que A en integramente cerrado en B si coincide con su clausura entera en
B.
Si A es un dominio decimos que A es integramente cerrado si lo es en su cuerpo de
cocientes.
1.3. ANILLOS DE ENTEROS 11
Luego cα ∈ R.
Corolario 1.19 Si K es un cuerpo de números, entonces existe un entero θ tal que K = Q(θ).
Lema 1.20 (Gauss) Sean f, g ∈ Q[X] tal que f g ∈ Z[X]. Entonces existe 0 6= c ∈ Q tal que
cf ∈ Z[X] y c−1 g ∈ Z[X].
12 CAPÍTULO 1. ELEMENTOS ENTEROS
Demostración. Sea K un cuerpo cuadrático. Por el Corolario 1.19 K = Q(θ) con θ entero
y del Lema 1.21 se deduce que el polinomio mı́nimo es de la forma X 2 + aX + b con a, b ∈ Z.
Pongamos que a2 − 4b = r2 d con r, d ∈ Z y d libre de cuadrados. Entonces
√
−a + r d
θ=
2
√
y, por tanto K = Q( d).
√ √
Demostración.
√ Sea R el anillo de enteros de Q( d). Claramente Z[ d] ⊆ R. Cada elemento
de Q( d) tiene una forma unica √
a+b d
α=
c
√
a−b d
con a, b, c ∈ Z, c > 0 y mcd(a, b, c) = 1. Los conjugados de α sobre Q son α y α = c .
Supongamos que α 6∈ Z. Entonces el polinomio mı́nimo de α es
2a a2 − b2 d
(X − α)(X − ᾱ) = X 2 − X+ .
c c2
2 2
√
a −b d
Del Lema 1.21 deducimos que α ∈ R si y solo si 2a c , c2
∈ Z. Por ejemplo, 1+2 d ∈ R si y
h √ i
solo si d ≡ 1 mod 4. En tal caso Z 1+2 d ⊆ R.
Para acabar la demostración basta con demostrar si α ∈ R entonces c = 1 ó c = 2 y en
el segundo caso d ≡ 1 mod 4 y a y b son impares. En efecto, sea p un primo que divide a c.
Entonces p divide a 2a y p2 divide a a2 − b2 d. Si p 6= 2 entonces p | a y por tanto p no divide a
b y p2 divide a b2 d. Luego p2 divide a d en contra de que d es libre de cuadrados. Luego p = 2.
La misma demostración prueba que 4 no divide a c. Por tanto, c = 1 ó c = 2. Supongamos
que c = 2. Entonces a2 ≡ db2 mod 4. De esto se deduce que a y b son impares pues d no es
múltiplo de 4 y a y b no son ambos pares. Por tanto a‘2 ≡ b2 ≡ 1 mod 4 y concluimos que
d ≡ 1 mod 4.
Teorema 1.25 Sea G un grupo abeliano finitamente generado. Entonces existen enteros n y
1 < n1 | · · · | nk tales que
k
G∼
Y
= Zn × Zni .
i=1
si y solo si k = 0, es decir G ∼
= Zn . En este caso G tiene una base y todas sus bases tienen n
elementos.
El siguiente lema proporciona un sistema para calcular [F : G], en caso de que sea finito,
a partir de una base de G.
Pn n × n
Lema 1.27 Sea x1 , . . . , xn una base de un grupo abeliano libre F , A = (aij ) una matriz
de números enteros y G el subgrupo de F generado por y1 , . . . , yn , donde yi = i=1 aij xj
(i = 1, 2, . . . , n). Entonces G tiene rango n precisamente si det(A) 6= 0 y en tal caso [F : G]
es el valor absoluto de det(A). En particular, y1 , . . . , yn forman una base de F precisamente
si det(A) = ±1.
B: y1 , . . . , yn −→ a1 α1 , . . . , an αn ,
C : a1 α1 , . . . , an αn −→ α1 , . . . , α n ,
D: α1 , . . . , αn −→ x1 , . . . , x n .
Esto no depende de la elección de los αi pues si G tiene rango menor que n entonces α1 , . . . , αn
no son linealmente independientes y por tanto ∆K/Q (α1 , . . . , an ) = 0. En caso contrario
α1 , . . . , αn es una base de K sobre Q y lo mismo pasa para otro conjunto β1 , . . . , βn de gener-
adores de G. Como ambos general el mismo grupo las matrices de cambio de base entre estas
dos bases tienen entradas enteras y como son inversas una de la otra tienen determinante ±1.
Aplicando la Proposición 1.6.(2) deducimos que ∆F/K (β1 , . . . , βn ) = ∆F/K (α1 , . . . , αn ).
Definición 1.28 Una base entera de K es una base de R como Z-módulo. O sea, α1 , . . . , αn
forman una base entera de K si R = Zα1 ⊕ · · · ⊕ Zαn .
Pronto veremos que K tiene una base entera con lo que podemos definir el discriminante
∆K de K como el discriminante de R. O sea ∆K = ∆[R].
Ejemplo 1.29 Si d un entero libre de cuadrados, entonces, de√ la Proposición 1.24 tenemos
√ √ 1+ d
que una base entera de Q( d) es 1, d, si d 6≡ 1 mod 4 y 1, 2 en caso contrario. Por tanto
1 √d
2
√ = 4d, si d 6≡ 1
mod 4;
1 − d
√
∆(Q( d)) =
√ 2
1+ d
1
2√ si d ≡ 1
= d, mod 4.
1− d
1 2
Obsérvese que dos cuerpos cuadráticos son iguales si y solo si tienen el mismo discriminante.
Teorema 1.31 Todo cuerpo de números tiene una base entera y su anillo de enteros es un
grupo abeliano libre cuyo rango coincide con la dimensión de K como Q-espacio vectorial.
Demostración. Del Lema 1.18 se deduce que R contiene una base de K sobre Q y del
Lema 1.30 se deduce que entre todas las bases de K contenidas en R hay una con discriminante
16 CAPÍTULO 1. ELEMENTOS ENTEROS
mı́nimo. Sea ω1 , . . . , ωn una de estas bases y vamos a ver que ω1 , . . . , ωn forman una base entera
de K. En caso contrario existen a1 , . . . , an ∈ Q tales que
ω = a1 ω1 + . . . + an ωn ∈ R
El Teorema anterior nos asegura la existencia de una base entera, pero el búsqueda efectiva
de una base entera concreta es más complicado. En el resto de la sección vamos a ver un
procedimiento algorı́tmico para calcular una base entera de nuestro cuerpo de números K.
Para ello necesitamos la siguiente proposición:
De las Proposiciones 1.6.(4) y 1.26 deducimos que ∆[G] 6= 0 si y solo si [R : G] < ∞. Más
generalmente, tenemos la siguiente proposición que será útil para calcular bases enteras.
∆[G] = [R : G]2 ∆K .
Por ejemplo, podrı́amos haber utilizado esto para dar una demostración de que si d ≡ 1
√
1+ d
√ √
mod 4 entonces 1, 2 forman una base entera de Q( d) pues se trata de una base de Q( d)
formada por elementos enteros cuyo discriminante es d, un entero libre de cuadrados.
Demostración. Sea p un divisor primo de [R : G]. Por el Teorema 1.32, p2 divide a ∆[G].
Además, del Teorema de Cauchy de Teorı́a de Grupos (o del Teorema Fundamental de Grupos
Abelianos Finitamente Generados) deducimos que R/G tiene un elemento de orden p, es decir,
existe u ∈ R \ G tal que pu ∈ G, entonces pu = a1 α1 + . . . + an αn para ciertos enteros
n . Para cada i sean ci y qi enteros con ai = pqi + ci y 0 ≤ cP
a1 , . . . , aP i ≤ p − 1. Entonces
n 1
v = u − i=1 qi αi = p (c1 αi + . . . + cn αn ). Como u 6∈ R se tiene que u 6= i=1 qi αi y por tanto
v 6= 0.
(2) Calculamos ∆ = ∆K/Q (α1 , . . . , αn ). Si este número es libre de cuadrados concluimos del
Corolario 1.33 que α1 , . . . , αn es una base entera de K.
(3) En caso contrario elegimos un primo p tal que p2 divida a ∆ y analizamos si alguno
de los elementos de la forma β = p1 (c1 α1 + . . . + cn αn ) con 0 ≤ ci < p y algún ci 6= 0
es entero. Esto es un proceso finito pues solo hay un número finito de tales elementos.
Además para decidir si un elemento es entero podemos utilizar la Proposición 1.21. Si
ningún elemento de esta forma es entero concluimos de la Lemma 1.34 que α1 , . . . , αn es
una base entera de K.
Vamos a ver que este algoritmo acaba en un conjunto finito de pasos. Para ello observamos
2
que cada vez que vamos del paso (4) al paso (2) el valor de ∆ se multiplica por cpi < 1. Esto
es consecuencia de la Proposición 1.6.(2). Por tanto los valores absolutos de los ∆ calculados
en (2) forman una sucesión decreciente de enteros positivos. Como estos números no pueden
decrecer indefinidamente el algoritmo tiene que parar en algún momento en el paso (2) ó (3)
proporcionando una base entera de K.
En realidad podemos acelerar el procedimiento modificando ligeramente β para que ci = 1,
con lo cual cada vez que se pasa del paso (4) al paso (2) el valor de ∆ se divide por p2 .
Para ver esto, reordenando los αi podemos suponer que c1 6= 0. Como ci < p, tenemos que
mcd(ci , p) = 1 y por tanto existen enteros u y v con uci +vp = 1. Para cada j = 2, . . . , n sean qj
y rj el cociente y el resto de dividir ucj entre p. Entonces β 0 = uβ + vα1 − (q2 α2 + · · · + qn αn )
es entero y
u
β0 = (c1 α1 + · · · + cn αn ) + vα1 − (q2 α2 + · · · + qn αn )
p
1
= ((uc1 + vp)α1 + (uc2 − q2 p)α2 + · · · + (ucn − qj p)αn )
p
1
= (α1 + r2 α2 + · · · + rn αn ) .
p
18 CAPÍTULO 1. ELEMENTOS ENTEROS
√
Ejemplo 1.35 Si√θ = 3
7, es decir θ es la raı́z cúbica real de 7 entonces 1, θ, θ2 forman una
base entera de Q( 3 7).
Según el algoritmo explicado anteriormente ahora tenemos que buscar un entero algebraico de
una de las dos siguientes formas
1
3 (c0 + c1 θ + c2 θ2 ) 0 ≤ c1 , c2 , c3 ≤ 2
1
7 (c0 + c1 θ + c2 θ2 ) 0 ≤ c1 , c2 , c3 ≤ 6
T (a0 + a1 θ + a2 θ2 ) = 3a0
Con estas dos expresiones conseguimos descartar los elementos del segundo tipo pues si α es
del segundo tipo deducimos que T (α) = 3c71 ∈ Z y, como 0 ≤ c0 < 6, deducimos que c0 = 0.
c31 +7c32
Tomando ahora normas deducimos que N (α) = 49 ∈ Z. Luego 7 | c1 y de nuevo c1 = 0,
c32
con lo que N (α) = ∈ Z y concluı́mos que c2 = 0. Luego R no tiene elementos de la segunda
7
forma.
Para descartar los del primer tipo necesitaremos el tercer coeficiente que salvo el signo es
Lema 1.36 Sean K y F dos cuerpos de números tales que [KF : Q] = [K : Q] [F : Q].
Entonces para cada inclusión σ de K en C y cada inclusión τ de F en C existe una única
inclusión de KF en C que extiende σ y τ .
Proposición 1.37 Sean K y F dos cuerpos de números con anillos de enteros respectivos R
y S y sea T el anillo de enteros de KF . Si [KF : Q] = [K : Q] [F : Q] y d = gcd(∆K , ∆F )
entonces
1
RS ⊆ T ⊆ RS.
d
En particular, si además d = 1 entonces el anillo de enteros de KF es RS.
con mcd(r, mcd(ai,j )) = 1. Basta demostrar que r | d y para ello demostraremos que r divide
a ∆K y de forma análoga demostrarı́amos que r divide a ∆F .
20 CAPÍTULO 1. ELEMENTOS ENTEROS
Sean σ1 , . . . , σm las inclusiones de K en C. Por el Lema 1.36, cada σi tiene una única
extensiónP
a KF cuya restricción a F es la identidad. Denotaremos esta extensión también σi .
a
Sea xi = nj=1 i,j r βj para cada i = 1, . . . , m. Entonces
X ai,j m
X
σk (γ) = σk (αi )βj = σk (αi )xi .
r
i,j i=1
Por tanto los xi forman una solución de un sistema de ecuaciones lineales en el que la matriz
de los coeficientes es (σk (αi ) y los términos
√ independientes son los σk (γ)T . El determinante de
la matriz de los coeficientes es δ = ± ∆K 6= 0 con lo que se trata de un sistema de Cramer.
Resolviendo por Cramer obtendremos xi = yδi con δ y todos los yi enteros pues los coeficientes
y términos independientes del sistema lo son. Por tanto los siguientes números complejos son
enteros algebraicos para cada i:
n
X ∆K ai,j
δyi = ∆K xi = βj .
r
j=1
Por tanto se trata de elementos de S y como los βj forman una base entera de S sobre Z
∆ a
deducimos que Kr i,j ∈ Z para todo i y j. Luego r divide a mcd(∆K ai,j : i, j) = ∆K mcd(ai,j :
i, j) y como r es coprimo con mcd(ai,j : i, j) deducimos que r divide a ∆K , como querı́amos.
es un isomorfismo de grupos.
1.6. ENTEROS CICLOTÓMICOS 21
Demostración. Los elementos de la forma ζm k con gcd(k, m) = 1 son las raı́ces m-ésimas
primitivas de la unidad. Por tanto tenemos que demostrar que los conjugados de ζm son
precisamente las raı́ces m-ésimas primitivas de la unidad. Claramente todos los conjugados
de ζm son raı́ces m-ésimas primitivas de la unidad. Para demostrar el recı́proco, razonando
por inducción en el número de factores en la descomposición de n como producto de primos
racionales, basta demostrar que si ξ es una raı́z m-ésima primitiva de la unidad y p es un primo
que no divide a m entonces ξ y ξ p son conjugados, pues una vez que esto esté demostrado, razo-
nando por inducción en el número de primos que dividen a k se demuestra que si gcd(k, m) = 1
entonces ζm k es conjugado de ζ .
m
Vamos pues a suponer que ξ es una raı́z m-ésima primitiva de la unidad y p un primo que
no divide a m. Tenemos que demostrar que ξ y ξ p son conjugados sobre Q. Sea f el polinomio
mı́nimo de ξ sobre Q. Entonces X m − 1 = f (X)g(X) para algún g ∈ Q[X] mónico. Del Lema
de Gauss (Lema 1.20) deducimos que f y g tienen coeficientes enteros. Como ξ p es una raı́z
de X m − 1, también será raı́z de f ó g y queremos demostrar que ξ p es raı́z de f . En caso
contrario g(ζ p ) = 0. Luego ζ es raı́z del polinomio g(X p ), con lo que f (X) divide a g(X p ) en
Q[X]. Aplicando el Lema de Gauss de nuevo deducimos que en realidad f (X) divide a g(X p )
en Z[X]. Reduciendo módulo p, que lo denotamos usando barras, deducimos que f (X) divide
a g(X p ) = g(X)p . Como Zp [X] es un dominio de factorización única deducimos que f (X) y
g(X) tienen un factor común irreducible h(X) en Zp [X]. Luego h2 (X) | f (X)g(X) = X m − 1.
Por tanto que X m − 1 tiene una raı́z múltiple en una clausura algebraica Zp de Zp . Pero eso
implica que su derivada, que es mX m−1 , tiene una raı́z común con X m − 1 en Zp , lo cual no es
posible pues como p - m, la única raı́z del primero es 0 que no es raı́z del segundo. Concluimos
que ξ p es raı́z del polinomio mı́nimo f de ξ sobre Q, o lo que es lo mismo ξ p es conjugado de
ξ sobre Q.
Corolario 1.39 Sean m y n son dos enteros positivos con m < n. Entonces
(2) El conjunto de las raı́ces de la unidad de Q(ζm ) está formado por las raı́ces mcm(2, m)-
ésimas de la unidad.
q1 , . . . , qs son los primos que dividen a h pero no a m. Luego m (p1 −1)...(p r −1)
2p1 ...pr = ϕ(m) = ϕ(h) =
h (p1 −1)...(p r −1)(q1 −1)...(qs −1)
2p1 ...pr q1 ...qs
h
, con lo que q1 . . . qs ≤ m q1 ...qs
= (q1 −1)...(q s −1)
. Como m es par, todos los
qi son impares y esto implica que s = 0, es decir todos los primos que dividen a m también
dividen a h. De la fórmula anterior concluimos que h = m, es decir k divide a m. Por tanto ξ
es una raı́z m-ésima de la unidad.
Demostramos ahora la otra implicación de (1). Supongamos que Q(ζm ) = Q(ζn ). De (2)
deducimos que mcm(2, m) = mcm(2, n), con lo que si m < n entonces necesariamente m es
impar y m = 2n.
se tiene que Y
k
NQ(ζm )/Q (1 − ζm ) = (1 − ζm ) = f (1) = p.
1≤k<m
gcd(k,m)=1
Por tanto
p Y k
1 − ζm
=
(1 − ζm )ϕ(m) 1−ζ
gcd(k,m)=1,1≤k<m
k
1−ζm
y esto pertenece a Z[ζm ] pues 1−ζ = 1 + ζ + · · · + ζ k−1 para todo k.
Lema 1.41 ∆Q(ζm )/Q (ζm ) y ∆Q(ζm )/Q (1 − ζm ) son iguales y dividen a mϕ(m) .
Sea f el polinomio mı́nimo de ζm sobre Q. Del Lema de Gauss (Lema 1.20) tenemos que
Xm − 1 = f (X)g(X) para algún g ∈ Z[X]. Tomando derivadas y sustituyendo X por ζm
deducimos que m = ζm mζm m−1 = ζ f 0 (ζ )g(ζ ). Tomando normas, de la Proposición 1.6.(3)
m m m
deducimos
mϕ(m) = N (f 0 (ζm ))N (ζm g(ζm )) = ∆(ζm )N (ζm g(ζm )).
Como ζm g(ζm ) es entero deducimos que su norma es un número entero y por tanto ∆(ζm )
divide a mϕ(m) .
1.6. ENTEROS CICLOTÓMICOS 23
Demostración. Sea R el anillo de enteros de Q(ζm ). Tenemos que demostrar que R = Z[ζm ].
Si m = 1 entonces Q(ζm ) = Q y, por tanto, R = Z = Z[ζ1 ]. Suponemos pues que m > 1 y
razonamos por inducción en el número de divisores primos de m.
Supongamos que m es divisible por un único primo p. Sean θ = 1 − ζm y n = ϕ(m). Como
Z[ζm ] = Z[θ], basta demostrar que 1, θ, θ2 , . . . , θn−1 forman una base entera de Q(ζm ). Por
reducción al absurdo suponemos que no lo es. Del Lema 1.41 se tiene que ∆(θ) es una potencia
de p y por tanto, de la Lemma 1.34 se tiene que R contiene un elemento no nulo de la forma
1
α= (c0 + c1 θ + c2 θ2 + . . . cn θn−1 )
p
con 0 ≤ ci < p para todo i. Sea 1 ≤ i ≤ n mı́nimo con ci−1 6= 0. Por otro lado, θpi = θn−i θpn ∈
Z[θ] ⊆ R, por el Lema 1.40. Entonces ci−1
Pn−1
θ = α θpi − j=i cj θj−i ∈ R. Tomando normas
cn
deducimos que i−1 p ∈ Z. Pero esto es imposible pues 1 ≤ ci−1 < p.
Supongamos ahora que m es divisible por más de un primo y pongamos m = m1 m2 con
m1 una potencia de un primo y m2 coprimo con m1 . Por hipótesis de inducción el anillo
de enteros de Q(ζmi ) es Z[ζmi ] para i = 1, 2. Eso implica que ∆Q(ζmi ) = ∆(ζmi ) y además,
este último divide una potencia de mi por el Lema 1.41. Por tanto ∆Q(ζm1 ) y ∆Q(ζm2 ) son
coprimos. Además, [Q(ζm )) : Q] = ϕ(m) = ϕ(m1 )ϕ(m2 ) = [Q(ζm1 ) : Q] [Q(ζm2 ) : Q] y Q(ζm )
es el compositum de Q(ζm1 ) y Q(ζm2 ). Usando la Proposición 1.37 deducimos que el anillo de
enteros de Q(ζm ) es Z[ζm1 ]Z[ζm2 ], es decir el menor subanillo de C que contiene a ζm1 y ζm2 y
está claro que dicho anillo es Z[ζm ].
24 CAPÍTULO 1. ELEMENTOS ENTEROS
Capı́tulo 2
Factorización
(3) a es irreducible precisamente si (a) es maximal entre los ideales principales propios.
25
26 CAPÍTULO 2. FACTORIZACIÓN
Los anillos que satisfacen las condiciones equivalentes de la proposición anterior se llaman
noetherianos y vienen aquı́ a cuento por el siguiente Teorema.
Vamos a acabar esta sección viendo como la norma nos ayuda a identificar las unidades,
los elementos irreducibles y la asociatividad entre dos elementos de un anillo de enteros de un
cuerpo numérico.
Proposición 2.5 Sea D el anillo de enteros de un cuerpo numérico K, sea N = NK/Q y sean
x, y ∈ D.
Demostración. Trivial
2.2. FACTORIZACIÓN PRIMA, DOMINIOS EUCLIDEOS Y DIPS 27
(1) r = s y
(2) Existe una permutación π de {1, 2, . . . , r} tal que pi y qπ(i) son asociados para todo i.
(3) Todo elemento de D que no sea nulo ni unidad es producto de elementos primos de D.
28 CAPÍTULO 2. FACTORIZACIÓN
u3 pr1 . . . rs = u1 u2 p1 . . . pn q1 . . . qm
y, por tanto, p es asociado de algún pi o algún qi , lo que implica que p divide a a ó a b. Esto
demuestra que p es primo en D.
(2) implica (3) es obvio.
(3) Supongamos ahora que todo elemento de D es producto de elementos primos de D.
Claramente D es un dominio de factorización. Supongamos que
p1 p2 . . . pr = q1 q2 . . . qs
con todos los pi y qi primos de D. Razonamos por inducción sobre r. El caso r = 0 es trivial.
(Este caso en realidad hay que interpretarlo como que q1 q2 . . . qs es una unidad). Supongamos
ahora que r ≥ 1. Entonces pr | q1 q2 . . . qs y, como pr es primo en D, p divide en D a algún
qi . Podemos suponer, sin perdida de generalidad, que pr divide a qs . Pongamos pues qs = upr
con u ∈ D Como qs es irreducible, u es una unidad en D y, por tanto, pr y qs son asociados y
qs−1 u es irreducible. Entonces
p1 p2 . . . pr−1 = q1 q2 . . . qs−1 u
El teorema anterior sirve para dar una amplia clase de dominios en los que la factorización
es única: La clase de los dominios de ideales principales (DIP), entre los que están los dominios
euclı́deos. Recordemos que un dominio euclı́deo es un dominio D con una función euclı́dea y
que una función euclı́dea es una función φ : D \ {0} → N tal que
(2) Para todo a, b ∈ D \{0} existen q, r ∈ D tales que a = bq +r y, o bien r = 0 ó φ(r) < φ(b).
Lema 2.9 Sea K un cuerpo de números y sea D su anillo de enteros. La norma define una
función euclı́dea en K si y solo si para todo ∈ K existe q ∈ D tal que |NK/Q ( − q)| < 1.
2.2. FACTORIZACIÓN PRIMA, DOMINIOS EUCLIDEOS Y DIPS 29
Demostración. Supongamos que φ es una función euclı́dea y sea ∈ K. Por el Lema 1.18
existe n ∈ Z+ , tal que n ∈ D. Por hipótesis existen q, r ∈ D tales que n = nq + r y
r = 0 o φ(r) < φ(n). Si r = 0, entonces | NK/Q ( − q) |= 0. Si φ(r) < φ(n) entonces
φ(r)
|N ( − q)| = φ nr = φ(n) < 1.
Recı́procamente, supongamos que se cumple la propiedad y sean a, b ∈ D \ {0}. Por
a
hipótesis existse q ∈ D tal que N
K/Q b − q < 1. Sea r = a − bq. Entonces r ∈ D y o bien
r = 0 o bien φ(r) = φ(b)φ ab − q < φ(b).
Teorema 2.10√ Si d es un entero negativo libre de cuadrados entonces φ define una función
euclı́dea en Q( d) si y sólo si d = −1, −2, −3, −7, −11.
√ √
Demostración. Sea D el anillo de enteros de Q( d) y sea √= r + s d ∈ K con r, s ∈ Q
Supongamos primero que √ d 6≡ 1 mod 4. Entonces D = Z[ d]. Por tanto todo elemento de
D es de la forma q = x + y d con x, y ∈ Z y
Tomemos y ∈ Z tal que |2s − y| sea mı́nimo y para tal y tomamos x ∈ Z con |r − y2 − x| mı́nimo.
√
y
Por tanto |2s − y|, |r − 2 − x| ≤ 21 . Si tomamos q = x + y 1+2 d
tenemos
2
y 2 2s − y 1 1 4−d
φ( − q) = r − x − −d ≤ −d = .
2 2 4 16 16
√ √
De la Proposición 1.24 sabemos que Z[ √ −5] es el anillo de enteros de Q( −5), pero del
Ejemplo 2.6 y el Teorema 2.8 sabemos que Z[ −5] no es un DFU y por tanto no es un dominio
euclı́deo.
Es más difı́cil aplicar el Lema 2.9 cuando es positivo. Aquı́ dejamos un resultado sin
demostración.
Teorema 2.11 Sea d √ un entero positivo libre de cuadrados. Entonces la norma define una
función euclı́dea en Q( d) si y solo si d ∈ {2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 55, 73}.
y2 + 4 = z3
Demostración. Vamos a trabajar en el anillo de enteros de Gauss Z[i], que como se vió en el
Teorema 2.10 es un dominio euclı́deo y, por tanto, es un DFU. Podemos reescribir la ecuación
como
(2 + iy)(2 − iy) = z 3 .
Un factor común q = a + bi de 2 + iy y 2 − iy es un factor común de 4 y de 2y. Tomando
normas tenemos que a2 + b2 divide a 16 y 4y 2 .
Supongamos que y es impar. Entonces a2 + b2 | 4 y, por tanto q = ±1, ±i, ±2, ±2i, ±1 + ±i,
como hay que eliminar los dos primeros casos, porque no son unidades y los dos siguientes
casos porque y es impar, resulta que solo queda el último caso, que también se elimina porque
tampoco resulta ser un divisor de 2 + iy, ya que si
entonces y − 2 = 2β, en contra de que y es impar. Los otros casos se resuelven similarmente.
Por tanto, 2+iy y 2−iy son coprimos. Por factorización única se obtiene que como el producto
es un cubo, entonces uno de ellos es de la forma uα3 y el otro de la forma u−1 β 3 , para cierta
unidad u. Como las únicas unidades de Z[i] son ±1 y ±i que son todas cubos, luego podemos
suponer que u = 1, o sea 2 + iy y 2 − iy son cubos. Si 2 + iy = (a + bi)3 , tomando conjugados
tenemos que 2 + iy = (a − bi)3 . Sumando estas dos ecuaciones tenemos que
y, por tanto,
2 = a(a2 − 3b2 )
2.3. APLICACIONES DE FACTORIZACIÓN ÚNICA 31
Vamos a ver ahora otra aplicación de factorización única. Primero recordamos una propiedad
elemental.
m
Lema 2.13 Sean n, m y p enteros con p primo y m ≥ 0. Si n ≡ 1 mod p entonces np ≡ 1
mod pm+1 .
Demostración. Razonamos por inducción sobre m. El caso m = 0 es precisamente la
m m
hipótesis. Supongamos que np ≡ 1 mod pm+1 y pongamos np = 1 + hpm+1 . Como m ≥ 0
i(m + 1) ≥ m + 2 para todo i ≥ 2. Luego
m+1
pX
pm+1
pm+1 m+2
n = 1 + hp + hi pi(m+1) ≡ 1 mod pm+2 .
i
i=2
32 CAPÍTULO 2. FACTORIZACIÓN
Lema 2.14 Sean a un elemento de un anillo A y sea p un primo mayor que 4 tal que p ∈ Aa2 .
Sean m un entero positivo y n un entero no negativo tal que pn | m. Entonces (1+a)m ≡ 1+ma
mod Apn+1 .
Demostración.
Pm m i Razonamos por inducción sobre n. Si n = 0 entonces (1 + a)m = 1 + ma +
i=2 i a ≡ 1 + ma mod p pues pP∈ Aai para
todo i ≥ 2. Si n = 1 entonces m ≥ p > 4 2y
(1 + a)m = 1 + ma + 2 a2 + 3 a3 + i=4 m mi ai ≡ 1 + ma pues p divide a m
m m m
2 y 3 y a a .
m
Supongamos que n ≥ 2 y que el lema se verifica para n menor. Entonces (1 + a) p =
1 + ma + pn b para algún b ∈ A y, por tanto,
p p i
m m n n+1
X p m n+1
(1 + a) = 1 + a + p b = 1 + ma + p b+ a+p b
p i p
i=2
p X
i
m j n+1 i−j
X p i
= 1 + ma + pn+1 b + a (p b) ≡ 1 + ma mod pn+1
i j p
i=2 j=0
m j n+1 i−j
p
pues en caso contrario pn+1 no divide a i pa (p b) para algún 2 ≤ i ≤ p y algún
i
0 ≤ j ≤ i. Entonces i = j y pn+1 no divide a m n 2
p a . Pero como p | m, i ≥ 2 y p | a , eso
implica que (n − 1)i + 1 < n + 1. Luego 1 ≤ (n − 1)(i − 1) < 1, pues n, i ≥ 2. Esto proporciona
una contradicción.
x2 + 7 = 2n
son
x = ±1 ±3 ±5 ±11 ±181
n = 3 4 5 7 15.
√
Demostración. Vamos a trabajar en el anillo de enteros D de Q( −7) que por el √
Teo-
1+ −7
rema 2.10 es un dominio euclı́deo. Como −7 ≡ 1 mod 4, este anillo de enteros es Z[ 2 ].
Empezaremos suponiendo que n es par y sea n = 2N , en cuyo caso podemos reescribir la
ecuación como
(2N + x)(2N − x) = 7
Entonces, salvo un cambio de signo en x tenemos
2N + x = 7
2N − x = 1
2 = ab
Obsérvese que x tiene que ser impar, por tanto x ≡ 1, 3 mod 4 y, por tanto x2 + 7 ≡ 0 mod 4,
lo que implica que x2 + 7 es múltiplo de 4. Pongamos m = n − 2, luego tenemos que demostrar
que los enteros positivos impares m para los que la siguiente ecuación tiene solución son 3, 5 y
13:
x2 + 7
= 2m . (2.1)
4
Esta ecuación se puede reescribir como
√ √
x + −7 x + −7
= am bm
2 2
a2 ≡ (1 − b)2 ≡ 1 mod b2
y, por tanto,
m−1
am ≡ a(a2 ) 2 ≡a mod b2
De lo que deducimos que a ≡ am − bm = a − b mod b2 y, por tanto, b2 | b, una contradicción.
Luego √
− −7 = am − bm .
Desarrollando las potencias tenemos
m m m 2 m m−1
−2m−1 = 1+ 7+ 7 ... + 7
1 3 5 m
luego
−2m−1 ≡ m mod 7.
Supongamos que m ≡ r mod 42 con 1 ≤ r ≤ 41. Luego m − 1 ≡ r − 1 mod 6 y m ≡ r
mod 7. Como 23 ≡ 1 mod 7.
−2r−1 ≡ r mod 7
34 CAPÍTULO 2. FACTORIZACIÓN
Las únicas soluciones 0 ≤ r < 42 de esta ecuación de congruencias son r = 3, 5, 13, luego
m ≡ 3, 5, 13 mod 42.
Solo falta demostrar que m = r. Para ver esto observemos que todo lo que hemos dicho
para
√ m es válido para r pues la ecuación 2.1 tiene solución para m = 3, 5 y 13. En particular
− −7 = a − b = ar − br . Supongamos que m > r y sea 7l la mayor potencia de 7 que
m m
divide a m − r. Entonces
√
2m−r am = ar (2a)m−r = ar (1 + −7)m−r . (2.2)
y √ √
(1 + −7)m−r ≡ 1 + (m − r) −7 mod 7l+1 .
Juntando estas dos congruencias con (2.2) tenemos
√
am ≡ ar (1 + (m − r) −7) mod 7l+1 .
Similarmente se obtiene
√
bm ≡ br (1 − (m − r) −7) mod 7l+1 .
Pero r r
72 + 72 . . .
r r 1+ 2 4
a −b =
2r−1
no es múltiplo de 7, lo que acaba la demostración.
√ √ √
5y 3 no son elementos de 15, pero si nos olvidamos de este hecho podemos escribir
√ √ √ √
2 = (√ 5√+ 3)( 5 − 3)
√ 5 = √5 √5 √
5 + √15 = √5(√5 + √3)
5 − 15 = 5( 5 − 3)
√ √
O sea, si extendemos el anillo original al anillo de enteros de Q( 5, 3) la factorización original
se convierte en la siguiente factorización
√ √ √ √ √ √
5 5( 5 + 3)( 5 − 3)
Esta fue esencialmente la idea de Kummer, es decir, considerar un cuerpo numérico L que
contenga en K. Entonces los anillos de enteros DK , de K, y DL de L no tienen porque ser
DFU, pero en algunos casos los elementos de DK pueden tener factorización única en L.
Otra aproximación fue la de Dedekind a partir del concepto de ideal. Una factorización de
un elemento
x = ab
corresponde a una factorización de ideales principales
(x) = (a)(b)
x = P 1 P 2 . . . Pn
Además en el caso en que el dominio es de factorización única los ideales (Pi ) son primos.
Una de las ventajas de considerar factorización en ideales es que elementos asociados cor-
responden a los mismos ideales, luego la unicidad de la factorización solo se refiere a ”unicidad
salvo orden”. Pero hay una ventaja mayor. Veamos esto con el ejemplo anterior de la siguiente
factorización:
√ √ √ √ √ √ √ √
10 = 2 · 5 = (5 + 15)(5 − 15) = 5 5( 5 + 3)( 5 − 3).
√ √ √
Sean K = Q( 15), L = Q( 5, 3) y DK y DL sus anillos de enteros. La última factorización
anterior corresponde a la siguiente factorización en producto de ideales primos de DL .
√ √ √ √ √ √
(10) = ( 5)( 5)( 5 + 3)( 5 − 3).
Sin embargo
√ los √ nuevos factores pueden no ser ideales principales. Por ejemplo, vamos √ a ver
que I = ( √5 +√ 3) ∩√ DK no √es un ideal principal de
√ √ K√ D . Supongamos √ que I = (k = a + b 15).
Entonces 3( 5 + 3) = 15 + 3 ∈ I y 5( 5 + 3) = 5 + 15 ∈ I luego sus normas
−6 y 10 son múltiplos de N (k). Eso implica que N (k) | 2. Como N (k) 6= ±1, se tiene que
N (k) = a2 − 15b2 = ±2. Tomando módulo 5 tenemos que a2 ≡ ±2 mod 5 lo cual es imposible.
La idea es que la factorización de (x) en producto de ideales puede ser única pero los factores
pueden ser ideales no principales.
Sabemos que un ideal I de un anillo A es primo si y solo si A/I es un dominio. Además
I es maximal en A si y solo si A/I es un cuerpo. Por tanto todo ideal maximal es primo. El
recı́proco de la última propiedad no es cierto en general, pero sı́ que lo es para ideales primos
no nulos de un anillo de enteros de un cuerpo numérico.
El lema anterior, junto con propiedades que ya habı́amos visto anteriormente, nos demues-
tra que el anillo de enteros de un cuerpo numérico es un dominio de Dedekind. La propiedad
que nos interesa de los dominios de Dedekind es la existencia de factorización única de ideales.
Vamos a analizar un poco el producto de ideales en un dominio D con cuerpo de fracciones
K. Por supuesto que este producto es conmutativo, asociativo y tiene un elemento neutro: el
anillo total. Sin embargo no hay inversos. Vamos a ver como podemos añadirle inversos. Los
ideales de D son los D-submódulos de D.
El producto de ideales fraccionales es un ideal fraccional pues c−1 Id−1 J = (cd)−1 IJ.
Además esta multiplicación es conmutativa, asociativa y tiene un neutro. Pero además resulta
que todo ideal fraccional tiene un inverso, con lo cual los ideales fraccionales de un dominio de
Dedekind forman un grupo abeliano multiplicativo. La demostración de este hecho va unida a
la demostración del teorema de factorización única de ideales en dominios de Dedekind.
(2) Cada ideal no nulo se puede escribir de forma única (salvo el orden de los factores) como
producto de ideales primos.
Prepararemos la demostración del Teorema 2.19 con una serie de lemas. En todos ellos D
es un dominio de Dedekind.
Lema 2.20 Para todo ideal no nulo I de D existen ideales primos P1 , P2 , . . . , Pr , tal que
P1 P2 . . . Pr ⊆ I.
I −1 = {x ∈ K | xI ⊆ D}
a1 x = b11 a1 + · · · + b1n an
a2 x = b21 a1 + · · · + b2n an
... ... ... ... ...
an x = bn1 a1 + · · · + bnn an
I ⊆ IP −1 ⊆ II −1 ⊆ D.
Utilizando de nuevo los lemas 2.21 y 2.22 deducimos que IP −1 6⊆ I. Por tanto, I contiene
propiamente a IP −1 . De la maximalidad de I deducimos que
IP −1 (IP −1 )−1 = D
luego
P −1 (IP −1 )−1 ⊆ I −1
2.4. FACTORIZACIÓN PRIMA DE IDEALES. DOMINIOS DE DEDEKIND 39
y, por tanto,
D = IP −1 (IP −1 )−1 ⊆ II −1 ⊆ D.
Demostración del Teorema 2.19. (1) Sólo hay que probar que todo ideal fraccional tiene
un inverso. Sea I un ideal fraccional. Entonces existe c ∈ D \ {0} y J ideal de D, tal que
I = c−1 J. Luego cJ −1 es el inverso de I.
(2) Como D es el producto de una cantidad vacı́a de ideales primos, basta demostrar la
afirmación para ideales propios de D y por reducción al absurdo podemos suponer que I es
un ideal no nulo, maximal entre los que no son producto de ideales primos. Sea P un ideal
maximal que contiene a I. Entonces
I ⊆ IP −1 ⊆ P P −1 ⊆ D.
(De hecho la última es igualdad por el Lema 2.23 pero no lo necesitamos.) La primera inclusión
es estricta pues si se diera la igualdad tendrı́amos D = I −1 I = I −1 IP −1 = DP −1 = P −1 , lo
que contradirı́a el Lema 2.21. Por la maximalidad de I, tenemos que IP −1 = P2 . . . Pr para
ciertos ideales primos y, por tanto I = P P2 . . . Pr .
Sólo falta demostrar que la factorización es única. Obsérvese que de (1) se deduce que el
producto de ideales es cancelativo. Supongamos que
P1 . . . Pr = Q1 . . . Qs
con los factores, ideales primos de D. Argumentamos por inducción sobre r. Para r = 1
el resultado es trivial pues, el hecho de que P1 sea primo implica que Qi ⊆ P1 , para algún
i (podemos suponer i = 1). Pero como en realidad Q1 y P1 son maximales, Q1 = P1 y
de la cancelatividad del producto de ideales se obtiene que r = 1. Si r ≥ 1 tenemos que
Q1 . . . Qs ⊆ P1 . . . Pr ⊆ P1 y argumentamos como antes para demostrar que P1 = Qi para
algún i (que supondremos igual a 1). Para acabar, volvemos a aplicar la cancelatividad y la
hipótesis de inducción.
Entonces las relaciones de divisibilidad que nos interesan son entre ideales, de forma que
decimos que un ideal I divide a otro J en D si IK = J para algún ideal K. En tal caso
escribimos I | J. Claramente I | 0 para todo ideal I. Sin embargo, por la propiedad cancelativa
del producto de ideales fraccionales si I 6= 0 y I | J entonces el único ideal K que satisface
IK = J es I −1 J. Por tanto, en tal caso I | J si y solo si I −1 J ⊆ D si y sólo si J ⊆ I. Por
tanto, la relación de divisibilidad de ideales es la opuesta de la inclusión:
(2) = (1 + i)2 .
Teorema 2.26 (Dedekind) Sea K un cuerpo numérico de grado n con anillo de enteros
R = Z[θ] generado por θ ∈ R y f el polinomio mı́nimo de f sobre Q. Sea p un primo de Z y
sea
e1 er
f = f1 . . . fr
la factorización de f en Zp [X] con f1 , . . . , fr ∈ Z[X]. Entonces los ideales
Pi = Rp + Rfi (θ)
Rp = P1e1 . . . Prer .
Demostración. Sea θi una raı́z de fi en una extensión de Zp . Entonces Zp [θi ] ' Zp [X]/(fi ).
Sea νi : Z[θ] → Zp [θi ] el homomorfismo dado por
νi (g(θ)) = g(θi ).
Esta aplicación está bien definida pues si g(θ) = 0, entonces f | g y, por tanto fi | g, lo que
implica que g(θi ) = 0. La imagen de νi es Zp [θi ] que es un cuerpo, luego Pi = ker νi es un ideal
maximal de Z[θ]. Si g(θ) ∈ ker νi , entonces g = fi h para algún h ∈ Z[X], luego los coeficientes
de g − fi h son múltiplos de p. Luego
Esto prueba que ker νi ⊆ Pi . Como la otra inclusión es obvia tenemos que
Pi = ker νi .
Luego Rp | P1e1 · · · Prer y los únicos factores de Rp son P1 , . . . , Pr . Luego p = P1k1 · · · Prkr para
ciertos 0 ≤ ki ≤ ei .
Para probar la igualdad consideremos los isomorfismos
lo que implica
N (Pi ) =| R/Pi |=| Zp [θi ] |= pdi
donde di es el grado de fi . Por otro lado
N (Rp) =| Z[θ]/Rp |= pn
y, por tanto
d1 k1 + . . . + dr kr = n = d1 e1 + . . . + dr er .
Como 0 ≤ ki ≤ ei para todo i, se deduce que ki = ei para todo i.
Hay que tener cuidado con el teorema que acabamos de probar porque no todos los anillos
de enteros son de la forma Z[θ]. Al menos si lo son los anillos de enteros de los cuerpos
cuadráticos y ciclotómicos.
tenemos
r r
max(ei ,fi )
Pimin ei ,fi
Y Y
I +J = y I ∩J = Pi
i=1 i=1
En esta sección R es el anillo de enteros de un cuerpo numérico K. Por el lema 2.16, para
todo ideal I de R, R/I es finito.
Vamos a ver en un momento que la norma de un elemento de R coincide con la norma del
ideal generado por el él.
∆[α1 , . . . , αn ] 1/2
N (I) = .
∆
N (I) = [R : I] = det(cij ).
[R : IP ] = [R : I] | [I : IP ] y [I : IP ] = [R : P ],
R/IP
R/I ' .
I/IP
2.6. LA NORMA DE UN IDEAL 43
Para demostrar la segunda primero observemos que el Teorema 2.19 implica que IP está
propiamente contenido en I. Vamos a ver que no hay ideales entre IP e I. Supongamos que
existe un ideal B de R con IP ⊆ B ⊆ I. Entonces
P = I −1 IP ⊆ I −1 B ⊆ I −1 I = R
P = I −1 B ó I −1 b = R,
o sea, B = IP ó B = I.
Sea a ∈ I \ IP . Por lo visto arriba I = IP + (a). La aplicación ψ : R → I/aP dada por
ψ(x) = ax + IP es un homomorfismo de anillos suprayectivo cuyo núcleo contiene a P pero no
es R. De la maximalidad de P , se tiene que el núcleo es precisamente P . Del Primer Teorema
de Isomorfı́a deducimos que R/P ∼ = I/IP y por tanto [R : P ] = [I : IP ].
Usando que S es un Z-módulo libre de rango mn tenemos que N (Sk) = |k|mn . Similarmente,
como S es un R-módulo libre de rango m tenemos N (Sa) = N (Ra)m . Combinando esto con
el Teorema 2.29 tenemos
n
Y
mn
|k| = N (Sk) = N (Sσi (a)) = N (Sa)n = N (Ra)mn .
i=1
(4) Si I es primo, entonces I solo divide a un primo racional p y, en tal caso N (I) = pm
para algún m menor o igual que el grado de K.
(5) Sólo un número finito de ideales tienen una norma predeterminada.
Demostración. (??) es obvio y (2) es una consecuencia del Teorema 2.29 y de la unicidad de
la factorización.
(3) Obsérvese que como N (I) = [R : I]. Luego, por el Teorema de Lagrange, para todo
x ∈ R, N (I)x ∈ I. Particularizando al caso x = 1 se sigue el resultado.
(4) Como I es primo, I ∩ Z es un ideal primo de Z. Además, N (I) ∈ I ∩ Z \ {0}, con lo que
I ∩ Z = pZ para algún primo p y p es el único primo racional de I. Como p ∈ I, tenemos que
I | Dp y del Teorema 2.29 y el Corolario 2.30 deducimos que N (I) | N (Rp) = |NK/Q (p)| = pn .
Luego N (I) es una potencia de p.
(5) Es una consecuencia de I | N (I)R y de que cada ideal de R solo tiene un número finito
de divisores.
Sabemos que todo ideal de R es finitamente generado. De hecho vamos a demostrar que
cada ideal está generado por a lo sumo dos elementos. Primero necesitamos el siguiente lema.
Lema 2.32 Si I y J son dos ideales no nulos de R, entonces existe a ∈ I tal que
aI −1 + J = R.
Demostración. Sean P1 , . . . , Pr los distintos ideales primos que dividen a J. Si r = 0 entonces
J = R y el resultado está claro.
Para cada i sea
Ii = IP1 . . . Pi−1 Pi+1 . . . Pr .
Por la unicidad de la factorización Ii Pi está contenido propiamente en Ii . Por tanto, para cada
i existe
ai ∈ Ii \ Ii Pi .
Pongamos
a = a1 + . . . + ar .
Como ai ∈ Ii ⊆ I, para todo i, tenemos que a ∈ I. Pero para todo i 6= j, ai ∈ IPj , luego
a − ai ∈ IPj . Si a ∈ IPi , entonces ai ∈ IPi , o sea
IPi | ai .
Como además
Ii | ai ,
resulta que
Ii Pi = mcm(IPi , Ii ) = IPi ∩ Ii | ai
o sea ai ∈ Ii Pi , contradicción. Concluimos que a ∈ I y a 6∈ IPi para todo i. O sea I divide a
a pero IPi no divide a a. Lo primero implica que aI −1 es un ideal de R y lo que segundo que
Pi no divide a aI −1 . Como P1 , . . . , Pr son todos los ideales maximales de R que contienen a J
deducimos que aI −1 y J son coprimos, es decir aI −1 + J = R.
2.7. EXTENSIONES DE ANILLOS DE ENTEROS 45
Obsérvese que no es cierto que todo DFU sea un DIP, por ejemplo, K[X, Y ] es un DFU,
pero no es un DIP.
e(Q/F ) = eQ (SP )
donde consideramos R/P como subcuerpo de S/Q vı́a el homomorfismo natural R/P → S/Q.
Obsérvese que f (Q/F ) también se puede definir con la siguiente igualdad
P . Estos son precisamente los ideales maximales Q de S que satisfacen Q ∩ R = P . Por tanto,
si los primos de E sobre P son Q1 , . . . , Qk entonces
e(Q1 /F ) e(Qk /F )
SP = Q1 . . . Qk .
Decimos que Q es ramificado sobre F if e(Q/F ) > 1. Decimos que P es ramificado enramificado!en
E, o que P ramifica en E si algún primo de E sobre P es ramificado sobre F .
por tanto
k
X k
X k
X
dimR/P (S/P S) = dimR/P (S/Qei i ) = dimR/P (S/Qi ) dimS/Qi (S/Qei i ) = ei fi .
i=1 i=1 i=1
Luego nm = ri=1 ni e0i fi0 ≤ n ri=1 e0i fi0 = nm. Pero como ni ≤ n para todo i deducimos que
P P
ni = n para todo i y aplicando esto para i = 1 tenemos (2.4).
El grupo de Galois G actúa en los primos de E y para cada primo de P de F esta acción
permuta los primos de E que están sobre P . El subgrupo de decomposición de un primo Q de
S es el estabilizador de Q por esta acción, es decir, el grupo
Definimos
g(Q/F ) = [G : D(Q/F )].
Claramente g(Q/F ) es el cardinal de la órbita de Q bajo la acción de G.
Teorema 2.37 Sea E/F una extensión de Galois de cuerpos de números, sea R el anillo de
enteros de R y sea P un ideal maximal de R. Entonces
(1) G permuta transitivamente los primos de E sobre P .
(3) [E : F ] = ef g.
αQ : D(Q/F ) → Gal(S/R).
Por el Teorema 2.37 si Q0 es otro primo de E sobre P entonces Q0 = σ(Q) para algún σ ∈ G.
Eso implica que D(Q0 /F ) = σD(Q/F )σ −1 e I(Q0 /F ) = σI(Q/F )σ −1 . Es decir los grupos de
descomposición y de inercia de los primos de E sobre P forman dos clases de conjugación en
G. En particular si G es abeliano D(Q/F ) e I(Q/F ) no dependen de Q, sino solo de P .
Si H es un subgrupo de G entonces el subcuerpo de E fijo por H es
E H = {x ∈ E : σ(x) = x para todo σ ∈ H}.
Por Teorı́a de Galois, las aplicaciones
H 7→ E H , K 7→ Gal(E/K)
definen biyecciones (inversa, una de la otra) que invierten el orden entre los subgrupos de G
y los cuerpos intermedios F ⊆ K ⊆ E de forma que [E : E H ] = |H|, o equivalentemente
[E H : F ] = [G : H]. Además H es normal en G si y solo si F H /F es una extensión de Galois
(= normal). Por otro lado
SH = S ∩ EH
es el anillo de enteros de F H . Además, F/F H es una extensión de Galois y
D(Q/F H ) = D(Q/F ) ∩ H y I(Q/F H ) = I(Q/F ) ∩ H.
En particular, los cuerpos fijos F D(Q/F ) y F I(D/F ) de D(Q/F ) y I(Q/F ) se llaman respec-
tivamente cuerpo de descomposición y cuerpo de inercia de Q sobre F .
Teorema 2.38 Sea E/F una extensión de Galois de cuerpos de números y sea Q un primo
de E. Sean G = Gal(E/F ), I = I(Q/F ) y D = D(Q/F ). Entonces
(1) la aplicación αQ es suprayectiva,
(2) F I /F D es una extensión cı́clica, es decir una extensión de Galois con grupo de Galois
cı́clico, y
(3) se verifican las siguientes igualdades
e(Q/F ) = [E : E I ] = e(Q/E I ) = |I|,
f (Q/F ) = [E I : E D ] = f (QI /E D ) = f (E I /QD ) = [D : I]
g(Q/F ) = [E D : F ] = [G : D],
e(QI /F ) = e(QD /F ) = f (Q/E I ) = f (QD /F ) = 1.
Representamos esto en la siguiente tabla:
Índice de Grado
Grado Cuerpo Primo ramificación residual
E Q
e | | e 1
EI QI
f | | 1 f
ED QD
g | | 1 1
F P
50 CAPÍTULO 2. FACTORIZACIÓN
Demostración. (1) Como S/R es una extensión de cuerpos finitos existe a ∈ S tal que
S = R(a). Sean G = Gal(E/F ) y P = Q ∩ R. Aplicando el Teorema Chino de los Restos a
los primos de E sobre P podemos suponer que a pertenece a todos ellos excepto a Q, para
ello sustituimos a por otro elemento de S que sea congruente con a módulo Q y con cero
módulo todos los demás primos de E sobre P . Por el Teorema 2.37, los primos de E sobre P
diferentes de Q son los de la forma σ(Q) con σ ∈ G \ D. Por tanto la suposición sobre a implica
que σ(a) ∈ Q para todo σ ∈ G \ D. Al calcular la imagen del polinomio caracterı́stico P =
Q Q
σ∈G (X − σ(a)) ∈ R[X] módulo Q obtenemos un polinomio P = σ∈G X − σ(a) ∈ R[X]
cuyas raı́ces no nulas son los elementos σ(a) con σ ∈ D. Luego, si τ ∈ Gal(S/R) entonces
τ (a) = σ(a) para algún σ ∈ D. Luego τ = αQ (σ). Esto demuestra que αQ es suprayectiva.
(2) Por Teorı́a de Galois sabemos que F I /F D es de Galois, pues I es normal en D, y
Gal(F I /F D ) ∼
= D/I ∼= Gal(S/R), por (1). Además S/R es una extensión de grupos cı́clicos y
por tanto Gal(S/R) es un grupo cı́clico generado por el automorfismo de Frobenius. Recorde-
mos que el automorfismo de Frobenius de la extensión S/R es el automorfismo de S dado por
x 7→ xq donde q = |R|.
(3) Usando (1) se deduce f (Q/F ) = [S : R] = [D : I] = [F I : F D ]. Aplicando esto a las
extensiones E/E D y E I /F que tienen grupos de descomposición e inercia del mismo cardinal
que la extensión E/F deducimos que f (Q/F D ) = f (QI /F ) = [D : I] y usando el Lema 2.35
deducimos que f (Q/F E ) = f (QD /F ) = 1.
Usando que |D| = e(Q/F )f (Q/F ) deducimos que [E : E I ] = |I| = |D|/[S : R] = e(Q/F ).
Como I = Gal(E/E I ) está contenido in D, Q es el único ideal maximal de S que contiene
a I ∩ Q. Luego g(Q/E I ) = 1. El grupo de descomposición de Q sobre E/E I is I y la
correspondiente aplicación I → Gal(S/S I ) ⊆ Gal(S/R) es el homomorfismo trivial pues es la
restriction de αQ to I. Aplicando la suprayectividad de dicho homomorfismo deducimos que
f (Q/E I ) = 1. Por tanto e(Q/E I ) = [E : E I ] = e(Q/F ). Luego e(QI /F ) = 1 por el Lema 2.35.
(4) y (5) E/K es una extensión de Galois con grupo de Galois H = Gal(E/K), y la
correspondencia de Galois de E/F asocia K con H. Los grupos de descomposición e inercia
de la extensión E/K son D0 = D ∩ H e I 0 = I ∩ H. Por tanto los cuerpos de descomposición e
2.8. EXTENSIONES DE GALOIS 51
inercia de esta extensión son los correspondientes de Galois de D0 e I 0 , o sea los compositum
0 0
E D = E D K y E I = E I K. Aplicando (3) a la extensión E/K deducimos que e0 = e(Q/K) =
0 0 0 0
[E : E I ], f 0 = f (Q/K) = [E I : E D ] y g(Q/K) = [E D : K]. Representamos esto en el
diagrama de la Figura 2.1 en el que e, f y g son los números correspondientes a la extensión
E/F : Con la ayuda de este diagrama observamos que Q es el único primo de E que contiene
E
e0
e 0
EI = EI K
EI f0
f 0
ED = EDK
ED g0
g K
F
Figure 2.1:
Demostración. Las dos demostraciones son iguales, la primera usando el apartado (6) del
Teorema 2.38 y la segunda usando el apartado (8).(b) del mismo teorema. Sólo hacemos la
primera.
Usando el Lema 2.35 se obtiene fácilmente que si P no ramifica en E1 E2 entonces no
ramifica ni en E1 ni en E2 . Recı́procamente supongamos que P no ramifica ni en E1 ni en E2 .
Sea Q un primo de E1 E2 sobre P . Tenemos que demostrar que e(Q/F ) = 1. Sea E la clausura
normal de E1 E2 sobre F y sea Q0 un primo de K sobre Q. Sea I = I(Q0 /F ), el correspondiente
grupo de inercia y E I el cuerpo de inercia de Q0 sobre F . Como P no ramifica en Ei se tiene
que e(Q0 ∩ Ei /F ) = 1. Luego Ei ⊆ E I , por el Teorema 2.38.(6). Como esto pasa para i = 1
e i = 2 tenemos que E1 E2 ⊆ E I y en consecuencia, aplicando otra vez el Teorema 2.38.(6)
tenemos que e(Q/F ) = e(Q0 ∩ E1 E2 /F ) = 1.
Corolario 2.40 Sea E/F una extensión de cuerpos de números, sea L la clausura normal de
E sobre F y sea P un primo de F . Entonces
(1) P ramifica en E si y solo si ramifica en L.
φ(σ(Q)/F ) = σφ(Q/F )σ −1
En resumen
Vamos a ver ahora cómo se puede usar el automorfismo de Frobenius para ver cómo factoriza
un primo que no ramifica en una extensión no necesariamente de Galois.
Teorema 2.42 Sea K/F una extensión de cuerpos de números, sea S el anillo de enteros de
S y sea E la clausura normal de K en F y sean G = Gal(E/F ) y H = Gal(E/K). Sea P
un primo de F que no ramifica en K y sea Q un primo de K sobre F . Fijemos un primo U
de E sobre Q y sea φ = φ(U/F ), el automorfismo de Frobenius de Q sobre F . Consideremos
the grupo hφi actuando por la derecha en las clases laterales por la derecha de H en G (o sea
Hσ · φi = Hσφi ) y sean O1 , . . . , Og las órbitas de esta acción y Hσi ∈ Oi para cada i = 1, . . . , g
y Qi = σi (U ) ∩ S. Entonces la factorización de P S en E es
P S = Q1 . . . Qg
Demostración. Primero demostramos que los Qi son diferentes dos a dos. En efecto, si
Qi = Qj entonces σi (U ) y σj (U ) son dos primos de E que están sobre Q. Luego σi (U ) = τ σj (U )
para algún τ ∈ H, por el Teorema 2.37. Luego σi−1 τ σj ∈ D(U/F ) = hφi. Luego Hσi φi =
Hτ σj = Hσj . Luego Hσj ∈ Oi y por tanto i = j ya que los Hσj son los representantes de las
órbitas.
Sea fi = f (Qi /F ). Entonces
y por tanto
Hσi φfi ∈ Hσi .
Eso demuestra que |Oi | ≤ fi para todo
P i.
Por el Teorema 2.36, tenemos gi=1 fi ≤ [K : F ] = [G : H]. Como además
Pg O1 , . . . , Og es
una partición de las clases laterales por la derecha de H en G, tenemos i=1 |Oi | = [G : H].
Combinando esto con la conclusión del párrafo anterior deducimos que f (Qi /F ) = fi = |Oi |
para todo i y necesariamente P S = Q1 . . . Qg .
lo que podemos fijar un elemento α ∈ pR que lo utilizaremos más adelante yPlo escribimos
como combinación lineal de los elementos de la base entera fijada es decir α = ni=1 mi αi con
mi ∈ Z. pero como p no divide a α en R, algún mi no es múltiplo de p. Podemos suponer
sin pérdida de generalidad que p - m1 . Eso en particular implica que α, α2 , . . . , αn es otra
base de F (no necesariamente una base entera) y de la Proposición 1.6.(2) se deduce que
∆(α, α2 , . . . , αn ) = m21 ∆(α1 , . . . , αn ) = m21 ∆F .
Si pR = P1 . . . Pk y pS = Q1 . . . Ql son factorizaciones en productos de ideales maximales en
de R y S respectivamente entonces (P1 S) . . . (Pk )S = Q1 . . . Ql y por tanto cada Qi contiene
algún Pj y por tanto contiene también a α. Como cada σi permuta los Qi tenemos que
α ∈ σi (Qj ) para todo i y j y por tanto σi (αi ) ∈ Qi . Utilizando la definición del discriminante
deducimos que ∆(α, α2 , . . . αn ) ∈ Qj para todo j. Luego ∆(α, α2 , . . . , αn ) ∈ Qj ∩ Z = pZ por
el Lema 1.30. Luego p | m21 ∆F y por tanto p | ∆F , pues p - m1 .
Demostramos el recı́proco por reducción al absurdo. Por tanto suponemos p no ramifica en
F y que p divide al discriminante de F , es decir p | det(TF/Q (αi αj )). Luego las columnas de
la matriz (TF/Q (αi αj )) son linealmente dependientes cuando se consideran en Z/pZ. Es decir,
existen enteros m1 , . . . , mn que no son todos múltiplos de p pero que cumplen
n
X n
X
TF/Q ( mi αi αj ) = mi TF/Q (αi αj ) ≡ 0 mod p
i=1 i=1
Pn
para todo j. Es decir, Pnsi α = i=1 mi αi entonces α 6∈ pR y p | TF/Q (ααj ) para todo j =
1, . . . , n. Como R = j=1 Zαj deducimos que TF/Q (αR) ⊆ pZ
Sea E la clausura normal de F sobre Q y sean G = Gal(E/F ) y S el anillo de enteros de
S. Entonces p no ramifica en E por el Corolario 2.40, es decir pS es un producto de primos
distintos. Como α 6∈ pR y pR es un producto de primos distintos, tenemos que α no pertenece
a uno de estos primos y por tanto α no pertenece a uno de los primos de E sobre p, digamos
Q. Vamos a tomar β ∈ S \ Q que no pertenece a ninguno de los otros primos de E sobre p.
Pero,
TE/Q (αS) = TF/Q TE/F (αS) = TF/Q (αTE/F (S)) ⊂ TF/Q (αR) ⊆ pZ.
En particular TE/Q (αβS) ⊆ pZ ⊆ Q. Por otro lado si D es grupo de descomposición de Q
sobre Q y σ ∈ G \ D entonces σ −1 (Q) es un primo de E sobre p distinto de Q y por la elección
de β tenemos que αβS ⊆ σ −1 (Q). Es decir σ(αβS) ⊆ Q para todo σ ∈ G\D. En consecuencia,
si s ∈ S entonces X X
σ(αβs) = TE/Q (αβs) − σ(αβs) ∈ Q.
σ∈D σ∈G\D
Luego X
αQ (σ)(αβs) = 0.
σ∈D
P
Pero S es un cuerpo y αβ 6= 0 pues αβ 6∈ Q. Luego σ∈D αQ (σ) = 0. Como p no ramifica
en E tenemos que αQ es injectiva y eso implica que los αQ (σ), con σ ∈ D son distintos dos
a dos. Pero eso contradice el Teorema de Artin que dice que los automorfismos de un cuerpo
son linealmente independientes.
2.10. FACTORIZACIÓN EN CUERPOS CUADRÁTICOS Y CICLOTÓMICOS 55
Corolario 2.44 Supongamos que F = Q(α) y f ∈ Z[X] con f (α) = 0. Si p - NF/Q (f 0 (α)) 6= 0
entonces p no ramifica en F .
Corolario 2.45 Si F/K es una extensión de cuerpos solo un número finito de primos de K
ramifica en K.
y en los demás casos pR es primo, es decir, esto pasa si o bien p = 2 y m ≡ 5 mod 8 o bien
p 6= 2 y p no es un cuadrado módulo p.
Demostración. La extensión F/Q es de Galois de grado 2. Por tanto, del Teorema 2.37
deducimos que si f (F/p) = 2 entonces pR es primo y en los demás casos o bien pR es el
cuadrado de un primo de F o el producto de dos primos. En particular, de la factorización
única en producto de primos de F se deduce que si pR contiene (es decir divide) al producto de
56 CAPÍTULO 2. FACTORIZACIÓN
dos ideales propios I y J (no necesariamente distintos) entonces I y J son ideales maximales
y pR = IJ. √ √ √
Si p divide a d entonces (pR + dR)2 = p2 R + p √dR + dR ⊆ pR, luego pR √ = (pR √ dR) .
+ 2
2
Similarmente, si d = 3 + 4t entonces (2R + (1 + d)R) = 4R + 2(1 + d)R + 2 d ⊆ 2R.
Obsérvese que en los dos casos anteriores p divide al discriminante de F que recuérdese que
es d si d ≡ 1 mod 4 y 4d en caso contrario (Ejemplo ??). En los demás casos p no divide al
discriminante de F y por tanto o bien pR es√primo √ o el producto de dos primos distintos.√
Supongamos que d = 1+4t. Entonces 2 y 2 pertenecen a R. Sean P = 2R + 1+2 d R
1+ d 1− d
√ √ √
y Q = 2R + 1−2 d R. Entonces P Q = 4R + (1 + d)R + (1 − d)R + tR con lo que 2 ∈ P Q con
lo que. Si t es impar entonces 1 ∈ P Q y eso implica que tanto P = Q = R. Sin embargo, si t
es par (equivalentemente d ≡ 1 mod 8) se tiene que P Q ⊆ 2R. Como claramente ni P ni Q
están contenidos en 2R deducimos que P y Q son ideales propios√de R y por tanto P Q √ = 2R.
2
Supongamos que p es impar, d = n +tp y sean P = pR+(n+ √ d)R y Q = √ pR+(n− d)R.
De nuevo ni P ni Q están contenidos en pR y P Q = p2 R+p(n+ d)R+p(n− d)R+tpR ⊆ pR.
Luego pR = P Q.
Falta demostrar que en los demás casos pR es primo lo cual es equivalente a demostrar que
f (F/p) = 2 y para ello basta demostrar que R/pR tiene más de p elementos o lo mismo que
Z + pR 6= R. Si p es 2
√ impar y no divide a d entonces el polinomio X − d es irreducible sobre
Z/pZ y por tanto √ d es un elemento de R que no está en Z + pZ. Similarmente, si d ≡ 5
√
mod 4 entonces 1+2 d pertenece a R pero no a Z + 2R pues 2R = Z[ d].
Teorema 2.47 Sea m un entero positivo y sean F = Q(ζm ) y p es un primo racional. Sean
m = pk n con p - n, e = ϕ(pk ) y f el orden multiplicativo de p módulo m (es decir pf ≡ 1 6≡ pf −1
mod m). Entonces e = e(F/p) y f = f (F/p) con lo que
pR = (Q1 . . . Qg )e
ϕ(m) ϕ(n)
con g = ef = f y Q1 , . . . , Qg primos distintos de F .
Demostración. Del Lema 1.41 y el Teorema 2.43 se deduce que si p ramifica en F entonces
p | m. Por tanto e(Q(ζn )/p) = 1. Sea Q un primo de Q(ζn ) sobre p y sea π : Z[ζn ] → Z[ζn ]/Q
la proyección canónica.PComo p - n, n 6∈ Q ∩ pZ y por Pntanto π(n) 6= P
0. Si ξ ∈ hζn i \ {1}
n i i n i = π(0) = 0,
con π(ξ) = 1 entonces i=0 ξ = 0 y por tanto π(n) = i=0 π(ξ) = π i=0 ξ
una contradicción. Esto demuestra que la restricción de π a hζn i es inyectiva y por tanto
K = Z[ζn ]/Q tiene una raı́z n-ésima primitiva de la unidad. Como K es un cuerpo de cardinal
pf eso implica que n | pf − 1, o sea pf ≡ 1 mod n, de hecho K es el menor cuerpo finito
de caracterı́stica p que tiene una raı́z n-ésima primitiva de la unidad. Como K ∗ es cı́clico de
orden pf − 1, eso implica que f es el menor entero tal que n | pf − 1, es decir f es el orden
multiplicativo de p módulo n. Esto demuestra el resultado para el caso en que k = 0.
Supongamos que k > 0. Entonces, del apartado anterior y el Lema 2.35 y el Teorema 2.36
deducimos que e(F/p) = e(F/Q) ≤ [F/Q(ζn )] = ϕ(pk ). Sea S = Z[ζpk ]. Si i es un número
1−ζ i k
positivo coprimo con p entonces ηi = p
1−ζpk = 1 + ζpk + · · · + ζpi−1
k y si ij ≡ 1 mod pk entonces
2.10. FACTORIZACIÓN EN CUERPOS CUADRÁTICOS Y CICLOTÓMICOS 57
Luego Y
p = Φpk (1) = (1 − ζpi k ) = N (1 − ζpk ). (2.6)
1≤i≤pk ,p-i
k
Esto implica que 1−ζpk genera un ideal primo P y pS = P ϕ(p ) . Eso implica que e(Q(ζpk )/p) =
ϕ(pk ) = [Q(ζpk ) : Q] y por tanto f (Q(ζpk )/p) = 1, por el Teorema 2.37. Aplicando el Lema 2.35
una vez más deducimos que ϕ(pk ) = e(Q(ζpk )/p) divide a e(F/p). Como antes habı́amos visto
que este es como mucho ϕ(pk ), deducimos que e(F/p) = ϕ(pk ). Aplicando una vez más el
e(F/p)
Lema 2.35 y el Teorema 2.37 tenemos, e(F/Q) = e(Q/Q) = e(F/p) = ϕ(pk ) = [F : Q(ζn )] y por
tanto f (F/Q) = 1. Luego f (F/p) = F (Q(ζn )/Q) = f .
Corolario 2.48 Sea m un entero positivo y p un primo racional. Entonces las siguientes
condiciones son equivalentes:
f del grupo de unidades de Zp está contenido en el de orden p−1d . Como el primero de estos
grupos es el grupo generado por q y el segundo es el de las potencias d-ésimas deducimos que
q factoriza completamente en Fd si y solo si q es una potencia d-ésima módulo p.
Corolario
q 2.50 Si p es un primo impar entonces el único subcuerpo cuadrático de Q(ζp ) es
p−1
Q (−1) 2 p .
p−1 q−1
−1
Esto es 1 si y solo si o bien (−1) 2 = p = 1 o bien (−1) 2 =
= 1. En tal caso
q
(p−1)(q−1)
p−1 q−1
(−1) 4 = 1. En caso contrario, 2 y 2 son impares y por tanto pq p
q = −1 =
(p−1)(q−1)
(−1) 4 .
Vamos a acabar este capı́tulo con el primer caso de anillo de enteros de un cuerpo ci-
clotómico Q(ζn ) que no es un DFU. Este es el caso de n = 23.
2πi
Pongamos ξ = ζ23 = e 23 , K = Q(ξ) y D = Z[ξ] el anillo de enteros de K. Como es bien
conocido el grupo de unidades de un cuerpo finito es cı́clico. Para el caso del cuerpo Z23 un
generador es g = −2 pues (−2)11 =≡ −1 mod 23 y (−2)2 ≡ 4 mod 23, luego el orden de −2
módulo 23 (que tiene que ser un divisor de 22) ha de ser precisamente 22.
Sea I el conjunto de las potencias impares de −2, módulo 23 y P el conjunto de las potencias
impares. Sean
i
ξg
P
θ0 = i∈I
gi
P
θ1 = i∈P ξ
Entonces
22 22
i
X X
θ0 + θ1 = ξg = ξ i = −1.
i=1 i=1
Por otro lado, vamos a ver que
θ0 θ1 = 6.
En efecto, θ0 θ1 es la suma de los productos ξ i ξ j = ξ i+j donde i ∈ I y j ∈ P . Hay 11 potencias
pares y otras tantas (sus inversas) potencias impares, luego 11 de los productos anteriores son
iguales a 1. Entre los 112 − 11 = 110 restantes, las 22 potencias de ξ aparecen el mismo número
de veces, o sea 110
22 = 5. Como la suma de estas potencias es −1 se obtiene el resultado deseado.
La norma de un elemento general f (ξ) de Z[ξ] se puede dividir en el siguiente producto:
22
Y Y Y
N (f (ξ)) = N (f (ξ i )) = N (f (ξ i )) N (f (ξ i )) = G(ξ −2 )G(ξ 2 ) (2.7)
i=1 i∈I i∈P
donde Y
G(X) = f (X i )
i∈I
que no es una potencia de un primo y, por tanto el ideal I = (µ) no es primo, luego debe ser el
producto de dos ideales primos(ya que la norma de I es producto de dos primos) I = pq, cuyas
60 CAPÍTULO 2. FACTORIZACIÓN
normas son N (p) = ±47 y N (q) = ±139. Si K es DFU, todo ideal es principal. Pongamos p =
(ν), con ν ∈ Z[ξ]. Pongamos ν = f (ξ) y G(ξ) = a+bθ0 . Entonces G(ξ −2 ) = α(a+bθ0 )+a+bθ1 .
Aplicando (2.7) tenemos
Eso implica que el signo debe ser positivo y se acaba demostrando que 188 no se puede escribir
en la forma x2 + 23y 2 .
Capı́tulo 3
Métodos Geométricos
3.1 Retı́culos
En esta sección V es un un espacio vectorial sobre R de dimensión n. Consideramos V como
espacio topológico con la topologı́a euclı́dea. Más precisamente si fijamos un isomorfismo de
espacios vectoriales f : V → Rn y consideramos en Rn la topologı́a dada por una norma,
entonces la topologı́a de f es tal que f es un homeomorfismo. Por la unicidad de todas las
topologı́as de las normas en Rn , la topologı́a de V no depende del isomorfismo f .
Obsérvese que la elección de f equivale a la elección de una R-base B = {v1 , . . . , vn } de V
dada por f (vi ) = ei , donde e1 , . . . , en es la base canónica de Rn . Nos referimos a B como la
base de referencia. Consideramos Rn como espacio métrico con respecto a la norma estándar:
o sea q
k(x1 , . . . , xn )k = x21 + · · · + x2n .
Usamos f para transferir los conceptos métricos de Rn a V , pero esta noción sı́ que depende
de la elección de f . En otras palabras la métrica depende de la base de referencia pero la
topologı́a no. Por ejemplo, si x, y ∈ V , entonces se definen la distancia d(x, y) entre x e y y la
norma kxk de x en la base de referencia, como la distancia euclı́dea d(f (x), f (y)) y la norma
euclı́dea kf (x)k respectivamente. Sin embargo, algunos conceptos no dependen de la base de
referencia. Por ejemplo, el que un conjunto sea acotado no depende de la referencia.
R Si X es un subconjunto de V entonces decimos que X es medible si la integral de Riemann
f (X) dx existe y en tal caso el volumen of X con respecto a la base de referencia es
Z
vol(X) = dx.
f (X)
La medibilidad de X es independente de la base de referencı́a pero el valor del volumen sı́ que
depende de esa base. Si T : V → V es una aplicación lineal entonces para cada subconjunto
X de V se verifica
vol(T (X)) = |det(T )| vol(X), (X ⊆ V ). (3.1)
(Esta igualdad implı́citamente asegura que X es medible si y sólo si lo es T (X).) Además (3.1)
implica que si B si B 0 y son dos bases de referencia entonces volB 0 = |det(A)|volB , donde A es
61
62 CAPÍTULO 3. MÉTODOS GEOMÉTRICOS
Proposición 3.2 Sea V un espacio vectorial sobre R de dimensión finita. Un subgrupo aditivo
de V es un retı́culo si y sólo si es discreto.
Obsérvese que la fórmula del Lemma 3.4 es independiente de la base de referencia que
se usa para calcular el volumen. De la misma manera la hipótesis del siguiente Teorema es
independiente de la base de referencia.
en contra de la hipótesis.
Teorema 3.8 (Teorema de los Dos Cuadrados. Fermat-Euler) Si p es un primo tal que p ≡ 1
mod 4, entonces p es suma de dos cuadrados.
Refinando el argumento del Teorema de los Dos Cuadrados podemos obtener el Teorema
de las Cuatro Cuadrados. Primero recordemos el siguiente hecho básico sobre cuerpos finitos
de orden impar.
Lema 3.9 Si F es un cuerpo finito de orden impar y F 2 denota el conjunto de los cuadrados
de F , entonces | F 2 |= |F |+1
2 .
Teorema 3.10 (Teorema de los Cuatro Cuadrados. Fermat-Lagrange) Todo entero positivo
es suma de cuatro cuadrados.
Demostración. Primero probamos el resultado para los primos y después lo extendemos a
todos los enteros positivos. Para 2 el resultado es trivial. Sea p un primo impar y F = Zp .
Como | F 2 |=| −1 − F 2 |= p+1 2 2
2 , necesariamente F ∩ (−1 − F ) 6= ∅, luego existen u, v enteros
tal que
u2 + v 2 + 1 ≡ 0 mod p.
Consideramos el siguiente retı́culo
L = {(a, b, c, d) ∈ Z4 | c ≡ ua + vb mod p y d ≡ ub − va mod p}.
Se demuestra fácilmente que L tiene ı́ndice p2 en Z4 , con lo que v(Rn /L) = p2 . Consideramos
2 4 √
la esfera de dimensión cuatro B(0; r) (que tiene volumen π 2r ). Eligiendo r = 1.9p tenemos
una esfera de volumen > 16P 2 . Aplicando el Teorema de Minkowski elegimos un elemento no
nulo (a, b, c, d) de esta esfera que pertenezca a L. Luego
0 6= a2 + b2 + c2 + d2 ≤ r2 = 1.9p < 2p.
y
a2 + b2 + c2 + d2 ≡ a2 + b2 + (ua + vb)2 + (ub − va)2
≡ (1 + u2 + v 2 )a2 + (1 + u2 + v 2 )b2
≡ 0 mod p.
Por tanto a2 + b2 + c2 + d2 = p.
Ahora consideramos el caso general de un entero positivo n y razonamos por inducción en
el número de factores en su descomposición en irreducibles. Para el paso de inducción basta
aplicar la fórmula
(a2 + b2 + c2 + d2 )(A2 + B 2 + C 2 + D2 ) =
(aA − bB − cC − dD)2 + (aB + bA + cD − dC)2 + (aC + bD + cA + dB)2 + (aD + bC − cB + dA)2 .
3.3. REPRESENTACIÓN GEOMÉTRICA DE NÚMEROS ALGEBRAICOS 67
σ(x) = σ(x).
n = r + 2s
los homomorfismos K → C de forma que los s primeros son los reales y los otros los complejos.
Sea
Lr,s = Rs × Ct
que es una álgebra real de dimensión r + 2s. Además Lr,s tiene una norma dada por
σ : K → Lr,s
dada por
σ(x) = (σ1 (x), . . . , σr+s (x))
que es un monomorfismo de Q-álgebras. Además, σ conserva la norma, es decir:
Demostración. Aplicando el Lema 3.4 tenemos que vol(Lr,s /I) = N (I)vol(Lr,s /R), con lo
que basta demostrar el resultado para I = R. Sea α1 , . . . , αn una base entera de R. Pongamos
(l) (l) (l)
σ(αl ) = (x1 , . . . , x(l) (l) (l)
s , y1 + iz1 , . . . , ys + izs )
Por el Lema 3.4 sabemos que vol(Lr,s /R) es el valor absoluto del siguiente determinante:
D = det(x1 , . . . , xr , y1 , z1 , . . . , ys , zs ).
Definimos la aplicación
l : U r,s → Rr+s
poniendo (
log | xk |, si k ≤ s;
l(x) = (l1 (x), . . . , lr+s (x)) con lk (x) =
log | xk |2 , si k > s.
Por las propiedades del logaritmo se tiene que
l(α) = (log | σ1 (α) |, . . . , log | σr (α) |, log | σr+1 (α) |2 , . . . , log | σr+s (α) |2 ).
Luego los elementos de l(U ) pertenecen a π. Para probar que l(U ) es un retı́culo vemos que es
discreto. Sea r > 0 y supongamos que u ∈ U y l(u) ∈ B(0; r). Entonces | lk (u) |≤|| l(u) ||< r,
luego
| σi (u) | < er si k ≤ s
| σi (u) |2 < er si k > s.
√
Luego || σ(u) ||< er r + s. O sea σ −1 (l(U ) ∩ B(0; r)) es un subconjunto acotado de σ(R).
Como σ(R) es un retı́culo de Lr,s , deducimos que σ −1 (l(U ) ∩ B(0; r)) es finito. Como σ es
inyectivo, l(U ) ∩ B(0; r) también es finito.
Lema 3.13 Sea P ∈ Z[X] un polinomio mónico cuyas raı́ces tienen módulo 1. Entonces cada
raı́z de P es una raı́z de la unidad.
k
Y k
X
m k
Pm = (X − αi ) = X + (−1)i ai X i .
i=1 i=1
Entonces σ(ai ) = ai para todo σ ∈ Gal(F/Q) y por tanto ai ∈ Q. Como cada αi es entero,
deducimos que ai ∈ Z para todo i. Además
k
| ai |≤
i
αim1 = απ(i)
m2
.
o sea
mr1 −mr2
αi =1
y, por tanto, αi es una raı́z de la unidad.
| σi (α) |= 1, para todo i. Luego las raı́ces del polinomio caracterı́stico P de α tienen módulo 1.
Por el Lema 3.13 esas raı́ces son raı́ces de la unidad y en particular α es una raı́z de la unidad.
Por otro lado de (3.11) se deduce que σ(R) es un retı́culo de Lr,s y, por tanto, es discreto.
Como σ(W ) está acotado y contenido en σ(R) deducimos que σ(W ) es finito y como σ es
inyectivo deducimos que W es finito. Pero todo subgrupo finito del subgrupo multiplicativo
de un cuerpo es cı́clico. Además, −1 ∈ W y por tanto el orden de W es par.
Demostración. Supongamos que σ(y) = (x1 , . . . , xr , y1 +z1 i, . . . , ys +zs i). Entonces la matriz
asociada a λy en la base de referencia es
x1 0 . . . 0
0 x2 . . . 0
0 ... 0
... ... ... ...
0 0 . . . xs
y1 −z1
0 ... 0
z1 y1
... ... ... ...
ys −zs
0 0 ...
zs ys
cuyo determinante es
Lema 3.16 Sea M un retı́culo pleno de Lr,s de dimensión r + 2s y sean c1 , . . . , cr+s > 0 tales
que
t
4
c1 . . . cr+s > vol(Lr,s /M )
π
72 CAPÍTULO 3. MÉTODOS GEOMÉTRICOS
| xi | < ci si i ≤ s
(3.4)
| xi |2 < ci si i > s
Demostración. Sea X el conjunto de los puntos de Lr,s que satisfacen (3.4). Entonces X
satisface las hipótesis del Teorema de Minkowski (Teorema 3.5). En efecto, la primera condición
es obvia y la segunda se comprueba ası́:
Z c1 Z cr Z Z Z Z
v(X) = dx1 . . . dxr dy1 dz1 . . . dys dzs
−c1 −cr y12 +z12 <c1 ys2 +zs2 <cs
r s r+2s r+s
= 2c1 . . . 2cr πcr+1 . . . πcr+s = 2 π c1 . . . cr+s > 2 vol(L /M ).
Demostración. Ya hemos visto que l(U ) es un retı́culo en el hiperplano π. Falta ver que
es un retı́culo pleno y por el Lema 3.1 eso equivale a demostrar que existe un subconjunto
acotado B de π tal que [
π= (x + B).
x∈l(U )
Vamos a ver la otra inclusión. Sea y ∈ S. Por (3.1) y el Lema 3.15, vol(Lr,s /yM ) =
vol(Lr,s /M ). Luego, por el Lema 3.16 existe 0 6= x ∈ X ∩ yM . Pongamos x = yσ(α) con
0 6= α ∈ R. Entonces Q >| N (x) |=| NK/Q (α) |. Luego αu = αi para algún i y algún u ∈ U .
Luego
y = xσ(αi−1 )σ(u).
Pero, como yσ(u) ∈ S, xσ(αi−1 ) ∈ S, luego xσ(αi−1 ) ∈ C, por tanto y ∈ σ(u)C.
Teorema 3.18 (Teorema de la Unidades de Dirichlet) El grupo de las unidades del anillo de
enteros de un cuerpo de números K con r inclusiones reales y 2s inclusiones complejas es
isomorfo a
W × Zr+s−1
donde W es el conjunto de las raı́ces de la unidad de K, que es un grupo cı́clico finito de orden
par.
Demostración. Por el Lema 3.14 y la Proposición 3.17, U/W ' Zr+s−1 . Luego U es un
grupo abeliano finitamente generado lo que implica que U = T (U ) × (U/T (U )) donde T (U )
es el subgrupo de torsión de U . Como W es finito y U/W es libre de torsión, deducimos que
W = T (U ).
74 CAPÍTULO 3. MÉTODOS GEOMÉTRICOS
Capı́tulo 4
El grupo de clase
75
76 CAPÍTULO 4. EL GRUPO DE CLASE
Proposición 4.2 Si I es un ideal no nulo del anillo de enteros de un cuerpo de números con
s parejas de inclusiones enteras y discriminate ∆ entonces existe α ∈ I \ {0} tal que
s
2 √
| NK/Q (α) |≤ N (I) ∆.
π
Por el lema 3.16 y la Proposición 3.11 existe α ∈ I \ {0} tal que si α(α) = (x1 , . . . , xr+s )
entonces
| xi | < ci si i ≤ r
| xi |2 < ci si i > r
Multiplicando todas las igualdades juntas tenemos
s
2 p
| NK/Q (α) |< c1 . . . cr+s = N (I) | ∆ | + .
π
< 0 ⇒ A ⊆ A 0 .
Luego A = ∩>0 A 6= ∅.
Ahora podemos obtener el resultado que buscabamos sobre las normas en una clase.
Teorema 4.3 Todo ideal no nulo del anillo de enteros de un cuerpo con s parejas de inclu-
siones
√complejas y discriminate ∆ es equivalente a un ideal cuya norma es menor o igual que
2 s
π ∆.
Rα = JM.
Finalmente, J ∼ I −1 y M ∼ J −1 , luego I ∼ M .
s √
Como cada clase contiene un ideal de norma ≤ π2 ∆ y sólo hay un número finito de
ideales con norma menor o igual que un cierto número, se deduce el siguiente.
Acabamos esta sección con algunas consecuencias inmediatas de la finitud del grupo de
clase.
Corolario 4.5 Sea I un ideal del anillo de enteros de un cuerpo numérico y sea h el número
de clase de dicho cuerpo. Entonces
(1) I h es principal.
Claramente Xc cumple la segunda hipótesis del Teorema de Minkowski (Teorema 3.5). Cam-
biando a coordenadas polares las parejas (yi , zi ) y razonando por inducción se demuestra que
el volumen de Xc es π s 1
v(Xc ) = 2r cn .
2 n!
Por el Teorema de Minkowski, Xc interseca a σ(I) en un elemento no nulo si
Como sólo puede haber un número finito de elementos de este tipo, resulta que hay un elemento
no nulo α ∈ I tal que
s
c n 4 n! √
| NK/Q (α) |≤ = N (I) ∆.
n π nn
De la misma forma que demostramos el Teorema 4.3 a partir de la Proposición 4.2, podemos
ahora demostrar el siguiente corolario del Teorema 4.6.
Corolario 4.7 Cada clase de ideales fraccionales de un cuerpo de números con con r inclu-
siones reales y t parejas de inclusiones complejas y discriminante ∆ contiene un ideal I tal
que s
4 n! √
N (I) ≤ ∆.
π nn
4.4. CÁLCULO DE NÚMEROS DE CLASE 79
Ahora podemos dar un criterio de cuando un cuerpo numerico tiene número de clase 1 y,
por tanto su anillo de enteros es un DFU.
Corolario 4.8 Sea R el anillo de enteros de un cuerpo numérico K con r inclusiones reales
y t parejas de inclusiones complejas y discriminante
√ ∆. Supongamos que todo ideal primo de
R que contenga un primo racional p ≤ Mst ∆ es pricipal, entonces el número de clase de R
es 1 y por tanto R es un DIP.
√
Demostración. Cada clase de ideales fraccionales contiene un ideal I con N (I) ≤ Mst ∆.
Entonces cada ideal primo q que divide a I divide a N (I) y por tanto contiene un primos
racional p que divide a N (I). Por la hipótesis q es principal. Luego I también es principal.
Demostración. Por el Teorema 2.10 sólohtenemos√ i que considerar los cuatro últimos√ casos.
√ 1+ −19
El anillo de enteros de K = Q( −19) es Z 2 . El polinomio mı́nimo de θ = 1+ 2−19 es
√ √
f = X 2 − X + 5. Por otro lado el discriminante de K es 19. Luego Mst ∆ ≤ 0.637 19 < 3.
Luego tenemos que comprobar que se verifican las condiciones del corolario 4.8 para p = 2, es
decir tenemos que calcular la descomposición de 2 en R. Para eso utilizamos el teorema 2.26.
Tenemos que factorizar f en Z2 . Pero este polinomio es irreducible en Z2 . Del Teorema 2.26
se deduce que el único ideal primo que divide a 2 es (2) y se puede aplicar√el corolario 4.8.
Para d = −43 el polinomio mı́nimo es f = X 2 − X + 11 y Mst ≤ 0.637 43 < 4, luego hay
que considerar p = 2, 3. Como en el caso anterior se ve que (2) y (3) son primos.
√
Consideremos ahora d = −67. Entonces f = X 2 − X + 17 y Mst ≤ 0.637 67 < 6. Ahora
hay que considerar p = 2, 3, 5. En todos los cases f es irreducible módulo p y, por tanto, (2),
(3) y (5) son irreducibles. √ √
Finalmente para d = −163, f = X 2 − X + 41 y Mst ∆) ≤ 0.637 163 < 9. Ahora hay que
considerar p = 2, 3, 5, 7 y sale lo mismo.
√
Demostración. Q(ζ3 ) = Q( −3) que ya sabemos que es euclı́deo.
El grado de Q(ζ5 ) es 4, el número de inclusiones reales es r = 0 y el de inclusiones
√ complejas
3
es 2s = 4. Por último el discriminante es ∆ = 5 = 125. Luego Mst ≤ 0.152 125 < 2. No hay
que hacer ninguna comprobación.
Pongamos
√ ζ √= ζ7 . En este caso, tenemos n = 6, r = 0, s = 3 y ∆ = −75 . Luego
Mst ∆ ≤ 0.032 16807 < 5. Luego tenemos que considerar los primos p = 2, 3. El polinomio
mı́nimo es X 6 + . . . + 1. En Z2 podemos factorizarlo como (X 3 + X 2 + 1)(X 3 + X + 1), luego
(2) = P1 P2 , donde P1 y P2 son dos ideales primos distintos. Por otro lado
2 = ζ 4 (ζ 3 + ζ 2 + 1)(ζ 3 + ζ + 1)
Luego
R(ζ 3 + ζ 2 + 1) R(ζ 3 + ζ + 1) = 2R
y, por tanto, P1 = R(ζ 3 + ζ 2 + 1) y P2 = R(ζ 3 + ζ + 1), o viceversa, que son principales.
Luego√ sólo hay que considerar factorizaciones de 2 y 3. El anillo de enteros es R = Z[θ], siendo
θ = 10. El polinomio mı́nimo es f = X 2 − 10. Entonces f ≡ (X √ − 1)(X + 1) mod 3. √ De
forma que (3) es producto de dos ideales primos distintos p1 = (3, 1 + 10) y p2 = (3, 1 − √10).
Por otro lado f ≡ X 2 mod 2, luego 2R = P 2 para un ideal maximal P . Si P = (a + b 10)
fuera principal, entonces N (P )2 = |NK/Q (2)| = 4, luego N (p) = 2, o sea a2 − 10b2 = ±2.
Luego a2 ≡ ±2 mod 5 lo cual es imposible.
√ Luego p no es principal.
Por otro lado, como
√ RN (−2 + 10) = −6R = P 2 P1 P2 , P , P1 √
y P2 son los únicos posibles
√
2
divisores de (−2 + 10). Pero ni P = 2R ni p2 dividen a R(−2 + 10), luego R(−2 + 10) =
P P1 , lo que implica que P = P1−1 = P2 . Entonces cada ideal está en la clase de R o de P .
Como P no es principal estas dos clases son distintas, luego el número de clase de R es 2.
Capı́tulo 5
xn + y n = z n (5.1)
Resolver un cubo en suma de dos cubos, una potencia cuarta en suma de potencias
cuartas, o en general cualquier potencia superior a la segunda en dos del mismo
tipo, es imposible; de este hecho he encontrado una demostración fascinante. El
margen de este libro es demasiado pequeño para contenerla.
La demostración que Fermat aseguraba haber encontrado, nunca apareció salvo para n = 3
ó 4, con lo cual el Último Teorema de Fermat paso a ser una conjetura, posiblemente la más
famosa de la historia de las matemáticas. Años mas tarde Euler demostró independientemente
los casos n = 3 y n = 4. En 1828 (doscientos años después de la afirmación de Fermat), Dirichlet
consiguió demostrar la afirmación para n = 5 en 1828 (e independientemente Legendre dos
años mas tarde) y para n = 14 en 1832. Mientras tanto, el caso n = 7 se atragantó durante
81
82 CAPÍTULO 5. EL ÚLTIMO TEOREMA DE FERMAT
algunos años. Gauss proporcionó algunas ideas pero no consiguió resolverlo. Lamé ofreció una
demostración en 1838 para n = 7, pero Lebesgue descubrió un error en ella y consiguió dar una
demostración correcta. Hasta ese momento todos los intentos de dar una demostración general
habı́an fallado. Por un momento pareció que Lamé habı́a conseguido dar una demostración
general. Sin embargo, la demostración de Lamé suponı́a factorización única en Z[ξn ], lo cual fué
puntualizado por Liuoville y Kummer. Cauchy pareció resolver la pega de la demostración de
Lamé cuando en 1897 demostró (hecho que sabemos que es falso) factorización única en Z[ξn ].
Finalmente Cauchy admitió que su demostración fallaba para el caso n = 23. Kummer acabó
con el espejismo de la demostración de Lamé cuando probó que Z[ξ23 ] no tiene factorización
única. En 1850 Kummer consiguió dar un tremendo empujón a la resolución del problema
cuando consiguió demostrar el Último Teorema de Fermat para los primos regulares, que serán
introducidos en este capı́tulo. Eso incluye todos los primos menores que 100, excepto 37, 59 y
67. Kummer también presento demostraciones para estos tres casos pero contenı́an errores que
permanecieron ocultos hasta que Vandiver los desveló en 1920. Al menos el caso n = 37 habı́a
sido resuelto por Mirimanoff en 1893 quien además consiguió en 1905 dar una demostración
para todos los valores de n ≤ 257. Con los métodos de Vandiver y el uso de computadoras se
consiguió demostrar el Teorema de Fermat para todos los exponentes n ≤ 120.000.
Por otro lado hubo quién se concentró en casos particulares. Entre estos hay que citar a
Legendre, Wiefrich, Mirimanoff, Frobenius, Vandiver, Pollackzed, Morishima, Rosser y más
recientemente Lehmers, Brillhart, Tonascia y Weinberger. En 1979 se sabı́a que si existı́a un
contraejemplo, x debı́a tener al menos 18 × 105 dágitos.
Un avance importante fué debido a Gerd Faltings en 1983 que demostró que si el Último
Teorema de Fermat fallaba para n, al menos sólo habı́a un número finito de soluciones para x,
y y z. En realidad el resultado de Faltings es un caso particular de un teorema más general
para ecuaciones homogéneas.
En 1994, durante la celebración de un congreso y al final de tres charlas Wiles anunció
una demostración definitiva. Por unos meses pareció resuelto el problema, pero pronto se
descubrió que Wiles habı́a supuesto que cierto resultado, que alguién le habı́a comentado,
habı́a sido demostrado, cuando solo era el tema de trabajo de otro matemático. Por tanto la
demostración de Wiles quedó en suspenso. Finalmente, Taylor y Wiles consiguieron superar los
obstáculos que quedaban y en 1975 se publicó una demostración que es aceptada como correcta.
Los métodos de esta demostración superan con creces el ámbito de este curso. Nosotros nos
limitaremos a ver la demostración de Kummer para primos regulares. Las posteriores están
fuera de nuestras posibilidades.
Vamos ahora a hacer algunas consideraciones elementales. Obsérvese que si hay una
solución de la ecuación (5.1) entonces hay alguna solución en la que x, y y z son primos
entre si dos a dos. En efecto, si x = qx1 , y = qy1 con q primo, entonces
q n (xn1 + y1n ) = z n .
Luego q divide a z. Si z = qz1 , entonces
q n (xn1 + y1n ) = q n z1n
lo que implica que x1 , y1 , z1 es una solución y, ahora podemos razonar por inducción en el
número de factores que aparece en la descomposición del máximo común múltiplo de x e y.
5.1. CONSIDERACIONES ELEMENTALES 83
Por otro lado, si hay una solución para un cierto n, también hay una solución para cada
divisor de n pues si n = kl, entonces la ecuación original es equivalente a
(xk )l + (y k )l = (z k )l .
Lema 5.1 Las soluciones de x2 + y 2 = z 2 en las que x, y y z son coprimos dos a dos, pueden
darse de forma paramétrica como
±x = r2 − s2
±y = 2rs
±z = r2 + s2
o con x e y intercambiados, donde r y s son coprimos y exactamente uno de ellos es impar.
Demostración. Por razones obvias basta considerar el caso en que x, y y z son positivos. Al
menos uno de ellos es par pues ”impar” + ”impar” = ”par”. Como además estamos suponiendo
que son primos dos a dos, resulta que exactamente uno de ellos es par. Éste no puede ser z
pues si z = 2k, x = 2a + 1 e y = 2b + 1 entonces
x2 + y 2 = 2(2a2 + 2b2 + 2a + 2b + 1)
que no es múltiplo de 4.
Supongamos que x es par. Entonces
x2 = z 2 − y 2 = (z + y)(z − y)
y todos los factores son pares. Pongamos x = 2u, z + y = 2v y z − y = 2w. Por un lado
z = v + w e y = v − w. Como y y z son coprimos, v y w también lo son. Por otro lado u2 = vw
y, como v y w son coprimos, resulta que ambos son cuadrados. Pongamos v = r2 y w = s2 .
Entonces r y s son coprimos y u = rs Luego x = 2rs, y = r2 − s2 y z = r2 + s2 . Finalmente
como y = r2 − s2 es impar y r y s son coprimos, exactamente uno de ellos es impar.
Ahora podemos considerar el caso n = 4 que es una consecuencia del siguiente teorema
más general.
Demostración. Sea x, y, z una solución no trivial. Podemos suponer que x, y y z son positivos
y que z es mı́nimo en la familia de soluciones. Entonces x, y y z son primos dos a dos, pues
en caso contrario podemos cancelar un factor común primo de dos de ellos (que será un factor
84 CAPÍTULO 5. EL ÚLTIMO TEOREMA DE FERMAT
común del tercero). Por simetrı́a podemos suponer que y es par (luego x y z son impares).
Aplicando el Lema 5.1 obtenemos que existen r, s coprimos, uno de ellos par, tales que
x2 = r2 − s2 , y 2 = 2rs, z = r2 + s2 .
Entonces
x2 + s 2 = r 2
y x, r y s son coprimos dos a dos (pues x e y lo son). Por simetrı́a, de nuevo, podemos suponer
que s es par. Luego existen a y b coprimos tales que
x = a2 − b2 , s = 2ab, r = a2 + b2 .
Luego
y 2 = 2rs = 4ab(a2 + b2 )
Pongamos y = 2k. Entonces
k 2 = ab(a2 + b2 ).
Pero como a, b y a2 + b2 son coprimos dos a dos, la ecuación anterior implica que los tres son
cuadrados. Pongamos
a = c2 , b = d2 , a2 + b2 = e2
Luego
c4 + d4 = e2
y e ≤ a2 + b2 = r < z, contradiciendo la minimalidad de z.
p−1
Y
p p
α −b = (α − ξ j b) ≡ 0 mod I p .
j=0
Lema 5.5 Toda unidad de D = Z[ξ] es de la forma rξ g para algún número real r y algún
entero g.
Demostración. Sea una unidad de Z[ξ] y sea f ∈ Z[X] tal que = f (ξ). Los conjugados
de son
s = f (ξ s ) (s = 1, . . . , p − 1).
Luego 1 = ±N () = ±1 . . . p−1 y, por tanto, cada es también una unidad de D. Además
¯ s ) = ¯s .
p−s = f (p−s ) = f (ξ −s ) = f (ξ¯s ) = f (ξ
Luego N () = 1.
Vamos a ver que los coeficientes del polinomio
p−1
Y
s
X−
p−s
s=1
algún entero k. Como p es impar, bien k o k + p es par, luego podemos suponer que k es par.
Pongamos k = 2u. Sea v ∈ Z tal que
ξ −u ≡ v mod I.
Entonces tomando conjugados tenemos ξ u p−1 ≡ v mod (λ̄). Pero como λ̄ = 1 − λp−1 es
asociado de λ en D, tenemos
ξ u p−1 ≡ v mod I.
Luego ξ −u ≡ ξ u p−1 mod I. Multiplicando por ξ u tenemos
Como I es un ideal primo y ξ 2u p−1 es una unidad en D deducimos que si el signo es negativo
entonces 2 ∈ I ∩ Z = pZ, en contra de que p es primo impar. Luego el signo es positivo con lo
que r = ξ −u = ξ u p−1 = r̄. Luego r es real.
Definición 5.6 Un entero racional primo p se dice que es regular si no divide al número de
clase de Q(ξp ).
Lema 5.7 (Kummer) Sea p un primo regular y u una unidad de D = Z[ξ]. Si u es congruente
a un entero racional módulo p, entonces u = up0 para alguna unidad u0 de D.
xp + y p = z p
Supondremos que (x, y, z) es una solución. Sin perdida de generalidad podemos suponer que
x, y y z son coprimos dos a dos.
Primero vamos a suponer que p no divide ni a x, ni a y, ni a z.
5.2. TEOREMA DE KUMMER 87
Vamos a empezar viendo que los ideales (x − ξ i y) son coprimos dos a dos. Sea q un ideal
primo que divide a (x − ξ i y) y (x − ξ j y), con 0 ≤ i < j ≤ p − 1. Entonces
(x − ξ i ) − (x − ξ j y) = −yξ i (1 − ξ j−i ) ∈ q.
(x − ξy) = ap
para algún ideal a de Z[ξ]. Como p es regular, p no divide al número de clase y, por tanto
no divide al orden de la clase que contiene a a. Como ap es principal, entonces a es principal.
Pongamos a = (δ). Entonces x − ξy = uδ p , donde u es una unidad de Z[ξ]. Del Lema 5.5
u = rξ i para algún real r y algún i. Del Lema 5.3 sabemos que existe un entero k ∈ Z tal
δp ≡ k mod I p .
Luego
x − ξy ≡ rkξ i mod I p .
Pero, de (5.2) tenemos que (p) | I p y, por tanto
lo que implica
ξ −i (x − ξy) ≡ rk mod (p).
Tomando conjugados tenemos
ξ i (x − ξ −1 y) ≡ rk mod (p).
Pongamos
xξ −i − yξ 1−i − xξ i + yξ i−1 = αp
con α ∈ Z[ξ]. Entonces
x −i y 1−i x i y i−1
α= ξ − ξ − ξ + ξ .
p p p p
Como ξ, ξ 2 , . . . , ξ p−1 son linealmente independientes, si no hay dos de los exponentes (o sea
i, 1 − i, i − 1, −i) que sean congruentes módulo p, entonces los coeficientes de α en está base
88 CAPÍTULO 5. EL ÚLTIMO TEOREMA DE FERMAT
son los que aparecen, o sea, dos de los coeficientes son xp y yp que no son enteros. Eso nos
llevarı́a a una contradicción. O sea, al menos dos de los siguientes números i, 1 − i, i − 1, −i
son congruentes módulo p. Como p 6= 2, eso implica que se verifica una de las tres siguientes
condiciones: p | i, p | 1 − i ó 2i ≡ 1 mod p.
Vamos a derivar una contradicción de estas tres posibilidades. Obsérvese que 1 + ξ es una
unidad de Z[ξ] pues
Xp − 1
(X − ξ)(X − ξ 2 ) . . . (X − ξ p−1 ) = .
X −1
Luego
−(1 + ξ)(−1 − ξ 2 ) . . . (−1 − ξ p−1 ) = 1.
Consideremos el primer caso p | i. Entonces los términos con x se anulan y queda la
ecuación
y(ξ − ξ −1 ) ≡ 0 mod (p).
Multiplicando por ξ, que es una unidad, resulta
±1 + ±1 + ±1 ≡ 0 mod 9
lo que es imposible.
Luego resulta que p divide a uno y sólo uno de x, y y z. Por simetrı́a podemos suponer que
divide a z. Sea z = pk z0 con (p, z0 ) = 1. Del Lema 5.2, tenemos que p = vλp−1 para alguna
unidad v de Z[ξ]. Luego
xp + y p = v kp λp(p−1)k z0p .
5.2. TEOREMA DE KUMMER 89
con m > 0 y una unidad Z[ξ], que vamos a ver que no tiene soluciones enteras racionales x,
y y z0 , de forma que p no divide ni a z0 , ni a x, ni a y. De hecho vamos a demostrar un poco
más: La ecuación (5.5) no tiene soluciones en Z[ξ] relativamente primas con λ. Por reducción
al absurdo supongamos que tenemos una solución con m mı́nimo.
Factorizando la parte de la izquierda y tomando ideales tenemos
p−1
Y
(x − ξ i y) = I pm (z0 )p (5.6)
i=0
Como pm > 0, al menos uno de los ideales de la izquierda es divisible por I. Pero para todo
i>j
x − ξ i y = x − ξ j y + ξ j (1 − ξ i−j )y ≡ x + ξ j y mod I
luego todos los ideales de la izquierda dividen a I.
Como (p, y) = 1, (y) e I son primos relativos en Z[ξ]. Por otro lado 1 − ξ k es asociado de λ
para todo 0 < k < p. Luego I 2 no puede dividir a (y(1 − ξ i )) y por tanto, si 0 ≤ i < j ≤ p − 1
(x − ξ i y) − (x − ξ j y) = ξ i y(1 − ξ j−i ) 6∈ I 2 .
Luego
x − ξiy x + ξj y
6≡ mod I.
λ λ
Como N (I) = p,
x − ξiy
|0≤i≤p−1
λ
forma un conjunto completo de representantes de Z[i] módulo I. Por tanto
x − ξiy
∈I
λ
para exactamente un 0 ≤ i ≤ p − 1, o sea
x − ξiy ∈ I 2
(x − y) = I p(m−1)−1 dc0
(x − ξ i y) = Idci (1 ≤ i ≤ p − 1)
90 CAPÍTULO 5. EL ÚLTIMO TEOREMA DE FERMAT
Vamos a demostrar que los ci son coprimos dos a dos. Sea q un divisor común primo de ci
y cj (i < j). Entonces Idq divide a (x − ξ i y) y a (x − ξ j y), lo que implica que (ξ i y(1 − ξ j−i )) =
(y(1 − ξ j−i )) = (y)I y (x(1 − ξ j−i )) = (x)I son divisibles por Idq, de donde se deduce una
contradicción con la elección de d.
Entonces reescribimos la ecuación (5.6) en la forma
dp I pm c0 c1 . . . cp−1 = I pm (z0 )p .
De aqui se deduce, teniendo en cuenta que los ci son coprimos dos a dos, que todos los ci son
potencias p-ésimas de otros ideales. Pongamos ck = apk de donde tenemos.
(x − y) = I p(m−1)−1 dap0
(x − ξ i y) = Idapi (1 ≤ i ≤ p − 1)
Eso implica que el ideal fraccional ((ai )(a0 )−1 )p es principal. Como p es regular, (ai )(a0 )−1
es principal también. Pongamos (ai )(a0 )−1 βi = (αi ), con αi , βi ∈ Z[ξ], o lo que es lo mismo
(ai βi ) = (a0 αi ). Como ai y a0 no son divisibles por I, podemos suponer que (αi ) y (βi )
tampoco son divisibles por I. Por tanto
lo que implica
(x − ξy)(1 + ξ) − (x + ξ 2 y) = ξ(x − y)
αp − uβ p = vλp(m−1) γ p (5.8)
5.3. PRIMOS REGULARES 91
donde u y v son unidades de Z[ξ] y α, β y γ elementos de Z[ξ] que no son divisibles por I.
Como m > 1, p(m − 1) ≥ p. Luego
αp − uβ p ≡ 0 mod I p .
Por otro lado, como β es relativamente primo con I, existe β 0 tal que ββ 0 ≡ 1 mod I p .
Multiplicando por β 0 p más arriba tenemos que
u ≡ −(αβ 0 )p mod I p .
Por el Lema 5.3 existe un entero racional a tal que (−αβ 0 )p ≡ a mod I p . Luego u ≡ a
mod I p . Recordemos del Lema 5.2 que I p−1 = (p), luego u es congruente a un entero racional
módulo p. Aplicando el Lema 5.7 u = up0 para algún u0 ∈ Z[ξ]. Sustituyendo en la ecuación
(5.8) tenemos
αp + (−u0 β)p = αp − (u0 β)p = vλp(m−1) γ p
contradiciendo la minimalidad de m.
2r+s π s R
lim (x − 1)ξK (x) = p h.
x→1 m |∆|
La idea es que todo lo que hay a la derecha de la fórmula, excepto h es relativamente fácil
de calcular. Si podemos calcular el lı́mite de la derecha, podremos calcular h. Para calcular
92 CAPÍTULO 5. EL ÚLTIMO TEOREMA DE FERMAT
h = h1 h2
donde
h1 = numero de clase de Q(ξ + ξ −1 )
y se demuestra que p es regular precisamente si p no divide a h1 .
Estudiando h1 se demuestra que p divide a h1 precisamente si uno de los siguientes números
p−1
X
Sk = nk (k = 2, 3, . . . , p − 3)
i=1
es divisible por p2 .
t
También se pueden introducir los números de Bernouilli por la expansión de la función et −1
en series de potencias, o sea
∞
t X Bm m
=1+ t .
et − 1 m!
i=1
Se verifica:
Utilizando el Teorema anterior se comprueba que los primeros 10 primos no regulares son
37, 59, 67, 101, 103, 131, 149, 157, 233 y 257.
Capı́tulo 6
Métodos analı́ticos
Veremos que la serie que define la función zeta converge para 1 < x y que es una función
continua en este intervalo. El interés de la función zeta es que nos sirve para obtener la siguiente
fórmula para el número de clase hK de K:
Como Hk es finito, para demostrar que la serie converge para x > 1 es suficiente demostrar
que para cada C ∈ Hk , la serie
X 1
fC (x) = (6.2)
N (I)x
I≤D,I∈C
converge, para x > 1. Por otro lado, si demostramos que para cada C ∈ HK el lı́mite
93
94 CAPÍTULO 6. MÉTODOS ANALÍTICOS
Cada elemento J ∈ X se puede escribir como hαi con α ∈ I 0 y dos elementos α, β ∈ I 0 generan
el mismo ideal si son asociados. Sea Y un conjunto de representantes de los elementos de I 0
módulo la relación de equivalencia ”ser asociados en D”. Entonces
X 1
fC (x) = N (I 0 )x . (6.3)
| N (y) |x
y∈Y
Lema 6.2 Sea r un número real positivo y x ∈ Lst , con N (x) 6= 0. Entonces
Demostración. Recordemos que l(x) = (l1 (x), . . . , ls+t (x)) y que li (x) = log(| xi |), si i ≤ s
y li (x) = log(| xi |2 ), si i > s. Luego li (rx) = log r + li (x), si i ≤ s y li (rx) = 2 log r + li (x), si
i > s. La fórmula se obtiene ahora directamente.
El lema anterior implica que si r es un número real positivo, l(rx) − l(x) ∈ Rl∗ y, por tanto,
todas las coordenadas, excepto la primera, de l(rx) y l(x) en la base B son las mismas.
Sea m el cardinal del grupo K de las raı́ces de la unidad de K (= subgrupo de torsión de
U ). Obsérvese, que K, siendo un subgrupo finito de un cuerpo, es cı́clico y, por tanto, K es
exactamente el conjunto de las raı́ces m-ésimas de la unidad.
Vamos a llamar cono fundamental al subconjunto de Lst formado por todos los puntos
x = (x1 , . . . , xs+t ) ∈ Lst que verifican las tres siguientes condiciones:
(1) N (x) 6= 0.
2π
(3) 0 ≤ arg x1 < m.
Como N (rx) = rn x y arg rx1 = arg x1 (r ∈ R+ ), del lema 6.2 se deduce facilmente que el
cono fundamental X es un cono de Lst .
Lema 6.4 Sea y ∈ Lst con N (y) 6= 0. Entonces x se puede expresar de forma única como
y = xσ(u), donde x ∈ X y u ∈ U .
Demostración. Sea
l(y) = αl ∗ +α1 l(u1 ) + . . . + l(ur )
y pongamos αi = ki + βi , con ki ∈ Z y 0 ≤ βi < 1. Sea η = uk11 . . . ukr r y z = yσ(η −1 ). Entonces
Sea ahora ϕ = arg z1 , la primera componente de z y sea k un entero tal que 0 ≤ φ − 2πk m < m.
2π
2kπ 2kπ
arg x1 = arg z1 − =ϕ−
m m
y, por tanto 0 ≤ arg x1 < 2π
m.
Ahora tenemos que ver la unicidad. Supongamos que xσ(u) = x0 σ(u0 ) con x, x0 ∈ X y
u, u0 ∈ U . Entonces l(u) y l(u0 ) están en los subgrupos generados por l(u1 ), . . . , l(ur ). Si
como
l(x) + l(u) = l(x0 ) + l(u0 )
resulta que α = α0 y
αi + ki = αi0 + ki0
con
0 ≤ αi , αi0 < 1 y ki , ki0 ∈ Z.
Luego αi = αi0 y ki = ki0 . Concluimos que l(x) = l(x0 ) y l(u) = l(u0 ). Por tanto u0 = νu donde
ν es una raı́z m-ésima de la unidad. Por tanto xσ(u) = x0 σ(u)σ(ν). Luego x = x0 σ(ν) y, por
tanto,
x1 = x01 σ1 (ν).
Pero como
2π 2π
0 ≤ arg x1 < y 0 ≤ arg x01 < ,
m m
resulta que 0 ≤| arg σ1 (ν) |< 2π
m . Pero como σ1 (ν) es una raı́z m-ésima primitiva de la unidad,
σ1 (ν) = 1 y, por tanto, ν = 1. Eso implica que u = u0 y x = x0 .
Teorema 6.5 Cada clase de D módulo la relación de equivalencia ”ser asociados” contiene
exactamente un elemento del cono fundamental X.
Vamos ahora a calcular la función zeta para K = Q. Como en este caso D = Z tiene un
ideal para cada n ∈ N y la norma de hni es n, tenemos
∞
X 1
ζQ (x) = .
nx
i=1
Si n ≥ 1 Z n+1
dx 1
s
< s
n x n
y si n ≥ 2 Z n
1 dy
< .
nx n−1 yx
6.1. FÓRMULAS ANALÍTICAS PARA EL NÚMERO DE CLASE 97
Multiplicando esta igualdad por x − 1 y calculando el lı́mite cuando x tiende a 1 por la derecha
tenemos
lim (x − 1)ζQ (x) = 1.
x→1+0
Ahora vamos a demostrar el siguiente teorema sobre convergencia de series debido a Dirich-
let.
Demostración. Para cada número real positivo, sea Lr el retı́culo obtenido contrayendo L
por un factor r, es decir Lr = Lr . El volumen de un dominio fundamental Pr de Lr es r∆n .
Como Lr es un retı́culo y T está acotado, Lr ∩ T es finito para todo r > 0. Sea N (r) el
número de puntos de Lr ∩ T . La unión de los paralelepı́pedos x + Tr , con x ∈ Lr ∩ T es una
aproximación a T de forma que podemos calcular el volumen de T como un lı́mite de la suma
de los volúmenes de estos paralelepı́pedos, cuando r tiende a ∞, o sea
∆ N (r)
v = v(T ) = lim N (r) n
= ∆ lim . (6.4)
r→∞ r r→∞ r n
Sea p
n
rk = F (xk ).
Entonces {x1 , x2 , . . . , xk } ⊆ L ∩ rk T y, por tanto, k ≤ N (rk ). Por otro lado, para todo > 0,
xk 6∈ (rk − )T , luego
N (rk − ) < k ≤ N (rk ).
Por tanto n
N (rk − rk − k k N (rk )
< = ≤ .
(rk − )n rk rkn F (xk ) rkn
Tomando lı́mites cuando k tiende ∞ y considerando la ecuación 6.4 se tiene
k v
lim = 6= 0.
k→∞ F (xk ) ∆
P∞ 1 kx vx
Como la serie ζQ (x) = i=1 nx converge para x > 1, y limk→∞ F (xk )x = ∆x 6= 0 la serie
P∞ 1
i=1 F (xn )x también converge para x > 1. Sea ahora > 0. Por el lı́mite anterior, existe
k0 ∈ N tal que
v 1 1 v 1
− < < +
∆ k F (xk ) ∆ k
para todo k ≥ k0 . Luego
v ∞ ∞ ∞
x X 1 X 1 v x X 1
− x
< x
< +
∆ k F (xk ) ∆ kx
k=k0 k=k0 k=k0
P 0 −1
1. Podemos suponer que k0 ≥ 2. Como limx→1 kk=1
para todo x > P (x − 1)
Pk∞
1
x = 0 y
∞
limx→1+0 (x−1) k=1 kx = limx→1+0 (x−1)ζQ (x) = 1, resulta que limx→1+0 (x−1) k=k0 k1x =
1
1. Luego
v v
− ≤ lim inf (x − 1)ζ(x) ≤ lim sup(x − 1)ζ(x) ≤ + .
∆ x→1+0 x→1+0 ∆
Como es arbitrario
v
lim (x − 1)ζ(x) ≤ .
x→1+0 ∆
Para poder aplicar el Teorema de Dirichlet a la función zeta de un cuerpo numérico tenemos
que ver que T = {x ∈ X :| N (x) |≤ 1} es acotado y tiene volumen no nulo. Esto lo vamos a dar
sin demostración, pero si que vamos a dar un valor para este volumen. Para eso necesitamos
introducir un nuevo concepto: el regulador.
Sea u1 , . . . , ur un conjunto fundamental de unidades de D. Entonces l(u1 ), . . . , l(ur ) genera
un retı́culo L = l(U ) de dimensión r = s + t − 1. Vamos a calcular el volumen (r-dimensional)
de un conjunto fundamental de este retı́culo. Recordemos que l1 (u) + . . . ls+t (u) = 0, para toda
1
unidad u de D. Luego l0 = √s+t (1, 1, . . . , 1) es ortogonal a L y tiene módulo 1. Eso implica
que el volumen de un conjunto fundamental de L coincide con el volumen de un conjunto
6.1. FÓRMULAS ANALÍTICAS PARA EL NÚMERO DE CLASE 99
fundamental del retı́culo n−dimensional generado por l0 , l(u1 ), . . . , l(ur ). Este último coincide
con el valor absoluto del determinante
1
s+t l1 (u1 ) l1 (u2 ) . . . l1 (ur )
√
√1
s+t l2 (u1 ) l2 (u2 ) . . . l2 (ur )
... ... ... ... ...
1
√ ls+t (u1 ) ls+t (u2 ) . . . ls+t (ur )
s+t
l1 (u1 ) l1 (u2 ) . . . l1 (ur )
l2 (u1 ) l2 (u2 ) . . . l2 (ur )
√
... ... ... ...
= s + t li−1 (u1 ) li−1 (u2 ) . . . li−1 (ur )
li+1 (u1 ) li+1 (u2 ) . . . li+1 (ur )
... ... ... ...
ls+t (u1 ) ls+t (u2 ) . . . ls+t (ur )
Aplicando el Teorema 6.6 a la función F : X → R+ dada por F (x) =| N (x) |, deducimos que
la serie que define fC es convergente para x > 1 y que
vN (I 0 )
lim (x − 1)fC (x) =
x→1+0 V
Para calcular el número de clase hk usando la función zeta de Dirichlet es necesario tener
algún método para calcular limx→∞ (x − 1)ζK (x). Para eso es a veces conveniente utilizar el
siguiente teorema que da una representación de ζK (x) como producto infinito.
donde HN denota el conjunto de todos los ideales quePno son divisibles por ningún ideal primo
1
con norma mayor que N . Como para x > 1, la serie I≤D N (I) x converge y es igual a ζK (x),
P 1
entonces, la subserie I∈HN N (I)x también converge y
Q 1 Q 1
p∈SpecD 1−[1/N (p)x ] = limN →∞ N (p)<N 1−[1/N (p)x ]
P 1
= limN →∞ I∈HN N (I) x
P 1
= I≤D N (I)x = ζK (x).
102 CAPÍTULO 6. MÉTODOS ANALÍTICOS
6.2 Caracteres
Definición 6.10 Sea G un grupo abeliano finito. Un carácter de G es un homomorfismo de
G en el grupo multiplicativo de C.
Teorema 6.11 El número de caracteres de un grupo abeliano finito coincide con su orden.
Teorema 6.12 Todo grupo abeliano finito es isomorfo al grupo de sus caracteres.
Teorema 6.13 Sea G un grupo abeliano finito y H un subgrupo de G. Entonces todo carácter
de H es la restricción de un carácter de G a H. Además el número de caracteres de G que
restringen a un carácter dado de H es (G : H)
Demostración. Todo elemento del núcleo K de la aplicación restricción, (ˆ) induce de forma
|G|
única un carácter de G/H. Luego | K |=| G/H |= |H| . Del Teorema 6.13 se obtiene que la
|G|
imagen de (ˆ) tiene |K| =| H | elementos. Aplicando otra vez el Teorema 6.13 se tiene que (ˆ)
es suprayectiva.
Vamos a ver ahora algunas relaciones entre los caracteres de un grupo abeliano finito G de
orden n. En primer lugar es claro que
X
χ0 (x) = n.
x∈G
Supongamos
P ahora que χ es un carácter distinto de χ0 y sea g ∈ G tal que ξ(g) 6= 1. Entonces
si S = x∈G χ(x) tenemos
P
S = Px∈G χ(x)
= Px∈G χ(gx)
= x∈G χ(g)χ(x)
= χ(g)S
Como χ(g) 6= 1, se deduce que S = 0.
Similarmente tenemos que X
χ(1) = n.
χ∈G∗
Lema 6.15
X |G| si χ = χ0
χ(x) =
0 6 χ0
si χ =
x∈G
X |G| si x = 1
χ(x) =
∗
0 6 1
si x =
χ∈G
Teorema 6.18 Sea χ un carácter numérico módulo m. χ es primitivo si y sólo si para cada
divisor propio d de m, existe un número n ∈ N tal que (n, m) = 1, n ≡ 1( mod d) y χ(n) =
6 1.
Supongamos ahora que q es un primo racional no divisible por p. Para ver como se descom-
pone hqi, tenemos que ver como se descompone el polinomio ciclotómico f = 1 + X + . . . +
p −1
X p−1 = XX−1 en Zq (ver Teorema 2.26). Como X p − 1 no tiene factores múltiples módulo q,
f tampoco tiene factores múltiples módulo q. Por tanto
g
Y
hqi = pi
i=1
donde p1 , . . . , Pg son primos distintos. Vamos a ver cuanto vale g. Sea I = pi . Como N (q) =
q p−1 , N (I) = q k para algún entero positivo k. Como la caracterı́stica del cuerpo D/I es q
(pues es una extensión de Z/(Z ∩ I) = Z/hqi), el polinomio X p − 1 no tiene raı́ces múltiples
en D/I, lo que implica que la clases 1 + I, ξ + I, ξ 2 + I, . . . , ξ p−1 + I son todas distintas. Estas
clases forman un subgrupo del grupo multiplicativo de D/I. Como este último tiene N (I) − 1
elementos, p | N (I) − 1 y, por tanto q k = N (I) ≡ 1( mod p). Sea f el orden de q módulo p,
es decir, f es el orden de q + hpi en Z/hpi. Lo que hemos visto implica que k ≥ f . En realidad
k = f . En efecto, cada elemento de D/I es de la forma
p−1
X
x= ai (ξ + I)i
i=0
f f f
con ai entero racional. Como D/I es un cuerpo de caracterı́stica q, (α + β)q = αq + β q ,
f f
para todo α, β ∈ D/p. Como p | q f − 1, ξ q = ξ. Además, como I ∩ Z = hqi, aq = a para
todo a ∈ Z. Teniendo en cuenta todo esto se deduce que todo elemento de D/I es raı́z del
f
polinomio X p − X y, por tanto pk ≤ pf . Luego k ≤ f .
Como esto se verifica para cada i = 1, . . . , g, resulta que q p−1 = gi=1 N (pi ) = gi=1 q f =
Q Q
q gf y, por tanto p − 1 ≥ gf .
En resumen, hemos demostrado el siguiente lema:
Lema 6.19 Sean p, q primos racionales distintos, f el orden de q módulo p y hqi el ideal
generado por q en D = Z[ξp ]. Entonces
hqi = p1 . . . pg
p−1
donde p1 , . . . , pg son ideales primos distintos, g = f y N (pi ) = pf , para todo i = 1, . . . , g.
Del Lema 6.19, si q ∈ P \ {p} y I es un ideal primo que divide a q, entonces N (I) = q fq ,
donde fq es el orden de q módulo p y hay exactamente p−1 fq ideales primos que dividen a q. Por
otro lado, del lema 5.2, el único ideal primo divisor de p es h1 − ξi y su norma es p. Luego
p−1
1 −1 Y 1 − fq
ζK (x) = 1 − x 1 − xfq . (6.7)
p q
p6=q∈P
1−p
1 f
1 − q fq x q
Q
ζK (x) = G(x) p6=q∈P
Qfq −1 1−p
k f
1 − qx q
Q
= G(x) p6=q∈P k=0
−1
Q Q χ(q̄)
= G(x) p6=q∈P χ∈Gp∗ 1 − q x
tenemos Y
ζK (x) = G(x) L(x, χ).
χ∈Gˆp
6.3. EL NÚMERO DE CLASE DE LOS CUERPOS CICLOTÓMICOS 107
Luego Y
ζK (x) = ζQ (x) L(x, χ). (6.9)
χ6=χ0
Demostración. Pongamos que An ≤ C, para todo n. Fijemos σ > 0. Para cada > 0
elegimos n0 tal que n1σ < para todo n > n0 . Si n > n0 , entonces n1x < , para todo s ≥ σ.
Sea M > N > n0 . Entonces
PM ak PM Ak −Ak−1
k=N kx = Pk=N kx P
−1 Ak−1
= k=N kx − M
M Ak
k=N −1 (k+1)x .
AN −1 PM −1 1 1 AM
= − N x + k=N Ak kx − (k+1)x + M x
Luego
M M −1 !
X ak 1 X 1 1 1 2C
| |≤ C + − + x = < 2C.
kx Nx k x (k + 1)x M Nx
k=N k=N
Pi+p
Si χ es un carácter distinto de 1, entonces k=i χ(k) = 0, para todo i, la serie L(x, χ)
satisface las condiciones del lema y, por tanto:
Corolario 6.21 Si χ es un carácter distinto de 1, la serie L(x, χ) converge para x > 0 y define
una función continua en el intervalo (0, ∞).
108 CAPÍTULO 6. MÉTODOS ANALÍTICOS
2s+t π t R
lim (x − 1)ζK (x) = p hK .
x→1+0 m |∆|
Esta no es todavı́a nuestra fórmula definitiva, pues todavı́a tenemos que calcular el valor de
las series L(1, χ).
Sea 1 ≤ k ≤ p − 1 y pongamos
∞
X 1 X cn
= ,
nx nx
n≡k mod p n=1
donde
1 si n ≡ k mod p
cn =
0 si n 6≡ k mod p
Recordemos la fórmula
p−1
X
ri p si r ≡ 0 mod p
ξ =
0 si r 6≡ 0 mod p
i=0
donde ξ = ξp . Por tanto
Pp−1
i=0 ξ (k−n)i
cn =
p
Luego
Pp−1 P∞ Pp−1i=0 ξ
(n−k)i
L(x, χ) = χ(k)
k=1 n=1 pnx
P∞ ξ −ni
= p1 p−1
P Pp−1 ki
i=0 k=1 χ(k)ξ n=1 nx
6.3. EL NÚMERO DE CLASE DE LOS CUERPOS CICLOTÓMICOS 109
p−1
X
τi (χ) = χ(k)ξ ki
k=1
p−1
X p−1
X
χ(j)τj (χ) = χ(jk)ξ jk = χ(k)ξ k = τ1 (χ) = τ (χ)
k=1 k=1
Tenemos entonces
p−1 ∞
X ξ −nj X ξ −njp−1 ∞
1X τ (χ) X
L(x, χ) = τi (χ) = χ̄(j) .
p nx p nx
j=0 n=1 j=0 n=1
ξ −ni
Ahora podemos aplicar el lema 6.20 a la serie ∞
P
n=1 nx y deducir que esta serie es convergente
para x > 0 y define una aplicación continua en (0, ∞).
Pero nos interesa L(1, χ). Sustituyendo x por 1, obtenemos
p−1 ∞
X ξ −nj X ξ −njp−1 ∞
1X τ (χ) X
L(1, χ) = τj (χ) = χ̄(j) .
p n p n
j=0 n=1 j=0 n=1
p−1 ∞
X ξ −nj X ξ −njp−1 ∞
1X τ (χ) X
L(1, χ) = τj (χ) = χ̄(j) .
p n p n
j=1 n=1 j=1 n=1
zn
Es bien conocido que la serie de potencias ∞
P
n=1 n converge en la bola unidad y es el
desarrollo en serie de potencias de la función compleja − ln(1 − z). Como además esa serie,
también es convergente en ξ −k tenemos
p−1 p−1
1X τ (χ) X τ (χ)
L(1, χ) = − τj (χ) ln(1 − ξ −j ) = − χ̄(j) ln(1 − ξ −j ) = − Sχ .
p p p
j=1 j=1
donde
p−1
X
Sχ = χ̄(j) ln(1 − ξ −j )
j=1
110 CAPÍTULO 6. MÉTODOS ANALÍTICOS
Definición 6.22 Un carácter numérico χ se dice que es par si χ(−1) = 1. En caso contrario,
o sea, si χ(−1) = −1, se dice que es impar.
tenemos
p−1
X
Sχ = χ̄(j) ln(1 − ξ j )
j=1
luego
2Sχ = p−1 −j + ln(1 − ξ j )
P
j=1 χ(j)(ln(1 − ξ
p−1
= 2 j=1 χ(j) ln | 1 − ξ −j |
P
= 2 p−1 kπ
P
j=1 χ(j) ln 2 sin p
Haciendo lo mismo en caso de que χ sea impar tenemos
p−1
X
Sχ = − χ̄(j) ln(1 − ξ j )
j=1
6.4. DESCOMPOSICIÓN DE HK COMO PRODUCTO DE DOS FACTORES 111
Luego Pp−1
2Sk = j=1 χ(j)(ln(1
− ξ −j− ln(1 − ξ j )
2 p−1 π jπ
P
= j=1 χ(j)i 2 − p
−2i πp p−1
P
= j=1 χ(j)j
Por tanto
y, si χ es impar
p−1
k πiτ (χk ) X k
L(1, χ ) = χ (j)j.
p2
j=1
como p p−2
m |∆|Y
hK = s+t t L(1, χk )
2 πR
k=1
Pero, como todos los factores excepto L(1, χk ) son números reales positivos, tomando módulos
tendremos p p−2
m |∆|Y
hK = s+t t | L(1, χk ) |
2 πR
k=1
p−1
Pero además del Lema 5.4 sabemos que m = 2p y del Teorema ?? ∆ = (−1) 2 pp−2 . Por otro
lado, s = 0 y, por tanto, t = p−1
2 luego
p−2
pp/2 Y
hK = | L(1, χk ) |
2t−1 π t R
k=1
r p−1
Vamos a ver que los sumandos θ2kr ln | 1 − ξ g | pueden ser pareados. Pongamos t = 2 y
r = t + s. Entonces 2kt es múltiplo de p − 1 y, por tanto θ2kt = 1, luego
θ2kr = θ2ks .
r s
Además, g t = −1, luego 1 − ξ g = 1 − ξ −g , luego
r s
θ2kr ln | 1 − ξ g |= θ2ks ln | 1 − ξ g |
Por tanto
t
2k 2 X 2kr r
| L(1, χ ) |= √ | θ ln | 1 − ξ g || .
p
r=0
Ahora usamos la fórmula
√ p−1
πi p X 2k−1
L(1, χ2k−1 ) = χ̄ (j)j.
p2
j=1
donde F es el polinomio
p−2
X
F = gr X r .
r=0
Luego √
π p
2k−1
| L(1, χ ) |= 2 | F (θ2k−1 ) | .
p
Sustituyendo estos valores obtenidos en la fórmula
p
pp/2 Y
hK = t−1 t | L(1, χk ) |
2 πR
k=1
tendremos
pp/2 Qp−2
hK = 2t−1
| L(1, χk ) |
√ πtt R Qk=1
pp t−1
| L(1, χ2k ) | tk=1 | L(1, χ2k−1 ) |
Q
= 2t−1 π tR k=1
√ t Q Q t π √p
pp t−1 √2 Pt 2kr ln | 1 − ξ g r || 2k−1 ) |
= 2t−1√πt R k=1 ( p | r=0 θ k=1 p2 | F (θ
√ t t t−1 t Q
√p p π 2 p t−1 Pt 2kr ln | 1 − ξ g r ||
Qt 2k−1 ) |
=
pt−1 2t−1 π t p2t R k=1 | r=0 θ k=1 | F (θ
2kr ln | 1 − ξ g r ||
1 Qt−1 Pt Qt 2k−1 ) |
= pt−1 R k=1 | r=0 θ k=1 | F (θ
2t−1 t−1 t r 1 t
2kr ln | 1 − ξ g || 2k−1 ) |
Q P Q
= R k=1 | r=0 θ (2p)t−1 k=1 | F (θ
6.5. EL FACTOR H0 . 113
O sea
hK = h0 h∗
donde
t−1
2t−1 Y X r
h0 = k = 1t−1 | θ2kr ln | 1 − ξ g ||
R
r=0
y
1
h∗ = | F (θ)F (θ3 ) | F (θp−2 ) | .
(2p)t−1
El siguiente paso es demostrar que h0 y h∗ son números naturales.
6.5 El factor h0 .
Para simplificar la fórmula
t−1
2t−1 Y X r
h0 = k = 1t−1 | θ2kr ln | 1 − ξ g ||
R
r=0
pondremos
r
ar = ln | 1 − ξ g |
p−1
Obsérvese que at+r = ar (t = 2 ). Si ponemos
t−1 X
Y t−1
A= θ2kr ar
k=1 r=0
tenemos
2t−1
h0 = |A|.
R
Vamos a ver que (a0 + a1 + . . . + at−1 )A = ± det(ai+j ). θ2 es una raı́z primitiva t-ésima de
la unidad y la aplicación χk (θ2r ) = θ2rk es un carácter del grupo G generado por θ.
lσ (τ ) = δσ,τ
114 CAPÍTULO 6. MÉTODOS ANALÍTICOS
Para cada σ ∈ G sea Tσ : V → V el endomorfismo dado por (Tσ (f ))(τ ) = f (στ ) y sea
X
T = f (σ)Tσ ∈ V ∗
σ∈G
Para cada σ, τ ∈ G P
T (lσ )(τ ) = P
[ ω∈G f (ω)Tω (lσ )](τ )
= Pω∈G f (ω)lσ (ωτ )
= ω∈G f (ω)δσ,ωτ
(στ −1 )
= fP
= [ ω∈G f (σω −1 )lω ](τ )
Luego X
T (lσ ) = f (σω −1 )lω
ω∈G
Luego X
T (χ) = χ
ω∈G)f (ω)χ(ω
, o sea X
ω∈G)f (ω)χ(ω
es un valor propio de T . Usando las relaciones de los caracteres es fácil ver que los caracteres
forman una base de V , luego forman base de vectores propios de T , cuyos valores propios son
∗
P
ω∈G)f (ω)χ(ω (χ ∈ G , luego el determinante de A es el producto de estos valores propios.
(ai−j − aj )1≤i≤m−1,0≤j≤m−1
6.6. EL FACTOR H ∗ 115
Consideramos
η = −ξ (p+1)/2
que es una raı́z primitiva 2p-ésima de la unidad. Entonces
1 − ξk η k − η −k sen(kπ/p)
= η k−1 −1
= η k−1 .
1−ξ η−η sen(π/p)
6.6 El factor h∗
Sea B = F (θ)F (θ3 ) . . . F (θp−2 ), donde θ es una raı́z p − 1-ésima de la unidad. B ∈ Q[θ], y por
tanto es entero algebraico. Además, el conjugado de θk es θp−1−k , luego B̄ = B, o sea, B es
t−1
real. Por otro lado | B |= h(2p) h0 es racional, por tanto, B ∈ Z.
El siguiente paso consiste en demostrar que 2t−1 y pt−1 dividen a B, con eso quedarı́a
demostrado que h∗ es un número natural.
Visto lo visto, p es regular, precisamente si p no divide ni a h0 ni a h∗ . Pero se demuestra
el siguiente:
Por tanto sólo hay que estudiar si p divide a h∗ , o lo que es lo mismo, si pt divide a B.
Recordemos que gr denota el menor entero positivo congruente con g r módulo p. Como
g t ≡ −1 mod p,
gt+r + gr ≡ g t+r + g r = g r (g t + 1) ≡ 0 mod p
y, como 1 ≤ gr , gt+r < p, gr + gt+r = p. Eso implica que gr − gt+r es impar.
Ahora vamos a considerar congruencias módulo 2 en D. Como θt = −1, se tiene que para
cada k impar
F (θk ) = t−1 gr θkr + gt+r θk(m+r)
P
Pr=0
t−1
= r=0 (gr − gt+r )θkr
≡ t−1 kr mod 2
P
r=0 θ
116 CAPÍTULO 6. MÉTODOS ANALÍTICOS
Luego
t−1
X
k k
F (θ )(1 − θ ) ≡ θkr (1 − θk ) = 1 − θkt = 0 mod 2.
r=0
Por tanto
B(1 − θ)(1 − θ3 ) . . . (1 − θp−2 )
es múltiplo de 2m . Por otro lado p−2 r
Q
Qt−1 r=1 (1 − θ ) es la traza de 1 − θ en el anillo Z[θ], o sea es
p − 1. Similarmente r=1 (1 − θ ) = t. Luego (1 − θ)(1 − θ3 ) . . . (1 − θp−2 ) = 2. Por tanto B
2r
es múltiplo de 2t−1
Para demostrar que B es divisible por pt−1 , primero encontramos la descomposición de p
en producto de ideales primos en Z[θ]. Para eso nos resulta útil extender el lema 6.19.
Lema 6.28 Sean q primos racionales y m entero racional tal que q no divide a m. Sea f el
orden de q módulo m y hqi el ideal generado por q en D = Z[ξm ]. Entonces
hqi = p1 . . . pg
ϕ(m)
donde p1 , . . . , pg son ideales primos distintos de D, g = f y N (pi ) = q f , para todo i =
1, . . . , g.
La demostración de este lema es similar a la demostración del lema 6.19. Como p no divide
a p − 1 y p ≡ 1 mod (p − 1), el orden f de p módulo p − 1 es 1. Por tanto hpi es el producto
de ϕ(p − 1) ideales primos distintos de Z[θ], todos de norma p. Sea q uno de estos ideales.
Observando la demostración de 6.19 se ve que 0, 1, θ, . . . , θp−2 son incongruentes módulo q.
Como
p−2
Y
(1 − θk g) = 1 − g p−1 ≡ 0 mod p,
k=0
uno de los factores 1 − θk g divide a q. Pero sólo divide a uno de ellos pues, si q divide a
1 − θk g y a 1 − θr g, entonces θk g ≡ θr g mod g y, como g p−1 ≡ 1 mod p, entonces g p−1 ≡ 1
mod q. Lo que implica que θk ≡ θr mod q. Luego q divide a exactamente un factor 1− θk g. Si
d = (k, p − 1), entonces elevando la congruencia 1 ≡ θk g mod q a la (p − 1)/d-ésima tenemos
1 ≡ g (p−1)/d mod q. Por tanto 1 ≡ g (p−1)/d mod p, lo que implica que d = 1.
Como hay exactamente ϕ(p − 1) divisores primos de p y ϕ(p − 1) números 1 ≤ k ≤ p − 1
coprimos con p−1, cada uno de estos números es divisible exactamente por uno de los divisores
primos de p. Denotemos por qk el divisor primo de p que divide a 1 − θk g ((k, p − 1) = 1).
Entonces Y
hpi = qk .
(k,p−1)=1,1≤k<p
= 1 − g p−1
≡ 0 mod p.
6.7. CUANDO P NO DIVIDE A H ∗ 117
Luego F (θk )(1 − gθk ) es divisible por p. Por lo visto anteriormente, se tiene que F (θk ) es
divisible por p, si (k, p − 1) 6= 1 y, por pqk−1 en caso contrario. Por tanto F (θk ) es divisible por
pqk−1 , para todo k. Luego B es divisible por
Y
pt qk−1 = pt−1 .
(k,p−1)=1,1≤k<p
es divisible por p2 .
p−2
X
−1
F (θ )≡ (θ−1 g)r ≡ p − 1 ≡ −1 mod q−1
r=0
y, por tanto F (θ−1 ) no es divisible por q−1 , lo que implica que F (θ−1 )q−1 no es divisible por
−1 −1
q−1 . De ahá se deduce que F (θ p )q−1 = QF (θ q)k no es divisible por q−1 . Por tanto p divide a
k3−1
h∗ precisamente si q−1
2
Index
118
INDEX 119
medible, 61
Minkowski
constantes de, 79
Teorema de, 64
noetheriano
anillo, 26
norma, 7
de un ideal, 42
número
de clase, 75
pleno
retı́culo, 62
poliedro fundamental, 63
polinomio
caracterı́stico, 6
mı́nimo, 5
primo
regular, 86
principal
ideal fraccional, 75
ramificado
sobre, 46
rango