TeoriadeNumeros PDF

Teora de nmeros
Pedro Sancho de Salas

14-5-2013
MANUALES UEX
ndice general
5
1. Anillos de enteros
1.1. Introduccin . . . . . . . . . . . . . . . . . . .
1.2. Dominios de factorizacin nica . . . . . . .
1.3. Curvas y anillos de enteros . . . . . . . . . .
1.4. Puntos singulares de un anillo de nmeros
1.5. Anillos de Dedekind . . . . . . . . . . . . . .
1.6. Finitud del morfismo de desingularizacin
1.7. Apndice: Mtrica de la traza . . . . . . . .
1.8. Cuestionario . . . . . . . . . . . . . . . . . . .
1.9. Biografa de Dedekind . . . . . . . . . . . . .
1.10.Problemas . . . . . . . . . . . . . . . . . . . .
2. Fibras de los morfismos finitos
2.1. Introduccin . . . . . . . . . . . . . . . . . . .
2.2. Longitud de un mdulo . . . . . . . . . . . .
2.3. Multiplicidades y grados en dimensin cero
2.4. Puntos de las fibras de un morfismo finito .
2.5. Automorfismo de Frbenius . . . . . . . . .
2.6. Aplicaciones . . . . . . . . . . . . . . . . . . .
2.7. Cuestionario . . . . . . . . . . . . . . . . . . .
2.8. Biografa de Frbenius . . . . . . . . . . . .
2.9. Problemas . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Anillos de valoracin discreta

3.1. Anillos de valoracin y cierre entero . . . . . . . . .
3.1.1. Variedad de Riemann . . . . . . . . . . . . . .
3.2. Valores absolutos arquimedianos . . . . . . . . . . .
3.3. Valores absolutos no arquimedianos y valoraciones
3.4. Producto de valores absolutos de una funcin . . . .
3.5. Apndice: Variedades proyectivas . . . . . . . . . . .
3.6. Cuestionario . . . . . . . . . . . . . . . . . . . . . . . .
3.7. Biografa de Riemann . . . . . . . . . . . . . . . . . .
3.8. Problemas . . . . . . . . . . . . . . . . . . . . . . . . .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
10
14
15
17
20
22
23
24
28
.
.
.
.
.
.
.
.
.
29
29
29
31
32
35
36
38
39
43
.
.
.
.
.
.
.
.
.
45
45
48
50
53
54
55
58
59
64
MANUALES UEX
Introduccin
NDICE GENERAL
MANUALES UEX
4. Teoremas de la Teora de Nmeros

4.1. Divisores afines . . . . . . . . . . . . .
4.2. Divisores completos . . . . . . . . . .
4.3. Discriminante . . . . . . . . . . . . . .
4.4. Teorema de Riemann-Roch dbil . . .
4.5. Finitud de la clase de ideales . . . . .
4.6. Invertibles de un anillo de enteros .
4.7. Nmero de ideales de norma acotada
4.8. La funcin zeta . . . . . . . . . . . . .
4.8.1. Aplicaciones . . . . . . . . . . .
4.9. Cuestionario . . . . . . . . . . . . . . .
4.10.Biografa de Dirichlet . . . . . . . . .
4.11.Problemas . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
65
65
69
70
72
73
75
77
79
81
83
84
87
Bibliografa
91
ndice de trminos
93
La Teora de Nmeros, "the Queen of Mathematics", es la rama de las Matemticas

ms antigua y que modernamente usa conceptos y herramientas de las ms diversas
ramas de las Matemticas, como el lgebra, la Geometra, el Anlisis, la Variable
Compleja, etc. La Teora de Nmeros es la rama de las matemticas que estudia los
nmeros naturales y las soluciones de los sistemas de ecuaciones diofnticas (sistemas
de ecuaciones con coeficientes nmeros enteros). El estudiante conoce ya tpicos de la
Teora de Nmeros: El teorema fundamental de la Aritmtica (o teorema de factorizacin nica), la teora de congruencias, etc.
Para la resolucin de mltiples problemas enunciados slo en trminos de nmeros
naturales y para la resolucin de los sistemas de ecuaciones diofnticas, es necesario
considerar los anillos de nmeros enteros, que son los anillos generados por races
de un polinomio con coeficientes enteros. Por ejemplo, en el problema de qu nmeros
primos son suma de dos cuadrados perfectos conviene considerar el anillo de enteros de
Gauss Z[ i ]. Este anillo es un anillo eucldeo, por lo tanto es un dominio de factorizacin
nica.
Por desgracia, en general los anillos de nmeros enteros no son dominios de factorizacin nica. Dado un anillo de nmeros enteros, A , existen un nmero finito de
fracciones a n / b n (races de polinomios mnicos con coeficientes en Z) de modo que
B = A [a 1 / b 1 , . . . , a n / b n ] ya es casi un dominio de factorizacin nica: todo ideal de B
(principal o no) es igual a un producto de ideales primos de modo nico. Estos anillos,
B, son anillos localmente de ideales principales (como lo es Z). Para todo ello estudiaremos la dependencia entera y la desingularizacin. Estamos hablando, pues, de
los dominios de factorizacin nica y cmo resolver el problema de que un anillo de
nmeros enteros no sea dominio de factorizacin nica.
Para el estudio de un anillo de nmeros enteros A (como para el estudio de las ecuaciones diofnticas), conviene estudiar A / pA para todo primo p, es decir, conviene hacer
congruencias mdulo p. As el grupo de Galois de un polinomio P ( x) con coeficientes
en Z (o con coeficientes en un anillo de nmeros enteros A ) , queda determinado por
el grupo de Galois de las reducciones de P ( x) mdulo p (variando los primos p), que
es el grupo de Galois de un cuerpo finito, que es un grupo cclico elemental generado
por el automorfismo de Frbenius. Obtendremos mltiples aplicaciones de este hecho,
entre ellas el clculo del grupo de Galois de diversos polinomios, la Ley de reciprocidad
cuadrtica de Gauss, etc.
Para el estudio de un anillo de nmeros enteros A (y la clasificacin de estos anillos) se introducen el discriminante de A , el grupo Pic( A ) y el grupo de los invertibles
de A . El teorema de Hermite afirma que slo existe un nmero finito de cuerpos de
MANUALES UEX
Introduccin
Introduccin
MANUALES UEX
nmeros de discriminante fijo dado. El grupo de los ideales de A mdulo isomorfismos,

Pic A , es un grupo finito. Como consecuencia se obtiene que existe una extensin finita
de A , B, tal que todo ideal de A extendido a B es principal. Probamos que el grupo de
los invertibles de A , que son los elementos de norma 1, es un grupo finito generado
de torsin el grupo de las races de la unidad que estn en A.
Por ltimo introducimos la funcin zeta de Riemann, que es de gran importancia en
la Teora de nmeros en el clculo de la distribucin de los nmeros primos. Aplicamos
la funcin zeta de Riemann para determinar cundo dos extensiones de Galois son
isomorfas y para demostrar que un sistema de ecuaciones diofnticas tiene soluciones
complejas si y slo mdulo p admite soluciones enteras, para infinitos p.
La Teora de Curvas Algebraicas y la Teora de Nmeros son teoras estrecha y sorprendentemente relacionadas. Z y k[ x] son anillos eucldeos y ambos son dominios de
factorizacin nica. Los anillos de funciones algebraicas de las curvas algebraicas son
k[ x]-lgebras finitas (geomtricamente: toda curva se proyecta va un morfismo finito
en la
p recta afn). Los anillos de nmeros enteros, como veremos, son Z-lgebras finitas
(Z[ 2], Z[ i ] son ejemplos). Estamos hablando en ambos casos de anillos noetherianos
de dimensin de Krull 1. Entre estos anillos, en ambas teoras, destacarn los anillos
que son localmente anillos de ideales principales: los anillos de Dedekind. En la teora
de Galois se han estudiado anillos de dimensin de Krull cero, ahora estudiamos los
de dimensin de Krull 1.
Captulo 1
Anillos de enteros y anillos de
curvas algebraicas
1.1.
Introduccin
Veamos algunos ejemplos y problemas clsicos de la teora de nmeros.

En el segundo curso del Grado en Matemticas hemos probado que Z y k[ x] son
anillos eucldeos. Hemos demostrado que todo entero descompone en producto de nmeros primos, el algoritmo de Euclides, etc.
Calculemos las soluciones enteras de la siguiente ecuacin diofntica (es decir,
ecuacin con coeficientes enteros),
2000 x 266 y = 4
Primero calculemos mediante el algoritmo de Euclides, n, m Z, tales que
a. 2000 = 7 266 + 138. b. 266 = 1 138 + 128. c. 138 = 1 128 + 10. d. 128 = 12 10 + 8 5.
10 = 1 8 + 2. Luego, m.c.d (2000, 266) = 2.
Ahora, 2 = 10 1 8 = 10 1 (128 12 10) = 128 + 13 10 = 128 + 13(138 128) =
13 138 14 128 = 13 138 14(266 138) = 14 266 + 27 138 = 14 266 + 27(2000 7
266) = 27 2000 203 266.
Por tanto, una solucin particular de nuestro sistema de ecuaciones diofnticas
es x0 = 2 27 = 54, y0 = 2 203 = 406. Las soluciones de la ecuacin homognea
2000 x 266 y = 0 son las soluciones de 1000 x 133 y = 0, que son x = n 133, y = n 1000.
Todas las soluciones de nuestro sistema de ecuaciones diofnticas son
x = 54 + n 133
y = 406 + n 1000
MANUALES UEX
2000 n + 266 ( m) = m.c.d (2000, 266)
Veamos otros ejemplos de anillos (de nmeros enteros) eucldeos.

Recordemos que un anillo ntegro A se dice que es eucldeo si existe una aplicacin
: A \{0} N, que cumple
1.1. Introduccin
Anillos de enteros
1. (a) (ab), para todo a, b A \{0}.

2. Para cada a A y b A no nulo, existen c, r A , de modo que a = bc + r , y r es
nulo ( r ) < ( b).
El anillo de los enteros de Gauss, Z[ i ] := {a + bi C : a, b Z}, es eucldeo: Sea
: Z[ i ] N definido por ( z) = z z = a2 + b2 (con z = a + bi ). Como ( zz0 ) = ( z)( z0 ),
entonces ( z) ( zz0 ). Dados z, z0 Z[ i ], z0 , 0, sea c un entero de Gauss tal que ( z/ z0
c) < 1 (luego ( z z0 c) < ( z0 )). Entonces, z = z0 c + r , con r = z z0 c y ( r ) < ( z0 ).
Veamos que un nmero primo p Z descompone en suma de dos cuadrados perfectos si y slo si p no es irreducible en Z[ i ]: Si p = a2 + b2 entonces p = (a + bi ) (a bi ) y
p no es irreducible en Z[ i ]. Recprocamente, si p = z z0 , con z, z0 Z[ i ] y no invertibles,
entonces p2 = ( p) = ( z) ( z0 ), luego p = ( z) = ( z0 ) (si ( z) = 1, entonces z sera uno
de los invertibles 1, i ), luego p = a2 + b2 (donde z = a + bi ).
Veamos cundo el nmero primo p es irreducible en Z[ i ] = Z[ x]/( x2 + 1). Denotemos
F p = Z/ pZ. Z[ i ]/( p) = F p [ x]/( x2 + 1) es cuerpo si y slo si x2 + 1 no tiene races F p , es
decir, 1 no es un resto cuadrtico mdulo p. Sea Fp2 = {a2 , a Fp }, con p , 2.
El ncleo del epimorfismo Fp Fp2 , a 7 a2 es {1}. Por tanto, |Fp2 | = ( p 1)/2.
Luego, Fp2 es de ndice 2 y coincide con el ncleo del epimorfismo Fp {1}, a 7 a
MANUALES UEX
p1
2
p1
2
p1
Por tanto, 1 Fp2 si y slo si (1)

= 1 (o p = 2), que equivale a que 2 sea par,
que equivale a que p 1 mod 4. Con todo, p es irreducible en Z[ i ] si y slo si p 3
mod 4.
En conclusin, un nmero primo p Z descompone en suma de dos cuadrados
perfectos si y slo si p 1 mod 4 p = 2.
Sea n Z suma de dos cuadrados perfectos, n = a2 + b2 = (a + bi ) (a bi ). Sea p Z
un nmero primo, irreducible en Z[ i ]. Obviamente, p r divide a a+ bi si y slo si divide a
a bi . Por tanto, n = p2s n0 , con n0 no divisible por p y suma de dos cuadrados perfectos.
Si n es producto de nmeros enteros que son suma de cuadrados perfectos entonces es
suma de cuadrados perfectos. Por tanto, la condicin necesaria y suficiente para que
un nmero natural sea suma de dos cuadrados perfectos es que en la descomposicin
como producto de potencias de primos los exponentes de los primos congruentes con 3
mod 4 sean pares.
Resolvamos la ecuacin diofntica
a2 + b2 = 2178
Tenemos que calcular los enteros de Gauss a + bi Z[ i ], tales que N (a + bi ) = (a + bi )(a
bi ) = a2 + b2 = 2178 = 2 32 112 . Observemos que 3, 11 = 3 mod 4, luego son primos en
Z[ i ] y han de dividir a a + bi , es decir, a + bi = 3 11 (a0 + b0 i ) y N (a0 + b0 i ) = 2. Por tanto,
{(a0 , b0 ) = (1, 1), (1, 1), (1, 1), (1, 1)} y
{(a, b) = (33, 33), (33, 33), (33, 33), (33, 33)}.
Calculemos las soluciones racionales de la ecuacin anterior: Dados z, z0 Q[ i ],

N ( z) = N ( z0 ) si y slo existe z00 Q[ i ] tal que z = z0 z00 y N ( z00 ) = 1. El teorema 90 de
Anillos de enteros
1.1. Introduccin
Hilbert afirma que N ( z00 ) = 1 si y slo si z00 = ( c + di )/( c di ) =

N (a + bi ) = 2178 si y slo
a + bi (33 + 33 i ) {
c2 d 2
c2 + d 2
+ c22cd
i . Por tanto,
+d 2
c2 d 2
2 cd
33( c d )2
c2 d 2 + 2 cd
+
i
:
c,
d
Z}
=
{
+
33
i : c, d Z}
c2 + d 2 c2 + d 2
c2 + d 2
c2 + d 2
El anillo de nmeros enteros de Kummer, Z[ e2 i/3 ], es un anillo eucldeo: Se puede

argumentar igual que como hemos hecho con el anillo de nmeros enteros de Gauss.
Kummer, para probar el teorema de Fermat, es decir, para demostrar que la ecuacin x n + yn = z n no tiene soluciones enteras ( x, y , 0) hizo la descomposicin
P
siendo una raz primitiva n-sima de la unidad y trabaj con los nmeros a i i ,
a i Z. Es decir, trabaj en el anillo (concepto general introducido ms tarde por Dedekind) de enteros Z[]. Argumentando sobre la factorizacin nica, prob que la descomposicin anterior no es posible, con x, y, z Z no nulos. Dirichlet le hizo observar
a Kummer el error (cometido tambin por Cauchy y Lam) de suponer que todos los
anillos de enteros
eran dominios de factorizacin nica. Consideremos por sencillez
p
el anillo
p Z[ 5],
p tenemos dos descomposiciones en factores irreducibles 6 = 2 3 =
(1 + 5) (1 5). Para restaurar la factorizacin nica Kummer
introdujo los np
meros ideales (no diopuna definicin general). Si bien 1 + 5 y 2 son irreducibles
2
observemos
de 2. Es como
si
un m.c.d. ideal de
p hubiese
p
p que (1 + 5) es mltiplo
p
p
2 y 1 + 5. En la extensin Z
2, 2]ptenemos la factorizap[ 2 5] ,pZ[(1 +p 5)/ p
cin nica por irreducibles 6 = 2 ((1 + 5)/ 2) (1 5)/ 2 (si bien ya estamos
en anillos de enteros que no son los de partida). Dedekind observ que lo que estaba
definiendo Kummer era el concepto de ideal (recordemos que en los dominios de ideales principales (a 1 , . . . , a n ) = ( m.c.d.(a 1 , . . . , a n )), el concepto de ideal primo y que haba
probado que en tales anillos (dominios de Dedekind) todo ideal es producto de ideales
primos. Hilbert (con las torres de Hilbert) prob que todo anillo de enteros se mete
en otro anillo mayor donde sus ideales se hacen principales.
Sea x n + c 1 x n1 + + c n Z[ x] un polinomio irreducible y sean 1 , . . . , n sus races.
Consideremos Z[1 ] C y la norma N : Z[1 ] N, donde dado z Q[1 ], N ( z) es el
determinante de la homotecia de factor b en Q[1 ]. Si z = a + b1 , entonces N ( b) =
Q
i (a + b i ).
Resolver la ecuacin diofntica a n + c 1 a n1 b + + c n b n = c, equivale a encontrar
los z = a b1 Z[1 ], tales que N ( z) = c. Advirtamos, que en general, Z[1 ] no es
un dominio de factorizacin nica, ni sus invertibles son simplemente las races de la
unidad incluidas en Z[1 ].
Por desgracia los anillos de la Teora de Nmeros y los anillos de funciones algebraicas de las curvas algebraicas no son dominios de factorizacin nica. Tampoco son
anillos localmente de ideales principales, si lo fuesen seran localmente dominios de
factorizacin nica, pero pueden incluirse en anillos un poco ms grandes que s lo
son. Este captulo trata pues de los problemas de la factorizacin nica en estos anillos
y cmo resolverlos.
MANUALES UEX
x n = z n yn = ( z 1 y) ( z n y),
1.2. Dominios de factorizacin nica
1.2.
Anillos de enteros
Dominios de factorizacin nica
1. Definicin : Se dice que un A -mdulo M es noetheriano si todo submdulo de M

es finito generado. Se dice que un anillo A es noetheriano si es un A -mdulo finito
generado, es decir, si todo ideal es finito generado.
2. Proposicin : Sea M un A -mdulo y N M un submdulo. M es noetheriano
N y M / N son noetherianos.
Demostracin. La implicacin directa es obvia. Veamos la inversa:
Dado un submdulo N 0 M , tenemos que N 0 N = n 1 , . . . , n r es finito generado.
La imagen del morfismo N 0 M / N , n0 7 n0 es isomorfa a N 0 /( N 0 N ), que como es un
1, . . . , m
s . Por tanto,
submdulo de M / N , es finito generado. Por tanto, N 0 /( N 0 N ) = m
N 0 = n 1 , . . . , n r , m 1 , . . . , m s .

3. Corolario : M = M 0 M 00 es un A -mdulo noetheriano si y slo si M 0 y M 00 son
A -mdulos noetherianos.
Demostracin. Podemos considerar M 0 como submdulo de M : M 0 , M , m0 7 ( m0 , 0).

Como M / M 0 ' M 00 , ( m0 , m00 ) 7 m00 , concluimos por la proposicin anterior.
4. Teorema : Si A es un anillo noetheriano todo A -mdulo finito generado es noetheriano.
Demostracin. Si M = A n entonces es noetheriano por el corolario anterior. Si M =
P
m 1 , . . . , m n , entonces es isomorfo a un cociente de A n : A n M , (a i ) 7 i a i m i . Por
tanto, M es noetheriano.

p
3
x]/( x3 2) es un Z-mdulo generado por 1 , xp
, x 2 (de hecho es
5. Ejemplo : Z[ 2] ' Z[p
3
3
una base). Por tanto, Z[ 2] es un Z-mdulo noetheriano. Luego, Z[ 2] es un anillo
noetheriano.
MANUALES UEX
6. Teorema de la base de Hilbert : Si A es un anillo noetheriano entonces A [ x] es

un anillo noetheriano.
Demostracin. Sea I A [ x] un ideal. Tenemos que ver que es finito generado:
Sea J A el conjunto formado por los coeficientes de mximo grado de los p( x) I .
Es fcil ver que J es un ideal de A . Observemos para ello, que si p( x) = a 0 x n + +
a n , q( x) = b 0 x m + + b m I , entonces x m p( x) + x n q( x) = (a 0 + b 0 ) x n+m + I , luego si
a 0 , b 0 J entonces a 0 + b 0 J .
Por ser A noetheriano, J = ( b 1 , . . . , b r ) es finito generado. As, existen p 1 , . . . , p r I
cuyos coeficientes de grado mximo son b 1 , . . . , b r , respectivamente. Adems, multiplicando cada p i por una potencia conveniente de x, podemos suponer que gr p 1 = =
gr p r . Escribamos gr p i = m.
Dado p( x) = a 0 x n + + a n I . Supongamos que n m. Escribamos a 0 = 1 b 1 + +
P
P
r b r , con i A para todo i . Tenemos que p( x) i x nm p i I y gr( p( x) i x nm p i ) <
i
gr p( x).
Recurrentemente obtendr que
10
Anillos de enteros
I = ( p 1 , . . . , p r ) A[x] + I { A + Ax + + Ax m1 }
Ahora bien, I { A + Ax + + Ax m1 } es un A -mdulo finito generado ya que es submdulo de { A + Ax + + Ax m1 }, que es un A -mdulo noetheriano. En conclusin, si escribimos I { A + Ax + + Ax m1 } = q 1 , . . . , q s A , tenemos que I = ( p 1 , . . . , p r , q 1 , . . . , q s ).

7. Corolario : Si A es un anillo noetheriano entonces A [ x1 , . . . , xn ]/ I es un anillo noetheriano.
Demostracin. A [ x1 , . . . , xn ] = A [ x1 , . . . , xn1 ][ xn ] es noetheriano por el teorema de la
base de Hilbert y por induccin sobre n. Por tanto, el cociente A [ x1 , . . . , xn ]/ I es un
anillo noetheriano.

8. Definicin : Sea A un anillo ntegro. Un elemento propio (no nulo ni invertible) de
A se dice que es irreducible si no descompone en producto de dos elementos propios.
9. Proposicin : Un mdulo M es noetheriano si y slo si toda cadena creciente de
submdulos de M , M1 M2 M n estabiliza, es decir, para n >> 0, M n = M m ,
para todo m n.
Demostracin. Si M es noetheriano y M1 M2 M n una cadena creciente de
submdulos de M , consideremos el submdulo N := i M i = m 1 , . . . , m r . Para n >> 0,
m 1 , . . . , m r M n , luego M n N M n , es decir, N = M n y M n = M m , para todo m n.
Veamos el recproco. Sea N un submdulo, si N , 0 sea 0 , m 1 N y M1 := m 1 .
Si M1 , N , sea m 2 N \ M1 y M2 := m 1 , m 2 . As sucesivamente vamos construyendo
una cadena 0 M1 M2 M3 que por la propiedad exigida a M ha de ser finita.
,
Luego, para n >> 0, N = M n = m 1 , . . . , m n .
10. Teorema de descomposicin en factores irreducibles : Todo elemento propio

a A , de un anillo noetheriano ntegro, descompone en producto de factores irreducibles
a = p1 p n .
Demostracin. Empecemos probando que a todo elemento a A lo divide algn elemento irreducible: Si a no es irreducible entonces a = a 1 b 1 , a 1 , b 1 elementos propios.
Si a 1 no es irreducible, entonces a 1 = a 2 b 2 , con a 2 , b 2 elementos propios. As sucesivamente, vamos obteniendo una cadena (a) (a 1 ) (a 2 ) . . . que ha de ser finita por
,
MANUALES UEX
noetherianidad y terminar cuando a n sea irreducible.

Ahora ya, sea a 1 irreducible que divide a a y escribamos a = a 1 b 1 . Si b 1 no es
irreducible sea a 2 irreducible, que divide a b 1 y escribamos a = a 1 b 1 = a 1 a 2 b 2 . As
sucesivamente, vamos obteniendo la cadena (a) ( b 1 ) ( b 2 ) . . . que ha de ser finita
,
y terminar cuando b n sea irreducible. En tal caso a = a 1 a n1 b n es producto de

irreducibles.
11
Anillos de enteros
11. Definicin : Se dice que A es un dominio de factorizacin nica si todo elemento propio de A es igual a producto de irreducibles de modo nico, salvo factores por
invertibles y orden.
Z, k[ x] y en general los anillos eucldeos son dominios de factorizacin nica.
12. Lema de Euclides: Si A es d.f.u. y a A es irreducible, entonces (a) A es un

ideal primo.
Demostracin. Sea b c (a). Existe d A tal que b c = a d . Si consideramos las
descomposicin en factores irreducibles de b, c y d , y recordamos que A es d.f.u. ,
tenemos que a aparece (salvo multiplicacin por un invertible) en la descomposicin
en producto de factores irreducibles de b o c. Luego, a divide a b o c. En conclusin,
(a) A es un ideal primo.

13. Definicin : Un polinomio P ( x) A [ x] se dice primitivo cuando sus coeficientes no
admiten un divisor comn no invertible, es decir, si P ( x) = a Q ( x) con a A , entonces
a es invertible.
14. Lema : Sea A un dominio de factorizacin nica con cuerpo de fracciones . Sean
P ( x),Q ( x) A [ x] dos polinomios primitivos. Entonces,
1. P ( x) Q ( x) es primitivo.
2. Si existen a, b A tales que a P ( x) = b Q ( x), entonces b = a u, para cierto invertible u A . Por tanto, si P ( x) = ab Q ( x) en [ x], entonces ab = u A es un invertible
de A .
Demostracin. 1. Supongamos que P ( x) Q ( x) = a R ( x), con R ( x) A [ x] y a A no
invertible. Sea p A irreducible que divida a a. Haciendo cociente en A [ X ] por p A [ x],
tenemos que
MANUALES UEX
P ( x) Q ( x) = 0 ( A / pA )[ x]
lo cual es contradictorio, porque ( A / pA )[ x] es ntegro y P ( x) y Q ( x) son no nulos.
2. Sea p un elemento irreducible que divida a a. Haciendo cociente en A [ X ] por
p A [ x], tenemos que 0 = b Q ( x), luego b = 0 y p divide a b. Dividiendo a a y b a la
vez por p y repitiendo sucesivamente este proceso obtendremos que a divide a b, y por
simetra que b divide a a. Luego, b = a u, para cierto invertible u A .

15. Teorema : Sea A un dominio de factorizacin nica con cuerpo de fracciones .
Un polinomio no constante primitivo, P ( x) A [ x], es irreducible en A [ x] si y slo si es
irreducible en [ x].
Demostracin. Supongamos que P ( x) es irreducible en [ x]. Si P ( x) = P1 ( x) P2 ( x), con
P1 ( x), P2 ( x) A [ x], entonces como P ( x) es irreducible en [ x], uno de los dos polinomios
P1 ( x) o P2 ( x) ha de ser de grado cero, digamos P1 ( x) = a. Como P ( x) es primitivo P1 ( x) =
a A es invertible. En conclusin, P ( x), es irreducible en A [ x].
12
Anillos de enteros
Supongamos que P ( x) es irreducible en A [ X ]. Supongamos que P ( x) = P 1 ( x) P 2 ( x),

siendo P 1 ( x), P 2 ( x) [ x]. Eliminando denominadores podemos suponer que
P ( x) =
a
P 1 ( x) P 2 ( x)
b
con P1 ( x), P2 ( x) A [ x], primitivos. Por el lema 1.2.14,

ducible en A [ x] y hemos llegado a contradiccin.
a
b
= u A , luego P ( x) no es irre-

16. Teorema (Gauss): Si A es un dominio de factorizacin nica, entonces A [ x] tambin lo es.
Demostracin. Sea = A A \{0} el cuerpo de fracciones. Sea P ( x) A [ x] y escribamos
P ( x) = a Q ( x), con a A y Q ( x) A [ x] primitivo. Sea
e 1 ( x) Q
e r ( x)
Q ( x) = Q
la descomposicin en irreducibles en [ x]. Eliminando denominadores y sacando el

mximo comn divisor en los numeradores, es claro que se puede escribir:
Q ( x) =
con Q i ( x) =
ai e
bi Q i
b
Q 1 ( x) Q r ( x)
c
()
A [ x] primitivos.
en A [ x].
Unicidad: Si P ( x) = q 1 q l P1 ( x) P t ( x), entonces cada P i ( x) es irreducible en [ x]
por el teorema 1.2.15. Por tanto, los polinomios P i ( x) (una vez reordenados) difieren de
los Q i ( x) en invertibles de A . Tachando los trminos polinmicos comunes se obtiene,
salvo invertibles de A , la igualdad q 1 q l = p 1 p s , de donde salvo permutacin de
los factores es q i = p i (salvo invertibles de A ).

Por el teorema de Gauss, Z[ x1 , . . . , xn ] y k[ x1 , . . . , xn ] son dominios de factorizacin
nica.
17. Definicin : Se dice que un anillo es un dominio de ideales principales si es un
anillo ntegro y todos sus ideales son principales (es decir, generados por un elemento).
MANUALES UEX
Por el lema 1.2.14, bc = u A es un invertible de A .

Cada Q i ( x) es irreducible en A [ x] porque lo es en [ x] y por el teorema 1.2.15.
Descomponiendo a = p 1 p s en producto de irreducibles en A , se obtiene una descomposicin de
P ( x) = a Q ( x) = u p 1 p s Q 1 ( x) Q r ( x)
Evidentemente, los dominios de ideales principales son noetherianos.

18. Ejemplo : Los anillos eucldeos son d.i.p. As pues, Z y k[ x] son d.i.p.
19. Ejercicio : Probar que k[ x, y] no es d.i.p.
20. Lema de Euclides : Si un elemento irreducible de un dominio de ideales principales divide a un producto divide algn factor.
13
1.3. Curvas y anillos de enteros
Anillos de enteros
Demostracin. Si a es irreducible y divide a bc, entonces si a no divide a b implica que

(a, b) = (1). Por tanto, existen , A tales que a + b = 1. Luego ac + bc = c. De
esta igualdad obtenemos que a divide a c.

21. Teorema : Si A es d.i.p. entonces es d.f.u.
Demostracin. Por ser A noetheriano todo elemento propio del anillo es producto de
irreducibles. Veamos ahora la unicidad. Sean a = p 1 p n = q 1 q m dos descomposiciones en factores irreducibles. Por el Lema de Euclides, q 1 divide algn factor p i , luego coincide con l (salvo un factor invertible). Reordenando, podemos decir que p 1 = q 1
(salvo invertibles). Simplificando la igualdad original tenemos p 2 p n = q 2 q m (salvo invertibles). Razonando con q 2 como hemos hecho antes con q 1 llegamos a que q 2
coincide con algn p i . Reiterando el argumento, obtendremos que las dos descomposiciones son iguales (salvo orden y factores invertibles).
1.3.
Curvas y anillos de enteros
Sean A y B anillos. Dado un morfismo de anillos A B se dice que B es una

A -lgebra. Usualmente seguiremos la notacin (abusiva) A B, a 7 a.
1. Ejemplo : Todo anillo es una Z-lgebra de modo nico.
2. Ejemplo : R[ x, y] es una R-lgebra de modo natural.
Una A -lgebra B se dice que es de tipo finito si existen 1 , . . . , n B que generen
A -algebraicamente B, es decir, el morfismo
: A [ x1 , . . . , xn ] B, p( x1 , . . . , xn ) 7 p(1 , . . . , n )
es epiyectivo. Escribiremos B = A [1 , . . . , n ]. Ker A [ x1 , . . . , xn ] es un ideal, que estar generado por ciertos polinomios p 1 ( x1 , . . . , xn ), . . . , p r ( x1 , . . . , xn ). Por tanto,
B ' A [ x1 , . . . , xn ]/( p 1 ( x1 , . . . , xn ), . . . , p r ( x1 , . . . , xn ))
MANUALES UEX
Sea B = C[ x1 , . . . , xn ]/( p 1 ( x1 , . . . , xn ), . . . , p r ( x1 , . . . , xn )). Por los teoremas de los ceros

de Hilbert sabemos que
{(1 , . . . , n ) Cn : p 1 (1 , . . . , n ) = = p r (1 , . . . , n ) = 0} = Specmax B
(1 , . . . , n ) 7 ( x 1 1 , . . . , x n n )
3. Definicin : Diremos que Spec A es una curva ntegra afn si A es una k-lgebra
de tipo finito ntegra y de dimensin de Krull 1.
4. Ejemplos :
1. La recta afn A1 = Spec k[ x].
2. La circunferencia S 1 = Spec k[ x, y]/( x2 + y2 1).

3. El nodo Spec k[ x, y]/( y2 x2 + x3 ).
4. La cspide Spec k[ x, y]/( y2 x3 ).
14
Anillos de enteros
5. La curtica espacial Spec C[ x, y, z]/(1 + x2 + y2 + z2 , 2 + x2 y2 ).

Si B es una A -lgebra, entonces B es de modo natural un A -mdulo. Una A -lgebra
B se dice que es una A -lgebra finita si B es un A -mdulo finito generado. Ejemplo:
B := A [ x]/( x n + a 1 x n1 + + a n ) es una A -lgebra finita porque {1 , x , . . . , x n1 } es un
sistema generador del A -mdulo B (es ms, es una base). Se dice, tambin, que A
B es un morfismo finito si B es una A -lgebra finita (es decir, si B es un A -mdulo
finito generado). La composicin de morfismos finitos es finito. A A [1 , . . . , n ] es un
morfismo finito si y slo si 1 , . . . , n son enteros sobre A (es decir, existen polinomios
mnicos con coeficientes en A , p i ( x), tales que p i ( i ) = 0).
Si Spec A es una curva ntegra afn por el lema de normalizacin de Noether existe
un morfismo finito inyectivo k[ x] , A . Recprocamente, si A es un anillo ntegro y
existe un morfismo inyectivo finito k[ x] , A entonces A es una k-lgebra de tipo finito
ntegra y de dimensin de Krull 1.
5. Definicin : Diremos que un anillo ntegro A es un anillo de nmeros enteros si el
morfismo Z , A es inyectivo y finito.
p
p
6. Ejemplos : Z[ i ], Z[ e2 i/3 ], Z[ 5] y Z[ 2, i ] son anillos de nmeros enteros.
1.4.
Puntos singulares de un anillo de nmeros
1. Teorema : Sea O un anillo local noetheriano de dimensin de Krull mayor que cero
y sea m el ideal maximal de O . Entonces, m = ( t) es un ideal principal si y slo si O es
un dominio de ideales principales.
Demostracin. Veamos la implicacin directa. Dado a O no nulo, si a no es invertible entonces a = t a 1 . Si a 1 no es invertible, entonces (a) (a 1 ), porque si son iguales
,
a 1 = b a y a = tba, luego (1 tb)a = 0 y como 1 tb es invertible a = 0 y llegamos a contradiccin. Si a 1 no es invertible de nuevo a 1 = t a 2 y a = t2 a 2 . Si a 2 no es invertible,
de nuevo, (a 1 ) (a 2 ), y seguimos el proceso. Por noetherianidad, este proceso termina

2. Corolario : Sea O un anillo local noetheriano de dimensin de Krull mayor que
cero. Entonces, O es un dominio de ideales principales si y slo si dimO /m m/m2 = 1.
MANUALES UEX
y tendremos que a = t n c con c invertible.

Dado un ideal I = ( f 1 , . . . , f r ), tenemos que f i = t n i g i , con g i invertible, luego I =
n1
( t , . . . , t n r ) = ( t n ), donde n es el mnimo de los { n i }.
Observemos que t no es nilpotente, porque si no Spec O = Spec O /( t) = {m}. Ahora es
fcil probar que O es ntegro.
Demostracin. Si m/m2 = 0 entonces m = 0, por el lema de Nakayama; luego O sera un

cuerpo lo cual es contradictorio con las hiptesis. Por tanto, dimO /m m/m2 = 1 si y slo
si m es principal, por el lema de Nakayama. Por el teorema anterior concluimos.

3. Definicin : Sea A un anillo ntegro de dimensin de Krull 1. Diremos que un punto cerrado x Spec A es no singular si A x es un anillo de ideales principales. Diremos
que es singular si A x no es un anillo de ideales principales.
15
Anillos de enteros
4. Ejemplos : Z localizado en todo punto cerrado es un anillo de ideales principales.

k[ x] localizado en todo punto cerrado es un anillo de ideales principales.
En el estudio y clasificacin de la curvas algebraicas y anillos de enteros es fundamental determinar sus puntos singulares.
5. Definicin : Dado un ideal maximal m x A y f m x , denotaremos d x f := f
m x /m2 . Si A es una k-lgebra y A /mx = k, denotaremos f ( x) := f A /mx = k y d x f :=
x
f f ( x) m x /m2x .
6. Proposicin : Sea m x A un ideal maximal. Sea I = ( f 1 , . . . , f n ) A un ideal in x A / I el ideal de las clases de m x . Se cumple que
cluido en m x y sea m
x /m
2x = (m x /m2x )/ d x f 1 , . . . , d x f n
m
x = m x / I . Por tanto,
Demostracin. Observemos que m
x /m
2x = m x /( I + m2x ) = (m x /m2x )/ I = (m x /m2x )/ d x f 1 , . . . , d x f n
m

7. Ejemplo : Sea m := ( x1 1 , . . . , xn n ) k[ x1 , . . . , xn ] y p( x1 , . . . , xn ) k[ x1 , . . . , xn ].
P p
P
Entonces, p( x1 , . . . , xn ) = p() + i x ()( x i i ) + i j ( x i i )( x j ) h i j ( x). Por tanto,
i
d p( x1 , . . . , xn ) =
p
x1
() d x1 + +
p
xn
() d xn
y m /m2 es un k-espacio vectorial de base { d x i = x i i }.

Sea p( x, y) k[ x, y] y (, ) Specmax k[ x, y] tal que p(, ) = 0, entonces (, )
Specmax k[ x, y]/( p( x, y)).
(,) . Como
Denotemos la imagen de m(,) en k[ x, y]/( p( x, y)), m
MANUALES UEX
(,) /m
2(,) = (m(,) /m2(,) )/( d (,) p( x, y)),
m
(,) /m
2(,) = 1 si y slo si d (,) p( x, y) , 0.
dim m
Luego, O = ( k[ x, y]/( p( x, y)))(,) es un dominio de ideales principales si y slo si
p
(,) /m
2(,) = ( d (,) x), luego
d (,) p( x, y) , 0. Por ejemplo, si y (, ) , 0, entonces m
(,) O = ( x ).
m
8. Ejemplo : Spec C[ x, y]/( y2 x3 ) tiene un nico punto singular: el origen. En efecto,
0 = d (,) ( y2 x3 ) = 32 d (,) x + 2 d (,) y si y slo si (, ) = (0, 0).
9. Proposicin : Sea i : A , B un morfismo finito, x Spec A un punto cerrado y
i 1 ( x) = Spec(B/m x B) = { y1 , . . . , yr }. Si B/m x B es un anillo reducido (por ejemplo, cuando sea una A /m x -lgebra separable), entonces m x B yi = m yi B yi , para todo i ; si adems
m x A x es principal, entonces m yi B yi es principal.
y1 m
yr = 0. Por tanto, m y1 m yr m x B y
Demostracin. Como B/m x B es reducida, m
m yi B yi = m y1 m yr B yi mx B yi
Luego, m x B yi = m yi B yi .
16
Anillos de enteros
1.5. Anillos de Dedekind
10. Ejemplo : Consideremos el morfismo Z , Z[ x]. La frmula de la fibra prueba

que los ideales maximales de Z[ x] son de la forma m y = ( p, q( x)), con p primo y q( x)
irreducible mdulo p. Los ideales primos no maximales son de la forma ( q( x)) con
q( x) Z[ x] irreducible y el ideal minimal (0). Sea k( y) = Z[ x]/m y . Entonces, m y /m2y es
q( x)}. Sea f ( x) m y y denotemos las clases de m y
un k( y)-espacio vectorial de base { p,
y . Entonces, m
y /m
2y = (m y /m2y )/( d y f ( x)). Por tanto, dimk(y) (m
y /m
2y ) = 1 si
en Z[ x]/( f ( x)), m
y slo si d y f ( x) , 0.
p
p
2]
y
de
Spec
Z
[
5]:
Calculemos
los
puntos
singulares
de
Spec
Z
[
p
2
2
Z[ 2] = Z[ x]/( x 2) y x 2 es separable mdulo p, para todo p salvo p = 2. Observemos que Spec Z[ x]/(2p
, x2 2) = Spec Z[ x]/(2, x2 ) = {(2 , x )}.
y=
Por tanto, y Spec Z[ 2] es no singular, para todo y, salvo quizs cuando m
p
2
(2, 2). Ahora bien, para m y =p
(2, x), tenemos que d yp
( x 2) = d y 2 , 0, luego y es no
y = ( 2). En conclusin, Z[ 2] es no singular en todo punto
singular. Efectivamente, m
cerrado.
p
Z[ 5] = Z[ x]/( x2 5) y x2 5 es separable mdulo p, para todo primo p salvo p =
2 y p = 5. Observemos que Spec Z[ x]/(2, x2 5) = Spec Z[ x]/(2, ( x + 1)2 ) = {(2 , x + 1)} y
Spec Z[ x]/(5, x2 5) = Spec Z[ x]/(5, x2 ) = {(5 , x )}. Para m y = (2, x + 1), tenemos que d y ( x2
5) = d y (( x + 1)2 2( x + 1) 22 ) = 0 luego y es singular. Para m y = (5, x), tenemos
que
p
5],
con
d y ( x2 5)
=
d
(5)
,
0,
luego
y
es
no
singular.
En
conclusin,
y
Spec
Z
[
y
p
m y = (2, 5 + 1), es el nico punto singular.
11. Ejemplo : Sea m = e2 i/m C una raz primitiva m-sima de la unidad. Veamos
que Z[m ] es no singular al localizar en todo x Spec Z[m ]. Supongamos m = p n , con p
n
primo. El polinomio mnimo anulador de p n , p n ( x), que divide a x p 1, es separable
mdulo todo primo q , p. Por tanto, si m y Z[m ], cumple que m y Z = ( q), tenemos
que m y Z[ p n ] y = ( q), para q , p. El nico punto singular posible de Spec Z[ p n ] =
Spec Z[ x]/( p n ( x)), es m y = ( p, x 1). Observemos que
n1
) = (x p
n1
) p1 + + x p
n1
+1
Por tanto, Z[ x]/( p n ( x), x 1) = Z/( p) y ( p, x 1) = ( x 1). Luego, y es no singular.

Escribamos ahora, m = p n m0 , con m0 primo con p. Por induccin, podemos suponer que Z[m0 ] es no singular al localizar en todo punto. Observemos que Z[m ] =
Z[m0 ] Z Z[ p n ]. Observemos que p n es separable en fibras sobre Z[m0 ], salvo quizs
en los puntos y Spec Z[m0 ] tales que m y Z = ( p). Luego, los nicos puntos singulares
posibles de Z[m ] = Z[m0 , p n ] son de la forma m y0 = (m y , p n 1) (donde m y Z = ( p)).
Ahora bien, m y Z[m0 ] y = ( p). Luego, m y0 Z[m ] y0 = ( p, p n 1) = ( p n 1), e y0 es no
singular.
1.5.
MANUALES UEX
p n ( x) = p ( x p
Anillos de Dedekind
Se dice que un morfismo de anillos A B es entero si y slo si todos los elementos

de B son enteros sobre A . Dado un morfismo de anillos A B, el conjunto de elementos
de B enteros sobre A , es una A -sublgebra de B, entera sobre A , y se dice que es el
cierre entero de A en B. Un anillo ntegro A se dice que es ntegramente cerrado en su
cuerpo de fracciones, A = A A \0 , si el cierre entero de A en A es A .
17
Anillos de enteros
1. Proposicin: Los dominios de factorizacin nica son ntegramente cerrados en su

cuerpo de fracciones.
Demostracin. Sea A un dominio de factorizacin nica y su cuerpo de fracciones.
Sea ab una fraccin de modo que b no sea invertible y sea primo con a. Si ab es
entero sobre A , verifica una relacin
a
a
( )n + a 1 ( )n1 + . . . + a n = 0
b
b
Multiplicando por b n tendremos que a n es mltiplo de b, lo que contradice que b es
primo con a. En conclusin, los nicos elementos de enteros sobre A son los de A .

Si consideramos el nodo C y2 x2 + x3 = 0, la curva C que se obtiene de despegar
las dos ramas y el morfismo natural C C pegar las dos ramas, resulta que este
morfismo finito fuera del nodo es isomorfismo, luego es birracional (es decir, quitando un nmero finito conveniente de puntos en C y en C es un isomorfismo). Parece
claro intuitivamente que entre curvas no singulares en todo punto, no existen ms
morfismos finitos birracionales que los isomorfismos.
2. Teorema : Sea O un anillo ntegro local noetheriano de dimensin de Krull 1. Las
siguientes condiciones son equivalentes:
1. O es dominio de ideales principales.
2. O es ntegramente cerrado en su cuerpo de fracciones .
Demostracin. 1. 2. O es un dominio de ideales principales, luego dominio de factorizacin nica y es ntegramente cerrado en su cuerpo de fracciones.
2. 1. Sea f un elemento no nulo del ideal maximal m de O . O / f O es un anillo local
de dimensin cero. Por tanto, el ideal maximal m en O / f O es nilpotente. Es decir, existe
un n N de modo que mn f O . Sea n N mnimo verificando mn f O . Sea g mn1 de
f
modo que g f O . Basta probar que m = g O , pues tendramos que m es un O -mdulo
principal y O un dominio de ideales principales. Se verifica que
MANUALES UEX
g
f
m , O , tendremos que
g
f
m m. Por tanto,
g
f
pues
1
f
mn O . Si
g
f
es entero sobre O , as
O . Contradiccin porque g f O .

3. Lema : Sea S A un sistema multiplicativo. Si
f
0 N M M0 0
es una sucesin exacta de A -mdulos, entonces
fS
gS
0 NS M S M S0 0
es una sucesin exacta de A S -mdulos.
18
es un endomorfismo de m, que ha de
satisfacer el correspondiente polinomio caracterstico. Luego

g
f
g
f
Anillos de enteros
4. Proposicin :
M = 0.

1. Sea M un A -mdulo. Si M x = 0 para todo x Spec A , entonces
2. Sea f : M M 0 un morfismo de A -mdulos. Si f x : M x M x0 , f x ( m/ s) := f ( m)/ s es

un isomorfismo para todo x Spec A , entonces f es un isomorfismo.
3. Sean N, N 0 M dos A -submdulos. N = N 0 N x = N x0 para todo x Spec A .
Demostracin. 1. Dado m M , I := {a A : a m = 0} es un ideal de A . Tenemos que
m = 0 si y slo si I = A . Si I , A , sea m x un ideal maximal que contenga a I . Por
hiptesis, m/1 = 0 M x , luego existe a A \m x tal que a m = 0, lo cual contradice que
I mx .
2. Si f x es un isomorfismo para todo x, entonces Ker f x = 0 y Coker f x = 0, para todo
x. Por el lema anterior, (Ker f ) x = Ker f x y que (Coker f ) x = Coker f x . Por el punto 1.,
Ker f = 0 y Coker f = 0, es decir, f es un isomorfismo.
3. N = N 0 N = N + N 0 y N 0 = N + N 0 N x = ( N + N 0 ) x = N x + N x0 y N x0 =
( N + N 0 ) x = N x + N x0 , para todo x Spec A N x = N x0 , para todo x Spec A .

5. Lema : El cierre entero conmuta con localizaciones: Sea A B un morfismo de
anillos y S A un sistema multiplicativo. Sea A el cierre entero de A en B y A S el
cierre entero de A S en B S . Entonces,
A S = ( A )S
En particular, si A es ntegramente cerrado, entonces A S tambin.
Un anillo ntegro es ntegramente cerrado en su cuerpo de fracciones si y slo si es
localmente ntegramente cerrado.
Demostracin. A S ( A )S es un morfismo entero, luego ( A )S A S . Sea f A S . Existe
una relacin entera
con a i A y s i S
Sea s = s 1 s n (luego s S ). Multiplicando la relacin anterior por t n s n (para cierto

t S ) obtenemos una relacin entera de ts f con coeficientes en A , luego ts f A y
f ( A )S . Luego, ( A )S = A S .
Por ltimo, A = A A x = ( A ) x = A x para todo x Spec A .

6. Definicin : Un anillo A se dice que es un dominio de Dedekind si es noetheriano
de dimensin 1 e ntegramente cerrado en su cuerpo de fracciones.
MANUALES UEX
f n + a 1 / s 1 f n1 + + a n / s n = 0
7. Teorema : Un anillo noetheriano A ntegro es un dominio de Dedekind si y slo si

A x es un dominio de ideales principales, para todo punto cerrado x Spec A .
8. Ejemplos : Los anillos eucldeos son anillos de ideales principales, luego son dominios de Dedekind.
p
9. Ejemplos : C[ x, y]/( x2 + y2 1), Z[ 5] y Z[ e2 i/n ] son ejemplos de anillos de Dedekind.
19
Anillos de enteros
10. Teorema : Si A es un dominio de Dedekind e I A un ideal no nulo, entonces I se

escribe de modo nico como producto de ideales primos.
Demostracin. Sean { x1 , . . . , xm } = ( I )0 . Sabemos por el teorema y lema anteriores que
n
A x i es un anillo de ideales principales. Por tanto, I x i = p x ii A x i , para cierto n i N nico.
El ideal
pnx11 pnxmm
es igual localmente a I , luego son iguales globalmente. Evidentemente los exponentes
n i estn determinados porque lo estn al localizar.

Los anillos de Dedekind no son dominios de factorizacin nica en general, aunque
esta proposicin est muy cerca de afirmarlo.
1.6.
Finitud del morfismo de desingularizacin
1. Lema : Sea A un anillo noetheriano ntegro e ntegramente cerrado en su cuerpo de

una extensin finita separable de cuerpos y A el cierre entero
fracciones . Sea ,
. Entonces, el morfismo A , A , es finito y el cuerpo de fracciones de A es
.
de A en
, porque el cierre entero conmuta con localizaciones
Demostracin. A A \0 = A A \0 =
por 1.5.5. En particular, es el cuerpo de fracciones de A .

Como A es noetheriano, basta probar que A es un submdulo de un A -mdulo libre
finito generado.
, T2 ( f , g) = tr( f g), y sea iT2 :

su polaridad
Sea T2 la mtrica de la traza en
separable. Sea a 1 , . . . , a n A una base de
asociada, que es un isomorfismo por ser
como -espacio vectorial y w1 , . . . , wn su base dual. Si probamos que iT2 ( A )
Aw1 + + Awn concluimos.

P
) y
la envolvente de
,
Como ya sabemos, tr(a0 ) =
g(a0 ), siendo G = Homal g (
gG
. Dado a0 A , escribamos iT2 (a0 ) = 1 w1 + + n wn , con

Galois de la extensin
i . Tenemos que ver que i A . Se tiene que
X
i = iT2 (a0 )(a i ) = tr(a0 a i ) =
g(a0 a i )
MANUALES UEX
gG
Ahora bien, a0 a i A , luego g(a0 a i ) es entero sobre A y i es entero sobre A . Como A

es ntegramente cerrado en su cuerpo de fracciones entonces i A .

una
2. Teorema : Sea A un anillo de nmeros enteros de cuerpo de fracciones y
extensin finita de cuerpos de . Entonces, el cierre entero de A en , A , es un anillo de

y el morfismo A A es finito.
nmeros enteros de cuerpo de fracciones
Demostracin. El morfismo Z , A es finito, localizando en S := Z\0, tenemos que A S
es una Q-lgebra finita ntegra, luego es cuerpo. Por tanto, A S = y Q , es un
coincide con el cierre entero de Z
morfismo finito. Adems, el cierre entero de A en
en . Por el lema anterior, A es una Z-lgebra finita, luego es un anillo de enteros, de

. En particular, A A es un morfismo finito.
cuerpo de fracciones
20
Anillos de enteros
3. Definicin : Una extensin finita de Q, K , se dice que es un cuerpo de nmeros. El

cierre entero de Z en un cuerpo de nmeros K se dice que es el anillo de enteros de K .
4. Teorema: Sea A una k-lgebra de tipo finito ntegra de cuerpo de fracciones . Sea
, una extensin finita de cuerpos y A el cierre entero de A en . Entonces, A , A
es el cuerpo de fracciones A .
es un morfismo finito, y
Demostracin. Por el lema de normalizacin de Noether existe un morfismo
k[ x1 , . . . , xn ] , A
coincide con el cierre entero de k[ x1 , . . . , xn ]
finito e inyectivo. El cierre entero de A en
en , luego podemos suponer que A = k[ x1 , . . . , xn ].

. El cierre entero de A en contiene a A , luego si
Sea la envolvente normal de
demostramos que el cierre entero de A en es un A -mdulo finito generado tendremos
es una extensin normal de .
que A tambin lo es. As pues, podemos suponer que
G
. Sea
los elementos de
invariantes por G y denoSea G el grupo de Galois de
0
G
0
temos A al cierre entero de A en . A es un A -mdulo finito generado: Observemos

G es una extensin puramente inseparable. Sea car k = p > 0 y escribamos
que ,
pm
G
= [1 , . . . , r ]. Existe m >> 0 de modo que i = k( x1 , . . . , xn ), para todo i . EsP
P
pm
cribamos i = p i / q i , con p i = i j x j k[ x1 , . . . , xn ] y q i = i j x j k[ x1 , . . . , xn ]. Sea
j
j
p
p
m
p
p
p
m
pm
0
0 pm
0
pm
p
i j ,
i j ) i j y := k (
x1 , . . . ,
xn ). Se verifica que i = p p i / q i 0 ,
k := k(
G 0 . Podemos suponer que
G = 0 . Ahora bien, el cierre entero k[ x1 , . . . , xn ]
luego
p
p
p
p
m
0 pm
0
0 pm
pm
x1 , . . . ,
xn ], pues k [
x1 , . . . , p xn ] es un k[ x1 , . . . , xn ]-mdulo finien es k [
to generado y es ntegramente cerrado (porque es un anillo de polinomios). Hemos
concluido.
, luego A es un A 0 -mdulo finito generado
A coincide con el cierre entero de A 0 en
G ,
es una extensin separable (de Galois). Por tanto,
por el lema anterior, pues
A es un A -mdulo finito generado.
1. A , es el anillo de una curva afn ntegra (resp. un anillo de nmeros enteros) no

y el morfismo A A es finito.
singular de cuerpo de fracciones
= , dado x Spec A , el morfismo A x A x es isomorfismo si y slo si x es no
2. Si
singular. Adems, el conjunto de puntos singulares de A es un conjunto finito de
puntos cerrados de Spec A . Diremos que A A es el morfismo de desingularizacin y que A es la desingularizacin de A .
MANUALES UEX
5. Teorema : Sea A el anillo de una curva afn ntegra (resp. un anillo de nmeros
una extensin finita de cuerpos y A
enteros). Sea el cuerpo de fracciones de A , ,
el cierre entero de A en . Entonces,
Demostracin. 1. Es consecuencia de 1.6.2 y 1.6.4.

= . Luego ( A / A ) A \0 =
2. A es un A -mdulo finito generado. Adems, A A \0 = A A \0 =
0 y existe f A \0 tal que ( A / A ) f = 0. Por tanto, ( A / A ) x = 0 para todo x ( f )0 . Como ( f )0

es un nmero finito de puntos cerrados, entonces sop( A / A ) := { x Spec A : ( A / A ) x , 0}
21
1.7. Apndice: Mtrica de la traza
Anillos de enteros
es un conjunto finito. Basta ver entonces que el soporte de A / A , sop( A / A ) es el conjunto

de los puntos singulares de Spec A .
Si x es un punto no singular, entonces A x es dominio de ideales principales luego
ntegramente cerrado. Por tanto, A x = A x . Recprocamente, si A x = A x , entonces A x es
ntegramente cerrado, pues lo es A y por tanto A x (por 1.5.5).

p
6. Ejemplo
: Calculemos
la desingularizacin de Z[ n]. Si n = m2 n0 , entonces
p
p
p Z[ n] =
p
0
0
Z[ m n ] Z[ n ] y la desingularizacin de Z[ n] coincide con la de Z[ n0 ]. As
p
pues, podemos suponer que n carece de factores cuadrticos. Z[ n] = Z[ x]/( x2 n) y
x2 n es separable mdulo p, salvo para p = 2 y p divisor de n. Por tanto, los nicos
puntos singulares posibles son m y = ( p, x), con p divisor de n, y m y = (2, x + 1) cuando n es impar. Observemos, en el primer caso, que que (Z[ x]/( x2 n, x) y = Z/2Z, luego
m y (Z[ x]/( x2 n, x)) y = ( x) e y es no singular. Veamos que sucede cuando m y = (2, x + 1).
Observemos que
d y ( x2 n) = d y (( x + 1)2 2 ( x + 1) 2
n1
n1
) = (
)d y 2 = 0
2
2
1
si y slo si n
od 4. Por tanto, y es singular, si n = 1 mod 4.
2 es par, es decir, n = 1 m
Supongamos que esta es la situacin. Observemos que
x+1 2 x+1 n1
)
=0
2
2
4
p
p
n+1
Por tanto, 2 es entero sobre Z, luego sobre Z[ n]. Si A es el cierre entero de
p
p
p pn+1
n+1
Z[ n], entonces A contiene a Z[ n, 2 ] = Z[ 2 ]. Los nicos puntos singulares
(
de Z[
p
n+1
2 ],
1
estn sobre la fibra de (2). Ahora bien, el polinomio y2 y n
4 , que anula
n+1
a 2 , es separable mdulo 2. En conclusin, Z[

p
es igual al cierre entero de Z[ n].
n+1
2 ]
es no singular en todo punto y
MANUALES UEX
7. Ejemplo : Spec C[ x, y]/( y2 x3 ) es no singular en todo punto, salvo en el origen.

Observemos que
( y/ x)2 x = 0
Por tanto, y/ x es entero sobre C[ x, y]/( y2 x3 ). Luego,
(C[ x, y]/( y2 x3 ))[ y/ x] = C[ x, y/ x]/(( y/ x)2 x)
est incluido en el cierre entero de C[ x, y]/( y2 x3 ). Ahora bien, C[ x, y/ x]/(( y/ x)2 x) es
no singular en todo punto, luego es el cierre entero de C[ x, y]/( y2 x3 ).
1.7.
Apndice: Mtrica de la traza
Dada una k-extensin finita de cuerpos K separable (o una k-lgebra finita separable), existe una k-extensin de Galois que la trivializa, es decir,
n
K k =
22
Anillos de enteros
1.8. Cuestionario
Explcitamente, si { g 1 , . . . , g n } = Homkal g (K, ) tenemos que

n
K k , a 7 ( g 1 (a) , .n. ., g n (a) )

es un isomorfismo de -lgebras.
Dado a K , consideremos el endomorfismo k-lineal
h a : K K, h a ( b) := a b
Por cambio, de cuerpo base k , , tenemos el endomorfismo -lineal
h a 1 : K k K k , ( h a 1)( b ) := a b = h a1 ( b )
Si la matriz de h a en una base { e i } es (a i j ) la matriz de h a 1 es (a i j ). Por lo tanto,
n
tr( h a ) = tr( h a 1). Ahora bien, recordemos que va el isomorfismo K k = ,
n
a1 = ( g 1 (a), . . . , g n (a)), luego la matriz de h a 1 = h a1 en la base estndar de
es la matriz diagonal de coeficientes g i (a). Por tanto,
X
tr ( h a ) = g i (a)
i
Definamos en K la mtrica de la traza:
T2 : K K K, T2 (a, a0 ) := tr( h aa0 )

Resulta que esta mtrica es no singular, es decir, el determinante de la matriz a T2 es
no nulo: Basta verlo por cambio de cuerpo base k , , para la -lgebra trivial n . Si
consideramos la base estndar de n , la matriz asociada a T2 es igual a la matriz Id,
que tiene obviamente determinante no nulo.
Por lo tanto, la polaridad asociada
iT2 : K K := Homk (K, k), a 7 iT2 (a), donde iT2 (a)(a0 ) := T2 (a, a0 )
1.8.
Cuestionario
1. Es Spec C[ x, y] una curva algebraica ntegra?

2. Es Spec C( x)[ y] una curva C( x)-algebraica ntegra?
3. Es Z[ x] un anillo de nmeros enteros?
MANUALES UEX
es un isomorfismo k-lineal.
4. Es Z[1/2] un anillo de nmeros enteros?

p p
p
7
5. Es Z[ i 3 + 5, 3] un anillo de nmeros enteros?
6. Sea O un dominio de ideales principales Es O un dominio de factorizacin nica?
23
1.9. Biografa de Dedekind
Anillos de enteros
7. Calcular los puntos singulares de Spec C[ x, y]/( y2 x3 ).

8. Calcular los puntos singulares de Spec C[ x, y]/( y2 x2 + x3 ).
9. Calcular los puntos singulares de Spec C[ x, y, z]/(1 + x2 + y2 + z2 , 2 + x2 y2 ).
p
10. Es Z[ 5] un anillo de Dedekind?
11. Es (5) Z[ e2 i/5 ] un ideal primo? Descomponer (5) como potencia de ideales
primos.
p
p
12. Es 2 Z[ 5] irreducible?
Es (2) un ideal primo? Es Z[ 5] un anillo de
p
Dedekind?Es Z[ 5] un dominio de factorizacin nica?
p
p
de 6 como producto
13. Probar que 2 3 = (1 + p5) (1 5) son dos factorizaciones
p
de irreducibles de Z[ 5]. Descomponer
en
Z
[
5]
como
producto
de ideales
p
p
primos los ideales (2), (3), (1 + 5) y (1 5). Descomponer como producto de
ideales primos el ideal (6).
14. Calcular la desingularizacin de C[ x, y]/( y2 x2 + x3 ).
1.9.
Biografa de Dedekind
MANUALES UEX
DEDEKIND BIOGRAPHY
24
Richard Dedekinds father was a professor at the Collegium Carolinum in Brunswick. His mother was the daughter of a professor who also worked at the Collegium Carolinum. Richard
was the youngest of four children and never married. He was to
live with one of his sisters, who also remained unmarried, for
most of his adult life.
He attended school in Brunswick from the age of seven and at
this stage mathematics was not his main interest. The school,
Martino-Catharineum, was a good one and Dedekind studied
science, in particular physics and chemistry. However, physics
became less than satisfactory to Dedekind with what he considered an imprecise logical structure and his attention turned
towards mathematics.
The Collegium Carolinum was an educational institution between a high school
and a university and he entered it in 1848 at the age of 16. There he was to receive
a good understanding of basic mathematics studying differential and integral calculus, analytic geometry and the foundations of analysis. He entered the University of
Gttingen in the spring of 1850 with a solid grounding in mathematics.
Gttingen was a rather disappointing place to study mathematics at this time, and
it had not yet become the vigorous research centre that it turned into soon afterwards.
Mathematics was directed by M.A. Stern and G. Ulrich. Gauss also taught courses in
mathematics, but mostly at an elementary level. The physics department was directed
by Listing and Wilhelm Weber. The two departments combined to initiate a seminar
which Dedekind joined from its beginning. There he learnt number theory which was
the most advanced material he studied. His other courses covered material such as
the differential and integral calculus, of which he already had a good understanding.
The first course to really make Dedekind enthusiastic was, rather surprisingly, a course on experimental physics taught by Weber. More likely it was Weber who inspired
Dedekind rather than the topic of the course.
In the autumn term of 1850, Dedekind attended his first course given by Gauss. It
was a course on least squares:
... fifty years later Dedekind remembered the lectures as the most beautiful he had
ever heard, writing that he had followed Gauss with constantly increasing interest
and that he could not forget the experience.
Dedekind did his doctoral work in four semesters under Gausss supervision and
submitted a thesis on the theory of Eulerian integrals. He received his doctorate from
Gttingen in 1852 and he was to be the last pupil of Gauss. However he was not well
trained in advanced mathematics and fully realised the deficiencies in his mathematical education.
At this time Berlin was the place where courses were given on the latest mathematical developments but Dedekind had not been able to learn such material at
Gttingen. By this time Riemann was also at Gttingen and he too found that the
mathematical education was aimed at students who were intending to become secondary school teachers, not those with the very top abilities who would go on to research
careers. Dedekind therefore spent the two years following the award of his doctorate
learning the latest mathematical developments and working for his habilitation.
In 1854 both Riemann and Dedekind were awarded their habilitation degrees within a few weeks of each other. Dedekind was then qualified as a university teacher
and he began teaching at Gttingen giving courses on probability and geometry.
Gauss died in 1855 and Dirichlet was appointed to fill the vacant chair at Gttingen. This was an extremely important event for Dedekind who found working with
Dirichlet extremely profitable. He attended courses by Dirichlet on the theory of numbers, on potential theory, on definite integrals, and on partial differential equations.
Dedekind and Dirichlet soon became close friends and the relationship was in many
ways the making of Dedekind, whose mathematical interests took a new lease of life
with the discussions between the two. Bachmann, who was a student in Gttingen at
this time wrote:
... recalled in later years that he only knew Dedekind by sight because Dedekind
always arrived and left with Dirichlet and was completely eclipsed by him.
Dedekind wrote in a letter in July 1856:
What is most useful to me is the almost daily association with Dirichlet, with whom
I am for the first time beginning to learn properly; he is always completely amiable
towards me, and he tells me without beating about the bush what gaps I need to fill
and at the same time he gives me the instructions and the means to do it. I thank him
already for infinitely many things, and no doubt there will be many more.
Dedekind certainly still continued to learn mathematics at this time as a student
would by attending courses, such as those by Riemann on abelian functions and elliptic
functions. Around this time Dedekind studied the work of Galois and he was the first
MANUALES UEX
Anillos de enteros
25
MANUALES UEX
26
Anillos de enteros
to lecture on Galois theory when he taught a course on the topic at Gttingen during
this period.
While at Gttingen, Dedekind applied for J L Raabes chair at the Polytechnikum
in Zrich. Dirichlet supported his application writing that Dedekind was an exceptional pedagogue. In the spring of 1858 the Swiss councillor who made appointments
came to Gttingen and Dedekind was quickly chosen for the post. Dedekind was appointed to the Polytechnikum in Zrich and began teaching there in the autumn of
1858.
In fact it was while he was thinking how to teach differential and integral calculus,
the first time that he had taught the topic, that the idea of a Dedekind cut came
to him. He recounts that the idea came to him on 24 November 1858. His idea was
that every real number r divides the rational numbers into two subsets, namely those
greater than r and those less than r. Dedekinds brilliant idea was to represent the
real numbers by such divisions of the rationals.
Dedekind and Riemann travelled together to Berlin in September 1859 on the occasion of Riemanns election to the Berlin Academy of Sciences. In Berlin, Dedekind
met Weierstrass, Kummer, Borchardt and Kronecker.
The Collegium Carolinum in Brunswick had been upgraded to the Brunswick Polytechnikum by the 1860s, and Dedekind was appointed to the Polytechnikum in 1862.
With this appointment he returned to his home town and even to his old educational
establishment where his father had been one of the senior administrators for many
years. Dedekind remained there for the rest of his life, retiring on 1 April 1894. He
lived his life as a professor in Brunswick:
... in close association with his brother and sister, ignoring all possibilities of change or attainment of a higher sphere of activity. The small, familiar world in which he
lived completely satisfied his demands: in it his relatives completely replaced a wife
and children of his own and there he found sufficient leisure and freedom for scientific
work in basic mathematical research. He did not feel pressed to have a more marked
effect in the outside world: such confirmation of himself was unnecessary.
After he retired, Dedekind continued to teach the occasional course and remained
in good health in his long retirement. The only spell of bad health which Dedekind
had experienced was 10 years after he was appointed to the Brunswick Polytechnikum when he had a serious illness, shortly after the death of his father. However he
completely recovered and, as we mentioned, remained in good health.
Dedekind made a number of highly significant contributions to mathematics and
his work would change the style of mathematics into what is familiar to us today.
One remarkable piece of work was his redefinition of irrational numbers in terms of
Dedekind cuts which, as we mentioned above, first came to him as early as 1858. He
published this in Stetigkeit und Irrationale Zahlen in 1872. In it he wrote:
Now, in each case when there is a cut ( A 1 , A 2 ) which is not produced by any rational
number, then we create a new, irrational number a, which we regard as completely
defined by this cut; we will say that this number a corresponds to this cut, or that it
produces this cut.
As well as his analysis of the nature of number, his work on mathematical induction, including the definition of finite and infinite sets, and his work in number theory,
particularly in algebraic number fields, is of major importance.

Dedekind loved to take his holidays in Switzerland, the Austrian Tyrol or the Black
Forest in southern Germany. On one such holiday in 1874 he met Cantor while staying
in the beautiful city of Interlaken and the two discussed set theory. Dedekind was
sympathetic to Cantors set theory as is illustrated by this quote from Was sind und
was sollen die Zahlen (1888) regarding determining whether a given element belongs
to a given set:
In what way the determination comes about, or whether we know a way to decide
it, is a matter of no consequence in what follows. The general laws that are to be
developed do not depend on this at all.
In this quote Dedekind is arguing against Kroneckers objections to the infinite
and, therefore, is agreeing with Cantors views.
Among Dedekinds other notable contributions to mathematics were his editions
of the collected works of Peter Dirichlet, Carl Gauss, and Georg Riemann. Dedekinds
study of Dirichlets work did, in fact, lead to his own study of algebraic number fields,
as well as to his introduction of ideals. Dedekind edited Dirichlets lectures on number
theory and published these as Vorlesungen ber Zahlentheorie in 1863. It is noted
that:
Although the book is assuredly based on Dirichlets lectures, and although Dedekind himself referred to the book throughout his life as Dirichlets, the book itself was
entirely written by Dedekind, for the most part after Dirichlets death.
It was in the third and fourth editions of Vorlesungen ber Zahlentheorie, published in 1879 and 1894, that Dedekind wrote supplements in which he introduced the
notion of an ideal which is fundamental to ring theory. Dedekind formulated his theory
in the ring of integers of an algebraic number field. The general term ring does not
appear, it was introduced later by Hilbert.
Dedekind, in a joint paper with Heinrich Weber published in 1882, applies his
theory of ideals to the theory of Riemann surfaces. This gave powerful results such as
a purely algebraic proof of the Riemann-Roch theorem.
Dedekinds work was quickly accepted, partly because of the clarity with which he
presented his ideas and partly since Heinrich Weber lectured to Hilbert on these topics
at the University of Knigsberg. Dedekinds notion of ideal was taken up and extended
by Hilbert and then later by Emmy Noether. This led to the unique factorisation of
integers into powers of primes to be generalised to ideals in other rings.
In 1879 Dedekind published ber die Theorie der ganzen algebraischen Zahlen
which was again to have a large influence on the foundations of mathematics. In the
book Dedekind:
... presented a logical theory of number and of complete induction, presented his
principal conception of the essence of arithmetic, and dealt with the role of the complete system of real numbers in geometry in the problem of the continuity of space.
Among other things, he provides a definition independent of the concept of number for
the infiniteness or finiteness of a set by using the concept of mapping and treating the
recursive definition, which is so important to the theory of ordinal numbers.
Dedekinds brilliance consisted not only of the theorems and concepts that he studied but, because of his ability to formulate and express his ideas so clearly, he intro-
MANUALES UEX
Anillos de enteros
27
1.10. Problemas
Anillos de enteros
duced a new style of mathematics that been a major influence on mathematicians ever
since. As Edwards writes:
Dedekinds legacy ... consisted not only of important theorems, examples, and concepts, but a whole style of mathematics that has been an inspiration to each succeeding generation.
Many honours were given to Dedekind for his outstanding work, although he always remained extraordinarily modest regarding his own abilities and achievements.
He was elected to the Gttingen Academy (1862), the Berlin Academy (1880), the Academy of Rome, the Leopoldino-Carolina Naturae Curiosorum Academia, and the Acadmie des Sciences in Paris (1900). Honorary doctorates were awarded to him by the
universities of Kristiania (Oslo), Zurich and Brunswick.
Article by: J.J. OConnor and E.F. Robertson (http://www-history.mcs.st-and.ac.uk/
Biographies/).
1.10.
Problemas
1. Probar que todo anillo de Dedekind que tenga slo un nmero finito de ideales
primos es un anillo de ideales principales.
2. Sea A un dominio de Dedekind e 0 , I A un ideal. Probar que A / I es un anillo
de ideales principales.
3. Probar que en un anillo de Dedekind todos los ideales estn generados por dos
elementos.
4. Sea A = C[ x1 , . . . , xn ]/( p 1 , . . . , p n1 ) y Specmax A . probar que A es un dominio
p
de ideales principales si y slo si ( x i ()) i j es una matriz de rango n 1.
j
p
p
5. Probar que Z[ 5] es un anillo de Dedekind. Sea m = (2, 1 + 5). Probar que
m2 = (2) pero que m no es principal.
p
p
6. Descomponer 33 + 11 7 en producto de elementos irreducibles de Q[ 7].
MANUALES UEX
7. Es
p
3+2p 6
1 6
entero sobre Z?
8. Sea p( x, y) = 0 una curva ntegra tal que el origen es un punto singular de multiplicidad k (es decir, p( x, y) ( x, y)k \( x, y)k+1 ). Supongamos que p(0, y) = yk q( y),
con q(0) , 0 (es decir, x = 0 corta transversalmente a la curva en el origen). Probar que y/ x es entero sobre el anillo (C[ x, y]/( p( x, y))) q(y) , y que
(C[ x, y]/( p( x, y)))[ y/ x] = C[ x, y/ x]/( r ( x, y/ x)),
donde x k r ( x, y/ x) = p( x, y).
9. Desingularizar la curva y2 y3 + x4 = 0 en un entorno del origen.
28
Captulo 2
Fibras de los morfismos finitos
2.1.
Introduccin
Si C = Spec A es una curva, por el lema de normalizacin de Noether, existe un

morfismo finito C A1 . Equivalentemente, si A es un anillo de nmero, el morfismo
Z , A es un morfismo finito, o geomtricamente, Spec A Spec Z es un morfismo
finito. Para el estudio de las curvas y anillos de nmeros, conviene estudiar las fibras
de los morfismo finitos, dnde stos ramifican, cules son las multiplicidades con los
que aparecen los puntos en las fibras, etc.
Sea p( x) Z[ x] y consideremos el morfismo finito : Spec Z[ x]/( p( x)) Spec Z. El
estudio de la fibra del punto genrico g de Spec Z (p g = (0)) es el estudio de Q[ x]/( p( x))
(que equivale al estudio de p( x) Q[ x]). El estudio de la fibra del punto cerrado p
de Spec Z (m p = ( p)) es el estudio de F p [ x]/( p( x)) (que equivale al es estudio de p( x)
F p [ x]).
Sean 1 , . . . , n las races de p( x) (que suponemos distintas). Consideremos el anillo
de nmeros A = Z[1 , . . . , n ] y el morfismo finito Spec A Spec Z. La fibra del punto
genrico de Spec Z es el espectro de Q[1 , . . . , n ]. Observemos que
La componente conexa de un punto x (que no sea de ramificacin) de la fibra de un

punto cerrado p es el espectro del cuerpo de descomposicin de p( x) F p [ x]. El grupo
de Galois, H , de la componente conexa de un punto x de la fibra de p se identifica con
el subgrupo de G formado por los automorfismos que dejan fijo a x. Por la teora de
cuerpos finitos, H es un grupo cclico generado por el automorfismo de Frbenius F
(F (a ) = a p ). El elemento de G correspondiente a F , lo denotamos F p y decimos que es
el automorfismo de Frobenius en p. Los automorfismos F p determinan G .
2.2.
MANUALES UEX
AutQal g Q[1 , . . . , n ] = AutZal g A = AutSpec Z Spec A =: G
Longitud de un mdulo
Usualmente, se define la dimensin de un espacio vectorial, como el nmero de

vectores de sus bases. El concepto de base de un espacio vectorial es elaborado, si bien
29
29
2.2. Longitud de un mdulo
es muy prctico. En los A -mdulos libres se define el rango del A -mdulo libre como el
nmero de elementos de sus bases.
Si intuimos que R3 es de dimensin 3 es porque observamos la cadena de inclusiones irrefinable: punto, recta, plano, espacio. Puede definirse la dimensin de un espacio
vectorial, como la longitud de las cadenas irrefinables de subespacios vectoriales. En
los A -mdulos pueden no existir bases, pero si podemos hablar de la longitud de las
cadenas irrefinables de submdulos de un mdulo. En trminos de stas definiremos
la longitud del mdulo, concepto que no coincide con el de rango, en general.
1. Definicin : Diremos que un A -mdulo M , 0 es simple cuando sus nicos submdulos son los triviales: 0 y M .
Si M es un A -mdulo simple entonces M = m, luego M ' A / Anul m. Ahora bien,
los submdulos de A / Anul m se corresponden con los ideales de A que contienen a
Anul m. Por tanto, M es simple si y slo si Anul m es un ideal maximal, es decir, M
es simple si y slo si M ' A /m, donde m es un ideal maximal de A .
2. Definicin : Diremos que una cadena finita de submdulos 0 = M0 M1
M n = M es una serie de composicin en M , si los cocientes sucesivos M i / M i1 son
A -mdulos simples. Diremos que la longitud de esta serie de composicin es n.
Como los submdulos de M i / M i1 se corresponden biyectivamente con los submdulos de M i que contienen a M i1 , el que M i / M i1 sea simple equivale a que
no existe una cadena M i1 N M i . Por tanto, que una cadena de submdulos
,
0 = M0 M1 M n = M sea una serie de composicin equivale a decir que no

podemos aadirle ms eslabones.
3. Definicin : Llamaremos longitud de M a la mnima longitud de todas sus series
de composicin. Si no existe ninguna serie de composicin diremos que la longitud de
M es infinita. Denotaremos a la longitud de un mdulo M por l ( M ).
Sobre espacios vectoriales el concepto de longitud coincide con el de dimensin.
MANUALES UEX
4. Proposicin : Todas las series de composicin de un mdulo tienen la misma longitud.

Demostracin. Si l ( M ) = la proposicin es obvia. Supongamos que l ( M ) = n < .
Dado un submdulo propio N M se cumple que l ( N ) < l ( M ): Sea 0 = M0 M1
M n = M una serie de composicin de longitud mnima de M . Si en 0 = M0
N M1 N M n N = N quitamos los trminos repetidos obtenemos una serie
de composicin en N , porque M i N / M i1 N , M i / M i1 , luego M i N / M i1 N =
M i / M i1 pues M i / M i1 es simple. Por tanto, l ( N ) l ( M ). Si l ( N ) = l ( M ) entonces M i
N / M i1 N , 0 para todo i . Entonces, M1 N contiene estrictamente a M0 N = 0
y est incluido en M1 , luego M1 N = M1 . Sigamos, M2 N contiene estrictamente a
M1 N = M1 y est incluido en M2 luego M2 N = M2 Recurrentemente, N = M n N =
M n = M , lo que es contradictorio.
0
As pues, dada una serie de composicin 0 = M00 M10 M m
= M , tenemos que
0
0
l ( M ) > l ( M m1 ) > > l ( M1 ), luego l ( M ) m. Como m n = l ( M ), tenemos que m = n.
Observemos que hemos demostrado que si un mdulo es de longitud finita todo
30
2.3. Multiplicidades y grados en dimensin cero
submdulo suyo es de longitud finita. Si un mdulo es de longitud finita todo cociente

suyo tambin lo es, pues toda serie de composicin define por paso al cociente una serie
de composicin (eliminando las igualdades que aparezcan en la serie, en el cociente).
5. Proposicin : Sea N M un submdulo. Entonces, l ( M ) = l ( N ) + l ( M / N ).
Demostracin. Las cadenas de submdulos de M que contienen a N se corresponden
biunvocamente con las cadenas de submdulos de M / N . Sea l ( N ) = n y l ( M / N ) = m,
entonces existe una cadena irrefinable de submdulos de 0 a N de longitud n y existe
una cadena irrefinable de submdulos de N a M de longitud m, es decir, tenemos una
cadena irrefinable de submdulos de 0 a M de longitud n + m.

6. Proposicin : Se cumple que l ( M N ) = l ( M ) + l ( N ).
Demostracin. Tenemos la inclusin M , M N , m 7 ( m, 0) y ( M N )/ M ' N , ( m, n) 7
n. Concluimos por la proposicin previa.

7. Corolario : Sea 0 = M0 M1 M2 M n = M una cadena de A -submdulos de
n
P
M . Probar que l ( M ) = l ( M i / M i1 ).
i =1
Demostracin. Procedemos por induccin sobre n. El caso n = 1 es obvio. Para n > 1,

nP
1
n
P
l ( M ) = l ( M n1 ) + l ( M / M n1 ) =
l ( M i / M i1 ) + l ( M / M n1 ) = l ( M i / M i1 ).

i =1
i =1
8. Proposicin : Sea O una k-lgebra local de ideal maximal m. Probar que si M es

un O -mdulo de longitud finita entonces dimk M = l ( M ) dimk O /m.
Demostracin. Sea 0 = M0 M1 M n = M una serie de composicin. Por tanto,
n = l ( M ) y M i / M i1 ' O /m. Entonces,
dimk M =
n
X
dimk M i / M i1 = n dimk O /m = l ( M ) dimk O /m
i =1
2.3.
Multiplicidades y grados en dimensin cero
1. Proposicin : Sea A un anillo tal que Spec A = { x1 , . . . , xn } y los ideales primos p x i

son maximales. Entonces, el morfismo
n
A A x1 A xn , a 7 (a/1, . . . , a/1)
MANUALES UEX
es un isomorfismo.
Demostracin. Si x i , x j , ( A x i ) x j = 0, porque Spec( A x i ) x j = ;, pues es igual al conjunto
de los ideales primos de A contenido en m x i y m x j . Obviamente, ( A x i ) x i = A x i . Por
n
tanto, el morfismo A A x1 A xn es un isomorfismo por que al localizar en todos

los puntos de Spec A es un isomorfismo.
31
2.4. Puntos de las fibras de un morfismo finito
2. Definicin : Sea A una k-lgebra finita, sea Y = Spec A , que es un nmero finito
de puntos cerrados, y sea y Y .
1. Llamaremos nmero de puntos de Y contando grados y multiplicidades a dimk A .
2. Llamaremos multiplicidad con la que aparece y en Y a m y (Y ) := l A ( A y ).
3. Llamaremos grado de y a gr y := dimk A /m y .
3. Proposicin : Se cumple que
Nmero de puntos de Y contando grados y multiplicidades =
m y (Y ) gr y
yY
Demostracin. En efecto, A =
l A ( A y ). Con todo, se concluye.
yY
A y , luego dimk A =
yY
dimk A y = dimk ( A /m y )
4. Ejercicio : Sea la R-lgebra finita A = R[ x]/( x4 2 x3 + 2 x2 2 x + 1) y sea Y = Spec A .

Calcular el nmero de puntos de Y , contando grados y multiplicidades, y la multiplicidad y grado de cada punto de Y .
2.4.
Puntos de las fibras de un morfismo finito
Sea A , B un morfismo finito inyectivo y

: Spec B Spec A
MANUALES UEX
el morfismo inducido. Dado x Spec A , 1 ( x) = Spec B/m x B y B/m x B es una A /m x lgebra finita. Llamaremos nmero de puntos de 1 ( x) a dim A/mx B/m x B, multiplicidad con la que aparece y 1 ( x) en 1 ( x) a m y := l B ((B/m x B) y ), y grado de y sobre x
a gr x y := dim A/mx B/m y . Por tanto,
Nmero de puntos de 1 ( x) contando grados y multiplicidades =
m y gr x y
y1 (x)
1. Ejercicio : Consideremos el morfismo finito e inyectivo R[ x] R[ x, y]/( y2 x), x 7 x .

Sea
: Spec R[ x, y]/( y2 x) Spec R[ x], (, ) 7
el morfismo inducido. Dado un punto racional Spec R[ x], calcular el nmero de
puntos de las fibras, las multiplicidades y grados de los puntos de las fibras de .
2. Proposicin : Sea A , B un morfismo finito inyectivo, A un dominio de Dedekind
y B ntegro. Sea : Spec B Spec A el morfismo inducido en anillos. Se cumple que el
nmero de puntos de las fibras de , contando multiplicidades y grados es constante,
y es igual a dim A B .
32
Demostracin. Sea x Spec A un punto cerrado. A x es un dominio de ideales princin

pales y B x es un A x -mdulo finito generado sin torsin. Luego, B x = A x x . Observemos
que B A \{0} es una A -lgebra finita ntegra, luego es un cuerpo y B A \{0} = B . Si locan
lizamos los trminos de la igualdad B x = A x x por A \{0}, obtenemos
B = nAx
n
Por tanto, n x = dim A B . Si tensamos los trminos de la igualdad B x = A x x por A A /m x ,

obtenemos
B/m x B = ( A /m x )n x
Por tanto, el nmero de puntos de la fibra de x, contando grados y multiplicidades, es
igual a n x = dim A B .

3. Definicin : Sea : A B un morfismo finito entre dominios de Dedekind. Sea m y
e
un ideal maximal de B y m x := m y B. Entonces m x B y = m yy B y , para cierto e y N, que
llamaremos ndice de ramificacin de y.
4. Proposicin : Sea : A B un morfismo finito entre dominios de Dedekind. Sea
x Spec A un ideal maximal e y un punto en la fibra de x. La multiplicidad con la que
aparece y en la fibra de x es igual al ndice de ramificacin de y.
Demostracin. Escribamos m y B y = ( t). Entonces,
e
l B (B/m x B) y = l B (B y /m yy B y ) = l B (B y /( t e y )) = e y l B (B y /( t)) = e y ,

Sea A , B un morfismo finito inyectivo y : Spec B Spec A el morfismo inducido.
Se cumple que no ramifica en y si y slo si B y /m x B y = B/m y y B/m y B es una

A /m x -extensin separable, es decir, si y slo si la multiplicidad de y en la fibra de x es
1, y B/m y B es una A /m x -extensin separable.
Observemos que si no ramifica en y, entonces m x B y = m y B y , luego si m x A x es
principal entonces m y B y tambin lo es.
6. Proposicin : Sea A un anillo ntegro de cuerpo de fracciones . Sea p( x) A [ x]
un polinomio mnico irreducible en [ x] y separable, y 0 , A el discriminante de p( x). Consideremos el morfismo finito A , A [ x]/( p( x) y el morfismo inducido
: Spec A [ x]/( p( x)) Spec A . Entonces, z Specmax
A es un punto de rama de si y
slo si z ()0 .
MANUALES UEX
5. Definicin : Se dice que no ramifica en y si B y /m x B y es una A /m x -lgebra separable. Si ramifica en y se dice que y es un punto de ramificacin de y que ( y) es
un punto rama de .
Demostracin. El punto z es un punto rama si y slo ( A [ x]/( p( x)))/p z = A /p z [ x]/( p( x))

es una A /p z -lgebra separable, es decir, p( x) A /p z [ x] es separable, que equivale a
= 0 en A /p z , es decir,
decir que el discriminante de p( x) es nulo, o equivalentemente
z ()0 .
33
7. Teorema : Sea A , B un morfismo finito inyectivo entre anillos noetherianos ntegros de dimensin de Krull 1. Sean A y B los cuerpos de fracciones de A y B respectivamente. Supongamos que A , B es una extensin separable de cuerpos. Entonces,
el morfismo Spec B Spec A ramifica en un nmero finito de puntos.
Demostracin. Escribamos B = A [1 , . . . , n ], donde los i son enteros y separables
sobre A . Los puntos rama del morfismo A A [ i ] son un nmero finito. Luego los
puntos rama del morfismo A A [1 ] A A A [n ] son un nmero finito. Como B es
un cociente de A [1 ] A A A [n ], los puntos rama de A B son un nmero finito.
Luego Spec B Spec A ramifica en un nmero finito de puntos.

p
8. Ejercicio : Consideremos el morfismo finito Z Z[ 3]. Calcular el nmero de puntos, contando grados y multiplicidades, de las fibras de este morfismo, los puntos de
ramificacin e ndices de ramificacin.
Sea G un grupo finito de automorfismos de un anillo B. Dado g G , el automorfismo g : B B, induce el automorfismo g : Spec B Spec B. G opera sobre Spec B de
modo natural: dado g G y y Spec B, g y := g1 ( y), es decir, p g y := g(p y ).
9. Teorema : Sea G un grupo finito de automorfismos de un anillo B. Denotemos por
BG := { b B : g( b) = b para todo g G } y por (Spec B)/G := { y , con y Spec B, donde
decimos que y = z si y slo si existe g G tal que z = g y}. Se cumple que
Spec(BG ) = (Spec B)/G
donde BG = { b B : g( b) = b, para todo g G }.
MANUALES UEX
Demostracin. Empecemos observando que dada f B, el polinomio
Q
gG
( x g( f )) es
un polinomio mnico con coeficientes en BG que anula a f , luego f es entero sobre

BG . Por tanto, BG , B es un morfismo entero, luego induce en espectros un morfismo
epiyectivo de fibras de dimensin cero.
Tenemos que ver que las fibras del morfismo Spec B Spec BG son rbitas por la
accin de G .
Dado un ideal primo p y B, g(p y ) corta a BG en el mismo ideal primo que p y . Sea
p z es un ideal primo de B distinto de g(p y ) = p g(y) para todo g G , tal que z, y tienen
la misma imagen por el morfismo Spec B Spec BG , digamos x. Por ser el morfismo
BG , B entero sabemos que p z * p g(y) , para todo g G , luego existe una f B que
Q
se anula en z y no se anula en ninguno de los g( y). Entonces N ( f ) :=
g( f ) BG se
gG
anula en z y no se anula en ninguno de los g( y). Llegamos a contradiccin, porque por

un lado N ( f ) ha de anularse en x y por el otro no.

10. Ejercicio : Sea : C[ x, y]/( y2 x) C[ x, y]/( y2 x) el automorfismo de C-lgebras
definido por ( y) = y y ( x) = x y sea G = {Id, }. Explicitar la operacin de G sobre
X = Spec C[ x, y]/( y2 x). Calcular X /G .
p
p
p
el automorfismo de anillos definido por ( 2) =
11.
pEjercicio : Sea : Z[ 2] Z[ 2]p
2 y sea G = {Id, }. Sea X = Spec Z[ 2]. Calcular X /G .
34
2.5. Automorfismo de Frbenius
Recordemos que dado un ideal primo p y B, denotamos el cuerpo residual de y,

(B y /p y B y =: k( y) y dado b B denotamos b( y) := b k( y).
Sea g : B B un automorfismo, y Spec B. Entonces tenemos el automorfismo
g : k( y) k( g y), g ( b ) = g( b) (es decir, g ( b( y)) := ( gb)( g y)).
12. Teorema : Sea B una R -lgebra de tipo finito y G un grupo finito de automorfismos de R -lgebras de B. Consideremos el morfismo finito : Spec B Spec BG .
Sea y Spec B, x := ( y) y denotemos k( x), k( y) los cuerpos residuales de x e y. Sea
D := { g G : g( y) = y} el grupo de descomposicin de y. Si k( y) es una k( x)-lgebra
separable, entonces k( y) es una k( x)-extensin de Galois y el morfismo natural D
Autk(x)al g ( k( y)), g 7 g es epiyectivo.
Demostracin. Localizando en x, podemos suponer que y e x son puntos cerrados. Observemos que 1 ( x) = Spec B/m x B = { y1 , . . . , yn } = G y. Por el teorema del elemento
primitivo, k( y) = k( x)( ). Sea b B tal que b( y) = y b( yi ) = 0 para todo yi , y. TeQ
nemos que P ( X ) := gG ( X g( b)) BG [ X ] B[ X ] y mdulo m y , tenemos que P ( X ) =
Q
( )) X |G ||D | k( x)[ X ] es un polinomio que anula a y todas sus races
gD ( X g
estn en k( y). Por tanto, k( y) es una k( x)-extensin de Galois de grupo un cociente de
D.

13. Ejercicio : Calcular el grupo de descomposicin de x X ,cuando X es el definido
en el ejercicio 2.4.10 o 2.4.11.
2.5.
Automorfismo de Frbenius
1. Teorema : Sea A un anillo de enteros tal que su cuerpo de fracciones A sea una
Q-extensin de Galois de grupo G y tal que G A = A . Sea m y A un ideal maximal
y sea ( p) = m y Z. El automorfismo de Frbenius, F , de A /m y est inducido por algn
automorfismo F p G de A , y ste es nico cuando A / pA es reducida (es decir, el morfismo Spec A Spec Z no ramifica en y), en este caso se dice que F p es el automorfismo
de Frbenius de A en el primo p.
MANUALES UEX
Si K es un cuerpo finito, p > 0 la caracterstica de K y dimF p K = n, entonces

n
|K | = p n . Los elementos de K \{0} son las races de x p 1 1 (que es separable). En
conclusin, existe un nico cuerpo (salvo isomorfismos) de orden p n , que coincide con
n
el conjunto de todas las races de x p x y es un F p -extensin de Galois de grado n,
que denotaremos F p n . El automorfismo de Frbenius F : F p n F p n , F (a) := a p es un
automorfismo de orden n, luego AutF p al g F p n = F . Es ms, si m n, F p n es una F p m extensin de Galois de grupo de Galois F m .
Demostracin. Observemos que A G = Z porque est incluido en Q y es finito sobre Z.

Observemos que A /m y es una Z/ pZ-extensin de Galois. Sea D := { g G : g( y) = y}, por
el teorema 2.4.12, el morfismo D AutZ/pZal g A /m y = F es epiyectivo, luego F est
inducido por algn automorfismo F p D . La fibra de p es igual a G y, luego todos
los puntos de la fibra de p (que son |G /D |) tienen la misma multiplicidad y grado.
Recordemos que el nmero de puntos de las fibras del morfismo Z , A es constante,
35
2.6. Aplicaciones
e igual a dimQ A = |G |. Supongamos adems que y no es un punto de ramificacin.

Entonces,
|G | = N de puntos de la fibra de p, cont. grad. y mult. = |G /D | dimZ/pZ A /m y
Luego, dimZ/pZ A /m y = |D |, D = AutZ/pZal g A /m y = F y F p es nico.
2. Observaciones :
1. F p : A A , es el automorfismo de A que deja estable m y ,
determinado por la condicin F p (a) = a p mod m y , para todo a A .
2. En el teorema, en la fibra de ( p), si en vez de tomar y consideramos otro punto y0 ,
entonces como G opera transitivamente en las fibras, existe g G de modo que
y0 = g y. Por tanto, el grupo de descomposicin de y0 es gD g1 y el automorfismo
que asociaramos a F sera gF p g1 .
3. Si A / pA es reducida y yi Spec( A / pA ), entonces ( A / pA ) yi = A /m yi . Por tanto,
m yi A yi = p A yi . Es decir, todos los puntos de la fibra del ideal primo ( p) son no
singulares. Si A es el cierre entero de A en A , entonces A yi = A yi , A / pA = A / p A
y el automorfismo de Frbenius de A en p no depende del anillo A considerado.
MANUALES UEX
Sea 0 A una Q-subextensin de Galois y A 0 el anillo de enteros de 0 . Si

e
e
Z A no ramifica en p, entonces Z A 0 tampoco, porque si pA 0 = m11 mr r ,
con e 1 > 1 entonces la descomposicin de p A tambin tendr algn factor repetido. Adems, el automorfismo de Frbenius, F p de A en p, induce en 0 un
automorfismo, que sobre A 0 /m1 A /m y1 es el automorfismo de Frbenius. Por
tanto, el automorfismo de Frbenius de 0 en p es igual F p |0 .
3. Sea q( x) = ( x1 ) ( xn ) Z[ x] un polinomio separable y sea G el grupo de Galois
de q( x). Supongamos que q( x) Z/ pZ[ x] es separable. Consideremos el anillo de enteros A = Z[1 , . . . , n ]. Dado un ideal m A en la fibra de p, A /m = Z/ pZ[ 1 , . . . , n ] es
el cuerpo de descomposicin de q( x) Z/ pZ[ x]. Como A es un cociente de Z[ x]/( q( x))n ,
tenemos que A / pA es una Z/ pZ-lgebra separable. Al automorfismo de Frbenius F p
asociado a Q[1 , . . . , n ] en p se le denomina tambin el automorfismo de Frbenius de
q( x) en p.
El polinomio q( x) Z/ pZ[ x] es separable precisamente en los primos que no dividan
Q
al discriminante = i< j ( i j )2 Z.
2.6.
Aplicaciones
1. Existen polinomios con coeficientes enteros irreducibles que no lo son mdulo

cualquier nmero primo: cualquier curtica cuyo grupo de Galois sea el grupo de
Klein es irreducible, aunque no lo sea mdulo cualquier primo p, pues el grupo
generado por automorfismo de Frbenius en p no opera transitivamente sobre
las races.
2. Existen polinomios con coeficientes enteros sin races racionales pero que mdulo
cualquier nmero primo p tiene races en Z/ pZ: Si todo automorfismo g G deja
36
2.6. Aplicaciones
fija alguna raz de q( x), entonces F ( i ) = i , para algn i . Por tanto, q( x) tiene
alguna raz en Z/ pZ.
p
Considerando K = Q[ i, 2], vemos que el polinomio ( x2 + 1)( x2 2)( x2 + 2) tiene
raz modular en todo primo p, aunque carece de races racionales.
3. El grupo de Galois, G , de la extensin ciclotmica n-sima, Q[ e
x n 1 es separable mdulo p, cuando p no divide a n. F ( e

2 i
n
2 p i
n
2 i
n
2 i
n
] es (Z/ nZ) :
)=e
2 p i
n
, luego
. Es decir, va la inclusin G (Z/ nZ) , F p = p . Concluimos porque

F p(e ) = e
((Z/ nZ) , ) = p{ p<n, primo y no divide a n} .
4. Para cada nmero natural n, existe un polinomio p( x) Q[ x] de grado n cuyo

grupo de Galois es S n : Sea q 2 ( x) un polinomio irreducible de grado n con coeficientes en Z/2Z, sea q 3 ( x) un polinomio de grado n separable con coeficientes
en Z/3Z que contenga una raz en Z/3Z y un factor irreducible de grado n 1, y
sea q 5 ( x) un polinomio separable de grado n con coeficientes en Z/5Z que admita
n 2 races y tenga un factor irreducible de grado dos. Por el teorema chino de
los restos existe un polinomio q( x) de grado n con coeficientes en Z cuyas reducciones mdulo 2, 3 y 5 son q 2 ( x), q 3 ( x) y q 5 ( x), respectivamente. Entonces, F2
opera transitivamente sobre las races de q( x), es decir, es un n-ciclo, F3 es un
n 1-ciclo y F5 es un 2-ciclo. Dejamos que el lector pruebe que F2 , F3 , F5 = S n .
5. Ley de reciprocidad cuadrtica de Gauss. Dado un nmero primo q , 2 y un
entero n Z, escribiremos (el smbolo de Legendre)
n
1, si n es un resto cuadrtico mdulo q ( n = a2 , para cierto a F q )
( ) :=
1, en otro caso
q
As pues, ( nq ) = n
q1
2
= 1 Fq ( n , 0 mod q). Observemos que si n0 = n mod q,
Demos un algoritmo para un clculo rpido de ( nq ). Descomponiendo n en producto de primos podemos suponer que n = p es primo. El grupo de Galois G
de Q[ e2 i/q ] es isomorfo a Fq , que es cclico. Observemos que va el isomorfismo G ' Fq , F p se aplica en p . Tenemos que ver cundo p (Fq )2 . (Fq )2 es el
nico subgrupo de ndice 2. La nica subextensin de grado dos de Q[ e2 i/q ], es
p
q1
p
2
K := Q[ e2 i/q ](F q ) = Q[ ] = Q[ q ], donde q = (1) 2 q. Luego, p (Fq )2 si y
slo si F p es la identidad sobre K .
Por otra parte, si p , 2, x2 q mdulo p es separable. As pues, el automorfismo
de Frbenius de K en p es la identidad cuando q Fp2 . Por tanto,
MANUALES UEX
entonces ( nq ) = ( nq ), luego podemos suponer 0 < n < q. Adems, si n = r s, ( nq ) =

( qr ) ( qs ).
p1 q1
p
q
1 q1 q
q
( ) = ( ) = ( ) 2 ( ) = (1) 2 2 ( )
q
p
p
p
p
p
Supongamos p = 2. Desgraciadamente Z , Z[p q ] ramifica en (2), pero si consip
q +1
deramos el cierre entero de Z[ q ], que es Z[ 2 ] ya no ramifica. El polinomio
37
2.7. Cuestionario

p
q +1
q 1
anulador de 2 es x2 x 4 Z[ x] (comprubese que q = 1 mod 4, es decir,

q +1
od 2), que es separable mdulo 2. El automorfismo de Frbenius F2 de
2 = 1 m
q 1
K en 2 es la identidad cuando 4 sea mltiplo de 2. Por tanto,
q 1
q +1 q 1
q 2 1
q2 1
2
( ) = (1) 4 = (1) 2 4 = (1) 8 = (1) 8
q
1. Ejercicio : Probar que el grupo de Galois de x3 + 2 x2 + 4 x + 1 es igual a S 3 , argumentando con los morfismos de Frbenius en 2 y 3.
2. Ejercicio : Si un polinomio con coeficientes enteros mnico es irreducible mdulo
un nmero primo entonces, es irreducible? Es x4 + 2 x2 + x + 1 irreducible mdulo 2?
Es x4 + 2 x2 + x + 1 Q[ x] irreducible? Probar que el grupo de Galois de x4 + 2 x2 + x + 1
es igual a S 4 , argumentando con los morfismos de Frbenius en 2 y 5.
2.7.
Cuestionario
1. Calcular l Z (Z/4Z) y l Z (Z/12Z).

2. Calcular l k[x] ( k[ x]/( x2 )), l k[x] ( k[ x]/( x2 ( x 1)3 ).
3. Sea A un anillo ntegro y f , g A no nulos. Probar que ( f) A /( f g) es un A mdulo isomorfo a A /( g). Probar que l ( A /( f g)) = l ( A /( f )) + l ( A /( g)).
4. Resolver el ejercicio 2.3.4.
MANUALES UEX
6. Resolver el ejercicio 2.4.10

7. Resolver el ejercicio 2.4.11
p
9. Calcular el automorfismo de Frbenius de Q[ 2] en 3.

12. Calcular ( 14
23 ).
38
2.8.
2.8. Biografa de Frbenius
Biografa de Frbenius
FRBENIUS BIOGRAPHY
Back at the University of Berlin he attended lectures by Kronecker, Kummer and

Weierstrass. He continued to study there for his doctorate, attending the seminars of
Kummer and Weierstrass, and he received his doctorate (awarded with distinction) in
1870 supervised by Weierstrass. In 1874, after having taught at secondary school level
first at the Joachimsthal Gymnasium then at the Sophienrealschule, he was appointed
to the University of Berlin as an extraordinary professor of mathematics.
For the description of Frbeniuss career so far, the attentive reader may have
noticed that no mention has been made of him receiving his habilitation before being
appointed to a teaching position. This is not an omission, rather it is surprising given
the strictness of the German system that this was allowed. We should say that it must
ultimately have been made possible due to strong support from Weierstrass who was
extremely influential and considered Frbenius one of his most gifted students.
Frbenius was only in Berlin for a year before he went to Zrich to take up an
appointment as an ordinary professor at the Eidgenssische Polytechnikum. For seventeen years, between 1875 and 1892, Frbenius worked in Zrich. He married there
and brought up a family and did much important work in widely differing areas of
mathematics. We shall discuss some of the topics which he worked on below, but for
the moment we shall continue to describe how Frbeniuss career developed.
In the last days of December 1891 Kronecker died and, therefore, his chair in Berlin became vacant. Weierstrass, strongly believing that Frbenius was the right person
to keep Berlin in the forefront of mathematics, used his considerable influence to have
Frbenius appointed. However, for reasons which we shall discuss in a moment, Frbenius turned out to be something of a mixed blessing for mathematics at the University
of Berlin.
The positive side of his appointment was undoubtedly his remarkable contributions to the representation theory of groups, in particular his development of character
theory, and his position as one of the leading mathematicians of his day. The negative
side came about largely through his personality which is described as:
... occasionally choleric, quarrelsome, and given to invectives.
Biermann described the strained relationships which developed between Frbenius and his colleagues at Berlin:
... suspected at every opportunity a tendency of the Ministry to lower the stan-
MANUALES UEX
Georg Frbeniuss father was Christian Ferdinand Frbenius,

a Protestant parson, and his mother was Christine Elizabeth
Friedrich. Georg was born in Charlottenburg which was a district of Berlin which was not incorporated into the city until
1920. He entered the Joachimsthal Gymnasium in 1860 when
he was nearly eleven years old and graduated from the school
in 1867. In this same year he went to the University of Gttingen where he began his university studies but he only studied
there for one semester before returning to Berlin.
39
MANUALES UEX
40
dards at the University of Berlin, in the words of Frbenius, to the rank of a technical
school ... Even so, Fuchs and Schwarz yielded to him, and later Schottky, who was indebted to him alone for his call to Berlin. Frbenius was the leading figure, on whom
the fortunes of mathematics at Berlin university rested for 25 years. Of course, it did
not escape him, that the number of doctorates, habilitations, and docents slowly but
surely fell off, although the number of students increased considerably. That he could
not prevent this, that he could not reach his goal of maintaining unchanged the times
of Weierstrass, Kummer and Kronecker also in their external appearances, but to witness helplessly these developments, was doubly intolerable for him, with his choleric
disposition.
We should not be too hard on Frbenius for, as Haubrich explained:
They all felt deeply obliged to carry on the Prussian neo-humanistic tradition of
university research and teaching as they themselves had experienced it as students.
This is especially true of Frbenius. He considered himself to be a scholar whose duty
it was to contribute to the knowledge of pure mathematics. Applied mathematics, in
his opinion, belonged to the technical colleges.
The view of mathematics at the University of Gttingen was, however, very different. This was a time when there was competition between mathematians in the
University of Berlin and in the University of Gttingen, but it was a competition that
Gttingen won, for there mathematics flourished under Klein, much to Frbeniuss
annoyance. Biermann wrote:
The aversion of Frbenius to Klein and S. Lie knew no limits ...
Frbenius hated the style of mathematics which Gttingen represented. It was a
new approach which represented a marked change from the traditional style of German universities. Frbenius, as we said above, had extremely traditional views. In a
letter to Hurwitz, who was a product of the Gttingen system, he wrote on 3 February
1896:
If you were emerging from a school, in which one amuses oneself more with rosy
images than hard ideas, and if, to my joy, you are also gradually becoming emancipated
from that, then old loves dont rust. Please take this joke facetiously.
One should put the other side of the picture, however, for Siegel, who knew Frbenius for two years from 1915 when he became a student until Frbeniuss death,
related his impression of Frbenius as having a warm personality and expresses his
appreciation of his fast-paced varied and deep lectures. Others would describe his lectures as solid but not stimulating.
To gain an impression of the quality of Frbeniuss work before the time of his
appointment to Berlin in 1892 we can do no better than to examine the recommendations of Weierstrass and Fuchs when Frbenius was elected to the Prussian Academy
of Sciences in 1892. We quote a short extract to show the power, variety and high quality of Frbeniuss work in his Zrich years. Weierstrass and Fuchs listed 15 topics on
which Frbenius had made major contributions:
-On the development of analytic functions in series.
-On the algebraic solution of equations, whose coefficients are rational functions of
one variable.
-The theory of linear differential equations.
-On Pfaffs problem.

-Linear forms with integer coefficients.
-On linear substitutions and bilinear forms...
-On adjoint linear differential operators...
-The theory of elliptic and Jacobi functions...
-On the relations among the 28 double tangents to a plane of degree 4.
-On Sylows theorem.
-On double cosets arising from two finite groups.
-On Jacobis covariants...
-On Jacobi functions in three variables.
-The theory of biquadratic forms.
-On the theory of surfaces with a differential parameter.
In his work in group theory, Frbenius combined results from the theory of algebraic equations, geometry, and number theory, which led him to the study of abstract groups. He published ber Gruppen von vertauschbaren Elementen in 1879
(jointly with Stickelberger, a colleague at Zrich) which looks at permutable elements
in groups. This paper also gives a proof of the structure theorem for finitely generated
abelian groups. In 1884 he published his next paper on finite groups in which he proved Sylows theorems for abstract groups (Sylow had proved his theorem as a result
about permutation groups in his original paper). The proof which Frbenius gives is
the one, based on conjugacy classes, still used today in most undergraduate courses.
In his next paper in 1887 Frbenius continued his investigation of conjugacy classes in groups which would prove important in his later work on characters. In the
introduction to this paper he explains how he became interested in abstract groups,
and this was through a study of one of Kroneckers papers. It was in the year 1896,
however, when Frbenius was professor at Berlin that his really important work on
groups began to appear. In that year he published five papers on group theory and one
of them ber die Gruppencharactere on group characters is of fundamental importance. He wrote in this paper:
I shall develop the concept [of character for arbitrary finite groups] here in the
belief that through its introduction, group theory will be substantially enriched.
This paper on group characters was presented to the Berlin Academy on July 16
1896 and it contains work which Frbenius had undertaken in the preceding few
months. In a series of letters to Dedekind, the first on 12 April 1896, his ideas on
group characters quickly developed. Ideas from a paper by Dedekind in 1885 made an
important contribution and Frbenius was able to construct a complete set of representations by complex numbers. It is worth noting, however, that although we think
today of Frbeniuss paper on group characters as a fundamental work on representations of groups, Frbenius in fact introduced group characters in this work without
any reference to representations. In was not until the following year that representations of groups began to enter the picture, and again it was a concept due to Frbenius.
Hence 1897 is the year in which the representation theory of groups was born.
Over the years 1897-1899 Frbenius published two papers on group representations, one on induced characters, and one on tensor product of characters. In 1898
he introduced the notion of induced representations and the Frbenius Reciprocity
MANUALES UEX
41
Theorem. It was a burst of activity which set up the foundations of the whole of the
machinery of representation theory.
In a letter to Dedekind on 26 April 1896 Frbenius gave the irreducible characters for the alternating groups A 4 , A 5 , the symmetric groups S 4 , S 5 and the group
PSL(2, 7) of order 168. He completely determined the characters of symmetric groups
in 1900 and of characters of alternating groups in 1901, publishing definitive papers
on each. He continued his applications of character theory in papers of 1900 and 1901
which studied the structure of Frbenius groups.
Only in 1897 did Frbenius learn of Moliens work which he described in a letter to
Dedekind as very beautiful but difficult. He reformulated Moliens work in terms of
matrices and then showed that his characters are the traces of the irreducible representations. This work was published in 1897. Frbeniuss character theory was used
with great effect by Burnside and was beautifully written up in Burnsides 1911 edition of his Theory of Groups of Finite Order.
MANUALES UEX
Frbenius had a number of doctoral students who made important contributions

to mathematics. These included Edmund Landau who was awarded his doctorate in
1899, Issai Schur who was awarded his doctorate in 1901, and Robert Remak who was
awarded his doctorate in 1910. Frbenius collaborated with Schur in representation
theory of groups and character theory of groups. It is certainly to Frbeniuss credit
that he so quickly spotted the genius of his student Schur. Frbeniuss representation
theory for finite groups was later to find important applications in quantum mechanics
and theoretical physics which may not have entirely pleased the man who had such
"pure"views about mathematics.
Among the topics which Frbenius studied towards the end of his career were positive and non-negative matrices. He introduced the concept of irreducibility for matrices and the papers which he wrote containing this theory around 1910 remain today
the fundamental results in the discipline. The fact so many of Frbeniuss papers read
like present day text-books on the topics which he studied is a clear indication of the
importance that his work, in many different areas, has had in shaping the mathematics which is studied today. Having said that, it is also true that he made fundamental
contributions to fields which had already come into existence and he did not introduce any totally new mathematical areas as some of the greatest mathematicians have
done.
Haubrich gave the following overview of Frbeniuss work:
The most striking aspect of his mathematical practice is his extraordinary skill at
calculations. In fact, Frbenius tried to solve mathematical problems to a large extent
by means of a calculative, algebraic approach. Even his analytical work was guided
by algebraic and linear algebraic methods. For Frbenius, conceptual argumentation
played a somewhat secondary role. Although he argued in a comparatively abstract
setting, abstraction was not an end in itself. Its advantages to him seemed to lie primarily in the fact that it can lead to much greater clearness and precision.
Biographies/).
42
2.9.
2.9. Problemas
Problemas
1. Sea A = k[ x, y] y m = ( x, y). Calcular l A ( A /m3 ).

p
2. Sea A = Z[ 5]. Calcular l A ( A /(6)).
MANUALES UEX
3. Calcular el nmero de puntos de corte de la curva y2 x2 x3 = 0 con la recta

y x = 0. Calcular el grado de los puntos de corte y la multiplicidad con la que
aparecen.
43
MANUALES UEX
2.9. Problemas
44
Captulo 3
Anillos de valoracin discreta
3.1.
Anillos de valoracin y cierre entero
1. Definicin : Sea un cuerpo y = \{0}. Una valoracin real de es una aplicacin v : R que verifica
1. v( f g) = v( f ) + v( g), para todo f , g .
2. v( f + g) mn{v( f ), v( g)}, para todo f , g .
Si Im v = {0} se dice que v es trivial. Si Im v = Z, se dice que v es una valoracin
discreta. Seguiremos la convencin v(0) = .
Observemos que v(1) = v(1 1) = v(1) + v(1), luego v(1) = 0. Por tanto, 0 = v(1) =
v( f f 1 ) = v( f ) + v( f 1 ), luego v( f 1 ) = v( f ).
Sea O un anillo local de ideal maximal m y cuerpo de fracciones . Supongamos
que O cumple que si f mn \mn+1 y g mm \mm+1 entonces f g mn+m \mn+m+1 . Para
cada f O no nula, denotemos vm ( f ) al mximo nmero natural n tal que f mn . Es
fcil ver que la aplicacin
vm : Z
est bien definida y es una valoracin discreta de . Esta valoracin se denomina
valoracin m-dica.
Si O es de ideales principales, es inmediato ver que O = { f | vm ( f ) 0}. Veamos
el recproco.
2. Proposicin : Sea v una valoracin real de un cuerpo y denotemos O v = { f
: v( f ) 0}. Entonces O v es un anillo local de ideal maximal pv = { f : v( f ) > 0}, de
cuerpo de fracciones . Si v es discreta entonces O v es un domimio de ideales principales
de dimensin de Krull 1, y v = vpv .
MANUALES UEX
f / g 7 vm ( f / g) = vm ( f ) vm ( g)
Demostracin. Para toda f , o bien f O v o bien f 1 O v (pues v( f ) 0 v( f 1 ) =

v( f ) 0). Por tanto, el cuerpo de fracciones de O v es . O v es un anillo local porque
los invertibles son precisamente { f O v : v( f ) = 0} y el ideal maximal es pv := { f O v :
v( f ) > 0}.
45
3.1. Anillos de valoracin y cierre entero
Supongamos que v es discreta. Todo ideal I O v es principal y est generado por un

elemento de valor mnimo: en efecto, sea f I de valor mnimo. Dada g I , v( g) v( f ),
luego v( g/ f ) = v( g) v( f ) 0. Por tanto, g/ f O v y g = g/ f f , es decir, I = ( f ). Por
tanto, O v es un dominio de ideales principales. Para concluir, veamos que v = vpv . Sea
t un parmetro que genere pv . Si f O v , entonces f = ut n , con u invertible, luego
v( f ) = nv( t). Por tanto, Im v = v( t) Z, luego v( t) = 1 y v = vm .

En conclusin,
Conjunto de valoraciones
discretas de
Conj. de subanillos loc. de ideales principales

propios de , de cuerpo de fracciones
v 7 O v
3. Ejercicio : Sea v una valoracin discreta y sea f O v . Probar que v( f ) = l (O v /( f )).
4. Definicin : Dada una valoracin v : R diremos que O v es un anillo de valoracin de . Si v es discreta diremos que O v es un anillo de valoracin discreta de
.
Por la proposicin anterior, un anillo es un anillo de valoracin discreta de si y
slo si es un subanillo propio local de ideales principales de , de cuerpo de fracciones
.
La valoracin v : R, v( ) = 0 se dice que es trivial. O v = si y slo si v es
trivial. Se dice que es el anillo de valoracin trivial.
5. Proposicin : Los anillos de valoracin son ntegramente cerrados en su cuerpo de
fracciones.
Demostracin. Sea O v un anillo de valoracin de y a entero sobre O v . Existen
c i O v tales que a n + c 1 a n1 + + c n = 0. Entonces a n = ( c 1 a n1 + + c n ), luego nv(a) =
v(a n ) = nf{v( c 1 a n1 ), . . . , v( c n )} nf{( n 1)v(a), . . . , 0}, luego v(a) 0 y a O v .

6. Lema : Sea A un anillo ntegro (luego A est incluido en su cuerpo de fracciones
y al localizar por un sistema multiplicativo tambin). Entonces,
MANUALES UEX
A=
Demostracin. Sea
a
b
xSpecmax A
xSpecmax A
Ax
A x , con a, b A . Entonces, aA bA , porque as suce-
de al localizar en todo punto cerrado de Spec A . Por tanto,
a
b
A.
7. Lema : Sea O v un anillo de valoracin de y sea O un subanillo local de , cuyo

ideal maximal denotamos m. Si O v O y mO v = pv , es decir, O domina a O v , entonces
O = Ov.
Demostracin. Sea f O \O v , entonces v( f ) < 0. Por tanto, v( f 1 ) > 0, luego f 1 pv .
Por tanto, f 1 m y f O , lo cual es contradictorio.

8. Teorema : Sea A el anillo de una curva ntegra y el cuerpo de fracciones de A y A
el cierre entero de A en . Entonces se cumple
46
1. Todos los anillos de valoracin de son discretos (salvo el trivial).

2. Spec A = {Conjunto de anillos de valoracin de que contienen a A }, x 7 A x .
3. A es igual a la interseccin de todos los anillos de valoracin de que contienen
a A , es decir,
A = O v
v : Z
v( A )0
Demostracin. 2. Sea O v un anillo de valoracin de que contenga a A . O v es nte entero sobre A , es

gramente cerrado en su cuerpo de fracciones. Todo elemento de
entero sobre O v , luego pertenece a O v . Por tanto, A O v . Sea p x = pv A . Entonces,

A x O v . A x es un anillo de valoracin discreta. Por el lema anterior A x = O v .
1. Sea O v un anillo de valoracin. Sea x trascendente. Tomando x1 en vez de
x, si es necesario, podemos suponer que x O v . Por tanto, O v contiene a k[ x], luego
contiene al cierre entero, B, de k[ x]. Por el punto 2., O v = B x , para cierto punto cerrado
x Spec B, y concluimos que O v es un anillo de valoracin discreta.
3. A = A x = O v .
xSpec A
Z
v:
v( A )0
9. Corolario : Sea A el anillo de una curva ntegra y el cuerpo de fracciones de A .

Sea , 0 una extensin finita de cuerpos y A 0 el cierre entero de A en 0 . Entonces se
cumple
1. Spec A 0 = {Conjunto de anillos de valoracin de 0 que contienen a A }, x 7 A 0x .
2. A 0 es igual a la interseccin de todos los anillos de valoracin de 0 que contienen
a A , es decir,
A0 = Ov
Z
v:
v( A )0
10. Teorema : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Se cumple

que
1. Todos los anillos de valoracin de K son discretos (salvo el trivial).
2. Spec A = {Conjunto de anillos de valoracin de K }, x 7 A x .
MANUALES UEX
Demostracin. Observemos slo que un anillo de valoracin de 0 contiene a A 0 si y

slo si contiene a A , y que el cierre entero de A 0 en 0 es A 0 .
3. A es igual a la interseccin de todos los anillos de valoracin de K , es decir,
A=
Ov
v : K Z
11. Ejemplo : Spec Z = {Conjunto de anillos de valoracin de Q}.

12. Ejemplo : P1 (C) = {Conjunto de anillos de valoracin de C( x), triviales sobre C}.
47
13. Ejercicio : Sea = Q( x) y p0 := ( x) Q[ x], p i := ( x2 + 1) Q[ x] y p := (1/ x) Q[1/ x]

2
y consideremos las respectivas valoraciones dicas v = v0 , v i y v . Calcular v( x x+1 ) en
los tres casos.
14. Ejercicio : Sea A = C[ x, y]/( y2 x), el cuerpo de fracciones de A y p(0,0) := ( x, y)
x + y
A Calcular v(0,0) ( x 2 )?.
p
15. Ejercicio : Calcular todas las valoraciones discretas de Q( 5).
16. Ejercicio : Sea A = C[ x, y]/( y2 x), el cuerpo de fracciones de A . Sea v una valoracin discreta de , trivial sobre C. Supongamos que v( x ) v( y ). Si v( y ) 0, probar
que existe z Spec A , tal que v = v z . Si v( y ) 0 y definamos B := C[ x / y , 1/ y ] (observemos que 1/ y ( x / y )(1/ y )2 = 0). Probar que existe z Spec B tal que v = v z .
3.1.1.
Variedad de Riemann
Sea K una k-extensin de cuerpos de tipo finito de grado de trascendencia 1, es

decir, K es una k( x)-extensin finita de cuerpos. Sea C el conjunto de todos los anillos
de valoracin de K , triviales sobre k (es decir, que contienen a k). Dotemos a C de
la siguiente estructura de espacio topolgico: sus cerrados propios son los conjuntos
finitos de anillos de valoracin, distintos del anillo de valoracin trivial.
Sea U = {v C : v( x) 0} y U 0 = {v C : v( 1x ) 0}. Obviamente, C = U U 0 . Sea A
el cierre entero de k[ x] en K . Por el teorema 3.1.9, tenemos la igualdad Spec A = U ,
x 7 A x . Igualmente, si A 0 es el cierre entero de k[1/ x] en K , se cumple que Spec A 0 = U 0 .
U 0 es un abierto de C , ya que
C \U 0 = {v C : v(1/ x) < 0} = {v C : v( x) > 0} = Spec A /( x)

que es un nmero finito de puntos. Igualmente, U es un abierto de C . Adems,
U U 0 = {v U : v( x) = 0} = Spec A \( x)0 = Spec A x = Spec A 01/x

En conclusin, C se recubre por dos abiertos U , U 0 , cada uno de ellos es una curva afn
ntegra no singular, y C \U y C \U 0 son conjuntos finitos.
MANUALES UEX
17. Definicin : Se dice que C es la variedad de Riemann asociada a K .

Todo morfismo K K 0 de k-extensiones, entre extensiones de tipo finito de grado
de trascendencia 1, induce un morfismo : C K 0 C K entre las variedades de Riemann
asociadas, definido por O v0 7 O v0 K . Dado x K trascendente, sean A y A 0 el cierre
entero de k[ x] en K y K 0 respectivamente, y U := Spec A y U 0 = Spec A 0 . Entonces, el
morfismo : U 0 U es el morfismo inducido por el morfismo de anillos natural A A 0 ,
que es un morfismo finito.
Sea C 0 = Proj k[0 , . . . , n ] (gr i = 1, para todo i ) una curva proyectiva y supongamos que k[0 , . . . , n ] es un anillo ntegro. Sea := k(1 /0 , . . . , n /0 ), el cuerpo de funciones de C 0 (que no depende de la ordenacin de los i ). Dado un punto x Uh =
i
Spec k[0 / i , . . . , n / i ], denotaremos O C 0 ,x := k[0 / i , . . . , n / i ] x (que no depende del
abierto Uh que contiene a x, considerado). Dados x Uh , x0 Uh distintos, se cumple
i
que x y x0 estn ambos en uno de los abiertos afines Uh ,Uh ,Uh + , luego O C 0 ,x , O C 0 ,x0 .
i
48
Dado un anillo de valoracin O v de , trivial sobre k, existe un nico punto x C 0 ,

tal que O v domina a O C 0 ,x : Sea j / i tal que v( j / i ) sea mximo entre todos los i, j .
Observemos que v(k / i ) 0, porque si v(k / i ) < 0, entonces v( j /k ) = v( i /k j / i ) =
v( i /k ) + v( i / j ) > v( i / j ), lo cual es contradictorio. Por tanto, k[0 / i , . . . , n / i ] O v .
Si p x := pv k[0 / i , . . . , n / i ], tenemos que O v domina a O C 0 ,x . Sea otro x0 C 0 tal que
O v domina a O C 0 ,x0 . Podemos suponer, por cambio de coordenadas, que x, x0 Uh . En0
tonces, p x0 := pv k[1 /0 , . . . , n /0 ] = p x y x0 = x.
Sea C la variedad de Riemann de . Consideremos el morfismo natural : C C 0 ,
donde (v) es tal que O v domina a O C 0 ,(v) . Consideramos el abierto
Uh0 = Spec k[1 /0 , . . . , n /0 ]

y un morfismo finito k[ x] , k[1 /0 , . . . , n /0 ]. Sea A el cierre entero de k[ x] en (que
es el cierre entero de k[1 /0 , . . . , n /0 ] en ) y U = Spec A . Entonces, 1 (Uh ) = U y el
0
morfismo inducido por la inclusin k[1 /0 , . . . , n /0 ] , A es el morfismo : U Uh .

0
Se dice que C es la desingularizacin de C 0 . Si C 0 es una curva proyectiva no singular en todo punto, entonces C = C 0 . Se puede probar el recproco: las variedades de
Riemann son curvas proyectivas no singulares en todo punto.
18. Ejemplo : La variedad de Riemann asociada a k( x) es la recta proyectiva P1 .
Sea C la variedad de Riemann asociada a K y f K trascendente. Tenemos k( f ) ,
K y el morfismo inducido entre las variedades de Riemann f : C P1 , p 7 f ( p). Sea A
el cierre entero de k[ f ] y A 0 el cierre entero de k[1/ f ]. Tenemos los morfismos k[ x] A ,
x 7 f y k[1/ x] A 0 , 1/ x 7 1/ f , que inducen en espectros los morfismos U = Spec A
Spec k[ x] y U 0 = Spec A 0 Spec k[1/ x], que coinciden sobre las intersecciones y define
el morfismo f : C P1 de partida.
Recordemos que el nmero de puntos de las fibras (contando grados y multiplicidades) es constante. Veamos el nmero de puntos de la fibra del 0 Spec k[ x] P1
e
(p0 = ( x)): La x en A es f , ( f ) = m xe 11 m xnn , donde { x1 , . . . , xn } son los puntos de la fibra
de 0 y e i = v x i ( f ) (y v x ( f ) = 0, para todo x U distinto de los x i ). Por tanto,
X
N de puntos de la fibra del 0 = dimk A /( f ) =
v x ( f ) grk x,
nmero que se denomina nmero de ceros de f . Igualmente, el nmero de puntos de
la fibra del Spec k[1/ x] P1 (p = (1/ x)) es
X
N de puntos de la fibra del = dimk A 0 /(1/ f ) =
v x (1/ f ) grk x
xC,v x (1/ f )0
nmero que se denomina nmero de polos de f . Por tanto,

0 = N de puntos de la fibra del 0 N de puntos de la fibra del =
v x ( f ) grk x
MANUALES UEX
xC,v x ( f )0
xC
19. Teorema : Sea K una extensin de tipo finito de k de grado de trascendencia 1, C

la variedad de Riemann asociada a K y f K . Entonces,
P
xC v x ( f ) gr k x = 0 ,
es decir, el nmero de ceros de f es igual a su nmero de polos.
49
3.2. Valores absolutos arquimedianos
3.2.
Valores absolutos arquimedianos
1. Definicin : Un valor absoluto sobre un anillo A es una aplicacin | | : A R que

cumple la siguientes condiciones para todo a, b A ,
1. |a| 0 y |a| = 0 si y slo si a = 0.
2. Desigualdad triangular: |a + b| |a| + | b|.
3. |ab| = |a|| b|.
Es inmediato comprobar que todo valor absoluto cumple: |1| = 1 y | a| = |a|. Tambin | n| n para todo n N. Todo anillo que posea un valor absoluto es necesariamente
ntegro, y el valor absoluto extiende de modo nico al cuerpo de fracciones.
La aplicacin | | : A R tal que |a| := 1 para todo a A \{0} y que cumple que |0| := 0
se denomina valor absoluto trivial.
2. Ejemplos : | | : Q : R, |a| := a si a > 0 y |a| := a si a < 0 es un valor absoluto.
Sea p N primo. La aplicacin | | : Q : R, |a| := ev p (a) es un valor absoluto.
3. Definicin : Dos valores absolutos | |1 y | |2 sobre un cuerpo K se dicen equivalentes
si existe un nmero real r > 0 tal que |a|1 = |a|2r , para todo a K .
4. Proposicin : Dos valores absolutos sobre un cuerpo K son equivalentes si y slo si
inducen la misma topologa.
Demostracin. Evidentemente, si dos valores absolutos son equivalentes definen la
misma topologa. Veamos el recproco.
Dejemos al lector la consideracin de los valores triviales (que se caracterizan por
inducir la topologa discreta). La topologa determina la bola abierta unidad B(0, 1) de
un valor absoluto:
| x| < 1 lm x n = 0
MANUALES UEX
Luego, si dos valores absolutos definen la misma topologa sus respectivas bolas unidad son iguales.
Fijemos un punto x con | x| > 1, es decir, 1/ x B(0, 1). Dado y, tendremos que | y| =
| x| , para cierto nmero real. Observemos que

n
n
x
xn
| x| m
n
<
< 1 m < 1 m B(0, 1)
m
| y|
y
y
Por tanto, si | |0 es equivalente a | |, tenemos que | y|0 = | x|0 . Si definimos r := log| x| | x|0 ,
| y|0 = | x|0 = (| x|r ) = | y|r , para todo y.

5. Definicin : Un valor absoluto | | : A R se dice arquimediano si la imagen de la
aplicacin natural N R, n 7 | n| no est acotada, es decir, para toda constante C > 0
existe un natural n tal que | n| > C .
Evidentemente, todo cuerpo dotado de un valor absoluto arquimediano debe ser de
caracterstica cero.
50
6. Lema : Sea | | : N R un valor absoluto. Si | | es arquimediano, entonces | d | > 1 para

todo d > 1. Si | | no es arquimediano, entonces | d | 1 para todo d N.
Demostracin. Supongamos que | d | 1, para algn d > 1. Desarrollemos cualquier
natural n en base d ,
n = a0 + a1 d + . . . + a k d k ,
con 0 a i < d
De donde
| n| d + d | d | + . . . + d | d |k d (1 + k) d (1 + logd n)
Por tanto,
| n k | d (1 + k logd n)
Por otra parte,

| n k | = | n| k
Entonces,
1 lm
d (1 + k logd n)
| n| k
=0
si | n| > 1. Por tanto, | n| 1, para todo n.

Supongamos | d | > 1, para un d > 1. Entonces, | d m | = | d |m >> 0, para m >> 0 y | | es
arquimediano.

7. Primer teorema de Ostrowski, 1917 : Todo valor absoluto arquimediano sobre
Q es equivalente al valor absoluto usual.
Demostracin. Por el lema |2| > 1. Sustituyendo | | por | |r , con r > 0 conveniente, podemos suponer que |2| = 2. Entonces, |3| |2| + |1| = 3 y 4 = |2| |2| = |4| |3| + 1, luego
|3| = 3. Entonces, |5| |4| + |1| = 5 y 6 = |2| |3| = |6| |5| + 1, luego |5| = 5. As sucesivamente, obtenemos que | | es el valor absoluto usual sobre N, luego lo es sobre Q.
8. Definicin : Sea K un cuerpo dotado de un valor absoluto | |. Una norma sobre un

K -espacio vectorial E es una aplicacin || || : E R que cumple las siguientes propiedades:
1. || e|| 0 y || e|| = 0 si y slo si e = 0.
2. || e 1 + e 2 || || e 1 || + || e 2 || (desigualdad triangular).
MANUALES UEX
Vamos ahora a determinar los valores absolutos arquimedianos sobre un cuerpo de

nmeros K (extensin finita de Q).
3. || e|| = || || e||.
9. Ejemplo : Si E es un K -espacio vectorial con una base finita { e 1 , . . . , e n }, se define
la norma infinita como sigue:
X
{|1 |, . . . , |n |}.
|| i e i || := max
i
51
La norma infinita define en E la topologa producto respecto de la identificacin

P
E = K n , i i e i 7 (1 , . . . , n ). Toda aplicacin K -lineal E E es continua para la
norma infinita. La norma infinita es la ms fina sobre E : En efecto, si || ||0 es otra
{|| e 1 ||0 , . . . , || e n )||0 }; entonces se cumple
norma, consideremos la constante C := max
X
X
X
|| e||0 = || i e i ||0 | i ||| e i ||0 | i |C = C n || e||.
i
10. Proposicin : Si F es un subespacio vectorial cerrado de un espacio vectorial normado (E, || ||), entonces
|| e|| := nf{|| e0 || : e0 e + F }
es una norma sobre E /F, y la proyeccin natural E E /F es continua.
11. Proposicin : Sean (K, | |) un cuerpo completo y E un K -espacio vectorial de dimensin finita. Todas las normas sobre E son topolgicamente equivalentes y completas.
Demostracin. Es rutinario comprobar que E es completo para la norma infinita || ||, y
por tanto tambin es completo para cualquier otra norma topolgicamente equivalente
a la norma infinita.
Ya sabemos que cualquier norma || ||0 sobre E es menos fina que la norma infinita. Para la afirmacin inversa procedamos por induccin sobre n = dimK E . Por hiptesis de induccin, todo subespacio de E de dimensin menor que n es completo
para la norma || ||0 luego tambin es cerrado. Por tanto, las proyecciones j : E K e j ,
P
j ( i i e i ) := j e j , son continuas tomando en E la norma || ||0 y en K e j la norma cociente (que equivale, como todas, a la norma infinita). Por tanto, la aplicacin identidad
jj
(E, || ||0 ) ( j K e j = E, || ||)

es continua. Luego la topologa definida por || || es menos fina que la de || ||0 .
12. Teorema : Sea K un cuerpo de nmeros. Dado un valor absoluto arquimediano | |

sobre K , existe un morfismo de cuerpos K C, nico salvo conjugacin compleja, tal
que | | es equivalente a la restriccin a K del valor absoluto usual de C. Por tanto,
MANUALES UEX
52
valores absolutos arquimedianos

sobre K , mdulo equivalencia
morfismos K C
md. conjugacin
= Spec(K Q R)
Demostracin. Vamos a ver que el completado K de K se indentifica con R o con C, de

modo nico salvo conjugacin.
K la complecin de la extensin Q K respecto del valor absoluto | |. Como
Sea Q
= R, dotado R
la restriccin de | | a Q es equivalente al valor usual (por 3.2.7), se tiene Q
de un valor absoluto | | equivalente al usual. Escribamos K = Q(a 1 , ...a n ). El subcuerpo
R(a 1 , ..., a n ) K es una extensin finita de R, as que es completo respecto | | por 3.2.11,
luego es un cerrado de K . Como este cerrado es denso en K (por contener a K ), se
concluye que R(a 1 , ..., a n ) = K , es decir, K es una extensin finita de R. Por tanto, K = R
K = C (este ltimo isomorfismo est unvocamente determinado salvo conjugacin).
En el segundo caso, el valor absoluto | | sobre K = C es equivalente al usual porque es
una norma sobre el cuerpo (R, | |), y tales normas son todas equivalentes a la norma
infinita, la cual define la topologa producto usual en R2 = C.
Anillos de valoracin discreta 3.3. Valores absolutos no arquimedianos y valoraciones
3.3.
Valores absolutos no arquimedianos y valoraciones
1. Proposicin : Un valor absoluto | | : A R es no arquimediano si y slo si verifica

{|a|, | b|}.
la desigualdad ultramtrica: |a + b| max
Demostracin. ) Para todo natural n se cumple | n| 1, pues si para algn natural
fuera | n| > 1 entonces | n m | = | n|m no sera acotado. Dados a, b A con |a| | b|, se tiene
|a + b|n = |(a + b)n | |a|n + | n||a|n1 | b| + + | n||a|| b|n1 + | b|n (1 + n)| b|n ,
de donde
|a + b| (1 + n)1/n | b|,
y tomando lmite para n se concluye que

{|a|, | b|}.
|a + b| 1 | b| = max
) De la desigualdad ultramtrica, resulta por induccin que | n| 1 para todo
n N.
2. Proposicin : Dada una valoracin v : K \{0} R, la aplicacin | |v : K R, |a|v :=

ev( f ) es un valor absoluto no arquimediano. Recprocamente, dado un valor absoluto
no arquimediano | | : K R, la aplicacin v| | : K \{0} R, v| | (a) := ln |a| es una valoracin.
3. Corolario : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Dada un
valor absoluto no arquimediano | | : K R existe un nmero real > 0 y un punto
cerrado x Spec A , de modo que |a| = evx (a) , para todo a K \{0}.
4. Corolario : Sea K una k( x)-extensin finita de cuerpos y C la variedad de Riemann
de K . Dada un valor absoluto | | : K R, trivial sobre k (es decir, || = 1, para todo
k\{0}), existe un nmero real r > 0 y un punto cerrado x C , de modo que |a| = ervx (a) ,
para todo a K \{0}.
5. Corolario : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Entonces,
6. Corolario : Sea | | el valor absoluto usual de Q. Entonces,
a
valores absolutos sobre Q,
= Spec Z {| | }
mdulo equivalencia
7. Corolario: Sea K un un cuerpo de nmeros y A el anillo de enteros de K . Entonces,
valores absolutos sobre K ,

mdulo equivalencia
= Spec A
MANUALES UEX
{Conjunto de valores absolutos no arquimedianos de K }/ = Spec A
Spec(K Q R)
8. Corolario : Sea K una k( x)-extensin finita de cuerpos y C la variedad de Riemann

de K . Entonces,
{Conjunto de valores absolutos de K , triviales sobre k}/ = C
53
3.4. Producto de valores absolutos de una funcin
3.4.
Producto de valores absolutos de una funcin
Sea C una variedad de Riemann de cuerpo de funciones K . Dado x C , sea | | x el

valor absoluto asociado a x definido por | f | x = evx ( f ) , para cada f K . Entonces, se
cumple que
P
Q
3.1.19
grk x
= e xC grk xvx ( f ) = e0 = 1
xC | f | x
1. Definicin : Dado un anillo A y un ideal maximal m x A , tal que A /m x sea un
cuerpo finito, notaremos gr x := ln | A /m x |
Asociemos a cada nmero primo p Z el valor absoluto p-dico | | p definido por
gr p
|a| p = ev p (a) . Observemos que |a| p = pv p (a) .
2. Proposicin : Digamos que gr = 1. Entonces, dada 0 , f Q
Y
`
xSpec Z {}
gr x
| f |x
=1
3. Definicin : Sea B una k-lgebra finita separable. Dada b B consideremos el kendomorfismo lineal b : B B, b0 7 bb0 . Se define la norma de b, que denotamos N ( b),
como N ( b) := det( b).
Obviamente, N (1) = 1 y N ( bb0 ) = N ( b) N ( b0 ). Sea una k-extensin que trivialice
a B y {1 , . . . , n } = Homkal g (B, ). Entonces, argumentando como hacamos con la
traza,
Q
N ( b) = i i ( b)
Si K es un cuerpo de nmeros, entonces es una Q-lgebra finita separable y tenemos la norma N : K Q.
MANUALES UEX
4. Proposicin : Sea A un anillo de nmeros de cuerpo de fracciones K . Dada a A

K , se cumple que
| N (a)| = | A /aA |
54
Demostracin. Existen sendas bases de los Z-mdulos A y A en las que el endomorfismo a : A A diagonaliza. El determinante de la matriz de a en estas bases es igual
salvo signos a | A /aA |, y es igual, salvo signos al determinante del endomorfismo a,
con lo que concluimos.

Sea K un cuerpo de nmeros y A el anillo de enteros de K . Denotemos X = Spec A
el conjunto de valores absolutos no arquimedianos de K (mdulo equivalencia), X :=
Spec(K Q R) el conjunto de valores absolutos arquimedianos de K (mdulo equivalen`
cia), y X = X X el conjunto de valores absolutos de K (mdulo equivalencia).
Sea | | el valor absoluto usual de C. Dado y X , sea | | y el valor absoluto arquimediano de K asociado a y definido por | f | y = | f ( y)|, donde f ( y) es igual a la clase de f en
(K Q R)/p y . Dicho de otro modo, si y se corresponde con : K C, entonces f ( y) = ( f )
y | f | y = |( f )|. Dado y X , denotemos gr y := dimR (K Q R)/m y .
Dado x X = Spec A , sea | | x el valor absoluto no arquimediano asociado a x de gr x
finido por |a| x := evx (a) . Recordemos que gr x := ln | A /m x |. Observemos que |a| x
=
v x (a)
| A /m x |
.
3.5. Apndice: Variedades proyectivas
5. Teorema : Sea K un cuerpo de nmeros. Para toda f K , se cumple que

Q
x X
gr x
| f |x
=1
Demostracin. Sea A el anillo de enteros de K . Tenemos que f = a 1 /a 2 , con a 1 , a 2 A .

Q
v (a)
Basta probar el teorema para f = a A . Como (a) = x X m xx ,
| N (a)| = | A /aA | = | A /
mvxx (a) | =
| A /m x |vx (a) =
gr x
| a| x
x X
Q
Q
gr y
Por otra parte, | N (a)| = HomQal g (K,C) |(a)| = y X |a| y .
Q
gr x
Luego, x X |a| x = 1.
x X
x X

6. Ejercicio : Comprobar la frmula del teorema 3.4.5, para K = Q[ i ] y f = i + 1.
Denotemos los invertibles de A , A .
7. Proposicin : A = {a A : N (a) = 1}.
Demostracin. Sea a A . | N (a)| = | A /(a)| = 1 si y slo si a A .

Pn
8. Observacin : Dado a A sea p c ( x) = i=0 a i x n i el polinomio caracterstico de la
homotecia a : A A . Sabemos que N (a) = (1)n a n y por otra parte 0 = p(a) = b a + a n ,
con b A . En conclusin, N (a) = a c, con c A .
9. Proposicin : Sea c N y d = dimQ K . Consideremos la accin natural por multiplicacin de A en { f A : | N ( f )| = c}, entonces
|{ f A : | N ( f )| = c}/ A | c d
El nmero de f A , salvo multiplicacin por invertibles, tales que | N ( f )| = c es menor

o igual que c d .
{ f A : | N ( f )| = c}/ A ( A / cA )/ A , f
7 f
Por ltimo, A es un Z-mdulo libre de rango d , luego A / cA es un Z/ cZ-mdulo libre de

rango d y | A / cA | = c d .
3.5.
MANUALES UEX
Demostracin. Si | N ( f )| = | A / f A | = c, entonces c ( A / f A ) = 0, es decir, c f A . Adems,

si | N ( f 0 )| = c y f 0 = f en A / cA , entonces f 0 A = f 0 A + cA = f A + cA = f A , es decir,
f 0 f A . Por tanto, tenemos que
Apndice: Variedades proyectivas
1. Definicin : Sea R un anillo y supongamos que como grupo, con la operacin +,

es suma directa de subgrupos R i , con i Z. Diremos que el anillo R = R n es un
nZ
lgebra graduada, si para cada r i R i y r j R j , entonces r i r j R i+ j . Diremos que

r i R i es un elemento homogneo de grado i .
55
2. Definicin : Sea R = R n un lgebra graduada. Diremos que un ideal I R de

nZ
un lgebra graduada es homogneo, si est generado por elementos homogneos.

3. Ejercicio : Probar que un ideal I R es homogneo si y slo si I = I n , siendo
n
I n = I Rn.
4. Ejercicio : Probar que un ideal homogneo p R es primo si y slo si cumple que
si el producto de dos elementos homogneos pertenece a p entonces uno de los dos
pertenece a p.
5. Definicin : Llamaremos ideal irrelevante de R al ideal ( R n ) R .
n ,0
6. Definicin : Llamaremos espectro proyectivo de R , y lo denotaremos Proj R , al conjunto de ideales primos homogneos de R que no contienen al ideal irrelevante.
Evidentemente Proj R Spec R . Consideraremos Proj R como espacio topolgico
con la topologa inicial heredada de la topologa de Zariski de Spec R . Si denotamos ( f )0h = { x Proj R, f p x } y escribimos f = f n + f n+1 + f m , es obvio que ( f )0h =
( f n , . . . , f m )0h = ( f n )0h ( f m )0h . Por tanto, una base de cerrados de la topologa de
Proj R son los cerrados ( f )0h , con f R homogneo, y una base de abiertos de la topologa de Proj R son los abiertos
U fh = { x Proj R, f p x }, ( f homogneo)
7. Definicin : Llamaremos espacio proyectivo de dimensin n (sobre k) a
Pnk = Proj k[ x0 , . . . , xn ]
MANUALES UEX
8. Definicin : Diremos que un morfismo de lgebras : R R 0 graduadas es un

morfismo graduado (de grado r ) si transforma funciones homogneas de grado n en
funciones homogneas de grado nr , para todo n Z.
Si : R R 0 es un morfismo graduado entonces el morfismo inducido : Spec R 0
Spec R , aplica ideales primos homogneos en ideales primos homogneos. Si suponemos que la imagen del ideal irrelevante de R por , no est contenido en ms ideal
primo homogneo que los que contengan al irrelevante de R 0 , tenemos definido un
morfismo
: Proj R 0 Proj R, x 7 ( x), donde p(x) = 1 (p x )
P
9. Ejemplo : Sea : k[ x0 , x1 , x2 ] k[ x0 , x1 , x2 ], ( x i ) = i j x j , de modo que det ( i j ) ,
j
0. Entonces es un isomorfismo graduado, que induce un isomorfismo : P2 P2 .

Diremos que es un cambio de coordenadas homogneo.
Si f m R es un elemento homogneo de grado m, entonces R f m es una lgebra
g
graduada, diciendo que el grado de f rn es n mr , para cada g n R n . Dejamos que el
m
lector demuestre la siguiente proposicin.
10. Proposicin :
1. El morfismo de localizacin R R f ( f homognea) es un morfismo graduado que induce un isomorfismo
Proj R f = U fh
56
2. Si I es un ideal homogneo de R entonces R / I es un lgebra graduada homognea, de modo que el morfismo R R / I es un morfismo graduado que induce un
isomorfismo
Proj(R / I ) = ( I )0h
Dada un lgebra graduada R denotaremos por R n al conjunto de los elementos
homogneos de grado n de R . Observemos que R 0 es un subanillo de R .
11. Proposicin : Sea R un lgebra graduada y f R un elemento homogneo de
grado 1. Entonces,
U fh = Proj R f = Spec[R f ]0
Demostracin. Veamos que la composicin de los morfismos naturales
Proj R f , Spec R f Spec[R f ]0 ,
que asigna a cada ideal primo homogneo p R f el ideal primo [p]0 := p [R f ]0 , es el
homeomorfismo buscado. Observemos que el ideal primo p R f est determinado por
sus elementos homogneos de grado cero: un elemento homogneo g R f de grado m
pertenece a p si y slo si g/ f m pertenece a [p]0 . Por tanto, Proj R f Spec[R f ]0 es inyectivo. Observemos que R f = nZ [R f ]0 f n . Si q [R f ]0 es un ideal primo, entonces el
ideal homogneo p := nZ q f n R f es un ideal primo homogneo: Si g, g0 R f son dos
elementos homogneos de grados m y m0 respectivamente, tales que g g0 p, entonces
0
0
0
( g/ f m ) ( g0 / f m ) = ( g g0 )/ f m+m q, luego g/ f m g0 / f m pertenece a q, y por tanto g g0
pertenece a p. Observemos p [R f ]0 = q. En conclusin, Proj R f Spec[R f ]0 es biyectivo. Finalmente, si g R es homognea de grado m, la biyeccin anterior transforma
( g)0h = ( g/ f m )0h en ( g/ f m )0 . Luego la biyeccin continua dada es un homeomorfismo.

Por sencillez, supondremos a partir de ahora que R = R 0 [0 , . . . , n ], donde cada i
es de grado 1. En este caso, [R 0 [0 , . . . , n ] i ]0 = R 0 [0 / i , . . . , n / i ] donde R 0 [0 / i , . . . , n / i ]
es la R 0 -sublgebra de R 0 [0 , . . . , n ] i generada por 0 / i , . . . , n / i .
1. Proj R = U i .
i =0
2. U i es homeomorfo a Spec R 0 [ 0 , . . . , n ].
i
Diremos que U i es un abierto afn de Proj R . Por tanto, el espectro proyectivo admite
un recubrimiento por abiertos afines.
n
i =0
i =0
MANUALES UEX
12. Teorema : Sea R = R 0 [0 , . . . , n ]. Denotemos U i al abierto bsico Proj R \( i )0h . Entonces,
Demostracin. 1. Proj R = U i , ya que ( i )0h = (0 , . . . , n )0h = ;, pues (0 , . . . , n ) es el

ideal irrelevante.
2. Es consecuencia de la proposicin 3.5.11.
57
3.6. Cuestionario
13. Definicin : Llamaremos variedad proyectiva (sobre k) al espectro proyectivo de

un lgebra graduada del tipo k[0 , . . . , n ] = k[ x0 , . . . , xn ]/ I , siendo I un ideal homogneo.
Es decir, una variedad proyectiva es un cerrado del espacio proyectivo Pn . Si adems
es de dimensin 1, diremos que es una curva proyectiva.
14. Ejercicio :
1. Escribir las ecuaciones de la curva proyectiva plana

Proj C[ x0 , x1 , x2 ]/( x02 + x12 + x22 )
en cada uno de los abiertos afines, complementario del cerrado ( x i )0h (deshomogeneizar x02 + x12 + x22 por cada variable x i ).
2. Demostrar que el epimorfismo C[ x0 , x1 , x2 ] C[ x0 , x1 , x2 ]/( x02 + x12 + x22 ) define una
inmersin cerrada Proj C[ x0 , x1 , x2 ]/( x02 + x12 + x22 ) , P2
3. Definir una curva proyectiva plana que en uno de los abiertos afines sea la curva
plana afn y + x2 = 0. Corta la recta x = 0, a la curva y + x2 = 0, en algn punto
del infinito?
3.6.
Cuestionario
1. Sea p5 := (5) Z. Calcular v5 (125/40).

6. Sea C la variedad de Riemann de K . Dado f k y v C Es v( f ) = 0?
MANUALES UEX
7. Sea P1 la variedad de Riemann de k( x) y f k( x). Si v( f ) = 0, para toda v P1

entonces, f k?
8. Sea C la variedad de Riemann de un cuerpo K de tipo finito de grado de trascendencia 1. Si f K es algebraico sobre k. Probar que v( f ) = 0, para toda v C . Si
f K es trascendente sobre k. Probar que existen v, v0 C tales que v( f ) > 0 y
v0 ( f ) < 0.
9. Es una variedad de Riemann recubrible por dos abiertos que sean curvas algebraicas afines no singulares? Y por uno slo?
10. Sea el cuerpo de fracciones de C[ x, y]/( y2 x) y C la variedad de Riemann de .
P
y+1
Calcular los ceros y polos de f = x Se cumple que vC v( f ) = 0?
11. Sea | | : N R un valor absoluto y supongamos que |2| = 3. Probar que | | es arquimediano y calcular |7|.
58
3.7. Biografa de Riemann
p
3
12. Calcular los valores absolutos arquimedianos de Q( e2 i/5 ) y Q( 2).
3.7.
Biografa de Riemann
Bernhard Riemanns father, Friedrich Bernhard Riemann, was

a Lutheran minister. Friedrich Riemann married Charlotte
Ebell when he was in his middle age. Bernhard was the second
of their six children, two boys and four girls. Friedrich Riemann
acted as teacher to his children and he taught Bernhard until
he was ten years old. At this time a teacher from a local school
named Schulz assisted in Bernhards education.
In 1840 Bernhard entered directly into the third class at the
Lyceum in Hannover. While at the Lyceum he lived with his
grandmother but, in 1842, his grandmother died and Bernhard
moved to the Johanneum Gymnasium in Lneburg.
Bernhard seems to have been a good, but not outstanding, pupil who worked hard
at the classical subjects such as Hebrew and theology. He showed a particular interest
in mathematics and the director of the Gymnasium allowed Bernhard to study mathematics texts from his own library. On one occasion he lent Bernhard Legendres book
on the theory of numbers and Bernhard read the 900 page book in six days.
In the spring of 1846 Riemann enrolled at the University of Gttingen. His father
had encouraged him to study theology and so he entered the theology faculty. However
he attended some mathematics lectures and asked his father if he could transfer to the
faculty of philosophy so that he could study mathematics. Riemann was always very
close to his family and he would never have changed courses without his fathers permission. This was granted, however, and Riemann then took courses in mathematics
from Moritz Stern and Gauss.
It may be thought that Riemann was in just the right place to study mathematics
at Gttingen, but at this time the University of Gttingen was a rather poor place for
mathematics. Gauss did lecture to Riemann but he was only giving elementary courses
and there is no evidence that at this time he recognised Riemanns genius. Stern,
however, certainly did realise that he had a remarkable student and later described
Riemann at this time saying that he: ... already sang like a canary.
Riemann moved from Gttingen to Berlin University in the spring of 1847 to study
under Steiner, Jacobi, Dirichlet and Eisenstein. This was an important time for Riemann. He learnt much from Eisenstein and discussed using complex variables in elliptic function theory. The main person to influence Riemann at this time, however, was
Dirichlet. Klein writes:
Riemann was bound to Dirichlet by the strong inner sympathy of a like mode of
thought. Dirichlet loved to make things clear to himself in an intuitive substrate;
along with this he would give acute, logical analyses of foundational questions and
MANUALES UEX
RIEMANN BIOGRAPHY
59
MANUALES UEX
60
would avoid long computations as much as possible. His manner suited Riemann, who
adopted it and worked according to Dirichlets methods.
Riemanns work always was based on intuitive reasoning which fell a little below
the rigour required to make the conclusions watertight. However, the brilliant ideas
which his works contain are so much clearer because his work is not overly filled with
lengthy computations. It was during his time at the University of Berlin that Riemann
worked out his general theory of complex variables that formed the basis of some of
his most important work.
In 1849 he returned to Gttingen and his Ph.D. thesis, supervised by Gauss, was
submitted in 1851. However it was not only Gauss who strongly influenced Riemann
at this time. Weber had returned to a chair of physics at Gttingen from Leipzig during
the time that Riemann was in Berlin, and Riemann was his assistant for 18 months.
Also Listing had been appointed as a professor of physics in Gttingen in 1849. Through Weber and Listing, Riemann gained a strong background in theoretical physics
and, from Listing, important ideas in topology which were to influence his ground
breaking research.
Riemanns thesis studied the theory of complex variables and, in particular, what
we now call Riemann surfaces. It therefore introduced topological methods into complex function theory. The work builds on Cauchys foundations of the theory of complex
variables built up over many years and also on Puiseuxs ideas of branch points. However, Riemanns thesis is a strikingly original piece of work which examined geometric
properties of analytic functions, conformal mappings and the connectivity of surfaces.
In proving some of the results in his thesis Riemann used a variational principle
which he was later to call the Dirichlet Principle since he had learnt it from Dirichlets
lectures in Berlin. The Dirichlet Principle did not originate with Dirichlet, however, as
Gauss, Green and Thomson had all made use of it. Riemanns thesis, one of the most
remarkable pieces of original work to appear in a doctoral thesis, was examined on 16
December 1851. In his report on the thesis Gauss described Riemann as having:
... a gloriously fertile originality.
On Gausss recommendation Riemann was appointed to a post in Gttingen and
he worked for his Habilitation, the degree which would allow him to become a lecturer. He spent thirty months working on his Habilitation dissertation which was on
the representability of functions by trigonometric series. He gave the conditions of a
function to have an integral, what we now call the condition of Riemann integrability.
In the second part of the dissertation he examined the problem which he described in
these words:While preceding papers have shown that if a function possesses such and such a
property, then it can be represented by a Fourier series, we pose the reverse question:
if a function can be represented by a trigonometric series, what can one say about its
behaviour.
To complete his Habilitation Riemann had to give a lecture. He prepared three
lectures, two on electricity and one on geometry. Gauss had to choose one of the three
for Riemann to deliver and, against Riemanns expectations, Gauss chose the lecture
on geometry. Riemanns lecture ber die Hypothesen welche der Geometrie zu Grunde
liegen (On the hypotheses that lie at the foundations of geometry), delivered on 10
June 1854, became a classic of mathematics.

There were two parts to Riemanns lecture. In the first part he posed the problem
of how to define an n-dimensional space and ended up giving a definition of what today
we call a Riemannian space. Freudenthal writes in [1]:It possesses shortest lines, now called geodesics, which resemble ordinary straight
lines. In fact, at first approximation in a geodesic coordinate system such a metric
is flat Euclidean, in the same way that a curved surface up to higher-order terms
looks like its tangent plane. Beings living on the surface may discover the curvature
of their world and compute it at any point as a consequence of observed deviations
from Pythagoras theorem.
In fact the main point of this part of Riemanns lecture was the definition of the
curvature tensor. The second part of Riemanns lecture posed deep questions about the
relationship of geometry to the world we live in. He asked what the dimension of real
space was and what geometry described real space. The lecture was too far ahead of
its time to be appreciated by most scientists of that time. Monastyrsky writes:
Among Riemanns audience, only Gauss was able to appreciate the depth of Riemanns thoughts. ... The lecture exceeded all his expectations and greatly surprised
him. Returning to the faculty meeting, he spoke with the greatest praise and rare
enthusiasm to Wilhelm Weber about the depth of the thoughts that Riemann had presented.
It was not fully understood until sixty years later. Freudenthal writes:
The general theory of relativity splendidly justified his work. In the mathematical apparatus developed from Riemanns address, Einstein found the frame to fit his
physical ideas, his cosmology, and cosmogony: and the spirit of Riemanns address was
just what physics needed: the metric structure determined by data.
So this brilliant work entitled Riemann to begin to lecture. However,
Not long before, in September, he read a report .On the Laws of the Distribution
of Static Electricity.at a session of the Gttingen Society of Scientific researchers and
Physicians. In a letter to his father, Riemann recalled, among other things, "the fact
that I spoke at a scientific meeting was useful for my lectures". In October he set to
work on his lectures on partial differential equations. Riemanns letters to his dearlyloved father were full of recollections about the difficulties he encountered. Although
only eight students attended the lectures, Riemann was completely happy. Gradually
he overcame his natural shyness and established a rapport with his audience.
Gausss chair at Gttingen was filled by Dirichlet in 1855. At this time there was
an attempt to get Riemann a personal chair but this failed. Two years later, however,
he was appointed as professor and in the same year, 1857, another of his masterpieces
was published. The paper Theory of abelian functions was the result of work carried
out over several years and contained in a lecture course he gave to three people in
1855-56. One of the three was Dedekind who was able to make the beauty of Riemanns
lectures available by publishing the material after Riemanns early death.
The abelian functions paper continued where his doctoral dissertation had left off
and developed further the idea of Riemann surfaces and their topological properties.
He examined multi-valued functions as single valued over a special Riemann surface
and solved general inversion problems which had been solved for elliptic integrals by
MANUALES UEX
61
MANUALES UEX
Abel and Jacobi. However Riemann was not the only mathematician working on such
ideas. Klein writes:
... when Weierstrass submitted a first treatment of general abelian functions to
the Berlin Academy in 1857, Riemanns paper on the same theme appeared in Crelles
Journal, Volume 54. It contained so many unexpected, new concepts that Weierstrass
withdrew his paper and in fact published no more.
The Dirichlet Principle which Riemann had used in his doctoral thesis was used by
him again for the results of this 1857 paper. Weierstrass, however, showed that there
was a problem with the Dirichlet Principle. Klein writes:
The majority of mathematicians turned away from Riemann ... Riemann had quite a different opinion. He fully recognised the justice and correctness of Weierstrasss
critique, but he said, as Weierstrass once told me, that he appealed to Dirichlets Principle only as a convenient tool that was right at hand, and that his existence theorems
are still correct.
We return at the end of this article to indicate how the problem of the use of Dirichlets Principle in Riemanns work was sorted out.
In 1858 Betti, Casorati and Brioschi visited Gttingen and Riemann discussed with
them his ideas in topology. This gave Riemann particular pleasure and perhaps Betti
in particular profited from his contacts with Riemann. These contacts were renewed
when Riemann visited Betti in Italy in 1863. In [16] two letter from Betti, showing the
topological ideas that he learnt from Riemann, are reproduced.
In 1859 Dirichlet died and Riemann was appointed to the chair of mathematics at
Gttingen on 30 July. A few days later he was elected to the Berlin Academy of Sciences. He had been proposed by three of the Berlin mathematicians, Kummer, Borchardt
and Weierstrass. Their proposal read:
Prior to the appearance of his most recent work [Theory of abelian functions], Riemann was almost unknown to mathematicians. This circumstance excuses somewhat
the necessity of a more detailed examination of his works as a basis of our presentation. We considered it our duty to turn the attention of the Academy to our colleague
whom we recommend not as a young talent which gives great hope, but rather as a
fully mature and independent investigator in our area of science, whose progress he
in significant measure has promoted.
A newly elected member of the Berlin Academy of Sciences had to report on their
most recent research and Riemann sent a report on On the number of primes less
than a given magnitude another of his great masterpieces which were to change the
direction of mathematical research in a most significant way. In it Riemann examined
the zeta function
( s ) =
X
Y
(1/ n s ) = (1 ps )1
n
which had already been considered by Euler. Here the sum is over all natural
numbers n while the product is over all prime numbers. Riemann considered a very
different question to the one Euler had considered, for he looked at the zeta function
as a complex function rather than a real one. Except for a few trivial exceptions, the
roots of ( s) all lie between 0 and 1. In the paper he stated that the zeta function had
62
infinitely many nontrivial roots and that it seemed probable that they all have real
part 1/2. This is the famous Riemann hypothesis which remains today one of the most
important of the unsolved problems of mathematics.
Riemann studied the convergence of the series representation of the zeta function
and found a functional equation for the zeta function. The main purpose of the paper
was to give estimates for the number of primes less than a given number. Many of
the results which Riemann obtained were later proved by Hadamard and de la Valle
Poussin.
In June 1862 Riemann married Elise Koch who was a friend of his sister. They had
one daughter. In the autumn of the year of his marriage Riemann caught a heavy cold
which turned to tuberculosis. He had never had good health all his life and in fact his
serious heath problems probably go back much further than this cold he caught. In
fact his mother had died when Riemann was 20 while his brother and three sisters all
died young. Riemann tried to fight the illness by going to the warmer climate of Italy.
The winter of 1862-63 was spent in Sicily and he then travelled through Italy, spending time with Betti and other Italian mathematicians who had visited Gttingen. He
returned to Gttingen in June 1863 but his health soon deteriorated and once again he
returned to Italy. Having spent from August 1864 to October 1865 in northern Italy,
Riemann returned to Gttingen for the winter of 1865-66, then returned to Selasca on
the shores of Lake Maggiore on 16 June 1866. Dedekind writes:
His strength declined rapidly, and he himself felt that his end was near. But still,
the day before his death, resting under a fig tree, his soul filled with joy at the glorious
landscape, he worked on his final work which unfortunately, was left unfinished.
Finally let us return to Weierstrasss criticism of Riemanns use of the Dirichlets
Principle. Weierstrass had shown that a minimising function was not guaranteed by
the Dirichlet Principle. This had the effect of making people doubt Riemanns methods.
Freudenthal writes:
All used Riemanns material but his method was entirely neglected. ... During the
rest of the century Riemanns results exerted a tremendous influence: his way of thinking but little.
Weierstrass firmly believed Riemanns results, despite his own discovery of the
problem with the Dirichlet Principle. He asked his student Hermann Schwarz to try
to find other proofs of Riemanns existence theorems which did not use the Dirichlet
Principle. He managed to do this during 1869-70. Klein, however, was fascinated by
Riemanns geometric approach and he wrote a book in 1892 giving his version of Riemanns work yet written very much in the spirit of Riemann. Freudenthal writes:
It is a beautiful book, and it would be interesting to know how it was received.
Probably many took offence at its lack of rigour: Klein was too much in Riemanns
image to be convincing to people who would not believe the latter.
In 1901 Hilbert mended Riemanns approach by giving the correct form of Dirichlets Principle needed to make Riemanns proofs rigorous. The search for a rigorous
proof had not been a waste of time, however, since many important algebraic ideas
were discovered by Clebsch, Gordan, Brill and Max Noether while they tried to prove
Riemanns results. Monastyrsky writes:
It is difficult to recall another example in the history of nineteenth-century mathe-
MANUALES UEX
63
3.8. Problemas
matics when a struggle for a rigorous proof led to such productive results.
Biographies/).
3.8.
Problemas
1. Sea K un cuerpo y v, v0 : K R dos valoraciones reales. Probar que O v = O v0 si y

slo si existe > 0 tal que v0 = v.
MANUALES UEX
2. Probar que si un cuerpo de nmeros K contiene alguna raz imaginaria de la

unidad, entonces N () > 0, para todo K .
64
Captulo 4
Para el estudio y clasificacin de los anillos de nmeros enteros, A , se introducen el

discriminante de A , el grupo Pic( A ) y el grupo de los invertibles de A . Dado un cuerpo
de nmeros, K tenemos la inmersin cannica K , K Q R = Rr Cs = Rd y resulta
que el anillo de enteros de K , A , es una red de Rd . Dada a A , hay una relacin fundamental entre los valores de a en las valoraciones discretas definidas por los puntos
cerrados de Spec A y los valores absolutos de las coordenadas de a Rr Cs . La aritmtica de A est ligada con cuestiones topolgico-analticas de A en su inmersin en
Rd . El discriminante de A , que es el determinante de la mtrica de la traza, es igual
2s V ol (Rd / A )2 . El teorema de Hermite afirma que slo existe un nmero finito de
cuerpos de nmeros de discriminante fijo dado. El grupo de los ideales de A mdulo
isomorfismos, Pic A , es un grupo finito. Como consecuencia se obtiene que existe una
extensin finita de K , L, tal que todo ideal de A extendido al anillo de enteros de L es
principal. El grupo de los invertibles de A , que son los elementos de norma 1, es un
grupo finito generado de rango r + s 1 y torsin el grupo de las races de la unidad
que estn en K .
Introducimos la funcin zeta de Riemann, que es de gran importancia en la Teora
de nmeros en el clculo de la distribucin de los nmeros primos. Aplicamos la funcin zeta de Riemann para determinar cundo dos extensiones de Galois son isomorfas
y para demostrar que un sistema de ecuaciones diofnticas tiene soluciones complejas
si y slo mdulo p admite soluciones enteras, para infinitos primos p.
1. Notacin : Sea K una Q-extensin finita de cuerpos de grado d , A el anillo de
enteros de K y sean
{1 , . . . , r , r+1 , . . . r+s , r+s+1 = r+1 , . . . , r+2s = r+s } = HomQal g (K, C)
MANUALES UEX
Teoremas fundamentales de la
Teora de Nmeros
(donde i (K ) R si y slo si i r y r+ i es igual a la composicin de r+ i con el

morfismo de conjugacin).
4.1.
Divisores afines
Sea K una Q-extensin finita de cuerpos de grado d y A el anillo de enteros de K .
65
4.1. Divisores afines
Teoremas de la Teora de Nmeros
1. Definicin : Llamaremos grupo de divisores afines de K , que denotaremos Div( A ),

al grupo abeliano libre de base los puntos cerrados de Spec A ,
Div( A ) = xSpecmax A Z x
P
P
Cada D = i n i x i Div( A ) diremos que es un divisor afn. Diremos D = x n x x D 0 =
P
P 0
n0x , para todo x. Diremos que D = x n x x es efectivo si D 0. Dado un
x n x x si n xP
divisor D = xSpec A n x x, diremos que el conjunto Sop(D ) = { x Spec A, n x , 0} es el
soporte de D .
2. Definicin : Cada f K , no nula, define un divisor afn, llamado divisor afn principal, que denotamos D ( f ):
X
D( f ) =
vx ( f ) x
xSpecmax A
Se dice que dos divisores afines D, D 0 son afnmente equivalentes si existe f K tal que
D = D 0 + D ( f ). El conjunto de los divisores afines principales de Div A , es un subgrupo
y el cociente de Div A por el subgrupo de los divisores afines principales se denota
Pic A = Div A / y se llama grupo de clases de ideales de A o grupo de Picard de A .
3. Ejercicio : Probar que Pic Z = {0}.
4. Ejercicio : Probar que Pic A = {0} si y slo si A es un dominio de ideales principales.
Si dos ideales no nulos a, a0 A son isomorfos, localizando en el punto genrico
obtenemos un isomorfismo de K -mdulos de K , que es multiplicar por una f K , luego
a0 = f a.
5. Proposicin : Se cumplen las igualdades
Conj. de ideales no nulos de A = Conj. de divisores afines efectivos
P
a = mnx11 mnxrr
7
D (a) := i n i x i
MANUALES UEX
Conjunto de ideales no nulos de A , mdulo isomorfismos = Pic A, [a] 7 [D (a)]

Demostracin. Veamos la segunda igualdad. La asignacin es epiyectiva: Dado un diP
visor afn D , sea f A , tal que D + D f = ri=1 n i x i sea un divisor afn efectivo. Sea
a = mnx11 mnxrr . Entonces, D (a) = D + D f .
La asignacin es inyectiva: Si D (a) = D (a0 ) + D f , entonces a = f a0 y a es isomorfo a
a0 .

6. Definicin : Llamemos ideal fraccionario de K a los A -submdulos no nulos finito
generados de K .
Los ideales fraccionarios son A -mdulos localmente principales, porque son A mdulos finito generados de rango 1 sin torsin.
En el conjunto de ideales fraccionarios tenemos la operacin multiplicacin de ideales.
7. Notacin : Sea x Spec A un punto cerrado y n Z. Denotemos mnx := { h K : D ( h)
n}.
66

n
Observemos que si n N entonces mnx = m x m x .

8. Proposicin : Sea I un ideal fraccionarios de K . Existen ciertos x1 , . . . , xm Spec A
distintos (y nicos) y ciertos n 1 , . . . , n m Z (nicos), de modo que
n
I = mnx11 m xmm
s
Adems, msx11 m xmm es ideal fraccionario para todo s 1 , . . . , s m y x1 , . . . , xm .

Demostracin. Sea I un ideal fraccionario de K y sea x Specmax A , entonces I x = f A x
para cierto f I . Observemos que v x ( f ) = nf{v x ( g) : g I }. Observemos adems que
I x = { g K : v x ( g) v x ( f )}.
Probemos que mnx es un ideal fraccionario (para n 0 es obvio). Dado un punto
cerrado x Spec A , sea f K tal que v x ( f ) = n. Existe g A tal que v x ( g) = 0 (luego
v x ( f g) = n) y tal que D ( f g) = D ( f ) + D ( g) nx. Sea J = A + f gA . Observemos que
J y = A y , para y , x y que Jx = f gA x . Observemos que J = mnx , porque J mnx y mnx J
localmente. Por tanto, mnx es un ideal fraccionario.
Dado un ideal fraccionario I , sea n x := nf{v x ( f ), f I } x. Observemos que como
I = f 1 A + + f n A , n x = nf{v x ( f i ) : i = 1, . . . , n} y por tanto n x = 0 para todo x salvo un
nmero finito. Se cumple que
Y
I=
mnx x
xSpecmax A
porque localmente coinciden.

n0x
n x + n0x
Q
Q
n Q
Observemos que xSpecmax A m x x xSpecmax A m x = xSpecmax A m x
.
Si dos ideales fraccionarios no nulos I, I 0 K son isomorfos, localizando en el punto
genrico obtenemos un isomorfismo de K -mdulos de K , que es multiplicar por una
f K , luego I 0 = f I .
9. Proposicin : Las asignaciones

Div A
P
D = i n i xi
P
D ( I ) := x nf{v x ( f ), f I } x
/

o
{Ideales fraccionarios de K }
Q n
I D := { f K : D ( f ) D } = i m x ii
I
Pic A = Conjunto de ideales fraccionarios de K , mdulo isomorfismos

Q
P
P
n
Demostracin. Si I = n x m x x entonces D ( I ) = x n x x. Dado D = x n x x se cumple que
X
Y n
n
I D = { f K : D ( f ) n x x} = n x m x x m x x .
x
nx
MANUALES UEX
son inversas entre s. Por tanto,

10. Definicin : Dado un ideal fraccionario I = mnx11 mnxrr de K definimos la norma
de I , que denotamos N ( I ), como el nmero racional positivo
Y
N ( I ) = | A /m x i | n i
i
67
Evidentemente, N : {Ideales fraccionarios de K } Q es un morfismo de grupos.

11. Proposicin : Dado un ideal fraccionario I K se cumple que
N ( I ) = egr(D(I))
Es decir, el diagrama
{Divisores afines}

{Ideales fraccionarios}
gr
e
R+
es conmutativo.
Demostracin. Las aplicaciones egr , N I : {Divisores afines de K } R+ son morfismos
de grupos. Para ver que son iguales basta comprobar que coinciden sobre los puntos
x Specmax A . Efectivamente, egr(x)) = | A /m x | = N (m x ) = N ( I ( x)).

12. Proposicin : Dado un ideal a A , entonces N (a) = | A /a|. Dados dos ideales fraccionarios I 0 I , se cumple que N ( I 0 )/ N ( I ) = | I / I 0 |.
Q
n
Demostracin. Escribamos a = mnx11 mnxrr , entonces A /a = i A /m x ii y
Y
Y
n
| A /a| = | A /m x ii | = | A /m x i |n i = N (a)
i
Existe un ideal a A tal que I 0 = I a. Adems, I / I 0 ' A /a porque son A -mdulos de

torsin y localmente coinciden. Entonces,
| I / I 0 | = | A /a| = N (a) = N ( I 0 )/ N ( I )

13. Ejercicio : Sea 0 , f K . Probar que | N ( f )| = N ( f A ).
Solucin: Escribamos f = a/ b, a, b A . Entonces, ( f ) ( b) = (a) y
MANUALES UEX
N (( f )) = N ((a))/ N (( b)) = | N (a)/ N ( b)| = N ( f )

14. Ejercicio : Dado un ideal fraccionario I de K , probar que N ( I ) Z = N ( f ) f I .
Solucin: Basta ver que localmente como Z-mdulos son iguales. Sea S Z un sistema multiplicativo. Podemos definir igualmente Div( A S ), los ideales A S -fraccionarios
de K y su norma. Observemos que N ( I ) ZS = N ( I S ) y N ( f ) f I ZS = N ( f ) f I S . Sea
S = Z\( p), entonces A S es un dominio de ideales principales y como I S es principal se
concluye por el ejercicio 4.1.13.
15. Ejercicio : Sea K una Q-extensin de Galois de grupo G . Dado un ideal fraccionario I de K , probar que
Y
N (I ) A =
( I ).
G
Solucin: Procdase como en el ejercicio anterior.
68
4.2.
4.2. Divisores completos
Divisores completos
`
1. Notacin : Sea X = Specmax A , X = Spec K Q R y X = X X .
2. Definicin : Llamaremos grupo de los divisores completos de X , que denotaremos
Div( X ), al grupo
Div( X ) = ( x X Z x) ( y X R y)
P
P
y diremos que D = x X n x x + y X y y es un divisor completo. Diremos que D | X :=
P
P
x X n x x es la parte afn de D y que D := y X y y es la parte del infinito de D .

Diremos que D 0 si n x , y 0, para todo x e y.
3. Definicin : Dado y X y f K , denotemos v y ( f ) := ln | f | y . Diremos que
D ( f ) =
vx ( f ) x
x X
es el divisor principal completo asociado a f . El conjunto de los divisores completos

principales es un subgrupo de Div( X ). El cociente de Div( X ) por el subgrupo de los
divisores principales completos se denota Pic( X ) y se denomina grupo de Picard completo.
P
P
4. Definicin : Dado un divisor completo D = x X n x x + y X y y llamaremos
grado de D , que denotamos gr D , a
gr(D ) :=
n x gr x +
x X
y gr y
y X
Observemos que gr : Div( X ) R es un morfismo de grupos.

5. Teorema : Para toda f K , se cumple que
gr(D ( f )) = 0
6. Ejercicio : Sea X el conjunto de valores absolutos de Q, mdulo equivalencia. Probar que Pic X = R.
7. Proposicin: Sea c Z. Salvo multiplicacin por invertibles existe un nmero finito de a A tal que N (a) = c.
MANUALES UEX
Demostracin. Es consecuencia de la proposicin 3.4.5
Demostracin. | N (a)| = | A /aA | = | c| si y slo si gr D (a) = ln | c|. Ahora bien, divisores afines efectivos de grado dado slo existen un nmero finito. Por tanto, existen a 1 , . . . , a m
de modo que gr D (a i ) = ln | c| y si gr D (a) = ln | c|, entonces Da = Da i . Luego a es igual
salvo multiplicacin por invertibles a alguno de los a i .
69
4.3. Discriminante
4.3.
Volumen de un paraleleppedo. Discriminante
1. Definicin : Sea E un R-espacio vectorial de dimensin n. Diremos que un subgrupo aditivo de E es una red si est generado por alguna base { e 1 , . . . , e n } del espacio
vectorial, es decir, = Z e 1 Z e n y E = Z R = R e 1 R e n .
Se dice que E / es el paraleleppedo generado por e 1 , . . . , e n .
2. Ejemplo : Sea K un cuerpo de nmeros, de grado d sobre Q. Sea K un Z-mdulo
libre de rango d . Consideremos la inclusin cannica
, Z R = K Q R = Rr Cs =: O , a 7 (1 (a), . . . , r (a), r+1 (a), . . . , r+s (a))

es una red de O . Todo anillo de enteros, como todo ideal fraccionario no nulo son
redes de O .
Sea T2 : E E R una mtrica simtrica sobre un R-espacio vectorial E de dimensin n. T2 extiende a Rn E :
T2 ( e 1 e n , e01 e0n ) := ( i e 1 T2 i e n T2 )( e01 , , e0n )

X
=
sign() T2 ( e 1 , e0(1) ) T2 ( e n , e0(n) )
S n
Se cumple que T2 ( e 1 e n , e 1 e n ) = det((T2 ( e i , e j ))). Se define el discriminante

de = Z e 1 + + Z e n , , por
:= det((T2 ( e i , e j )))
Sean e01 , . . . , e0n E , con e0i =
j i j e j ,
entonces e01 e0n = det( i j ) e 1 e n , y
det((T2 ( e0i , e0j ))) = T2 ( e01 e0n , e01 e0n ) = det( i j )2 T2 ( e 1 e n , e 1 e n )

= det( i j )2 det((T2 ( e i , e j ))).
MANUALES UEX
Si e01 , . . . , e0n es otra base del Z-mdulo , entonces det( i j ) = 1. Por tanto, no depende de la base de escogida.
Se define el volumen del paraleleppedo generado por e 1 , . . . , e n , por
V ol (E /) :=
p
p
| | = | det(T2 ( e i , e j ))|
En O tenemos la mtrica de la traza T2 . Sea {a 1 , . . . , a d } una base de K .

3. Si , entonces T2 (a i a j ) es igual a la traza del endomorfismo de Z-mdulos
(a i a j ) : , luego es un nmero entero y es un nmero entero.
4. En O tenemos la mtrica de la traza T2 y la mtrica eucldea estndar S 2 . Se
cumple que det(T2 ) = (4)s det(S 2 ) y por tanto el volumen de los paraleleppedos con
la mtrica de la traza es 2s -veces el volumen de los paraleleppedos con la mtrica
eucldea estndar.
Consideramos la matriz de nmeros reales de filas los vectores (1 (a j ), . . . , r+s (a j ))
r
R Cs = Rd . Entonces = (4)s det( i (a j )) y V ol (O /) = 2s | det( i (a j ))|.
70
4.3. Discriminante
5. Como,
(T2 (a i , a j )) = (tr(a i a j )) = (
d
X
k (a i a j )) = ( i (a j )) t ( i (a j )),
k=1
entonces
= det(( i (a j )))2
(donde ( i (a j )) es una matriz cuadrada de nmeros complejos de orden d ) y
V ol (O /) =
p
| | = | det(( i (a j )))|
6. Ejercicio : Sea A un anillo de enteros y supongamos que i A . Demostrar que

A[i] = (4)d 2A .
Si tenemos dos redes 0 , entonces existen bases en 0 y donde la matriz de la
inclusin es diagonal y es claro que
0 = |/0 |2
V ol (O /0 ) = |/0 | V ol (O /)
Recordemos que si I 0 I son ideales fraccionarios, | I / I 0 | = N ( I 0 )/ N ( I ).
7. Proposicin : Si I es un ideal fraccionario, entonces
p
V ol (O / I ) = N ( I ) | A |
Demostracin. Sean a, b A ideales tales que I = a b1 (luego, I b1 y A b1 ).
Entonces,
V ol (O / I ) =
p
N (I )
N (I )
1
1
V
ol
(
O
/
b
)
=
N
(
b
)
V
ol
(
O
/
A
)
=
N
(
I
)
| A |
N (b1 )
N (b1 )
i< j
Sea A el anillo de enteros de K . Entonces,
( p( x)) = Z[] = | A /Z[]|2 A

Por ejemplo, el discriminante de x2 n es 4 n. Si p
n no tiene factores cuadrticos
p
p
n+1
n+1
y Z[ n] no es normal, entonces | A /Z[]| = 2. Como 2 es entero, A = Z[ 2 ] (y
A = n).
MANUALES UEX
8. Ejemplo : Sea raz de un polinomio irreducible p( x) = x d + c 1 x d 1 + + c d Z[ x]

y sea K = Q() = Q[ x]/( p( x)). Sea { i } = HomQal g (K, C), entonces las races de p( x) son
{ i ()} i .
Una base de Z[] es {1, , . . . , d 1 }. Por tanto,
Y
j
Z[] = det(( i ( j )))2 = det(( i ))2 = ( i j )2 = ( p( x))
9. Ejercicio : Sea n Z, con n , 0, 1 y sin factores cuadrticos. Demostrar que el

p
discriminante de K = Q[ n] es n si n 1 mod 4, y es 4 n si n 2, 3 mod 4.
10. Ejercicio : Sea n Z, con n , 0, 1 y sin factores cuadrticos. Sea
el discriminante
p
p
p
+
de Q[ n]. Probar que el anillo de enteros de Q[ n] es igual a Z[ 2 ].
71
4.4. Teorema de Riemann-Roch dbil
4.4.
Teorema de Riemann-Roch dbil
1. Definicin : Sea D un divisor completo, definimos ID := { f K : D + D ( f ) 0}.

Si D = n 1 x1 + + n m xm + 1 y1 + + r+s yr+s , entonces
(
ID =
f K : vxi ( f ) n i , i
f K : v yi ( f ) i , yi
v x ( f ) 0, x , x i
n m \
n1
= m
m
{( i ) Rr Cs = O : | i | e i , i }
xm
x1
2. Propiedades:
1. Si D 0 = D + D ( f ), entonces f : ID 0 ' ID es una biyeccin.
n m
n1
2. El conjunto ID es finito porque es la interseccin de la red m
x1 m xm con el
compacto {( j ) Rr Cs = O : | j | e j , j }, que es finito.
3. En el caso D = 0, denotamos ID = O X ( X ). Entonces, O X ( X )\{0} = { f K : D ( f ) =

0} forma un subgrupo multiplicativo de K que, al ser finito, ha de coincidir con
las races n-simas de la unidad contenidas en K , que denotaremos K .
4. Si gr(D ) < 0 entonces ID = {0}.
5. Si gr(D ) = 0 y ID , {0}, entonces existe f tal que D + D ( f ) 0, luego D + D ( f ) = 0
y D = D ( f 1 ).
3. Teorema del punto de la red de Minkowski: Sea E un espacio vectorial real de
dimensin d , con una mtrica T2 no singular. Sea una red de E y C un compacto de
E , convexo y simtrico respecto del origen. Si V ol (C ) 2d V ol (E /), entonces C contiene
algn vector no nulo de la red .
MANUALES UEX
Demostracin. Como V ol ( 12 C ) V ol (E /), la composicin 12 C , E E / no puede

ser inyectiva (pues definira un homeomorfismo 21 C = E /, y por tanto una seccin de
y x
E E /). Por tanto, existen x, y C distintos tales que 2 . Como C es convexo y
y x
simtrico 2 C .

4. Notacin : Sea A el anillo de enteros del cuerpo de nmeros K . Por abuso de notacin, escribiremos K := A .
5. Teorema de Riemann-Roch dbil: Sea D un divisor completo. Entonces, I , {0}
D
cuando
gr D ln
|K | s ln(/2)
Demostracin. D = D ( I ) + D , para cierto ideal fraccionario I y cierto divisor D =

P
i
i i yi . Sea C = {(1 , . . . , r + s ) O : | i | e , i }, entonces I D = I C .
V ol (O / I ) = N ( I )
|K | = egr(D(I))
p
| K |
V ol (C ) = 2r e1 ++r 2s s e2(r+1 ++r+s ) = 2d ( )s egr(D )

2
72
4.5. Finitud de la clase de ideales
El teorema del punto de la red de Minkowski asegura que ID , {0} cuando

p
2d ( )s egr(D ) = V ol (C ) 2d V ol (O / I ) = 2d egr D(I) |K |

2
p
es decir, cuando ( 2 )s egr D |K |.

p
6. Corolario: Si D es un divisor completo y gr D ln |K |, entonces D es linealmente
equivalente a un divisor completo efectivo.
4.5.
Finitud de la clase de ideales
1. Proposicin : Todo divisor afn D es afnmente equivalente a un divisor afn efecp

tivo de grado menor o igual que ln |K |.
p
Demostracin. Sea D un divisor en el infinito tal que gr(D + D ) = ln |K |. Por
el teorema de Riemann-Roch dbil, existe f K tal que D + D + D f es un divisor
p
efectivo, de grado ln |K |. Por tanto, D es afnmente equivalente a un divisor afn
p
efectivo de grado menor o igual que ln |K |.

2. Proposicin : Todo ideal I A es isomorfo a un ideal de norma menor o igual que
p
| K |.
3. Teorema : Pic A es un grupo finito.
Demostracin. El nmero de divisores afines efectivos de grado menor o igual que
cierto nmero es finito. Dado [D ] Pic A , D es afnmente equivalente a un divisor afn
p

efectivo de grado menor o igual que ln |K |.
5. Corolario : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Existe un

nmero natural n > 0, de modo que todo ideal a A cumple que an es principal.
Demostracin. Sea n = | Pic A |. Entonces, [a]n = [ A ], para todo [a] Pic A , es decir, an
es un ideal principal, para todo ideal a A .

6. Corolario : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Existe una
extensin finita L de K , de modo que todos los ideales de A extendidos al anillo de
enteros de L son principales.
MANUALES UEX
4. Ejercicio : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Probar que

p
si todo ideal primo p x A es principal si | A /p x | |K |, entonces A es un dominio de
ideales principales.
p
Es conocido que Q[ r ], con r > 0 y no divisible por ningn primo al cuadrado, es
de ideales principales si si slo si r = 1, 2, 3, 7, 11, 19, 43, 67, 163.
Demostracin. Sea a A un ideal y n > 0 tal que an = (a) es principal. Si B es el anillo

p
p
p
de enteros de K [ n a], entonces a B = ( n a). En efecto, (a B)n = a B = ( n a)n , luego las
p
descomposiciones en producto de ideales primos de a B y la ( n a) han de ser la misma,
p
p
luego son iguales. Si Pic A = {[a1 ], . . . , [an ]} y ani = (a i ), entonces L = K [ n a 1 , . . . , n a n ].
73
4.5. Finitud de la clase de ideales
7. Teorema de Minkowski: K , 1 para toda extensin finita K de Q, no trivial.

Demostracin. Si K = 1, por el corolario 4.4.6, todo divisor completo de grado cero
es principal, lo cual es imposible porque hay un nmero no numerable de divisores
completos de grado cero; salvo los casos r = 1 y s = 0 (es decir, K = Q) y r = 0 y s = 1
p
(luego d = 2 y K = Q[ n] que tiene discriminante n o 4 n).

8. Teorema de Hermite: Slo hay un nmero finito de extensiones de Q de grado y
discriminantes dados.
Demostracin. Sea K una extensin de discriminante y grado d .
Podemos suponer que i K : si i K , entonces |K[i] | | A[i] | = 4d | A |2 = 4d |K |2 ,
y como probaremos, el nmero de cuerpos cuyo valor absoluto del discriminante es
menor que 4d |2 | y grado 2 d , que contienen a i , es finito y cada uno de stos contiene
un nmero finito de subextensiones. En conclusin, el nmero de cuerpos de discriminante y grado d es finito.
Suponemos, pues, que i K (luego r = 0). Consideremos en el infinito el divisor
p
( d + ln |K |) y1 y2 . . . ys
El teorema de Riemann-Roch dbil afirma la existencia de una f A tal que | i ( f )|
e1 < 1, para todo i > 1. Como N ( f ) es un nmero entero, se sigue |1 ( f )| = | f | > 1.
Sea H = { HomQal g (K, C) : ( f ) = f }, tendremos que |( f )| > 1, para todo H . Por
tanto, H = {1 } y K = Q[ f ] (o bien, H = {1 , 1 }, en este caso K = Q[ i f ] y tomaramos i f
p
en vez de f ). Observemos, adems, que |1 ( f )| e d |K |. Por tanto, los coeficientes
del polinomio anulador de f estn acotados, pues sus races i ( f ) lo estn, y como son
nmeros enteros slo hay un nmero finito de tales polinomios.

9. Proposicin : Sea K un cuerpo de nmeros y d = dimQ K . Dado un ideal fraccionario I K , existe f I no nula, de modo que
p
| N ( f )| c| N ( I )|, con c = d ! d d (4/)s |K |
MANUALES UEX
Fijado el discriminante del cuerpo de nmeros, el grado est acotado.

Demostracin. Consideremos el compacto
C = {(1 , . . . , r , . . . , r+s ) O = Rr Cs :
X
ir
| i | +
2| j | t }
j>r
que tiene volumen 2r s t d / d !. Sea t, de modo que V ol (C ) = 2d V ol (O / I ). Entonces,

por el teorema del punto de la red de Minkowski existe f I no nula, de modo que
P
i | i ( f )| t. Como la media geomtrica est acotada por la media aritmtica,
Y
X
| N ( f )| = | i ( f )| ( | i ( f )|/ d )d t d / d d = d ! d d (4/)s V ol (O / I )
i
= d !d
i
d
(4/)
|K | | N ( I )|
Como c 1, se sigue que fijado el discriminante el grado est acotado.
74
4.6. Invertibles de un anillo de enteros
10. Ejercicio : Sea K un cuerpo de nmeros de discriminante 4. Probar que dimQ K =

2. Probar que K = Q[ i ].
4.6.
Invertibles de un anillo de enteros
Queremos estudiar el grupo de invertibles de un anillo de enteros A , que coincide

con el grupo de los enteros de K de norma 1.
1. Lema : Sea un subgrupo discreto de Rd . Entonces, existen r d vectores linealmente independientes e 1 , . . . , e r Rd de modo que = Z e 1 . . . Z e r .
Demostracin. es un cerrado de Rd : Si una sucesin {vn } converge a v Rd , entonces vn vm 0, para n, m >> 0. Como es discreto vn vm = 0 para todo n, m >> 0.
Luego, vn = vm para todo n, m >> 0 y v = vn , para n >> 0.
Sustituyendo Rd por el subespacio vectorial que genera , podemos suponer que
contiene una base de Rd , y que Zd . Consideremos la proyeccin : Rd Rd /Zd =
S 1d . Observemos que la topologa de S 1d coincide con la topologa final de . () es
un cerrado, porque 1 (()) = + Zd = es un cerrado, luego es compacto. Adems,
() es discreto. Por tanto, () es finito y obtenemos que es finito generado. Como
carece de torsin, pues est incluido en Rd , es un grupo libre de rango d . Existen,
e 1 , . . . , e d tales que = Z e 1 . . . Z e r y como e 1 , . . . , e d generan Rd , han de ser
linealmente independientes en Rd .

Sea Div0 ( X ) el conjunto de los divisores completos de grado cero. Sea Div =
y X R y = Rr+s el grupo de los divisores completos de soporte en el infinito y Div0 el
grupo de los divisores completos de soporte en el infinito de grado 0. Consideremos el
morfismo natural Div( X ) Div( X ), D 7 D | X y la sucesin exacta,
Sea Pic0 ( X ) el grupo de las clases de equivalencia de los divisores completos de

grado 0. Sea A el conjunto de todos los invertibles de A y Pic0 := Div0 /D ( A ). Las
sucesiones
0 Pic0 Pic0 ( X ) Pic( X ) 0
D
1 K A Div0 Pic0 0
son exactas. Sabemos que Pic( X ) es un grupo finito.
2. Proposicin : Pic0 es compacto.
p
0
= grcy1 y1 Div . Sea
Demostracin. Fijemos un divisor de grado c := ln |K |, D
c
Div
el conjunto de los divisores con soporte en el infinito de grado c. Obviamente,
0
c
c
c
0
Div = Div
, D 7 D + D
, Pic0 = Div0 /D ( A ) = Div
/D ( A ) =: Pic
y basta demosc
trar que Pic es compacto.
c
Dado D Div
, por el teorema de Riemann-Roch dbil existe f K tal que
MANUALES UEX
0 Div0 Div0 ( X ) Div( X ) 0
D + D ( f ) 0
75
4.6. Invertibles de un anillo de enteros
Como D ( f ) 0, entonces f A y c0 := gr D ( f ) 0. D + D ( f ) est en el compacto

0
c c
C := {D 00 Div
: D 00 0}
c
Es decir, D pertenece al compacto C f := C D ( f ) Div
. Observemos que c c0 0,
luego c0 c. Ahora bien, el nmero de f A , salvo multiplicacin por invertibles, tales
que gr D ( f ) c es finito. Por tanto, existe un nmero finito de funciones f i A de modo
c
que para cada D Div
, existe i tal que D C f i mod D ( A ). Por tanto,
c
Pic
= i C f i ,
que es unin de un nmero finito de compactos, luego compacto.

3. Teorema de Dirichlet: Pic0 es un toro de dimensin r + s 1 y los invertibles
A es un grupo finito generado de rango r + s 1 y de torsin las races de la unidad
contenidas en K .
Demostracin. A es un subconjunto discreto de O , luego A es un subgrupo discreto
de O
. Consideremos el epimorfismo de grupos (que tiene seccin)
X
D : O
= (Rr Cs ) Div , ( i ) 7 (ln | i |) yi
i
La imagen de A es D ( A ), luego D ( A ) es discreto en Div0 = Rr+s1 . Por el lema

anterior D ( A ) es un grupo libre de rango r + s 1. La compacidad de Pic0 implica
que el rango de D ( A ) es r + s 1 y que Pic0 es un toro de dimensin r + s 1. El ncleo
del epimorfismo A D ( A ), f 7 D ( f ) es O X ( X ) =: K , que son las races de la unidad
contenidas en K . Por tanto,
A ' K Zr+s1

4. Ejercicio : Probar que existen 1 , . . . , r+s1 A , de modo que a A si y slo si
n
MANUALES UEX
a = 1n1 r+r+ss11
para ciertos nmeros enteros n 1 , . . . , n r+s1 Z (nicos) y una raz n-sima de la unidad
K (nica).
5. Proposicin : El subgrupo de enteros de K de norma 1, {a A : N (a) = 1}, es un
grupo abeliano libre de rango r + s 1 si dimk K es impar, y es un grupo abeliano finito
generado de rango r + s 1 y torsin K si dimk K es par.
Demostracin. Si dimk K es impar, entonces r > 0, luego K R y K = {1}. Adems,
N (1) = 1, luego {a A : N (a) = 1} es un subgrupo de ndice dos de A y K {a
A : N (a) = 1} = {1}. Por tanto, {a A : N (a) = 1} es un grupo de rango r + s 1 sin torsin,
luego libre.
Si dimk K es par, entonces N () = 1 para todo K : Obviamente N (1) = 1. Si
Q
K es imaginaria entonces r = 0. Entonces, N (a) = si=1 i (a) i (a) > 0, para todo
76
a A \{0}. Como {a A : N (a) = 1} es un subgrupo de ndice finito de A (1 2) y

K {a A : N (a) = 1}, concluimos que es un grupo abeliano finito generado de rango
r + s 1 y torsin K .

6. Ejercicio : Probar que existen 1 , . . . , r+s1 A de norma 1, de modo que a A es
de norma 1, si y slo
n1
n
1 r+r+ss11
si dimk K impar.
a=
n r+s1
n1
1 r+s1 para un (nico) K , si dimk K es par.
para ciertos nmeros enteros n 1 , . . . , n r+s1 Z (nicos). Probar que existen adems
1 , . . . , i A de norma c Z, de modo que N (a) = c Z si y slo
a=
i 1 1 r+r+ss11
n
n
i 1 1 r+r+ss11
si dimk K impar.
para un (nico) K , si dimk K es par.
para ciertos nmeros enteros n 1 , . . . , n r+s1 Z (nicos), para un i (nico) (recordar la

proposicin 4.2.7).
p
p
7. Ejemplo : Sea n > 1 un entero sin factores cuadrticos y K = Q[ n] y A = Z[ +2 ]
el anillo de enteros de
K . A es un grupo abeliano
de rango 1 y parte de torsinp1.
p
p
+
+
Sabemos que x+ y 2 A si y slo si N ( x+ y 2 ) = 1, es decir, como x+ y +2 =

y p
2x+ y
+ 2 ,
2
(2 x + y)2 y2 = 4
Por tanto,
p
a+b
A ={
, a, b Z : a2 b2 = 4}
2
Para calcular el generador de A , que es nico salvo toma de inverso y multiplicacin

por 1, observemos podemos suponer que a, b > 0 y ha de ser aquel que cumpla adems
que a y b son mnimos.
p
p
2],
Q
[
3],
8. p
Ejercicio
:
Calcular
los
invertibles
de
los
anillos
de
enteros
de
Q
[
p
Q[ 5] y Q[ 6].
4.7.
Nmero de ideales de norma acotada
1. Teorema : Sea S ( n) el nmero de ideales de A de norma n. Existe una constante

no nula v tal que S ( n) = vn + O ( n11/d ).
MANUALES UEX
Demostracin. En virtud de la finitud de Pic A , basta probar el teorema para el nmero T ( n) de ideales de norma n en una clase de isomorfismos dada. El conjunto de
ideales de A est en correspondencia biunvoca con el conjunto de divisores afines efectivos y recordemos que si I es un ideal de norma n, entonces D ( I ) es un divisor de grado ln n. Por tanto, T ( n) es el nmero de divisores afines efectivos, D 0 , de grado ln n,
afnmente equivalentes a un divisor afn efectivo dado (que es equivalente a un divisor D (a), para cierto ideal a A ). Sea m = gr D (a)). La condicin D 0 = D ( f ) D (a) 0
77
significa que f a, y la condicin gr(D ( f ) D (a)) = gr(D ( f )) gr D (a) ln n significa

gr(D ( f )) ln n + m. Es decir, T ( n) es el nmero de conjuntos f A tales que f a y tales
que gr(D ( f )) ln n + m.
Consideremos los morfismos
D
(Rr Cs ) = O
(1 , . . . , r+s )
7
Div
P
i (ln | i |) yi
gr
Observemos que gr(D ( f )) = gr(D ( f )), ya que gr D ( f ) = 0. Sea G el ncleo del mor P
fismo de grupos D y Div O
, i i yi 7 ( e1 , . . . , er+s ) una seccin de D , lue
go O = G Div . Sea R Div , t 7 dt ( y1 + + yr+s ) una seccin de gr. Luego
Div = Div0 R y
O
= G Div0 R
y la homotecia por R en O
se corresponde con la traslacin por ln d en el tercer
factor de G Div0 R. Sea P Div0 el paraleleppedo fundamental de la red D ( A )
en Div0 . Para cada conjunto f A , existe f u f A tal que D ( f u) P R Div y
todos los que cumplen esta condicin son f u K (observemos adems que gr(D ( f v)) =
gr D ( f ), para todo v A ). Luego, si w = |K |, entonces w T ( n) es el nmero de elementos de la red a en el conjunto
Un := G P (, ln n + m] = n1/d U1
Es decir, w T ( n) es el nmero de elementos de la red n1/d a en U1 . Por el lema1 4.7.2,
d 1
w T ( n) = v n + O ( n d ).

2. Lema: Sea U un recinto acotado y limitado por un nmero finito de hipersuperficies
diferenciables en un espacio vectorial real E de dimensin d y sea E una red. Si
P () denota el nmero de puntos de U 1 , existe una constante no nula v tal que
MANUALES UEX
P () = vd + O (d 1 )
Demostracin. Podemos suponer que E = Rd y = Zd . Sea C = { x Rd : 0 x i 1 , i }.
`
Considerando la unin pU 1 p + C , obtenemos una figura que casi coincide con U ,
pues le faltan algunos puntos de U y le sobranpotros, pero tales puntos estn en el
compacto C de los puntos a una distancia = d / del borde C de U . Luego,
V ol (U ) V ol (C ) P ()d V ol (U ) + V ol (C )
y se concluye al observar que V ol (C ) = O ().

`
Donde E = O , = a y U = U1 {0}. U1 = G P (, m] es acotado porque si denotamos por la
igualdad G Div0 R = O
, entonces (G P (, m]) = (0, e m/d ] (G P {0}). Observemos adems
que el cierre de G P (, m] en O es igual a este conjunto unin 0 O
1
78
4.8.
4.8. La funcin zeta
La funcin zeta
1. Teorema : La serie ( x) =
n=1 n
lm ( x 1) ( x) = 1
x1
es una funcin continua en (1, ) tal que

y
( x ) =
(1
p primo
Demostracin. La serie
n=1 n
1 1
)
px
una serie de trminos positivos y tenemos

Z
Z
X x
1
1
x
=
t dt <
n < 1+
t x dt = 1 +
x1
x1
1
1
n1
luego es convergente. Adems, los sumandos n x son funciones continuas en x deP

x
crecientes, por lo que la serie ( x) es continua. Por ltimo, la igualdad
=
n=1 n
Q
Q
x
2x
x 1
+p
+ ) = (1 p ) expresa la unicidad de la descomposicin de n
p (1 + p
en producto de nmeros primos.

2. Corolario : Sea m 2 un nmero natural y P cualquier conjunto de nmeros
Q
primos. El producto pP (1 ( p m ) x )1 define una funcin continua en la semirrecta x > 1/2.
P
Demostracin. La serie ( mx) = n ( n m ) x define una funcin continua en la semirrecta x > 1/ m y la subserie formada por los trminos correspondientes a los nmeros n
con todos sus factores primos en P coincide con el producto considerado.

3. Definicin : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Se dice que
X
K ( x) :=
N (a) x
0,a A
es la funcin zeta de K .
4. Ejercicio : Probar que ( x) = Q ( x).
5. Teorema : La funcin K ( x) es continua en la semirecta x > 1,
x1
K ( x) =
Y
(1
p
1 1
)
N (p) x
Demostracin. Por el teorema 4.7.1 el nmero de ideales de norma n es v + a n , donde

1
P
b n := a 1 + + a n = O ( n1 d ). Por tanto, K ( x) = v ( x) + n a n n x y el siguiente lema
P
permite concluir que h( x) := n a n n x es una funcin continua en x > 1 d1 . Luego,
K ( x) lo es en x > 1 y
lm ( x 1) K ( x) = v lm ( x 1) ( x) = v.
x1
MANUALES UEX
lm ( x 1) K ( x) = v
x1
P
Q
La igualdad a N (a) x = p (1 N (p) x )1 expresa la unicidad de la descomposicin
de cada ideal no nulo de A en producto de ideales primos.
6. Lema: Sea (a n ) una sucesin de nmeros reales y sea b n := a 1 + + a n . Si b n = O ( n )

P
entonces la serie n a n n x converge uniformemente en los compactos de la semirrecta
(, ).
79
4.8. La funcin zeta
Demostracin. Por hiptesis existe una constante c > 0 tal que | b n | < cn . Ahora, para
cada pareja de nmeros naturales m < r ,
r
X
a n n x =
n= m
r
X
n= m
( b n b n1 ) n x = b r r x b m m x +
Como | b n ( n x ( n + 1) x )| cn x
|
r
X
an n
| 2 cm
x+
R n+1
n
t x1 dt c x
Z
+cx
n= m
rX
1
n= m
R n+1
n
b n ( n x ( n + 1) x )
t x1+ dt,
t x1+ dt = (2 c +
cx
) m x+ ,
x +
que tiende a cero para m >> 0 (fijado el compacto de la semirrecta (, )).
7. Definicin : Sea A un anillo de nmeros enteros, p x A un ideal maximal y m p =

( p) := p x Z. Llamaremos grado de x sobre Z , que denotaremos grZ x, a
grZ x := l Z ( A /p x ) = dimZ/pZ A /p x = gr p x
Recordemos que si Spec A / pA = { x1 , . . . , xr } entonces d = grZ x1 m x1 + + grZ xr m xr .
Por tanto, grZ x i d y el nmero de puntos x i de grado m es menor o igual que d / m.
Por ejemplo, dado un polinomio mnico q( x) Z[ x] sea A = Z[ x]/( q( x)). Los primos
de A de grado sobre Z igual a 1 se corresponden con las races racionales de q( x) en
Z/ pZ (variando p).
8. Notacin : Dadas dos funciones continuas f ( x) y g( x) en la semirrecta x > 1, escribiremos f ( x) g( x) cuando g( x) = u( x) f ( x), en un entorno (1, 1 + ), para alguna
funcin continua u( x) definida en el entorno (1 , 1 + ) y tal que u(1) , 0.
9. Teorema : Se cumple que
K ( x)
(1
MANUALES UEX
grZ y=1
N (p y ) x
)1
Demostracin. Sea P m,r := {primos p Z, tales que el nmero de ideales primos de

grado m sobre Z en la fibra de p es r }. Observemos que si P m,r , ; entonces m r
d . Para cada p P m,r existen r primos p y A en la fibra de p de grado m sobre Z
(observemos que N (p y ) = | A /p y | = p m ).
Como
Y
Y
1
1
1
K ( x) =
(1
)
(1
)1
x
x
N (p y )
N (p y )
grZ y>1
grZ y=1
Y
Y
Y
1
1
=
)1
(1 m x )r
(1
x
N (p y )
(p )
grZ y=1
m>1,mr d pP m,r
Q
y pP m,r (1 (p 1m )x )r definen funciones continuas en la semirrecta x > 1/2 segn 4.8.2,
hemos concluido.
80
4.8.1.
4.8. La funcin zeta
Aplicaciones
Sea K un cuerpo de nmeros y A el anillo de enteros de K . Con abuso de notacin,

diremos que un ideal primo p A es un ideal primo de K .
10. Teorema : Todo cuerpo de nmeros tiene infinitos ideales primos de grado 1 sobre
Z.
Demostracin. Si K slo tuviera un nmero finito de primos de grado 1, entonces existe c , 0 tal que
Y
1
lm ( x) = c lm
(1
)1 <
x
x1
x1 gr y=1
N (p y )
Z
y lm ( x 1) ( x) = 0 y llegamos a contradiccin.
x1
11. Corolario : La condicin necesaria y suficiente para que un sistema de ecuaciones

diofnticas
0 = q( x1 , . . . , xn )
0 = q r ( x1 , . . . , xn )
tenga alguna solucin compleja es que admita soluciones modulares en infinitos primos
Demostracin. Si el sistema no tiene soluciones complejas, el teorema de los ceros
de Hilbert afirma que 0 = C[ x1 , . . . , xn ]/( q 1 , . . . , q r ) = Q[ x1 , . . . , xn ]/( q 1 , . . . , q r ) Q C, y por
tanto
Q[ x1 , . . . , xn ]/( q 1 , . . . , q r ) = 0
P
Luego existen polinomios h 1 , . . . , h r Q[ x1 , . . . , xn ] tales que i h i q i = 1. Multiplicando
P
por N N conveniente tenemos que i h0i q i = N , con h 1 , . . . , h r Z[ x1 , . . . , xn ]. Ahora
es evidente que, salvo en los primos que dividan a N , la reduccin q 1 = 0, . . . , q r = 0
mdulo p del sistema dado carece de soluciones en Z/ pZ.
Recprocamente, si el sistema considerado tiene alguna raz compleja, entonces
y el teorema de los ceros de Hilbert afirma que el sistema admite alguna solucin en
una extensin finita K de Q. Sea A el anillo de enteros de K . Como K = A Z Q, tal
solucin ser
an
a1
, . . . , xn =
x1 =
m1
mn
Q
a
con a i A y m i Z. Sea m = i m i , entonces x i = mi A m , para todo i . Como el
i
teorema 4.8.10 afirma la existencia de infinitos primos p de grado 1 en A m , se concluye
la existencia de infinitos primos p, tales que el sistema considerado tiene solucin en
Z/ pZ = A /p.
MANUALES UEX
Q[ x1 , . . . , xn ]/( q 1 , . . . , q r ) , 0

12. Corolario: Todo polinomio no constante con coeficientes enteros q( x) tiene infinitas
races modulares. Ms an, hay infinitos nmeros primos p en los que q( x) Z/ pZ tiene
todas sus races en Z/ pZ.
81
4.8. La funcin zeta
Demostracin. Sean 1 , . . . , n las races de q( x). La existencia de infinitos primos en

Q[1 ] de grado 1 sobre Z, muestra que q( x) tiene infinitas races races modulares. La
existencia de infinitos primos en Q[1 , . . . , n ] de grado 1 sobre Z, muestra que hay
infinitos primos p en los que la reduccin q( x) tiene todas sus races en Z/ pZ.

13. Corolario : Dado 0 , n N, en la lista {1 + mn, m N} existen infinitos nmeros
primos.
Demostracin. Existen infinitos primos p de modo que x n 1 Z/ pZ[ x] tiene todas sus
races en p y son distintas, es decir, en los que el morfismo de Frobenius F p = Id, es
decir, p = 1 (Z/ nZ) Z/ nZ.

14. Definicin : Sea K un cuerpo de nmeros y A el anillo de enteros de K . Diremos
que un ideal a descompone totalmente en A (o con abuso de notacin, en K ) si a =
px1 pxn con grZ x i = 1, para todo i .
15. Teorema : Sea K un cuerpo de nmeros y K , L una extensin finita. Si casi todo
primo de grado 1 sobre Z de K descompone totalmente en L, entonces K = L.
Demostracin. Sea d = dimK L. Por hiptesis, la fibra de casi todos los primos de grado
1 sobre Z est formada por d primos de L, que necesariamente han de tener grado 1
sobre Z. Adems, cada primo de L de grado 1 sobre Z, est sobre un primo de K de
grado 1 sobre Z. Luego,
L ( x) K ( x) d
Si d > 1, existe una constante c > 0, de modo que
lm ( x 1) L ( x) = c lm ( x 1) K ( x) lm K ( x)d 1 = ,
x1
x1
x1
lo cual es contradictorio.
MANUALES UEX

16. Corolario: Si la reduccin de q( x) Z[ x] mdulo p descompone totalmente en casi
todo p, entonces q( x) descompone totalmente en Q.
Demostracin. Podemos suponer que q( x) es irreducible. Sea K = Q[ x]/( q( x)) y A =
Z[ x]/( q( x)). Observemos que un primo p Z descompone totalmente en A si y slo si
q( x) descompone totalmente en Z/ pZ[ x]. Por hiptesis, casi todo primo p Z descompone totalmente en K , luego por el teorema anterior, Q = K y q( x) = ( x ) descompone
totalmente en Q.

17. Corolario : Si un nmero entero es resto cuadrtico mdulo casi todo primo, entonces es un cuadrado perfecto.
Demostracin. Considrese en el corolario anterior q( x) = x2 n.
82
4.9. Cuestionario
18. Corolario : Sea K un cuerpo de nmeros y K L, L0 dos K -extensiones de Galois.

Si casi todos los primos de K de grado 1 sobre Z que descomponen totalmente en L
tambin descomponen totalmente en L0 , entonces L0 L. Si q( x), q0 ( x) Z[ x], la condicin necesaria y suficiente para que todas las races de q0 ( x) sean expresiones racionales
de las races de q( x) es que en casi todos los primos p en los que el automorfismo de
Frbenius de q( x) sea trivial lo sea el automorfismo de Frbenius de q0 ( x).
Demostracin. Dado un cuerpo de nmeros F denotemos A F el anillo de enteros de F .
Sea q A L un ideal primo, que no sea de ramificacin sobre A K , que sea de grado
1 sobre Z. Entonces, p = q A K es de grado 1 sobre Z. Al ser K L de Galois, tenemos
que p descompone totalmente es L; luego tambin en L0 (casi siempre) por hiptesis.
Es decir, A L /p A L y A L0 /p A L0 son A K /p = Z/ pZ-lgebras triviales.
El morfismo natural A L A K A L0 A LL0 es epiyectivo en casi todo punto, porque al
localizar en el punto genrico de A K , tenemos el epimorfismo L K L0 LL0 . Por tanto,
(casi siempre) A LL0 /p A LL0 es una Z/ pZ-lgebra trivial porque tenemos el epimorfismo
( A L /p A L ) A K /p ( A L0 /p A L0 ) A LL0 /p A LL0
Por tanto, q descompone totalmente en LL0 , y el corolario anterior permite concluir
que L = LL0 , es decir, L0 L.
4.9.
Cuestionario
1. Demostrar que Pic A = {0} si y slo si A es d.i.p..

2. Consideremos Q( i ). Calcular D ( i + 1) y D ( i + 3).
3. Consideremos Q( i ). Calcular D ( i + 1) y D ( i + 3).
6. Sea A = Z[ i ] C y consideremos en la R-lgebra C la mtrica de la traza. Calcular

V ol (C/ A ).
8. Denotemos p x i := ( i ) Z. Sea X el conjunto de valores absolutos de Q, mdulo
equivalencia. Consideremos el divisor completo D = 2 x3 + 2 x5 Div X . Calcular
ID .
MANUALES UEX
5. Consideremos R3 con el producto escalar estndar. Calcular el volumen del paraleleppedo definido por los vectores (1, 3, 2), (1, 2, 1) y (0, 1, 1).
9. Probar que Z[ i ] es un dominio de ideales principales.

10. Probar que Z[ e
2 i
3
] es un dominio de ideales principales.
11. Probar el ejercicio 4.5.10.
83
4.10. Biografa de Dirichlet
12. Calcular Z[ i ] , Z[ e2 i/3 ] .

13. Sea A el anillo de enteros de un cuerpo de nmeros y S ( n) el nmero de f A ,
salvo multiplicacin por invertibles, tales que | N ( f )| n. Probar que existe una
1
constante v > 0, de modo que S ( n) = v n + O ( n1 d ).
14. Sea p x = (7) Z[ i ]. Calcular grZ x.
p
7
3 Z/ pZ?
p
16. Existen infinitos primos p Z para los que 3 Z/ pZ?
15. Existen infinitos primos p Z para los que
4.10.
Biografa de Dirichlet
MANUALES UEX
DIRICHLET BIOGRAPHY
84
Lejeune Dirichlets family came from the Belgium town of Richelet where Dirichlets grandfather lived. This explains the
origin of his name which comes from Le jeune de Richele meaning Young from Richelet. Dirichlets came from the neighbourhood of Lige in Belgium and not, as many had claimed,
from France. His father was the postmaster of Dren, the town
of his birth situated about halfway between Aachen and Cologne. Even before he entered the Gymnasium in Bonn in 1817, at
the age of 12, he had developed a passion for mathematics and
spent his pocket-money on buying mathematics books. At the
Gymnasium he was a model pupil being:
... an unusually attentive and well-behaved pupil who was particularly interested
in history as well as mathematics.
After two years at the Gymnasium in Bonn his parents decided that they would
rather have him attend the Jesuit College in Cologne and there he had the good fortune to be taught by Ohm. By the age of 16 Dirichlet had completed his school qualifications and was ready to enter university. However, the standards in German universities were not high at this time so Dirichlet decided to study in Paris. It is interesting
to note that some years later the standards in German universities would become the
best in the world and Dirichlet himself would play a hand in the transformation.
Dirichlet set off for France carrying with him Gausss Disquisitiones arithmeticae a
work he treasured and kept constantly with him as others might do with the Bible. In
Paris by May 1822, Dirichlet soon contracted smallpox. It did not keep him away from
his lectures in the Collge de France and the Facult des Sciences for long and soon
he could return to lectures. He had some of the leading mathematicians as teachers
and he was able to profit greatly from the experience of coming in contact with Biot,
Fourier, Francoeur, Hachette, Laplace, Lacroix, Legendre, and Poisson.
From the summer of 1823 Dirichlet was employed by General Maximilien Sbastien Foy, living in his house in Paris. General Foy had been a major figure in the army
during the Napoleonic Wars, retiring after Napoleons defeat at Waterloo. In 1819 he
was elected to the Chamber of Deputies where he was leader of the liberal opposition
until his death. Dirichlet was very well treated by General Foy, he was well paid yet
treated like a member of the family. In return Dirichlet taught German to General
Foys wife and children.
Dirichlets first paper was to bring him instant fame since it concerned the famous
Fermats Last Theorem. The theorem claimed that for n > 2 there are no non-zero
integers x, y, z such that x n + yn = z n . The cases n = 3 and n = 4 had been proved by
Euler and Fermat, and Dirichlet attacked the theorem for n = 5. If n = 5 then one of
x, y, z is even and one is divisible by 5. There are two cases: case 1 is when the number
divisible by 5 is even, while case 2 is when the even number and the one divisible by 5
are distinct. Dirichlet proved case 1 and presented his paper to the Paris Academy in
July 1825. Legendre was appointed one of the referees and he was able to prove case
2 thus completing the proof for n = 5. The complete proof was published in September
1825. In fact Dirichlet was able to complete his own proof of the n = 5 case with an
argument for case 2 which was an extension of his own argument for case 1. It is worth
noting that Dirichlet made a later contribution proving the n = 14 case (a near miss
for the n = 7 case!).
On 28 November 1825 General Foy died and Dirichlet decided to return to Germany. He was encouraged in this by Alexander von Humboldt who made recommendations on his behalf. There was a problem for Dirichlet since in order to teach in a
German university he needed an habilitation. Although Dirichlet could easily submit
an habilitation thesis, this was not allowed since he did not hold a doctorate, nor could
he speak Latin, a requirement in the early nineteenth century. The problem was nicely solved by the University of Cologne giving Dirichlet an honorary doctorate, thus
allowing him to submit his habilitation thesis on polynomials with a special class of
prime divisors to the University of Breslau. There was, however, much controversy
over Dirichlets appointment.
From 1827 Dirichlet taught at Breslau but Dirichlet encountered the same problem
which made him choose Paris for his own education, namely that the standards at the
university were low. Again with von Humboldts help, he moved to the Berlin in 1828
where he was appointed at the Military College. The Military College was not the
attraction, of course, rather it was that Dirichlet had an agreement that he would be
able to teach at the University of Berlin. Soon after this he was appointed a professor
at the University of Berlin where he remained from 1828 to 1855. He retained his
position in the Military College which made his teaching and other administrative
duties rather heavier than he would have liked.
Dirichlet was appointed to the Berlin Academy in 1831 and an improving salary
from the university put him in a position to marry, and he married Rebecca Mendelssohn, one of the composer Felix Mendelssohns two sisters. Dirichlet had a lifelong
friend in Jacobi, who taught at Knigsberg, and the two exerted considerable influence
on each other in their researches in number theory.
In the 1843 Jacobi became unwell and diabetes was diagnosed. He was advised by
his doctor to spend time in Italy where the climate would help him recover. However,
Jacobi was not a wealthy man and Dirichlet, after visiting Jacobi and discovering his
plight, wrote to Alexander von Humboldt asking him to help obtain some financial
assistance for Jacobi from Friedrich Wilhelm IV. Dirichlet then made a request for as-
MANUALES UEX
85
MANUALES UEX
86
sistance from Friedrich Wilhelm IV, supported strongly by Alexander von Humboldt,
which was successful. Dirichlet obtained leave of absence from Berlin for eighteen
months and in the autumn of 1843 set off for Italy with Jacobi and Borchardt. After
stopping in several towns and attending a mathematical meeting in Lucca, they arrived in Rome on 16 November 1843. Schlfli and Steiner were also with them, Schlflis
main task being to act as their interpreter but he studied mathematics with Dirichlet
as his tutor.
Dirichlet did not remain in Rome for the whole period, but visited Sicily and then
spent the winter of 1844/45 in Florence before returning to Berlin in the spring of 1845.
Dirichlet had a high teaching load at the University of Berlin, being also required
to teach in the Military College and in 1853 he complained in a letter to his pupil
Kronecker that he had thirteen lectures a week to give in addition to many other
duties. It was therefore something of a relief when, on Gausss death in 1855, he was
offered his chair at Gttingen.
Dirichlet did not accept the offer from Gttingen immediately but used it to try
to obtain better conditions in Berlin. He requested of the Prussian Ministry of Culture that he be allowed to end lecturing at the Military College. However he received
no quick reply to his modest request so he wrote to Gttingen accepting the offer of
Gausss chair. After he had accepted the Gttingen offer the Prussian Ministry of Culture did try to offer him improved conditions and salary but this came too late.
The quieter life in Gttingen seemed to suit Dirichlet. He had more time for research and some outstanding research students. However, sadly he was not to enjoy
the new life for long. In the summer of 1858 he lectured at a conference in Montreux
but while in the Swiss town he suffered a heart attack. He returned to Gttingen, with
the greatest difficulty, and while gravely ill had the added sadness that his wife died
of a stroke.
We should now look at Dirichlets remarkable contributions to mathematics. We
have already commented on his contributions to Fermats Last Theorem made in 1825.
Around this time he also published a paper inspired by Gausss work on the law of
biquadratic reciprocity.
He proved in 1837 that in any arithmetic progression with first term coprime to
the difference there are infinitely many primes. This had been conjectured by Gauss.
Davenport wrote in 1980:
Analytic number theory may be said to begin with the work of Dirichlet, and in
particular with Dirichlets memoir of 1837 on the existence of primes in a given arithmetic progression.
Shortly after publishing this paper Dirichlet published two further papers on analytic number theory, one in 1838 with the next in the following year. These papers introduce Dirichlet series and determine, among other things, the formula for the class
number for quadratic forms.
His work on units in algebraic number theory Vorlesungen ber Zahlentheorie
(published 1863) contains important work on ideals. He also proposed in 1837 the
modern definition of a function
If a variable y is so related to a variable x that whenever a numerical value is
assigned to x, there is a rule according to which a unique value of y is determined,
4.11. Problemas
then y is said to be a function of the independent variable x.

In mechanics he investigated the equilibrium of systems and potential theory. These investigations began in 1839 with papers which gave methods to evaluate multiple
integrals and he applied this to the problem of the gravitational attraction of an ellipsoid on points both inside and outside. He turned to Laplaces problem of proving the
stability of the solar system and produced an analysis which avoided the problem of
using series expansion with quadratic and higher terms disregarded. This work led
him to the Dirichlet problem concerning harmonic functions with given boundary conditions. Some work on mechanics later in his career is of quite outstanding importance.
In 1852 he studied the problem of a sphere placed in an incompressible fluid, in the
course of this investigation becoming the first person to integrate the hydrodynamic
equations exactly.
Dirichlet is also well known for his papers on conditions for the convergence of
trigonometric series and the use of the series to represent arbitrary functions. These
series had been used previously by Fourier in solving differential equations. Dirichlets
work is published in Crelles Journal in 1828. Earlier work by Poisson on the convergence of Fourier series was shown to be non-rigorous by Cauchy. Cauchys work itself
was shown to be in error by Dirichlet who wrote of Cauchys paper:
The author of this work himself admits that his proof is defective for certain functions for which the convergence is, however, incontestable.
Because of this work Dirichlet is considered the founder of the theory of Fourier
series. Riemann, who was a student of Dirichlet, wrote in the introduction to his habilitation thesis on Fourier series that it was Dirichlet
... who wrote the first profound paper about the subject.
Dirichlets character and teaching qualities are summed up as follows:
He was an excellent teacher, always expressing himself with great clarity. His manner was modest; in his later years he was shy and at times reserved. He seldom spoke
at meetings and was reluctant to make public appearances.
At age 45 Dirichlet was described by Thomas Hirst as follows
He is a rather tall, lanky-looking man, with moustache and beard about to turn
grey with a somewhat harsh voice and rather deaf. He was unwashed, with his cup of
coffee and cigar. One of his failings is forgetting time, he pulls his watch out, finds it
past three, and runs out without even finishing the sentence.
Koch sums up Dirichlets contribution writing that
... important parts of mathematics were influenced by Dirichlet. His proofs characteristically started with surprisingly simple observations, followed by extremely sharp
analysis of the remaining problem. With Dirichlet began the golden age of mathematics in Berlin.
Biographies/).
4.11.
MANUALES UEX
Problemas
1. Probar que K O es un conjunto denso.
87
4.11. Problemas
2. Probar que si dimQ K = d es impar, entonces K = {1}.

3. Sea K un cuerpo de nmeros de anillo de enteros A . Dado 0 , f K , probar que
| N ( f )| = N ( f A ).
4. Probar que si K es una Q-extensin de Galois, entonces
p
K K .
5. Probar que el discriminante de todo cuerpo de nmeros es congruente con 0, 1

mod 4.
Pista: El determinante det( i (a j )), como todo determinante, es una suma de trminos, cada uno afectado de un signo positivo o negativo. Sea P (resp. N ) la suma de los trminos positivos (resp. la suma de los trminos negativos), entonces
= (P N )2 = (P + N )2 4P N .
6. Sea { e i = (a i1 , . . . , a in ) Rn } i=1,...,n una base y c 1 , . . . , c n nmeros reales positivos
tales que c 1 c n > | det((a i j ))|. Probar que existe ( m 1 . . . , m n ) Zn \{0} tal que
|
a i j m j | < c i, i
7. Sea K un cuerpo de nmeros y d = dimQ K . Probar que

todo ideal fracp para
2 s 1/d
cionario I de K , existe f I tal que |( f )| < ( N ( I ) k ( ) ) , para toda
HomQal g (K, C).
8. Sea K un cuerpo de nmeros de anillo e I K un ideal fraccionario. Sean c y > 0,
con y X tales que
Y gr y
2
c y > ( )s V ol (O / I )
y X
Probar que existe 0 , f I , tal que | f | y < c y para todo y X .
MANUALES UEX
9. Sea K un cuerpo de nmeros de anillo de enteros A . Probar que existe un ideal

p
a A tal que N (a) dd!d ( 4 )s |K |.
10. Probar que el anillo de enteros de Q[
n = 5, 8, 11, 3, 4, 7, 8, 11.
n] es un anillo de ideales principales, para
11. La batalla de Hastings (14 de octubre de 1066). Los hombres de Harold permanecan bien juntos, como solan hacer, y formaban 13 escuadrones, con el mismo nmero de hombres en cada escuadrn, y hostigaban a los esforzados normandos que se aventuraban entrar en sus reductos; porque un nico golpe de un
hacha de guerra sajona poda romper sus lanzas y cortar sus mayas... Cuando
Harold se lanz l mismo al ataque, los sajones formaban una poderoso escuadrn de hombres, gritando exclamaciones de guerra... Cuntos sajones haba
en la batalla de Hastings?
12. Probar que si dimQ K >> 0 entonces |K | >> 0.
88
4.11. Problemas
MANUALES UEX
13. Sea K un cuerpo de nmeros y P HomQal g (K, C) un subconjunto propio, tal

que si P , y c es el automorfismo conjugar de C, entonces c P . Probar que
existe un invertible en el anillo de nmeros de K , tal que |()| < 1, para todo
P y |()| > 1, para todo P .
89
MANUALES UEX
4.11. Problemas
90
Bibliografa
[1] A NDREWS, G.E.: Number Theory, Dover, 1994.
[2] A NGLIN, W.S.: The queen of mathematics. An introduction to number theory, Kluwer A.P./Texts in the Math. Sc., vol. 8 1995.
[3] B AKER , A.: Breve introduccin a la teora de nmeros, Alianza Editorial/472 AU
Ciencias, 1986.
[4] B OREVICH , Z.I. AND S HAFAREVICH , I.R.: Number Theory, Academic Press, Inc.
1966.
[5] E VEREST, W.: An introduction to number theory, Springer-Verlag/Graduate Texts
in Math., vol. 232 Versin digital en http://lope.unex.es.
[6] F ROHLICH , A.: Algebraic number theory, Cambridge U.P./Cambr. Stud. Adv.
Math., vol. 27, 1991.
[7] H ASSE H.: Number theory, Springer-Verlag/Grundl. Math. Wissensch., vol. 229,
1969.
[8] I RELAND, K.; R OSEN, M.: A classical introduction to modern number theory,
Springer-Verlag/Graduate Texts in Math., vol. 84, 1982.
[9] L ANG, S.: Algebraic number theory, Springer-Verlag/Graduate Texts in Math.,
vol. 110, 1994.
[11] M ILLER , S.J.; T AKLOO -B IGHASH , R.: An invitation to modern number theory,
Princeton University Press, 2006.
[12] N ATHANSON, M.B.: Elementary methods in
Verlag/Graduate Texts in Math., vol. 195, 2000.
number
theory,
Springer-
MANUALES UEX
[10] L I , W.C.: Number theory with applications, World Scientific, 1996.
[13] N EUKIRCH , J.: Algebraic Number Theory, Springer-Verlag, Berlin Heidelberg

1999.
[14] O RE , O.: Number theory and its history., McGraw-Hill Book Company, Inc., 1948.
[15] PARSHIN, A.N.; S HAFAREVICH , I.R.: Number theory I. Fundamental problems,
ideas and theories., Springer-V./Encyclopaedia of Math. Sc., vol. 49, 1995.
91
BIBLIOGRAFA
[16] R OSE , H.E.: A course in number theory, Oxford University Press Inc., 2007.
[17] E LEMENTARY NUMBER THEORY: , International Thomson Publ. PWS Publ.CO,
1994.
[18] T ATTERSAL , J.J.: Elementary number theory in nine chapters, Cambridge University Press, 1999
[19] W EIL , A.: Number theory for beginners, Springer-Verlag, 1979.
MANUALES UEX
[20] W EIL , A.: Basic number theory, . Springer-Verlag/Grundl. Math. Wissensch., vol.
144, 1974.
92
ndice alfabtico
lgebra graduada, 53
Nmero de puntos contando grados y multiplicidades, 32
Anillo de enteros de un cuerpo, 21
Anillo de nmeros enteros, 15
Polinomio primitivo, 12
Anillo de valoracin, 44
Automorfismo de Frbenius en un primo Punto de ramificacin, 32
Punto no singular, 15
p, 35
Punto singular, 15
Cuerpo de nmeros, 21
Curva ntegra afn, 14
Curva proyectiva, 56
Red, 68
Serie de composicin de mdulos, 30
Smbolo de Legendre, 36
Divisores afinmente equivalentes, 64

Divisores afines, 64
Divisores completos, 66
Dominio de Dedekind, 19
Elemento irreducible, 11
Espectro proyectivo, 54
Funcin zeta , 77
Valor absoluto, 48
Valor absoluto arquimediano, 48
Valoracin discreta, 43
Valoracin m-dica, 43
Valoracin real, 43
Valores absolutos equivalentes, 48
Variedad de Riemann, 46
Variedad proyectiva, 56
Volumen de un paraleleppedo, 68
Grado de un divisor, 66
Grupo de Picard, 64
Grupo de Picard completo, 66
Ideal fraccionario, 64
Ideal homogneo, 54
Ideal irrelevante, 54
ndice de ramificacin, 33
Lema de Euclides, 13
Ley de reciprocidad cuadrtica de Gauss,
36
Longitud de un mdulo, 30
MANUALES UEX
Teorema de Dirichlet, 74
Teorema de Hermite, 72
Teorema de la base de Hilbert, 10
Teorema de Riemann-Roch dbil, 70
Teorema del punto de la red de Minkowski, 70
Modulo simple, 30
Norma, 52
Norma de un ideal fraccionario, 66
93
93

TeoriadeNumeros PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

TeoriadeNumeros PDF

Uploaded by

Copyright:

Available Formats

Teora de nmeros

Pedro Sancho de Salas

3. Anillos de valoracin discreta

4. Teoremas de la Teora de Nmeros

La Teora de Nmeros, "the Queen of Mathematics", es la rama de las Matemticas

nmeros de discriminante fijo dado. El grupo de los ideales de A mdulo isomorfismos,

Veamos algunos ejemplos y problemas clsicos de la teora de nmeros.

2000 n + 266 ( m) = m.c.d (2000, 266)

Veamos otros ejemplos de anillos (de nmeros enteros) eucldeos.

1. (a) (ab), para todo a, b A \{0}.

Por tanto, 1 Fp2 si y slo si (1)

Calculemos las soluciones racionales de la ecuacin anterior: Dados z, z0 Q[ i ],

Hilbert afirma que N ( z00 ) = 1 si y slo si z00 = ( c + di )/( c di ) =

El anillo de nmeros enteros de Kummer, Z[ e2 i/3 ], es un anillo eucldeo: Se puede

1.2. Dominios de factorizacin nica

Dominios de factorizacin nica

1. Definicin : Se dice que un A -mdulo M es noetheriano si todo submdulo de M

6. Teorema de la base de Hilbert : Si A es un anillo noetheriano entonces A [ x] es

1.2. Dominios de factorizacin nica

Luego, para n >> 0, N = M n = m 1 , . . . , m n .

10. Teorema de descomposicin en factores irreducibles : Todo elemento propio

noetherianidad y terminar cuando a n sea irreducible.

y terminar cuando b n sea irreducible. En tal caso a = a 1 a n1 b n es producto de

1.2. Dominios de factorizacin nica

12. Lema de Euclides: Si A es d.f.u. y a A es irreducible, entonces (a) A es un

1.2. Dominios de factorizacin nica

Supongamos que P ( x) es irreducible en A [ X ]. Supongamos que P ( x) = P 1 ( x) P 2 ( x),

con P1 ( x), P2 ( x) A [ x], primitivos. Por el lema 1.2.14,

la descomposicin en irreducibles en [ x]. Eliminando denominadores y sacando el

Por el lema 1.2.14, bc = u A es un invertible de A .

Evidentemente, los dominios de ideales principales son noetherianos.

1.3. Curvas y anillos de enteros

Demostracin. Si a es irreducible y divide a bc, entonces si a no divide a b implica que

Curvas y anillos de enteros

Sean A y B anillos. Dado un morfismo de anillos A B se dice que B es una

Sea B = C[ x1 , . . . , xn ]/( p 1 ( x1 , . . . , xn ), . . . , p r ( x1 , . . . , xn )). Por los teoremas de los ceros

1. La recta afn A1 = Spec k[ x].

2. La circunferencia S 1 = Spec k[ x, y]/( x2 + y2 1).

1.4. Puntos singulares de un anillo de nmeros

5. La curtica espacial Spec C[ x, y, z]/(1 + x2 + y2 + z2 , 2 + x2 y2 ).

Puntos singulares de un anillo de nmeros

y tendremos que a = t n c con c invertible.

Demostracin. Si m/m2 = 0 entonces m = 0, por el lema de Nakayama; luego O sera un

1.4. Puntos singulares de un anillo de nmeros

4. Ejemplos : Z localizado en todo punto cerrado es un anillo de ideales principales.

y m /m2 es un k-espacio vectorial de base { d x i = x i i }.

1.5. Anillos de Dedekind

10. Ejemplo : Consideremos el morfismo Z , Z[ x]. La frmula de la fibra prueba

Por tanto, Z[ x]/( p n ( x), x 1) = Z/( p) y ( p, x 1) = ( x 1). Luego, y es no singular.

Se dice que un morfismo de anillos A B es entero si y slo si todos los elementos

1.5. Anillos de Dedekind

1. Proposicin: Los dominios de factorizacin nica son ntegramente cerrados en su

satisfacer el correspondiente polinomio caracterstico. Luego

1.5. Anillos de Dedekind

2. Sea f : M M 0 un morfismo de A -mdulos. Si f x : M x M x0 , f x ( m/ s) := f ( m)/ s es

Sea s = s 1 s n (luego s S ). Multiplicando la relacin anterior por t n s n (para cierto

7. Teorema : Un anillo noetheriano A ntegro es un dominio de Dedekind si y slo si

1.6. Finitud del morfismo de desingularizacin

10. Teorema : Si A es un dominio de Dedekind e I A un ideal no nulo, entonces I se

Finitud del morfismo de desingularizacin

1. Lema : Sea A un anillo noetheriano ntegro e ntegramente cerrado en su cuerpo de

por 1.5.5. En particular, es el cuerpo de fracciones de A .

asociada, que es un isomorfismo por ser