Introduccion A La Teoria Algebraica de Numeros

Introduccion a la Teora Algebraica
de N umeros
M. Guadalupe Garca, Adriana Giacobbi y Noelia B. Ros
17 de Septiembre de 2008
1
INDICE
Indice
1. Introduccion 4
2. Preliminares 5
2.1. Anillos e Ideales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Modulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3. Cuerpos y Extensiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.4. Teora de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3. Extensiones integrales 14
3.1. Deniciones y propiedades basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2. Clausura Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4. Extensiones cuadraticas de los racionales 20
4.1. Enteros algebraicos de Q(
d) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.2. Cuerpos ciclotomicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5. Normas y Trazas 26
5.2. El sistema basico para la Teora Algebraica de N umeros . . . . . . . . . . . . . . . . 29
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6. El Discriminante 34
6.2. Base dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
6.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
7. Modulos y Anillos Noetherianos y Artinianos 42
7.1. Deniciones y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.2. Teorema de Jordan-Holder para modulos . . . . . . . . . . . . . . . . . . . . . . . . . 45
7.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
8. Ideales Fraccionales 51
8.2. Dominios de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
8.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
9. Factorizacion unica de Ideales en un Dominio de Dedekind 56
9.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Trabajo Final de Estructuras Algebraicas Hoja 2 de 79
INDICE
10.Aritmetica en Dominios de Dedekind 60
10.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
10.2. El Grupo de Clases de Ideales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
10.3. Dominios de Dedekind y Teora de N umeros . . . . . . . . . . . . . . . . . . . . . . . 62
10.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
11.N umeros p-adicos 64
11.1. Enteros p-adicos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
11.2. Valor absoluto no arquimediano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
11.3. N umeros p-adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
11.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
A. Apendice 76
A.1. Teorema de Jordan-Holder para grupos . . . . . . . . . . . . . . . . . . . . . . . . . 76
Departamento de Matematica - UNLP Hoja 3 de 79
1 INTRODUCCI
ON
1. Introducci on
La teora general de anillos conmutativos es conocida como algebra conmutativa. Una de las
principales aplicaciones de esta disciplina es la teora de n umeros, la cual sera introducida en este
trabajo.
Tecnicas de algebra abstracta han sido aplicadas a problemas de teora de n umeros por un
largo tiempo, con el afan de probar el

Ultimo Teorema de Fermat. Como un ejemplo introductorio,
vamos a considerar un problema para el cual un acercamiento algebraico funciona muy bien. Si p
es un primo impar y p 1 mod 4, vamos a probar que p es suma de dos cuadrados, es decir p se
puede expresar como x
2
+ y
2
, donde x e y son enteros. Como
p1
2
es par, se tiene que 1 es un
residuo cuadratico (es decir, un cuadrado) mod p. (Formar pares de los n umeros 2, 3, 4, . . . , p 2
con su inverso mod p y el par 1 con p 1 1 mod p. El producto desde 1 hasta p 1 es, mod p,
1 2 . . .
p 1
2
1 2 . . .
p 1
2
y por lo tanto
_
(
p1
2
)!
_
2
1 mod p.)
Si 1 x
2
mod p entonces p divide a x
2
+ 1. Ahora, podemos considerar el anillo de enteros
Gaussianos Z[i] y factorizar x
2
+ 1 como (x +i)(x i). Como p no puede dividir a ninguno de los
factores, p no es primo en Z[i] entonces podemos escribir p = donde ni ni son unidades.
Denimos la norma de = a +bi como N() = a
2
+b
2
. Entonces, N() = 1 si y solo si 1
o i, o sea si es una unidad. Luego,
p
2
= N(p) = N()N()
con N() > 1 y N() > 1, por lo tanto N() = N() = p. Si = x +iy, entonces p = x
2
+y
2
.
Recprocamente, si p es un primo impar y p = x
2
+y
2
, entonces p es congruente con 1 mod 4.
(Si x es par, entonces x 0 mod 4, y si x es impar, entonces x
2
1 mod 4. Observemos que x e y
no pueden ser ambos pares o impares ya que p es impar.)
Es natural conjeturar que podemos identicar aquellos primos que pueden ser representados
como x
2
+ [d[ y
2
, donde d es un entero negativo, trabajando en el anillo Z[
d]. Pero lo enteros

Gaussianos forman un dominio ntegro, en particular un dominio de factorizacion unica. Por otra
parte, la factorizacion unica falla para d 3 y el argumento previo colapsa. Dicultades de este
tipo llevaron a Kummer a inventar ideales numericos, los cuales mas adelante se convertiran en
ideales de la mano de Dedekind. Veremos que aunque un anillo de enteros algebraicos no necesita
ser un DFU, la unicidad en la factorizacion de ideales siempre valdra.
2. Preliminares
2.1. Anillos e Ideales
Denicion 2.1.1. Un anillo R es un grupo abeliano con una operacion multiplicacion (a, b) ab,
para todo a, b, c R, que satisface:
1. (ab)c = a(bc).
2. a(b +c) = ab +ac.
3. (a +b)c = ac +bc.
Asumiremos siempre que R tiene un elemento neutro para la suma, que denotaremos por 0
R
,
y en algunos casos, una identidad multiplicativa 1
R
que es unica y que para todo a en el anillo
verica:
4. a1
R
= 1
R
a = a.
Si a, b R son tales que ab = 0 pero ninguno de ellos es 0, diremos que R tiene divisores de
cero. Llamaremos unidad a los elementos de R que tengan inverso multiplicativo en el anillo y R
sera un anillo conmutativo si para todo a, b R se tiene ab = ba.
Denicion 2.1.2. Diremos que el anillo R es un dominio ntegro, si es conmutativo y no tiene
divisores de cero.
Denicion 2.1.3. El anillo R es un anillo de division, si todo elemento distinto de 0 es una
unidad. Si ademas R es conmutativo, diremos que R es cuerpo.
Denicion 2.1.4. Sea R un anillo. Si existe al menos un entero positivo n tal que na = 0 para
todo a en R, entonces se dice que R tiene caracterstica n. Si no existe tal n, se dice que R tiene
caracterstica cero. Notar que la caracterstica nunca es 1, ya que 1
R
,= 0.
Denicion 2.1.5. Un subanillo S del anillo R es un subconjunto de el, que es cerrado por las
operaciones de aditividad y multiplicacion heredadas de R.
Denicion 2.1.6. Sea I un subconjunto de R. Consideremos las siguientes propiedades:
1. I es un subgrupo aditivo de R.
2. Si a I y r R, entonces ra I.
3. Si a I y r R, entonces ar I.
Si I verica 1) y 2), diremos que I es un ideal a izquierda, analogamente, si verica 1) y 3)
diremos que es un ideal a derecha. En el caso que se veriquen las 3 propiedades, llamaremos a
I simplemente ideal.
2 PRELIMINARES
2.1.7. Teorema de correspondencia
Sea I un ideal del anillo R. La aplicacion S S/I genera una correspondencia biunvoca
entre el conjunto de todos los subanillos de R que contienen a I, y el de todos los subanillos de
R/I. De la misma manera, tambien hay una correspondencia biunvoca entre el conjunto de todos
ideales de R que contienen a I, y el conjunto de todos los ideales del cociente. La inversa de la
aplicacion es Q
1
(Q), donde es la aplicacion canonica R R/I.
2.1.8. Deniciones y comentarios
1. a y b son n umeros enteros congruentes modulo n si y solo si n[(b a). De este modo, (a b)
es un elemento del ideal I
n
que consiste de todos los m ultiplos de n en el anillo Z. Esto nos permite
denir la congruencia modulo I
n
de la siguiente manera: a es congruente con b modulo I
n
si y
solo si (a b) I
n
. En general, si a y b son elementos de un anillo R e I es un ideal de R, diremos
que a b mod I si y solo si (a b) I.
2. Los enteros a y b son coprimos (o primos relativos), si 1 puede ser expresado como combinacion
lineal de ellos. Equivalentemente se tiene que (a) + (b) = (1) = Z. En general, diremos que dos
ideales I y J del anillo R son coprimos si I +J = R.
Denicion 2.1.9. Un ideal propio P en un anillo R se dice primo si para todos a, b R,
ab P a P o b P.
Denicion 2.1.10. Un ideal M en un anillo R se dice maximal si M ,= R y para todo ideal N
tal que M N R entonces N = M o N = R.
Proposicion 2.1.11. Sea f : R S es un homeomorsmo de anillos. Si J es un ideal primo de
S, entonces f
1
(J) es un ideal primo de R.
Teorema 2.1.12. Si f : R S es un homomorsmo de anillos, entonces el n ucleo de f es un
ideal de R. Recprocamente, si I es un ideal de R, entonces la aplicacion : R R/I dada por
r r +I es un epimorsmo de anillos cuyo n ucleo es I. (La aplicacion se denomina epimorsmo
canonico o proyeccion).
Teorema 2.1.13. En un anillo conmutativo R con identidad, un ideal P es primo si y solo si el
anillo cociente R/P es un dominio ntegro.
Teorema 2.1.14. Si R es un anillo conmutativo tal que R
2
= R (en particular si R tiene una
identidad), entonces todo ideal maximal en R es primo.
Teorema 2.1.15. Sea M un ideal de un anillo R con identidad.
1. Si M es maximal y R es conmutativo, entonces el anillo cociente R/M es cuerpo.
2. Si el anillo cociente R/M es un anillo de division, entonces M es maximal.
Demostracion. 1. Si M es maximal entonces, por teorema 2.1.14, M es primo, luego R/M es un
dominio ntegro por 2.1.13. Por lo tanto, basta ver que si a+M ,= M, entonces a+M tiene inverso
multiplicativo en R/M. Ahora, a + M ,= M implica que a / M, entonces M esta contenido en
2.1 Anillos e Ideales
el ideal M + (a). Como M es maximal, debe ser M + (a) = R. Luego, por ser R conmutativo,
1
R
= m+ra, para alg un m M y r R. Por lo tanto, 1
R
ra = m M, luego,
1
R
+M = ra +M = (r +M)(a +M).
Entonces, r +M es un inverso multiplicativo de a +M. Luego, R/M es cuerpo.
2. Si R/M es un anillo de division, entonces 1
R
+ M ,= 0 + M, por lo tanto 0 / M y R ,= M.
Si N es un ideal tal que M N, sea a N M. Luego, a +M tiene un inverso multiplicativo en
R/M, es decir (a +M)(b +M) = 1
R
+M. En consecuencia, ab +M = 1
R
+M y ab 1
R
= c M.
Pero a N y M N, lo que implica que 1
R
N. Por lo tanto, N = R. Luego, M es maximal.
Corolario 2.1.16. Las siguientes condiciones sobre un anillo conmutativo R con identidad son
equivalentes:
1. R es un cuerpo.
2. R no tiene ideales propios.
3. 0 es un ideal maximal de R.
4. Todo homomorsmo no nulo de anillos R S es un monomorsmo.
2.1.17. Factorizacion unica
Diremos que los elementos a y b de R son asociados si a = bu, para u una unidad de R.
Un elemento no nulo a R, que no es una unidad, es denominado irreducible si no puede ser
representado como producto de elementos de R que no son unidades, y primo si cuando divide un
producto, debe dividir al menos uno de sus factores. Esto es, a[bc entonces a[b o a[c.
Se sigue de la denicion, que si p es un elemento no nulo del anillo, entonces p es primo si y
solo si, (p) es un ideal primo.
Si el anillo en cuestion es Z, entonces tenemos que las unicas unidades son 1 y 1. Ademas
los elementos primos coinciden con los irreducibles. Esta propiedad en general no es cierta en un
dominio ntegro arbitrario.
Proposicion 2.1.18. Si a es primo, entonces es irreducible. Pero la recproca en general es falsa.
Denicion 2.1.19. Un dominio de factorizacion unica (DFU) es un dominio ntegro R que
satisface:
1. Todo elemento no nulo a R puede ser expresado como a = up
1
. . . p
n
, donde u es una
unidad y p
i
es irreducible para todo i.
2. Si a tiene otra factorizacion, digamos a = vq
1
. . . q
m
, entonces m = n y cada p
i
es asociado a
q
i
para todo i. (Despues de reordenar los terminos en caso que sea necesario).
Teorema 2.1.20. R es un DFU si y solo si R satisface la condicion de cadena ascendente (cca)
(es decir, si a
1
, a
2
, . . . pertenecen a R y (a
1
) (a
2
) . . ., entonces para alg un n tenemos que
(a
n
) = (a
n+1
) = . . .) y todo elemento irreducible de R es primo.
2 PRELIMINARES
Denicion 2.1.21. Un dominio ntegro en el que todo ideal es principal, o sea esta generado por
un solo elemento, es denominado dominio de ideales principales (DIP).
Teorema 2.1.22. Si R es DIP entonces es DFU.
Demostracion. Consideremos (a
1
) (a
2
) . . . y sea I =
i
(a
i
). Entonces I es un ideal, necesaria-
mente principal por hipotesis. Si I = (b), se tiene que b pertenece a alg un (a
n
), entonces I (a
n
).
Por lo tanto, si i n tenemos que (a
i
) I (a
n
) (a
i
). Luego, (a
i
) = (a
n
), para todo i n. De
este modo, R satisface la cca sobre ideales principales.
Ahora, supongamos que a es irreducible. Entonces (a) es un ideal propio, pues si (a) = R,
1 (a) y por lo tanto, a es una unidad. Por la cca sobre ideales principales, (a) esta contenido
en un ideal maximal I. Si I = (b), tenemos que b divide al elemento irreducible a, y b no es una
unidad ya que I es propio. Por lo tanto, a y b son asociados, lo cual implica que (a) = (b) = I.
Pero I, ideal maximal, es primo, entonces a es primo. Luego, por 2.1.20 R es DFU.
Teorema 2.1.23. R es DIP si y solo si R es DFU y todo ideal primo de R (no nulo) es maximal.
Demostracion.
) Por 2.1.22, sabemos que DIP implica DFU. Sea (p) un ideal primo no nulo de R. Luego, existe
un ideal maximal (q) tal que (p) (q), de este modo q[p. Como (q) es maximal q ,= 1
R
, entonces p
y q son asociados. Por lo tanto (p) = (q) es maximal.
) Es suciente con mostrar que todo ideal primo T es principal. Sea T un ideal primo no nulo
y a T no nulo. Como R es DFU, a = p
m
1
1
. . . p
m
r
r
donde p
1
, p
2
, . . . son irreducibles de R. Como
a T y T es primo, se sigue que p
j
T, para alg un j. Luego, (p
j
) T. Pero en un dominio de
factorizacion unica, todo elemento irreducible genera un ideal maximal, por lo tanto (p
j
) = T.
2.2. Modulos
Denicion 2.2.1. Sea R un anillo. Un R-modulo es un grupo abeliano aditivo A junto con una
funcion de R A A tal que para todo r, s R y a, b A:
1. r(a +b) = ra +rb.
2. (r +s)a = ra +sa.
3. r(sa) = (rs)a.
Si R tiene identidad y
4. 1
R
a = a, para todo a A,
entonces A se dice R-modulo unitario. Si R es un anillo de division, entonces un R-modulo
unitario es llamado espacio vectorial.
Denicion 2.2.2. Si B es un modulo sobre un anillo conmutativo con unidad R, se llama anulador
de B sobre R al ideal I R dado por I = r R/rb = 0, b B. Un modulo se dice el si su
anulador es el 0.
2.3 Cuerpos y Extensiones
2.2.3. Primer Teorema del Isomorsmo
Si f : M M
es un morsmo de modulos, entonces:

M
Ker(f)
= Im(f).
2.2.4. Segundo Teorema del Isomorsmo
Sean S y T submodulos de M, y sea S +T = x +y : x S, y T. Luego S +T y S T son
submodulos de M y
S +T
T
=
S
S T
.
2.2.5. Tercer Teorema del Isomorsmo
Si N L M, entonces:
M
L
=
M/N
L/N
.
Observacion 2.2.6. Los teoremas del isomorsmo son analogos para el caso de anillos cambiando
morsmo de modulos por morsmo de anillos y submodulos por ideales.
Observacion 2.2.7. Si N es un modulo arbitrario, podemos expresarlo como la imagen por un
homomorsmo, de un modulo libre. Notar que por 2.2.3, todo modulo es un cociente de un modulo
libre.
2.2.8. Teorema de correspondencia
Sea N un submodulo del R-modulo M. La aplicacion S S/N genera una correspondencia
biunvoca entre el conjunto de todos los submodulos de M que contienen a N, y el de todos los
submodulos de M/N. La inversa de la aplicacion es T
1
(T), donde es la aplicacion canonica
M M/N.
2.3. Cuerpos y Extensiones
Denicion 2.3.1. Sea R un dominio ntegro, denimos como cuerpo cociente de R, (o cuerpo
de fracciones de R), al cuerpo
K =
_
a
b
: a, b R, b ,= 0
_
.
Observacion 2.3.2. El cuerpo cociente K de un dominiontegro R es el menor cuerpo que contiene
a R.
2.3.3. Deniciones y comentarios En 2.1.17 denimos a un elemento irreducible de un anillo.
Si R es un dominio ntegro, nos referiremos a un elemento irreducible de R[X] como un polinomio
irreducible. Si R es un cuerpo, las unidades de R[X] son simplemente los elementos no nulos de R.
En este caso un elemento irreducible es un polinomio que tiene al menos grado 1 y que no puede ser
factorizado como producto de dos polinomios de grado menor. Un polinomio que no es irreducible
se denomina reducible o factoreable. Salvo que quede claro, siempre diremos sobre que dominio
el polinomio en cuestion es o no irreducible. Por ejemplo, el polinomio X
2
+ 1 es irreducible sobre
R[X], sin embargo es reducible sobre C[X]. Diremos ademas, que un polinomio es primitivo, si
sus coecientes son coprimos.
Lema 2.3.4. Sea g Z[X] monico. Si g = fh, con f, h Q[X] y f monico, entonces f Z[X].
2 PRELIMINARES
Teorema 2.3.5. Si R es un DFU entonces R[X] tambien lo es.
Denicion 2.3.6. Si E y F son cuerpos tales que F E, diremos que E es una extension de F,
y la denotaremos por E/F.
Si E/F es una extension de F, en particular E es un grupo abeliano con la adicion, y esta per-
mitido multiplicar al vector x E por el escalar F y as tenemos una estructura de
E como F-espacio vectorial. A la dimension de este espacio vectorial la llamaremos grado de la
extension, y la denotaremos por [E : F]. Si [E : F] = n < , diremos que la extension E/F es
nita.
Denicion 2.3.7. Si E/F es una extension, el elemento E se dice algebraico sobre F si es
la raz de alg un polinomio no constante, con coecientes en F. Si E no es algebraico sobre F
entonces es trascendente (sobre F).
Denicion 2.3.8. Una extension E de un cuerpo F es llamada extension algebraica, si todo
elemento de E es algebraico sobre F.
Teorema 2.3.9. Sean E, K, F cuerpos tales que E K F. Luego [E : F] = [E : K][K : F]. En
particular, [E : F] es nito si y solo si [E : K] y [K : F] son nitos.
Teorema 2.3.10. Si E es una extension nita de F, entonces es una extension algebraica sobre
F.
Denicion 2.3.11. Si E es una extension de un cuerpo F y f F[X], diremos que f es split
sobre E si f puede ser escrito como
f(X) =
i
E
(X
i
) ( F).
Diremos que E es un cuerpo split para f sobre F[X], si f es split sobre E pero no lo es sobre
ning un subcuerpo propio de E que contenga a F.
Teorema 2.3.12. Si y son races del polinomio irreducible f F[X] en una extension E de
F, entonces F() es isomorfo a F() va un isomorsmo que lleva en y es la identidad sobre
F.
Denicion 2.3.13. Un cuerpo F se dice algebraicamente cerrado si todo polinomio irreducible
en F[X] es lineal.
Denicion 2.3.14. Una extension E de F es una clausura algebraica de F, si E es algebraico
sobre F y E es algebraicamente cerrado.
Teorema 2.3.15. Todo cuerpo K tiene una clausura algebraica. Dos clausuras cualesquiera de K
son K-isomorfas.
Corolario 2.3.16. Si K es un cuerpo y S es un conjunto de polinomios de grado positivo en K[X],
entonces existe un cuerpo split de S sobre K.
Observacion 2.3.17. Dos cuerpos split cualesquiera de S sobre K, son K-isomorfos.
2.4 Teora de Galois
Denicion 2.3.18. Un polinomio irreducible f F[X] es separable si f no tiene races repetidas
en un cuerpo split. En caso contrario diremos que f es inseparable. Si f es un polinomio arbitrario,
no necesariamente irreducible, diremos que es separable si cada uno de sus factores irreducibles es
separable. Si E/F es una extension y E, entonces es separable sobre F si es algebraico
sobre F y el polinomio minimal min(, F) es un polinomio separable. Si todo elemento de E es
separable sobre F, diremos que E/F es una extension separable.
Teorema 2.3.19.
1. Sobre un cuerpo de caracterstica 0, todo polinomio es separable.
2. Sobre un cuerpo F de caracterstica p, donde p es un n umero primo, el polinomio irreducible
f es inseparable si y solo si f
0.
Observacion 2.3.20. Toda extension algebraica de un cuerpo de caracterstica cero o de un cuerpo
nito es separable.
Lema 2.3.21. Si F K E y E es separable sobre F, entonces K es separable sobre F y E es
separable sobre K.
2.4. Teora de Galois
Lema 2.4.1. Sea : E E un F-monomorsmo, y asumamos que el polinomio f F[X] es
split sobre E. Si es una raz de f en E, entonces () tambien lo es. Luego permuta las races
de f.
Demostracion. Sea f =
n
i=0
b
i
X
i
en F[X], tal que f() = 0. Como es un F-monomorsmo
(b
i
) = b
i
, i = 1, . . . , n y (
i
) = (())
i
. Luego
0 =
_
n
i=0
b
i
i
_
=
n
i=0
_
b
i
i
_
=
n
i=0
b
i
( ())
i
.
Teorema 2.4.2. Sea E/F una extension nita y separable de grado n, y sea una inclusion de F
en C. Luego extiende exactamente n inclusiones de E en C. En otras palabras, hay exactamente
n inclusiones de E en C tales que la restriccion [
E
de , coincide con . En particular, si = id
F
,
hay exactamente n monomorsmos de E en C.
Demostracion. Por induccion. Si n = 1, E = F y no hay nada que probar. Asumamos ahora que
n > 1 y tomemos F E. Si f es el minimal de sobre F, podemos considerar g = (f). Luego,
cualquier factorizacion de g puede ser trasladada a una factorizacion de f y de este modo g es
irreducible y separable sobre el cuerpo (F). Si es cualquier raz de g, entonces existe un unico
isomorsmo entre F() y ((F))(), que mapea a en y coincide con en F. Ahora, si el grado
de g es r, tenemos que [F() : F] = gra(f) = gra(g) = r, entonces por 2.3.9 [E : F()] = n/r < n.
Como g es separable, tiene exactamente r races distintas en C, entonces hay exactamente r posibles
elecciones de . Por hipotesis inductiva, en cada caso la inclusion de F() en C puede ser extendida
a exactamente n/r inclusiones de E en C. Esto produce n inclusiones distintas de E en C que
2 PRELIMINARES
extienden a . Pero si es cualquier inclusion de F en C que extiende a , entonces debe mapear
a a una raz de g como en 2.4.1. Si hubiera mas de n posibles , habra mas de n/r posibles
extensiones de al menos una de las inclusiones de F() en C, lo cual estara contradiciendo la
hipotesis inductiva.
Denicion 2.4.3. Una extension algebraica E de un cuerpo F es normal sobre E (o simplemente
extension normal) si todo polinomio irreducible en F[X] que tiene una raz en E es split en E[X].
Teorema 2.4.4. Una extension E/F nita es normal si y solo si todo F-monomorsmo de E en
su clausura algebraica C es, en realidad, un F-automorsmo de E.
Observacion 2.4.5. En 2.4.2 y 2.4.4, se puede reemplazar la clausura algebraica por cualquier
extension normal ja de F que contenga a E. Ademas la implicacion (E) E (E) = E es
valida para cualquier F-monomorsmo y para cualquier extension nita E/F sin necesidad que
esta sea normal.
Teorema 2.4.6. La extension nita E/F es normal si y solo si E es un cuerpo split para alg un
polinomio f F[X].
Corolario 2.4.7. Sea F K E, donde E es una extension nita de F. Si E/F es normal
entonces E/K tambien lo es.
Denicion 2.4.8. E/F es una extension de Galois si es una extension normal y separable.
Podemos decir tambien que E es Galois sobre F.
Se sigue de 2.4.2 y 2.4.4 que si E/F es una extension nita de Galois, hay exactamente [E : F]
F-automorsmos de E. Si E/F es una extension nita y separable pero no es normal, al menos una
F-inclusion de E en una clausura algebraica no es un automorsmo de E. En este caso el n umero
de F-automorsmos de E es menor que el grado de la extension.
Denicion 2.4.9. Si E/F es una extension arbitraria, el grupo de Galois de la extension,
denotado por Gal(E/F), es el conjunto de F-automorsmos de E. (El conjunto es un grupo con la
composicion de funciones.)
Denicion 2.4.10. Sea E una extension nita de F, digamos, E = F(
1
, . . . ,
n
). Si N E
es cualquier extension normal de F, entonces N debe contener todas las races de min(
i
, F),
i = 1, . . . , n. Si f es el producto de estos polinomios minimales, entonces N debe contener el cuerpo
split K de f sobre F. Pero K/F es normal por 2.4.6, entonces K debe ser la extension normal mas
peque na de F que contiene a E. Se denomina a K clausura normal de E sobre F.
Denicion 2.4.11. Sea G = Gal(E/F) el grupo de Galois de la extension E/F. Si H es subgrupo
de G, el cuerpo jo de H es el conjunto de elementos que quedan jos por cualquier automorsmo
sobre H, es decir,
T(H) = x E : (x) = x, H
Proposicion 2.4.12. Sea E/F una extension nita de Galois con grupo de Galois G = Gal(E/F).
Entonces, el cuerpo jo de Galois de G es F.
2.4 Teora de Galois
Demostracion. Sea F
0
el cuerpo jo de G. Si es un F-automorsmo de E, entonces por denicion
de F
0
, deja jos a todos los elementos de F
0
. Luego, los F-automorsmos de G coinciden con
los F
0
-automorsmos de G. Ademas, por 2.3.21 y 2.4.7, E/F
0
es Galois, y por 2.4.8 la cantidad
de elementos del grupo de Galois de una extension de Galois nita, coincide con el grado de la
extension. Luego, [E : F] = [E : F
0
] y por 2.3.9 resulta F = F
0
.
2.4.13. Lema de Dedekind

Si
1
,
2
, . . . ,
n
son distintos homomorsmos de G a E
(el conjunto de elementos no nulos de

E), entonces los
i
son linealmente independientes sobre E.
3 EXTENSIONES INTEGRALES
3. Extensiones integrales
Si E/F es un cuerpo de extension y E, entonces es algebraico sobre F si y solo si es
raz de un polinomio con coecientes en F. Podemos considerar que el polinomio es monico.
3.1. Deniciones y propiedades basicas
En esta seccion consideraremos que todos los anillos son conmutativos con identidad. Sea A un
subanillo del anillo R y x R. Decimos que x es integral sobre A si x es raz de un polinomio
monico f con coecientes en A. La ecuacion f(X) = 0 se llama ecuacion de dependencia
integral de x sobre A. Si x es un n umero real o complejo que es integral sobre Z, entonces x se
denomina entero algebraico. Luego, para todo entero d,
d es un entero algebraico, as como lo es

cualquier raz n-esima de la unidad. Los polinomios monicos son X
2
d y X
n
1, respectivamente.
En preparacion para el proximo resultado sobre condiciones equivalentes a integralidad, notar que
A[x], el conjunto de los polinomios con coecientes en A, es un A-modulo, dado que la suma de
polinomios es un polinomio, y multiplicar un polinomio por un elemento de A es otro polinomio
sobre A.
Proposicion 3.1.1. Sea A un subanillo de R, con x R. Las siguientes condiciones son equiva-
lentes:
1. x es integral sobre A.
2. El A-modulo A[x] esta nitamente generado.
3. x pertenece a un subanillo B de R tal que A B y B es un A-modulo nitamente generado.
Demostracion.
1) 2) Si x es raz de un polinomio monico de grado n, f(x) = x
n
+ a
n1
x
n1
+ . . . + a
1
x + a
0
,
entonces x
n
y toda potencia mayor de x se puede expresar como combinacion lineal de potencias
menores de x. Luego,
_
1, x, x
2
, . . . , x
n1
_
generan A[x] sobre A.
2) 3) B = A[x] es un A-modulo nitamente generado, x A[x] y A A[x].
3) 1) Si
1
, . . . ,
n
generan B sobre A, entonces x
i
es combinacion lineal de los
j
, es decir
x
i
=
n
j=1
c
ij
j
. Luego, si es un vector columna cuyas componentes son los
i
, I es la matriz
identidad y C = [c
ij
], entonces
(xI C) = 0,
y si premultiplicamos por la matriz adjunta de xI C (como en la regla de Cramer), tenemos que
[det(xI C)]I = 0,
entonces [det(xI C)]b = 0 para todo b B. Como B es un anillo con identidad, tomando b = 1
tenemos que x es raz del polinomio monico det(XI C) en A[X]. Luego, x es integral sobre A.

3.2 Clausura Integral
Observacion 3.1.2. Si A, B y C son anillos tales que C es un B-modulo nitamente generado y
B es un A-modulo nitamente generado entonces C es un A-modulo nitamente generado.
En efecto, si suponemos que C esta generado por y
1
, y
2
, . . . , y
r
y B esta generado por
z
1
, z
2
, . . . , z
s
, entonces por ser C un B-modulo,
C =
r
j=1
By
j
.
Ademas, B es un A-modulo entonces
B =
s
k=1
Az
k
.
Luego,
C =
r
j=1
By
j
=
r
j=1
s
k=1
Az
k
y
j
.
Lema 3.1.3. Sea A un subanillo de R, y x

1
, . . . , x
n
R. Si x
1
es integral sobre A, x
2
es inte-
gral sobre A[x
1
],. . . , x
n
es integral sobre A[x
1
, . . . , x
n1
], entonces A[x
1
, . . . , x
n
] es un A-modulo
nitamente generado.
Demostracion. Si n = 1, x
1
R tal que x
1
es integral sobre A entonces, por 3.1.1, A[x
1
] es un
A-modulo nitamente generado.
Supongamos que si x
1
es integral sobre A, x
2
es integral sobre A[x
1
],. . . , x
n1
es integral sobre
A[x
1
, . . . , x
n2
] entonces A[x
1
, . . . , x
n1
] es un A-modulo nitamente generado.
Ahora, sea x
1
integral sobre A, x
2
integral sobre A[x
1
],. . . , x
n
integral sobre A[x
1
, . . . , x
n1
]. Si
tomamos C = A[x
1
, . . . , x
n
] y B = A[x
1
, . . . , x
n1
] entonces, por proposicion 3.1.1., A[x
1
, . . . , x
n
]
es un A[x
1
, . . . , x
n1
]-modulo nitamente generado y por hipotesis A[x
1
, . . . , x
n1
] es un A-modulo.
Luego, por la observacion, A[x
1
, . . . , x
n
] es un A-modulo nitamente generado.
3.1.4. Transitividad de Extensiones Integrales

Sean A, B y C subanillos de R. Si C es integral sobre B, es decir cada elemento de C es integral
sobre B, y B es integral sobre A, entonces C es integral sobre A.
Demostracion. Sea x C tal que x
n
+b
n1
x
n1
+. . . +b
0
= 0, con b
i
B. Entonces, x es integral
sobre A[b
0
, . . . , b
n1
]. Cada b
i
es integral sobre A, entonces lo es sobre A[b
0
, . . . , b
n1
]. Por 3.1.3,
A[b
0
, . . . , b
n
, x] es un A-modulo nitamente generado. Por 3.1.1, parte 2), x es integral sobre A.
3.2. Clausura Integral
Denicion 3.2.1. Si A es un subanillo de R, la clausura integral de A en R es el conjunto A
c
de elementos de R que son integrales sobre A. Notar que A A
c
pues cada a A es raz de Xa.
Denicion 3.2.2. Decimos que A es integralmente cerrado en R si A
c
= A. Si decimos que
A es integralmente cerrado sin hacer referencia a R, asumimos que A es un dominio ntegro con
cuerpo cociente K, y A es integralmente cerrado sobre K.
Observacion 3.2.3. Si x e y son integrales sobre A, como en la demostracion de transitividad de
extensiones integrales, se tiene que, por el lema 3.1.3, A[x, y] es un A-modulo nitamente generado.
Dado que x + y, x y, x.y pertenecen a este modulo, son integrales sobre A por 3.1.1, parte 2).
En conclusion, A
c
es un subanillo de R que contiene a A. Si tomamos la clausura integral de la
clausura integral obtenemos A
c
.
Proposicion 3.2.4. La clausura integral A
c
de A en R es integralmente cerrada en R.
Demostracion. Por denicion A
c
es integral sobre A.
Si x es integral sobre A
c
y A
c
es integral sobre A entonces por transitividad, x es integral sobre
A.
Proposicion 3.2.5. Si A es un DFU entonces A es integralmente cerrado.
Demostracion. Si x pertenece al cuerpo cociente K, entonces podemos escribir x =
a
b
tal que
a, b A son primos relativos. Si x es integral sobre A, entonces existe una ecuacion de la forma
_
a
b
_
n
+a
n1
_
a
b
_
n1
+ +a
1
_
a
b
_
+a
0
= 0,
con a
i
A. Multiplicando por b
n
, tenemos que a
n
+bc = 0, con c A. Luego, b divide a a
n
, lo cual
no puede suceder pues a y b son primos relativos, a menos que b no tenga factores primos, es decir
b es una unidad. Pero entonces x = ab
1
A.
Denicion 3.2.6. Un cuerpo numerico es un subcuerpo L de los n umeros complejos C tal
que L es una extension nita de los racionales Q. Llamaremos a los elementos de L n umeros
algebraicos. La clausura integral de Z en L se denomina anillo de los enteros algebraicos (o
simplemente enteros) de L.
3.3 Ejercicios
3.3. Ejercicios
3.3.1. Mostrar que en la proposicion 3.1.1 otra condicion equivalente es:
4. Existe un subanillo B de R que es un A-modulo nitamente generado y xB B. Ademas, si
R es un cuerpo podemos omitir que B es un subanillo, siempre que B ,= 0.
Demostracion.
2) 4) Por hipotesis, A[x] es un A-modulo nitamente generado. Ademas, xA[x] A[x].
4) 1) La demostracion es analoga a 3) 1). Sin embargo, si R es cuerpo y B ,= 0, entonces
(xI C) = 0 para todo B implica que (xI C) = 0 (pues R no tiene divisores de cero). Por
lo tanto, x es autovalor de C. Luego,
[det(xI C)]I = 0, B.
3.3.2. Mostrar que en la proposicion 3.1 la siguiente es otra equivalencia:

5. Existe un A[x]-modulo el B que esta nitamente generado como un A-modulo.
Demostracion.
2) 5) A[x] es un A-modulo nitamente generado. Ademas como A es un anillo con unidad, A[x]
tambien es un anillo con unidad 1 ,= 0. Si tomamos r I tal que r1 = 0, entonces r = 0 (pues por
ser 1 unidad, 1r ,= 0, r ,= 0). Por lo tanto, A[x] es el.
5) 1) Si B un A[x]-modulo sabemos que x B y (xI C) = 0, B. Como B es el, debe
ser xI C = 0, por lo tanto det(xI C) = 0 y x es integral sobre A.
Sea A un subanillo de un dominio ntegro B, con B integral sobre A. En los problemas de 3.3.3
a 3.3.5 mostraremos que A es un cuerpo si y solo si B lo es.
3.3.3. Supongamos que B es un cuerpo, y sea a un elemento no nulo de A. Entonces, como a
1
B,
existe una ecuacion de la forma
(a
1
)
n
+c
n1
(a
1
)
n1
+. . . +c
1
a
1
+c
0
= 0,
con c
i
A. Mostrar que a
1
A, probando as que A es cuerpo.
Demostracion. Sea a A, luego
a
n1
[(a
1
)
n
+c
n1
(a
1
)
n1
+. . . +c
1
a
1
+c
0
] = 0
entonces,
a
1
+c
n1
+c
n2
a +c
n3
a
2
+. . . +c
1
a
n2
+c
0
a
n1
= 0.
Por lo tanto,
a
1
= c
n1
c
n2
a c
n3
a
2
. . . c
1
a
n2
c
0
a
n1
A
pues a
n
, c
i
A. Luego, A es cuerpo.
3.3.4. Supongamos que A es un cuerpo, y sea b un elemento no nulo de B. Por la proposicion 3.1.1,
parte 2, A[b] es un espacio vectorial de dimension nita sobre A. Sea f una A-transformacion lineal
sobre este espacio vectorial dada por multiplicar por b, es decir f(z) = bz, z A[b]. Mostrar que f
es inyectiva.
Demostracion. Sean z, w A[b]. Si f(z) = f(w) entonces bz = bw. Por lo tanto, b(z w) = 0, y
por ser A[x] un dominio ntegro (pues A[b] es un subanillo de B que es dominio ntegro), se tiene
que z w = 0, es decir z = w. Luego, f es inyectiva.
3.3.5. Mostrar que f es suryectiva, y concluir que B es un cuerpo.
Demostracion. Sea f : A[b] A[b]. Sabemos que
dim(A[b]) = dim(Nu(f)) +dim(Im(f)).
Por ser f inyectiva,
dim(A[b]) = dim(Im(f)).
Por lo tanto, f es suryectiva.
Ahora, para 1 A[b] existe z A[b] tal que f(z) = 1, por lo tanto bz = 1 entonces z = b
1
.
Ademas, como A[b] es anillo conmutativo 1 = bz = zb. Luego, B es cuerpo (pues para cada elemento
no nulo de B se puede denir una transformacion f).
En los problemas de 3.3.6 a 3.3.8, consideraremos A un subanillo de B, con B integral sobre A, Q

un ideal primo de B y P = Q A.
3.3.6. Mostrar que P es un ideal primo de A, y que A/P puede considerarse como un subanillo de
B/Q.
Demostracion. Veamos que P = Q A es un ideal de A.
Sea p P y a A. Como A es subanillo de B tenemos que a B, entonces ap A y por ser
Q ideal de B, ap Q. Luego, ap P.
Veamos que P es primo.
Si P = A entonces A Q, lo cual es absurdo ya que 1 A y Q es ideal. Luego, P ,= A.
Si consideramos la aplicacion inclusi on J : A B, tenemos que P = J
1
(Q) es la preimagen
de un ideal primo por un homomorsmo de anillos, luego P es un ideal primo (2.1.11).
Por otra parte, A es anillo y P es un ideal de A, por lo tanto A/P es anillo. Si consideramos la
aplicacion f : A/P B/Q dada por f(a +P) = a +Q, esta bien denida y es inyectiva entonces
A/P puede considerarse como un subanillo en B/Q.
3.3.7. Mostrar que B/Q es integral sobre A/P.
Demostracion. Sea b +Q B/Q. Para b B existe un polinomio
p = a
n
x
n
+. . . +a
1
x +a
0
,
con coecientes en A tal que p(b) = 0. Por el ejercicio anterior, existe una inyeccion J : A/P B/Q
tal que J(a
i
+ P) = a
i
+ Q B/Q, es decir podemos identicar a cada elemento de A/P con un
elemento de B/Q.
3.3 Ejercicios
Ahora, si cocientamos con Q,
a
n
b
n
+. . . +a
1
b +a
0
= 0 a
n
b
n
+. . . +a
1
b +a
0
= 0.
Luego, B/Q es integral sobre A/P.
3.3.8. Mostrar que P es un ideal maximal de A si y solo si Q es un ideal maximal de B.

Demostracion.
) Si P es ideal maximal del anillo conmutativo A entonces A/P es cuerpo (2.1.15). Ademas, si
Q es primo tenemos que B/Q es dominio ntegro (2.1.13), A/P es subanillo B/P (3.3.6) y B/Q es
integral sobre A/P (3.3.7) entonces como A/P es cuerpo resulta B/Q cuerpo (3.3.4), por lo tanto
B/Q es un anillo de division. Luego, Q es maximal.
) Si Q ideal maximal del anillo conmutativo B entonces B/Q es cuerpo. Ademas, por 3.3.6 A/P
es subanillo del dominio ntegro B/Q y por 3.3.7 B/Q es integral sobre A/P, por lo tanto A/P es
cuerpo (3.3.3) entonces A/P es anillo de division. Luego, por 2.1.15 P es maximal.

4 EXTENSIONES CUADR
ATICAS DE LOS RACIONALES

4. Extensiones cuadraticas de los racionales
En este captulo determinaremos los enteros algebraicos de
Q(
d) = a +b
d : a, b Q,
donde podemos suponer sin perdida de la generalidad que d es un entero libre de cuadrados, o sea,
se puede escribir como producto de factores primos distintos. Un ejemplo es:
Q(
12) = Q(
3),
ya que 12 = 2
2
3.
El polinomio minimal de

d sobre Q es X
2
d, cuyas races son
d, entonces Q(
d)/Q es
normal (2.4.6) y ademas, por 2.3.20, es separable. Luego, Q(
d)/Q es Galois (2.4.8) y el grupo de

Galois consiste de la identidad y del automorsmo (a +b
d) = a b
d para a, b Q.
4.1. Enteros algebraicos de Q(
d)
Lema 4.1.1. Si a y b son racionales, a + b
d es un entero algebraico si y solo si 2a y a

2
db
2
pertenecen a Z.
Demostracion.
) Si x = a + b
d, (x) = a b
d. Luego x + (x) = 2a Q y ademas x(x) = a

2
db
2
Q.
Si x es un entero algebraico entonces es raz de alg un polinomio monico f Z[X]. Pero como
es un automorsmo f((x)) = (f(x)) = (0) = 0, entonces (x) tambien es raz de f y
consecuentemente, un entero algebraico. Por 3.2.3 tenemos que 2a y a
2
db
2
resultan enteros
algebraicos y como Z es algebraicamente cerrado (3.2.5), 2a y a
2
db
2
pertenecen a Z.
) Para la vuelta tenemos que a +b
d verica la ecuacion (X a)
2
= db
2
, lo que es igual a decir
que a +b
d es raz del polinomio

X
2
2aX +a
2
db
2
,
cuyos coecientes, por hipotesis, estan en Z.
Observacion 4.1.2. Si 2a y a
2
db
2
pertenecen a Z, 2b tambien pertenece a Z, ya que
(2a)
2
d(2b)
2
= 4(a
2
db
2
) Z =d(2b)
2
Z,
y si suponemos que 2b no es entero tenemos que 2b =
p
q
con p, q Z coprimos, de este modo,
(2b)
2
=
_
p
q
_
2
=d(2b)
2
= d
_
p
q
_
2
,
y como d es libre de cuadrados no se puede simplicar con q
2
, lo cual contradice el hecho anterior.
Por lo tanto, 2b Z.
4.1 Enteros algebraicos de Q(
d)
Corolario 4.1.3. El conjunto B de enteros algebraicos de Q(
d) con d libre de cuadrados puede

ser descripto de la siguiente forma:
1. Si d / 1 mod 4, entonces B consiste de todos los n umeros de la forma a +b
d, con a, b Z.
2. Si d 1 mod 4, entonces B consiste de todos los n umeros de la forma
u
2
+
v
2
d con u, v Z
y con la misma paridad.
Observacion 4.1.4. Por ser d entero libre de cuadrados, la condicion en 1 se reduce a los casos
d 2 mod 4 o d 3 mod 4.
Demostracion.
1. Veamos que si a +b
d es entero algebraico entonces a, b Z.

Por 4.1.1 y 4.1.2 sabemos que 2a, 2b y a
2
db
2
son enteros, entonces
(2a)
2
(2b)
2
d
4
Z,
mas a un, como (2b)
2
d Z y d es libre de cuadrados, se tiene que
b =
p
2
con p Z y (2a)
2
p
2
d 0 mod4,
ademas como d 2 o d 3 mod 4, a debe ser entero y p par, ya que si suponemos que p es impar,
existe k Z tal que p = 2k + 1, entonces
(2a)
2
(2k + 1)
2
d 0 = 4a
2
(4k
2
d + 4kd +d) 0 = 4 (a
2
k
2
d +kd)
. .
Z
d 0 mod4,
lo cual es absurdo porque d es libre de cuadrados. Por lo tanto p es par, lo que implica que b Z.
2. Por 4.1.1 los enteros algebraicos de Q(
d) son de la forma
u
2
+
v
2
d con u, v Z y
u
2
4
+d
v
2
4
Z,
o sea u
2
dv
2
0 mod 4, entonces u y v tienen que tener la misma paridad, mas a un el caso en
que ambos son impares ocurre si d 1 mod 4, y el caso en que ambos son pares es equivalente a
decir que
u
2
,
v
2
Z.
Podemos expresar este resultado de manera mas conveniente. Para ello mostraremos mas ade-
lante que el conjunto de enteros algebraicos de cualquier cuerpo numerico L es un Z-modulo libre
de rango n = [L : Q]. Una base para este modulo es llamada base integral.
Teorema 4.1.5. Sea B como en el corolario anterior.
1. Si d / 1 mod 4, entonces 1 y d forman una base integral de B.
2. Si d 1 mod 4, entonces 1 y
1
2
(1 +
d) forman una base integral para B.

Demostracion.
1. Por 4.1.3 sabemos que 1 y
d generan B y como
d es irracional, son linealmente independientes.

4 EXTENSIONES CUADR

2. Por 4.1.3 ahora tenemos que 1 y
1
2
(1+
d) son enteros algebraicos, bastara con ver que generan

B y que son linealmente independientes.
Consideremos
1
2
(u +v
d) donde u y v tienen la misma paridad, luego

1
2
(u +v
d) =
_
u v
2
_
1 +v
_
1
2
(1 +
d)
_
,
con
uv
2
y v enteros. Finalmente, para la independencia lineal consideremos a, b Z y la ecuacion
a +b
_
1
2
(1 +
d)
_
= 0.
Luego, 2a +b +b
d = 0 lo cual fuerza a que a y b sean iguales a 0.

4.2. Cuerpos ciclotomicos
Denicion 4.2.1. Una extension ciclotomica de F es un cuerpo split E de f(X) = X
n
1
sobre F.
Las races de f son denominadas races n-esimas de la unidad, y forman un subgrupo multi-
plicativo del grupo E
de elementos no nulos de E. Este subgrupo es cclico. Observar ademas que

toda extension ciclotomica es normal (2.4.6).
Denicion 4.2.2. Una raz n-esima de la unidad es primitiva si es de orden n en E
.
Denicion 4.2.3. El n-esimo polimonio ciclotomico
n
(X) es denido como el producto de
los terminos X , donde vara entre todas las races n-esimas primitivas de la unidad, en C.
De este modo, una raz n-esima de la unidad es una raz d-esima primitiva de la unidad, para
d cualquier divisor de n. Luego X
n
1 es el producto de todos los polinomios ciclotomicos
d
(X),
con d divisor de n.
En particular, si n = p
r
es una potencia de un n umero primo, como los divisores de p
r
son de
la forma p
s
con s r, se tiene que :
p
r (X) =
X
p
r
1
X
p
r1
1
=
t
p
1
t 1
= 1 +t +. . . +t
p1
,
donde t = X
p
r1
. Si X = 1, entonces t = 1, lo cual implica que
p
r (X) = p.
Supongamos que F es un cuerpo de caracterstica p y p[n. Si es una raz n-esima de la unidad
tenemos que
0 =
n
1 = (
n
1)
p
,
entonces el orden de debe ser menor que n. Para evitar que esto suceda, consideraremos F de
manera tal que su caracterstica no divida a n. Luego
f
(X) = nX
n1
,= 0,
entonces por 2.3.19 f es separable y consecuentemente E/F es Galois.
Como hay n races n-esimas de la unidad distintas, debe existir una que sea primitiva, para esa
raz tendremos que E = F().
4.2 Cuerpos ciclotomicos
Si es cualquier automorsmo en Gal(E/F) y es una raz n-esima primitiva de la unidad,
entonces
() =
r
,
donde
r
tambien es una raz n-esima primitiva de la unidad y ademas n y r son coprimos.
Observacion 4.2.4. Si
n
= e
2i/n
es una raz n-esima primitiva de la unidad, se tiene que:
1.
2
2n
= e
2(2i/2n)
= e
2i/n
=
n
.
2.
n+1
2n
= e
i(n+1)/n
= e
i
e
i
e
i/n
=
2n
.
Podemos deducir de 1) que Q(
n
) Q(
2n
), mas a un, se puede ver que Q(
n
) = Q(
2n
)
(ejercicio 4.3.4). Esto nos muestra que en general los cuerpos ciclotomicos no se comportan de igual
manera que las extensiones cuadraticas de Q, ya que las extensiones Q(
d) con d libre de cuadrados

son todas distintas (ejercicio 4.3.2).
4 EXTENSIONES CUADR

4.3. Ejercicios
4.3.1. Mostrar que si L = Q(), donde es una raz del polinomio cuadratico irreducible
X
2
+bX +c (b, c Q),
entonces L = Q(
d) para alg un entero d libre de cuadrados.

Demostracion. Si es raz del polinomio cuadratico X
2
+bX +c, entonces
2
+b +c = 0 = =
b
b
2
4c
2
= Q() = Q(
_
b
2
4c),
como b
2
4c Q existen p, q Z coprimos, tales que b
2
4c =
p
q
. Luego
_
b
2
4c =
_
p
q
=
1
q
2
p q = Q(
_
b
2
4c) = Q(
pq).
Por otro lado, como p y q son coprimos, podemos decir que p = ux
2
y q = vy
2
con x, u, v, y Z
y u, v libres de cuadrados y coprimos. De este modo tenemos que,
pq = xy
uv = Q(
pq) = Q(
uv).
Por lo tanto, existe d = uv entero libre de cuadrados, tal que L = Q(
d).
4.3.2. Mostrar que las extensiones cuadraticas de Q(
d), con d libre de cuadrados, son todas

distintas.
Demostracion. Sean d y d
enteros libres de cuadrados distintos. Si Q(
d) = Q(
), entonces
existen a, b Q tales que
d = a +b
= d = (a +b
)
2
= d = a
2
+ 2ab
+b
2
d
= (a
2
+ 2ab
+b
2
d
) Z,
pero (a
2
+ b
2
d
) Q, entonces 2ab
Q lo cual es posible solo si a = 0 y b = 1, y en ese caso

d = d
. Por lo tanto, si d ,= d
se tiene que Q(
d) ,= Q(
).
4.3.3. Mostrar que dos extensiones cuadraticas de Q que no son distintas son Q-isomorfas.
Demostracion. Supongamos que tenemos un isomorsmo : Q(
d) Q(
), entonces existen
a, b Q tales que (
d) = a + b
. Luego (d) = a
2
+ b
2
d
+ 2ab
, lo cual es absurdo, ya que

la imagen de d por cualquier Q-isomorsmo es el mismo d.
4.3.4. Mostrar que si n es impar, entonces Q(
n
) = Q(
2n
).
Demostracion. Veamos la doble inclusion.
) Si
n
= e
2i/n
es una raz n-esima primitiva de la unidad, por 4.2.4 sabemos que
2
2n
=
n
, lo
cual implica que Q(
n
) Q(
2n
).
4.3 Ejercicios
) Si consideramos n impar, entonces existe k Z tal que n+1 = 2k. Como por 4.2.4 tenemos que
n+1
2n
=
2n
, luego
2n
=
2k
2n
= (
2
2n
)
k
= (
n
)
k
Q(
n
).
Por lo tanto, para n impar, Q(
n
) = Q(
2n
).
4.3.5. Si a es un entero algebraico, mostrar que el polinomio minimal de a sobre Q tiene coecientes
en Z. Consecuentemente, un entero algebraico que pertenece a Q, pertenece a Z. (El polinomio
minimal de r Q sobre Q es X r.)
Demostracion. Como a es un entero algebraico, existe un polinomio monico f =
n
i=0
i
x
i
con
i
Z, (i = 0, . . . , n) tal que f(a) = 0. Si m
a
Q[X] es el polinomio minimal de a en Q[X], por
Cayley-Hamilton existe h Q[X] tal que f = m
a
h. Como f y m
a
son ambos monicos, por (2.3.4)
se tiene que m
a
Z[X].
Como consecuencia tenemos que si r Q es un entero algebraico, el polinomio Xr pertenece
a Z[X], con lo cual r Z.
4.3.6. Dar un ejemplo de una extension cuadratica de Q que tambien sea un cuerpo ciclotomico.
Demostracion. Una extension cuadratica de Q que es tambien una extension ciclotomica es:
Q(
3) = Q
_
1
2
+
1
2
3
_
,
donde =
1
2
+
1
2
3 es una raz 3-esima primitiva de la unidad.
4.3.7. Una base integral para el anillo B de enteros algebraicos de un cuerpo numerico L es, en
particular, una base para L sobre Q.
Demostracion. Sea dim(B) = n y b
1
, . . . , b
n
una base para B. Si tomamos
i
=

i
i
Q, con
i
,
i
Z y
i
,= 0, para cada i = 1, . . . , n, tales que
n
i=1
i
b
i
= 0, entonces
n
i=1
i
b
i
=
n
i=1
i
b
i
= 0.
Sea =
1
. . .
n
el denominador com un, entonces
1
i=1
j=i
i
b
i
= 0 =
n
i=1
j=i
i
b
i
= 0,
pero para cada i = 1, . . . , n,
j=i
i
es entero. Luego, como b
1
, . . . , b
n
es una base para B,
j=i
i
= 0 para todo i. Esto es posible solo si
i
= 0 i = 1, . . . , n, ya que
i
,= 0 y Z es un
anillo sin divisores de cero. Por lo tanto los b
i
son n vectoreslinealmente independientes sobre Q,
y como dim(L/Q) = [L : Q] = n, podemos concluir que b
1
, . . . , b
n
es una base para L sobre Q.
5 NORMAS Y TRAZAS
5. Normas y Trazas
Si E/F es un cuerpo de extension de grado n, entonces podemos ver a E como un espacio
vectorial de dimension n sobre F, y las herramientas del

Algebra Lineal basica son validas. Si x es
un elemento de E, podemos estudiar la F-transformacion lineal m(x) dada por la multiplicacion
por x, esto es, m(x)y = xy.
Denicion 5.1.1. Denimos la norma y la traza de x, relativas a la extension E/F como
N[E/F](x) = det [m(x)] y T[E/F](x) = Tr [m(x)] .
Escribiremos N(x) y T(x) si E/F es conocido.
Si la matriz A(x) = [a
ij
(x)] representa m(x) con respecto a alguna base de E sobre F, entonces
la norma de x es el determinante de A(x) y la traza de x es la traza de A(x).
Denicion 5.1.2. Denimos el polinomio caracterstico de x como el polinomio caracterstico
de la matriz A(x), esto es,
char[E/F](x) = det [XI A(x)],
donde I es la matriz identidad de orden n. Si E/F es conocido, escribiremos char(x).
Ejemplo 5.1.3. Sea E = C, F = R y 1, i una base de C para R. Si x = a +bi tenemos
(a +bi)(1) = a(1) +b(i) y (a +bi)(i) = b(1) +a(i).
Luego,
A(a +bi) =
_
a b
b a
_
.
La norma, traza y polinomio caracterstico de a +bi son
N(a +bi) = a
2
+b
2
, T(a +bi) = 2a, char(a +bi) = X
2
2aX +a
2
+b
2
.
El calculo es exactamente el mismo si E = Q(i) y F = Q. Notar que el coeciente de X es T(x) y
el termino constante es N(x). En general, se sigue de la denicion de polinomio caracterstico que
char(x) = X
n
T(x)X
n1
+. . . + (1)
n
N(x).
(Los unicos terminos que multiplican X
n1
en la expansion del determinante son a
ii
(x), para
i = 1, . . . , n. Tomando X = 0 podemos ver que el termino constante de char(x) es (1)
n
det A(x).)
Lema 5.1.4. Si E es una extension de F y x E, entonces N(x), T(x) y los coecientes de char(x)
pertenecen a F. Si a F, entonces
N(a) = a
n
, T(a) = na, char(a) = (X a)
n
.
5.1 Deniciones y propiedades basicas
Demostracion. La primera armacion se sigue del hecho de que las entradas de la matriz A(x)
estan en F. La segunda es valida porque si a F, la matriz que representa la multiplicacion por a
es aI.
Es natural buscar una conexion entre el polinomio caracterstico de x y el polinomio minimal
de x sobre F.
Proposicion 5.1.5.
char[E/F](x) = [min(x, F)]
r
donde r = [E : F(x)].
Demostracion. Si r = 1, E = F(x). Por el Teorema de Cayley Hamilton, la transformacion lineal
m(x) satisface char(m(x)), y dado que m(x) es la multiplicacion por x, x es raz de char(m(x)).
Luego, min(x, F) divide a char(x). Pero cada uno de los polinomios tiene grado n; con lo cual el
resultado se sigue.
En el caso general, sea y
1
, . . . , y
s
una base de F(x) sobre F, y sea z
1
, . . . , z
n
una base de E
sobre F(x). Entonces y
i
z
j
ij
forma una base de E sobre F. Sea A = A(x) la matriz que representa
la multiplicacion por x en la extension F(x)/F, entonces xy
i
=
k
a
ki
y
k
, y x(y
i
z
j
) =
k
a
ki
(y
k
z
j
).
Ordenamos la base de E/F como y
1
z
1
, y
2
z
1
, . . . , y
s
z
1
; y
1
z
2
, y
2
z
2
, . . . , y
s
z
2
; . . . ; y
1
z
r
, y
2
z
r
, . . . , y
s
z
r
.
Entonces m(x) es representada en E/F como
_
_
_
_
_
A 0 . . . 0
0 A . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . A
_
_
_
_
_
Luego, char[E/F](x) = [det(XI A)]
r
.
Corolario 5.1.6. Sea [E : F] = n, y [F(x) : F] = d. Sean x

1
, . . . , x
d
las races de min(x, F) en un
cuerpo split (contando multiplicidad). Entonces
N(x) = (
d
i=1
x
i
)
n/d
, T(x) =
n
d
d
i=1
x
i
y
char(x) = [
d
i=1
(X x
i
)]
n/d
.
Demostracion. La formula para el polinomio caracterstico se sigue de 5.1.5. Si evaluamos char(x)
en X = 0, obtenemos (1)
n
N(x) (ver 5.1.3), entonces
N(x) = (1)
n
(1)
n
(
d
i=1
x
i
)
n/d
= (
d
i=1
x
i
)
n/d
.
5 NORMAS Y TRAZAS
Finalmente, si min(x, F) = X
d
+ a
d1
X
d1
+ . . . + a
1
X + a
0
, entonces el coeciente de X
n1
en [min(x, F)]
n/d
es
n
d
a
d1
=
n
d
d
i=1
x
i
. Dado que la traza es dicho coeciente con signo contrario,
se obtiene el resultado.
Si E es una extension separable de F, hay una expresion alternativa util de la traza y la norma.
Proposicion 5.1.7. Sea E/F una extension separable de grado n, y sean
1
,. . . ,
n
los distintos
F-monomorsmos de E en una clausura algebraica de E, o equivalentemente, en una extension
normal L de F que contiene a E. Entonces
T[E/F](x) =
n
i=1
i
(x) y N[E/F](x) =
n
i=1
i
(x).
Consecuentemente, T(ax +by) = aT(x) +bT(y) y N(xy) = N(x)N(y) para x, y E; a, b F.
Demostracion. Cada una de las d distintas F-inclusiones
i
de F(x) en L lleva a x en un unico
conjugado x
i
, y se extiende exactamente a
n
d
= [E : F(x)] F-inclusiones de E en L, las cuales
tambien llevan x a x
i
(ver 2.4.1, 2.3.12, 2.4.2). De este modo
n
i=1
i
(x) =
n
d
d
i=1
i
(x) = T(x)
y
n
i=1
i
(x) =
_
d
i=1
i
(x)
_
n/d
= N(x).
Corolario 5.1.8. (Transitividad de la Traza y la Norma)

Si F K E, donde E/F es nita y separable, entonces
T[E/F] = T[K/F] T[E/K] y N[E/F] = N[K/F] N[E/K].
Demostracion. Sean
1
,. . . ,
n
las distintas F-inclusiones de K en L, y sean
1
,. . . ,
m
las distintas
K-inclusiones de E en L, donde L es la clausura normal de E sobre F. Por 2.4.10 y 2.4.8, L/F es
Galois, y por 2.4.2, 2.4.4 y 2.4.5, cada mapeo
i
y
j
se extiende a un automorsmo de L, por lo
tanto, tiene sentido componerlos. Por 5.1.7,
T[K, F](T[E/K])(x) =
n
i=1
i
_
_
m
j=1
j
(x)
_
_
=
n
i=1
m
j=1
j
(x).
Ahora, cada
i
j
es una F-inclusion de E en L, y el n umero de mapeos es mn = [E : K][K : F].
Mas a un, los
i
j
son distintos si se restringen a E. En efecto, si
i
j
=
k
l
en E (luego en K),
entonces
i
=
k
en K (porque
i
es la identidad en K). As, i = k, con lo cual
j
=
l
en E. Pero
entonces j = l. Por 5.1.7, T[K, F](T[E/K])(x) = T[E/F](x).
La norma se calcula de la misma manera, reemplazando sumas por productos.

5.2 El sistema basico para la Teora Algebraica de N umeros
Corolario 5.1.9. Si E/F es una extension separable nita, entonces T[E/F](x) no puede ser 0
para todo x E.
Demostracion. Si T(x) = 0 para todo x, entonces por 5.1.7,
n
i=1
i
(x) = 0. Esto contradice el Lema
de Dedekind (2.4.13).
Una armacion equivalente a 5.1.9 es que si E/F es nita y separable, entonces la forma
bilineal (x, y) T[E/F](xy) es no degenerada, es decir, si T(xy) = 0 para todo y, entonces
x = 0. Supongamos que existe x
0
E tal que T(x
0
) ,= 0. Si x ,= 0 y T(xy) = 0 para todo y,
podemos elegir y tal que xy = x
0
para llegar a una contradiccion.
5.2. El sistema basico para la Teora Algebraica de N umeros
Sea A un dominio ntegro con cuerpo cociente K, L una extension separable nita de K y B la
clausura algebraica de A en L.
En el caso mas importante, A = Z, K = Q, L es un cuerpo numerico y B es el anillo de enteros
algebraicos de L.
Nos referiremos a (5.2) como el sistema AKLB.
Proposicion 5.2.1. Si x B, entonces los coecientes de char[L/K](x) y min(x, K) son integrales
sobre A. En particular, T[L/K](x) y N[L/K](x) son integrales sobre A.
Demostracion. Por la proposicion 5.1.5, basta con probarlo para min(x, K). Ahora bien, los coe-
cientes de este polinomio son sumas de productos de las races x
i
, por lo que alcanza con ver que
los x
i
son integrales sobre A. Cada x
i
es un conjugado de x sobre K, luego por (3.2.3) existe un
K-isomorsmo
i
: K(x) K(x
i
) tal que
i
(x) = x
i
. Si
x
n
+a
n1
x
n1
+. . . +a
0
= 0
es la ecuacion de dependencia integral de x sobre A y aplicamos
i
, nos queda una ecuacion de
dependencia integral de x
i
sobre A.

5 NORMAS Y TRAZAS
5.3. Ejercicios
5.3.1. Si E = Q(
d) y x = a +b
d, hallar la norma y traza de x.

Demostracion. Sean E = Q(
d) y x = a +b
d. Como los automorsmos en E son la identidad y

(x) = a b
d, por 5.1.7 se tiene que

N(x) = x(x) = (a +b
d)(a b
d) = a
2
db
2
T(x) = x +(x) = 2a.
5.3.2. Si E = Q() donde es una raz del polinomio c ubico irreducible X

3
3X + 1, hallar la
norma y traza de
2
.
Demostracion. Tomamos la base
_
1, ,
2
_
de E/Q.
m
2(1) =
2
m
2() =
3
= 3 1
m
2(
2
) =
4
=
3
= (3 1) = 3
2
.
Luego,
A(
2
) =
_
_
0 1 0
0 3 1
1 0 3
_
_
Se tiene entonces que
N(
2
) = det(A(
2
)) = 1 y T(
2
) = 6.
5.3.3. Hallar la traza de las races sextas primitivas de la unidad en la extension ciclotomica Q
6
.
Demostracion. Las races sextas primitivas de la unidad son
1
= e
i/3
y
1
. Por (4.2.3), el 6-esimo
polinomio ciclotomico
6
= (x
1
)(x
1
). Luego,
T(
1
) =
1
+
1
= e
i/3
+e
i/3
= 2cos(
3
) = 1.
5.3.4. Demostrar el Teorema de Hilbert:

Sea E/F es una extension cclica, con [E : F] = n y grupo de Galois G =
_
1, ,
2
, . . . ,
n1
_
generado por , y sea x E. Entonces
1. N(x) = 1 si y solo si y E tal que x = y/(y).
2. T(x) = 0 si y solo si z E tal que x = z (z).
Demostracion.
Veamos primero 1.
5.3 Ejercicios
) Supongamos que N(x) = 1. Por el Lema de Dedekind, 1, ,
2
, . . . ,
n1
son linealmente inde-
pendientes sobre E, con lo cual
1 +x +x(x)
2
+. . . +x(x) . . .
n2
(x)
n1
no es identicamente 0 en E. Luego, existe s ,= 0 en E tal que
y = s +x(s) +x(x)
2
(s) +. . . +x(x) . . .
n2
(x)
n1
(s) ,= 0.
Aplicando se tiene
(y) = (s) +(x)
2
(s) +(x)
2
(x)
3
(s) +. . . +(x)
2
(x) . . .
n1
(x)
n
(s)
. .
s
.
Luego,
x(y) = x(s) +. . . +x(x)
2
(x) . . .
n1
(x)
. .
1
s = x(s) +. . . +x(x) . . .
n2
(x)
n1
(s) +s = y.
) Si existe y E tal que x = y/(y),
N(x) =
n1
i=0
i
(x) = y/(y)(y/(y)) . . .
n1
(y/(y))
= y
1
(y)(y)
2
(y) . . .
n1
(y)
n
(y)
. .
y
1
= yy
1
= 1
Demostremos 2.
) Supongamos que existe z E tal que x = z (z).
T(x) = x +
n1
i=1
i
(x)
= z (z) +
n1
i=1
(
i
(z)
i+1
(z))
= z z = 0
) Supongamos que T(x) = 0. Por 5.1.9, existe un elemento u en E cuya traza no es 0. Sea entonces
w = x(u) + (x +(x))
2
(u) +. . . +
_
x +(x) +. . . +
n2
(x)
_
n1
(u).
5 NORMAS Y TRAZAS
Observemos que w (w) = xT(u). En efecto,
w (w) = x(u) + (x +(x) (x))
2
(u) +
_
x +(x) +
2
(x) (x)
2
(x)
_
3
(u)+
+. . . +
_
x +(x) +. . . +
n2
(x) (x) . . .
n2
(x)
_
n1
(u)+
_
(x) +
2
(x) +. . . +
n1
(x)
_
n
(u)
= x(u) +x
2
(u) +x
3
(u) +. . . +x
n1
(u) ((x) +
2
(x) +. . . +
n1
(x))
n
(u)
= x
_
(u) +. . . +
n1
(u)
_
+x
n
(u) T(x)
. .
0
n
(u)
= x((u) +. . . +
n
(u)) = xT(u).
Ahora bien, si tomamos z = w/T(u), nos queda
z (z) =
w
T(u)

_
w
T(u)
_
=
w
T(u)

(w)
T(u)
=
xT(u)
T(u)
= x.
5.3.5. En el teorema de Hilbert, son unicos los elementos y y z ?

Demostracion. Por construccion, los elementos y y z pueden no ser unicos.
5.3.6. Sea raz de X
4
2 sobre Q. Hallar la traza sobre Q de ,
2
,
3
y

3 .
Demostracion.
4
2 = 0 min(, Q) = X
4
2 T() = 0.
(
2
)
2
2 = 0 min(
2
, Q) = X
2
2 T(
2
) = 0.
(
3
)
4
= (
4
)
3
= 8 min(
3
, Q) = X
4
8 T(
3
) = 0.
(
3 )
4
= 9
4
= 18 min(
3 , Q) = X
4
18 T(
3 ) = 0.
5.3.7. Continuando con el ejercicio 5.3.6, mostrar que

3 no puede estar en Q[].
Demostracion. Si

3 = a
0
+a
1
+a
2
2
+a
3
3
, observar que min(
3, Q) = X
2
3. Luego,
0 = T(
3) = a
0
+a
1
T() +a
2
T(
2
) +a
3
T(
3
)
con lo cual, a
0
= 0.
Por lo tanto,

3 = a
1
+a
2
2
+a
3
3
. Se tiene entonces que
3 = a
1
2
+a
2
3
+ 2a
3
.
Luego,
0 = T(
3) = 2a
3
,
y as a
3
= 0.
5.3 Ejercicios
De este modo,

3 = a
1
+a
2
2
. Multiplicando por
2
resulta
3
2
= a
1
3
+ 2a
2
,
con lo cual,
T(
3
2
) =
3 T(
2
) = 0.
Por lo tanto, a
2
= 0. As,

3 = a
1
y
3
3
= a
1
4
= 2a
1
T(
3
3
) =
3 T(
3
) = 0,
lo que implica que a
1
= 0. Absurdo.

6 EL DISCRIMINANTE
6. El Discriminante
Denicion 6.1.1. Sea F un cuerpo con caracterstica distinta de 2 (lo pedimos para poder dividir
por 2, ya que el polinomio cuadratico f(X) = X
2
+bX +c tiene races
1
2
(b
b
2
4c)) y f un
polinomio sobre F de grado n con n races distintas x
1
, x
2
, . . . , x
n
en alg un cuerpo split E sobre F.
Denimos
=
i<j
(x
i
x
j
).
El discriminante de f se dene como
D(f) =
2
=
i<j
(x
i
x
j
)
2
.
Existe tambien un discriminante en teora de n umeros. Los dos conceptos no estan relacionados a
primera vista, sin embargo existe una relacion entre ellos. Asumimos el sistema basico AKLB de
5.2, con n = [L : K].
Denicion 6.1.2. El discriminante de la n-upla x = (x
1
, x
2
, . . . , x
n
) de elementos de E es
D(x) = det(T[L/K](x
i
x
j
)).
Es decir, armamos la matriz cuyo elemento ij es la traza de x
i
x
j
, y tomamos el determinante de
la matriz. Por 5.1.4 y 5.2.1, D(x) pertenece a K y es integral sobre A, luego pertenece a A si A es
integralmente cerrado.
El siguiente lema se nala de que manera se comporta el discriminante bajo transformaciones
lineales.
Lema 6.1.3. Si y = Cx, donde C es una matriz de nn y x e y son n-uplas escritas como vectores
columna, entonces D(y) = (detC)
2
D(x).
Demostracion. La traza de y
r
y
s
es
T(
i,j
c
ri
c
sj
x
i
x
j
) =
i,j
c
ri
T(x
i
x
j
)c
sj
,
entonces
T(y
r
y
s
) = C(T(x
i
x
j
))C
donde C
es la traspuesta de C. El resultado se sigue de tomar determinante.

La siguiente es una expresion alternativa del discriminante.
Lema 6.1.4. Sean
1
, . . . ,
n
K-inclusiones de L en una clausura algebraica de L, como en 5.1.7.
Entonces, D(x) = [det(
i
(x
j
))]
2
.
Demostracion. Por 5.1.7,
T(x
i
x
j
) =
k
(x
i
x
j
) =
k
(x
i
)
k
(x
j
).
Luego, si C es la matriz cuya entrada ij es
i
(x
j
), entonces T(x
i
x
j
) = CC
y nuevamente el
resultado se obtiene tomando determinante.
El discriminante discrimina entre bases y no bases como sigue.
Proposicion 6.1.5. Si x = (x
1
, . . . , x
n
), entonces los x
i
forman una base de L sobre K si y solo si
D(x) ,= 0.
Demostracion.
) Si
j
c
j
x
j
= 0, con c
j
K no todos nulos, se tiene que
j
c
j
i
(x
j
) = 0 para todo i, entonces
las columnas de la matriz B = (
i
(x
j
)) son linealmente dependientes. Luego, la dependencia lineal
de los x
i
implica que D = 0.
) Supongamos que los x
i
son linealmente independientes (y por lo tanto una base, dado que
n = [L/K]). Si D = 0 entonces las las de B son linealmente dependientes, luego para alg un
c
i
K, no nulo, tenemos que
i
c
i
i
(x
j
) = 0 para todo j. Como los x
j
forman una base, tenemos
que
i
c
i
i
(u) = 0 para todo u L, entonces los monomorsmos
i
son linealmente dependientes.
Esto contradice el Lema de Dedekind.
A continuacion veremos la relacion entre el discriminante denido en 6.1.4 y el discriminante
de un polinomio.
Proposicion 6.1.6. Supongamos que L = K(x), y sea f el polinomio minimal de x sobre K. Sea
D el discriminante de la base
_
1, x, x
2
, . . . , x
n1
_
para L sobre K. Entonces D es el discriminante
del polinomio f.
Demostracion. Sea x
1
, . . . , x
n
las races de f en un cuerpo split, con x
1
= x. Sea
i
la K-inclusion
que lleva x a x
i
, i = 1, 2, . . . , n. Entonces
i
(x
j
) = x
i
j
, y por 6.1.4, D es el cuadrado del determinante
de la matriz
_
_
_
_
_
1 x
1
x
1
2
. . . x
1
n1
1 x
2
x
2
2
. . . x
2
n1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 x
n
x
n
2
. . . x
n
n1
_
_
_
_
_
y el resultado se sigue de la formula para el determinante de Vandermonde.
Corolario 6.1.7. Bajo las hipotesis de 6.1.6,
D = (1)
(
n
2
)
N[L/K](f
(x)),
donde f
es la derivada de f.
Demostracion. Sea a = (1)
(
n
2
)
. Por 6.1.6,
D =
i<j
(x
i
x
j
)
2
= a
i=j
(x
i
x
j
) = a
j=i
(x
i
x
j
).
Pero f(X) = (X x
1
) . . . (X x
n
), entonces
f
(X) =
j=k
(X x
j
).
6 EL DISCRIMINANTE
Cuando X es reemplazado por x
i
solo el termino k = i es no nulo, por lo tanto
f
(x
i
) =
j=i
(x
i
x
j
).
En consecuencia,
D = a
n
i=1
f
(x
i
).
Pero
f
(x
i
) = f
(
i
(x)) =
i
(f
(x))
entonces por 5.1.7,
D = aN[L/K](f
(x)).
El discriminante para una base integral de un cuerpo numerico tiene propiedades especiales.
Vamos a llegar a esos resultados considerando el sistema AKLB, y algunas condiciones adicionales.
Lema 6.1.8. Existe una base para L/K que consiste solamente de elementos de B.
Demostracion. Sea x
1
, . . . , x
n
una base para L sobre K. Cada x
i
es algebraico sobre K, y por lo
tanto satisface una ecuacion polinomial de la forma
a
m
x
i
m
+. . . +a
1
x
i
+a
o
= 0
con a
m
,= 0 y los a
i
A. (Inicialmente solo tenemos a
i
K, pero entonces a
i
es el cociente de
dos elementos en A, y podemos sacar denominador com un). Multiplicamos la ecuacion por a
m
m1
para obtener una ecuacion de dependencia integral para y
i
= a
m
x
i
sobre A. Los y
i
forman la base
deseada.
6.2. Base dual
Supongamos que tenemos una forma bilineal simetrica no degenerada sobre un espacio vec-
torial V de dimension n, escrita por conveniencia con la notacion de producto interno x, y). Si
x
1
, . . . , x
n
es cualquier base de V , entonces existe una base y
1
, . . . , y
n
para V , llamada la base
dual referida a V , tal que
x
i
, y
j
) =
ij
=
_
1 si i = j
0 si i ,= j .
Teorema 6.2.1. Si A es un dominio de ideales principales, entonces B es un A-modulo libre de
rango n.
Demostracion. Por 5.1.9 la traza es una forma bilineal no degenerada sobre el espacio vectorial
n dimensional L sobre K. Por 3.2.5, A es integralmente cerrado, entonces por 5.2.1, la traza de
cualquier elemento de L pertenece a A. Ahora, sea x
1
, . . . , x
n
cualquier base de L sobre K, y
6.2 Base dual
sea y
1
, . . . , y
n
la base dual referida a L. Si z B, entonces podemos escribir z =
n
j=1
a
j
y
j
con
a
j
K. Sabemos que la traza de x
i
z pertenece a A, y tenemos que
T(x
i
z) = T(
n
j=1
a
j
x
i
y
j
) =
n
j=1
a
j
T(x
i
y
j
) =
n
j=1
a
j
ij
= a
i
Entonces cada a
i
pertenece a A, luego B es un A-submodulo del A-modulo libre Ay
1
. . . Ay
n
,
con lo cual B es un A-modulo libre de rango a lo sumo n. Ademas, por 6.1.8, B contiene una base
para L sobre K, y si queremos, podemos asumir que esta base es x
1
, . . . , x
n
. Entonces B contiene
el A-modulo libre
n
j=1
Ax
j
, luego el rango de B como un A-modulo es por lo menos n, por lo tanto
es exactamente n.
Corolario 6.2.2. El conjunto B de enteros algebraicos en cualquier cuerpo numerico L es un

Z-modulo libre de rango n = [L : K], entonces B tiene una base integral. El discriminante es el
mismo para toda base integral y se denomina discriminante del cuerpo.
Demostracion. Tomamos A = Z en 6.2.1 para mostrar que B tiene una base integral. La matriz de
cambio de base C entre bases integrales (ver 6.1.3) es invertible, y ambas C y C
tienen coecientes
enteros racionales. Tomamos determinante en la ecuacion CC
= I para concluir que det C es una

unidad en Z. Luego, det C = 1, entonces por 6.1.3, toda base integral tiene el mismo discriminante.

6 EL DISCRIMINANTE
6.3. Ejercicios
Sea x
1
, . . . , x
n
una base para el espacio vectorial V y x, y) una forma bilineal simetrica no
degenerada sobre V .
6.3.1. Para cualquier y V , la funcion x x, y) es una forma lineal l(y), es decir una funcion
lineal de V en el cuerpo de escalares. Mostrar que la transformacion lineal y l(y) de V en V
, el
espacio dual de V (o sea, el espacio de todas las formas lineales sobre V ), es inyectiva.
Demostracion. Sea T : V V
la aplicacion dada por T(y) = l(y). Si T(y) = 0 entonces l(y) = 0,

es decir x, y) = 0, x V , y como la forma bilineal es no degenerada debe ser y=0. Luego, T es
inyectiva.
6.3.2. Mostrar que cualquier forma lineal sobre V es l(y) para alg un y V .
Demostracion. Por el ejercicio 6.3.1, la aplicacion T es inyectiva, por lo tanto la dimension de V es
igual a la dimension de la imagen de T. Ademas, los espacios V y V
tienen la misma dimension,

luego T es suryectiva.
6.3.3. Sea f
1
, . . . , f
n
la base dual correspondiente a x
1
, . . . , x
n
. Entonces cada f
j
pertenece a
V
y f
j
(x
i
) =
ij
. Si f
j
= l(y
j
), mostrar que y
1
, . . . , y
n
es la base dual referida a V requerida.
Demostracion. Sea x
1
, . . . , x
n
una base de V y f
1
, . . . , f
n
V
la base dual correspondiente.

Entonces,
f
j
(x
i
) =
ij
=
_
1 si i = j
0 si i ,= j
Si f
j
= l(y
j
), entonces f
j
(x
i
) = l(y
j
)(x
i
) = y
j
, x
i
) =
_
1 si i = j
0 si i ,= j
.
Por otra parte,
y
i
, y
j
) = y
i
,
1
x
1
+. . . +
n
x
n
) =
1
y
i
, x
1
) +. . . +
n
y
i
, x
n
) =
i
Por lo tanto, y
j
= y
1
, y
j
) x
1
+. . . +y
n
, y
j
) x
n
. Ahora, si
1
y
1
+. . . +
n
y
n
= 0 entonces
y
j
,
1
y
1
+. . . +
n
y
n
) = 0,
por lo tanto
j
= 0, j = 1, . . . , n. Luego, y
1
, . . . , y
n
son linealmente independientes, y en conse-
cuencia forman una base para V .
6.3.4. Mostrar que x
i
=
n
j=1
x
i
, x
j
) y
j
. Entonces para calcular la base dual referida a V en terminos
de la base original, debemos invertir la matriz (x
i
, x
j
)).
Demostracion.
Sea x
1
, . . . , x
n
una base de V e y
1
, . . . , y
n
la base referida a V . Entonces,
x
i
=
i1
y
1
+. . . +
in
y
n
x
i
, x
j
) =
i1
y
1
+. . . +
in
y
n
, x
j
) =
ij
.
Por lo tanto, x
i
=
n
j=1
x
i
, x
j
) y
j
.

6.3 Ejercicios
6.3.5. Una matriz C con coecientes en Z se dice unimodular si su discriminante es 1. Mostrar
que C es unimodular si y solo si C es invertible y su inversa tiene coecientes en Z.
Demostracion.
) Si C es unimodular, por denicion det C = 1, entonces C es inversible y det C
1
=
1
det C
= 1.
Ademas, C
1
=
1
det C
[Adj(C)]
T
= [Adj(C)]
T
, luego los coecientes de C
1
estan en Z pues C
tiene coecientes en Z.
) Sea C una matriz con coecientes en Z inversible, cuya inversa tambien tiene coecientes en Z.
Entonces, det (I) = det (CC
1
) = det (C) det (C
1
) = 1. Luego, como los coecientes de C estan
en Z, debe ser det (C) = 1.
6.3.6. Mostrar que el discriminante de una extension cuadratica Q(
d), d libre de cuadrados, es

D =
_
4d si d / 1 mod 4
d si d 1 mod 4
Demostracion. Por el teorema 4.1.5, sabemos que si d / 1 mod 4 entonces
_
1,
d
_
forma una base
integral para B y si d 1 mod 4,
_
1,
1
2
(1 +
d)
_
es una base integral. Ademas, por el ejercicio
5.3.1 tenemos que T(x) = T(a +b
d) = 2a.
Por lo tanto,
D(x) = det
_
T[Q(
d)/Q](1,
d)
_
= det
_
tr(1 1) tr(1
d)
tr(
d 1) tr(
d)
_
= det
_
tr(1) tr(
d)
tr(
d) tr(d)
_
= det
_
2 0
0 2d
_
= 4d
Por otra parte,
D(x) = det
_
T[Q(
d)/Q](1,
1
2
(1 +
d))
_
= det
_
_
tr(1 1) tr(1
1
2
(1 +
d))
tr(
1
2
(1 +
d) 1) tr(
1
2
(1 +
d)
1
2
(1 +
d))
_
_
= det
_
_
tr(1) tr(
1
2
(1 +
d))
tr(
1
2
(1 +
d)) tr(
1
4
(1 +
d)
2
)
_
_
= det
_
2 1
1
1
2
(1 +d)
_
= d

6 EL DISCRIMINANTE
6.3.7. Sean x
1
, . . . , x
n
enteros algebraicos arbitrarios en un cuerpo numerico, y consideremos el
determinante de la matriz (
i
(x
j
)), como en 6.1.4. La expansion directa del determinante tiene n!
terminos. Sea P la suma de aquellos terminos en la expansion que tienen signo positivo delante
de ellos, y sea N la suma de los terminos precedidos por signo negativo. Entonces el discriminante
D de (x
1
, . . . , x
n
) es (P + N)
2
. Mostrar que P + N y PN estan jos para cada
i
, y deducir que
P +N y PN son n umeros racionales.
Demostracion. Sea L un cuerpo numerico, F una extension de Q que lo contiene y G =
1
, . . . ,
n
su grupo de Galois. Si restringimos cada

i
G a L, y llamamos H al subgrupo de G que los
contiene, entonces por 2.4.12
T(H) = x F :
i
(x) = x,
i
H = Q.
Ademas, por ser G grupo, si multiplicamos a todos los elementos de G por
i
para i jo, obtenemos
una permutacion de los elementos de G. Luego,
i
(P +N) = P +N y
i
(PN) = PN, i = 1, . . . , n,
entonces P +N, PN T(H) = Q .
6.3.8. Continuando con el ejercicio 6.3.7, mostrar que P +N y PN son enteros racionales.
Demostracion. En el ejercicio 6.3.7 tomamos x
i
enteros algebraicos entonces, por la demostracion
de 4.1.1,
j
(x
i
) tambien es un entero algebraico. Luego, por 3.2.3, P y N son enteros algebraicos
y por lo tanto P +N y PN tambien lo son. Por 3.2.5. Z es integralmente cerrado, entonces por el
ejercicio anterior, P +N y PN pertenecen a Z.
6.3.9. Continuando con ejercicio 6.3.8, probar el teorema de Stickelberger: D 0 o 1 mod 4.
Demostracion. Por 6.3.7, sabemos que D = (P N)
2
= (P + N)
2
4PN. Pero 4PN 0 mod 4
y (P +N)
2
1 mod 4 o (P +N)
2
0 mod 4. Luego, D 1 mod 4 o D 0 mod 4.
6.3.10. Sea L un cuerpo numerico de grado n sobre Q, y sea y
1
, . . . , y
n
una base de L sobre Q que
consiste de enteros algebraicos. Sea x
1
, . . . , x
n
una base integral. Mostrar que si el discriminante
D(y
1
, . . . , y
n
) es libre de cuadrados, entonces cada x
i
puede ser expresado como combinacion lineal
de los y
j
con coeciente enteros.
Demostracion. Sea x
1
, . . . , x
n
una base integral. Por 6.2.2 sabemos que si
i
, i = 1, . . . , n tal
que y
j
= j
1
x
1
+ . . . +
j
n
x
n
entonces D(y) = (det(A))
2
D(x). Por ser D(y) libre de cuadrados,
(det(A))
2
= 1 por lo tanto det(A) = 1, luego A es unimodular, en consecuencia A
1
y tiene
coecientes en Z, de este modo, x = A
1
y.
6.3.11. Continuando con problema 6.3.10, mostrar que si D(y
1
, . . . , y
n
) es libre de cuadrados,
entonces y
1
, . . . , y
n
es una base integral.
Demostracion. Sea y
1
, . . . , y
n
una base de enteros algebraicos de L sobre Q tal que D(y
1
, . . . , y
n
)
es libre de cuadrados entonces por el ejercicio 6.3.10, si x
1
, . . . , x
n
es base integral, cada x
i
es
combinacion lineal de y
1
, . . . , y
n
. Luego, y
1
, . . . , y
n
es base integral.
6.3.12. Vale la recproca del resultado del problema 6.3.11?
Demostracion. La recproca es falsa. Por ejemplo,
_
1,
d
_
es base integral de Q, sin embargo, en
el ejercicio 6.3.6 vimos que D(x) = 4d, que no es libre de cuadrados.
6.3 Ejercicios
6.3.13. En el sistema standard AKLB (ver 5.2), mostrar que L es el cuerpo cociente de B.
Demostracion. Sea l L, como L es cuerpo podemos escribir l =
l
1
l
2
con l
1
, l
2
L. Por 6.1.8 cada
l
i
es combinacion lineal de elementos de B, luego L es el cuerpo cociente de B.

7 M
ODULOS Y ANILLOS NOETHERIANOS Y ARTINIANOS

7. Modulos y Anillos Noetherianos y Artinianos
En esta seccion R es considerado un anillo y M un R-modulo. A partir de ahora los anillos no
son asumidos conmutativos.
7.1. Deniciones y propiedades
Denicion 7.1.1. Supongamos que tenemos una sucesion creciente M
1
M
2
M
3
. . . de
submodulos de M; o una sucesion decreciente M
1
M
2
M
3
. . .. Decimos que la sucesion se
estabiliza si existe t tal que para todo k t, M
t
= M
k
.
Denicion 7.1.2. Se dice que el modulo M cumple con la condicion de cadena ascendente
(cca) si toda sucesion creciente de subm odulos de M se estabiliza. Analogamente se dice que cumple
con la condicion de cadena descendente (ccd) si toda sucesion decreciente de submodulos de
M se estabiliza.
Proposicion 7.1.3. Las siguientes condiciones sobre M son equivalentes y denen a un modulo
Noetheriano:
1. M satisface la cca.
2. Toda coleccion no vaca de submodulos de M tiene un elemento maximal respecto de la inclusion.
Analogamente, las siguientes condiciones tambien son equivalentes y denen a un modulo Ar-
tiniano.
1
. M satisface la ccd.
2
. Toda coleccion no vaca de submodulos de M tiene un elemento minimal respecto a la inclusion.

Demostracion.
1 2) Sea o una coleccion no vaca de submodulos de M. Tomemos M
1
o, si M
1
es maximal la
prueba se termina, sino existe M
2
o tal que M
1
< M
2
. Continuando inductivamente, como por
hipotesis M satisface la cca, el procedimiento termina. Luego o tiene un elemento maximal.
2 1) Si tomamos una coleccion no vaca o de submodulos de M tal que M
1
M
2
M
3
. . .,
por hipotesis tiene un elemento maximal, entonces existe t tal que para todo k t, M
t
= M
k
. Por
lo tanto M satisface la cca.
La demostracion es analoga para el caso de modulos Artinianos, tomando las desigualdades de
modo contrario.
Otra condicion equivalente para el caso Noetheriano es la siguiente:
Proposicion 7.1.4. M es Noetheriano si y solo si todo submodulo de M es nitamente generado.
Demostracion.
) Sea N M, N ,= 0 y x
1
N. Si N = Rx
1
, entonces N es nitamente generado. De no ser
as, podemos tomar x
2
M tal que x
2
/ Rx
1
. Si x
1
y x
2
generan N la prueba termina, sino,
podemos tomar x
3
M tal que x
3
/ (Rx
1
+ Rx
2
). Como M es Noetheriano, toda cadena de
submodulos de M verica la cca (7.1.3), esto obliga a que el proceso termine en alg un t, en cuyo
caso N estara generado por x
1
, . . . , x
t
.
7.1 Deniciones y propiedades
) Supongamos que M no es Noetheriano, y sea M
1
M
2
M
3
. . . una cadena de submodulos de
M que no se estabiliza. Si N =
k=1
M
k
, entonces N es un submodulo de M que no esta nitamente
generado. En efecto, si x
1
, . . . , x
s
generan N, para alg un t sucientemente grande se tendra que
N M
t
M
t+1
. . . N. De este modo M
s
= M
t
para todo s t, lo cual contradice la no
estabilizacion de la cadena.
La condicion equivalente para modulos Artinianos, es que todo modulo cociente M/N sea ni-
tamente cogenerado, o sea, si la interseccion de una coleccion de submodulos de M/N es 0, entonces
existe una subcoleccion nita cuya interseccion es 0 (ver ejercicio 7.3.7). Pero para poder demostarlo
primero veremos algunas deniciones y propiedades.
Denicion 7.1.5. Un anillo R es Noetheriano (o Artiniano) si es Noetheriano (o Artiniano)
como modulo sobre si mismo.
Ejemplos 7.1.6.
1. Todo Dominio de Ideales Principales (DIP) es Noetheriano.
2. Z es Noetheriano por ser un caso particular del ejemplo anterior, pero no es Artiniano, ya que
hay cadenas descendentes de ideales que no se estabilizan, por ejemplo,
Z (2) (4) (8) . . .
3. Si F es un cuerpo, el anillo de polinomios F[X] es Noetheriano por ser tambien un caso especial
del ejemplo 1. Pero no es Artiniano, ya que la cadena descendente
(X) (X
2
) (X
3
) (X
4
) . . .
no se estabiliza.
4. El anillo F[X
1
, X
2
, . . .] de polinomios sobre F con innitas variables, no es ni Noetheriano ni
Artiniano, ya que una cadena descendente que no se estabiliza se puede contruir como en el ejemplo
anterior, y una creciente puede ser
(X
1
) (X
1
, X
2
) (X
1
, X
2
, X
3
) . . .
Las siguientes observaciones seran utiles para demostrar algunas propiedades de los modulos
Noetherianos y Artinianos.
Observacion 7.1.7. Si N M, un submodulo L de M que contiene a N puede ser escrito de la
forma K +N para alg un submodulo K y por el teorema de correspondencia,
1. (K
1
+N)/N = (K
2
+N)/N = K
1
+N = K
2
+N
2. (K
1
+N)/N (K
2
+N)/N = K
1
+N K
2
+N.
Proposicion 7.1.8. Si N es un submodulo de M, luego M es Noetheriano (respectivamente
Artiniano) si y solo si N y M/N son Noetherianos (respectivamente Artinianos).
La demostracion la haremos solo para el caso Noetheriano, para el caso Artiniano es igual, pero
considerando las desigualdades de manera contraria.
7 M

Demostracion.
) Supongamos que M es Noetheriano. Como cualquier coleccion no vaca de submodulos de N
esta incluida en M, por 7.1.3 (2) tiene un elemento maximal. Luego N tambien es Noetheriano.
Veamos que M/N es Noetheriano. Por la observacion 7.1.7, una cadena ascendente de submodu-
los de M/N es de la forma:
(M
1
+N)/N (M
2
+N)/N (M
3
+N)/N . . . ,
donde M
i
es submodulo de M para todo i. Luego
(M
1
+N) (M
2
+N) (M
3
+N) . . .
es una cadena ascendente de submodulos del modulo Noetheriano M, entonces se estabiliza. Por
lo tanto (M
1
+ N)/N (M
2
+ N)/N (M
3
+ N)/N . . . tambien se debe estabilizar, entonces
M/N es Noetheriano.
) Asumamos ahora que N y M/N son Noetherianos. Consideremos en M la cadena ascendente
de submodulos
M
1
M
2
M
3
. . .
y elijamos i de manera tal que las sucesiones
(M
1
+N)/N (M
2
+N)/N (M
3
+N)/N . . . ,
(M
1
N) (M
2
N) (M
3
N) . . . ,
se estabilicen a partir de dicho ndice. Si x M
i+1
entonces x +N M
i+1
+N = M
i
+N. Luego
x = y +z con y M
i
y z N lo cual implica que x y = z M
i+1
N = M
i
N y como y M
i
,
x tambien debe pertenecer a M
i
. Por lo tanto M
i
= M
i+1
, entonces la sucesion M
1
M
2
. . . es
estabilizada.
Corolario 7.1.9. Si M
1
, . . . , M
n
son R-modulos Noetherianos (respectivamente Artinianos) en-
tonces M
1
. . . M
n
tambien lo es.
Demostracion. Lo probaremos para el caso n = 2, para n 2 se aplica induccion.
M
1
y M
2
son submodulos Noetherianos de M = M
1
M
2
, y como por el primer teorema del
isomorsmo (2.2.3) tenemos que M/M
1

= M
2
, M/M
1
tambien es Noetheriano. Por lo tanto, por
7.1.8, M = M
1
M
2
es Noetheriano.
Corolario 7.1.10. Si M es un modulo nitamente generado sobre un anillo R, entonces M es
Noetheriano (respectivamente Artiniano) si R lo es.
Demostracion. Por 2.2.7, M es cociente de un modulo libre L de rango nito y como L se puede
escribir como suma directa de copias de R, por 7.1.9 se tiene que M es Noetheriano (respectivamente
Artiniano).
7.2 Teorema de Jordan-Holder para modulos
7.2. Teorema de Jordan-Holder para m odulos
El objetivo de esta subseccion es encontrar una conexion entre las cadenas ascendentes y des-
cendentes de submodulos y las series normales y subnormales de la teora de grupos. Hablaremos de
la version del teorema de Jordan-Holder para modulos, y nalmente relacionaremos los resultados
obtenidos hasta ahora, con la teora de n umeros.
Denicion 7.2.1. Una serie de longitud n para un modulo M es una sucesion de la forma
M = M
0
M
1
M
2
. . . M
n
= 0.
Denicion 7.2.2. Decimos que M es un modulo simple si no tiene submodulos propios.
Denicion 7.2.3. La serie en 7.2.1 es llamada serie de composicion si cada uno de los modulos
factores M
i
/M
i+1
es simple.
Denicion 7.2.4. Llamaremos longitud de un modulo M a la longitud de una serie de composi-
cion para M, y la denotaremos por l(M). Si M no tiene ninguna serie de composicion diremos que
l(M) = .
Denicion 7.2.5. Dos series son equivalentes si tienen la misma longitud y los mismos modulos
factores salvo isomorsmos y reordenamientos.
De aqu en mas solo consideraremos series que no tengan renamientos propios, y por convencion
diremos que el modulo 0 tiene una serie de composicion que denotaremos por 0.
7.2.6. Teorema de Jordan-Holder
Si M tiene una serie de composicion, entonces dos series de composicion cualesquiera para M
son equivalentes. Mas a un, cualquier sucesion de submodulos estrictamente decreciente, puede ser
renada a una serie de composicion.
Demostracion. La demostracion del teorema de Jordan-Holder para modulos es exactamente la
misma que para grupos (A.1.5), cambiando la notacion multiplicativa por la aditiva. Mas a un,
tambien podemos hacer lo mismo con el lema de Zassenhaus (A.1.2) y el teorema de renamiento
de Schreier (A.1.4), los cuales son muy importantes en la demostracion del teorema, lo que hay que
tener en cuenta es que si un grupo es abeliano, entonces todo subgrupo de el es normal.
En el caso del lema de Zassenhaus, si cambiamos la notacion tenemos que:
A+ (B D)
A+ (B C)
=
C + (D B)
C + (D A)
.
Si la pregunta ahora es Por que una serie de composicion S de longitud n no puede coexistir
con una cadena innita ascendente o una descendente?, lo que podemos pensar es que si tomamos
una serie T para M que tenga longitud n+1, por el teorema de Schreier sabemos que S y T tienen
renamientos equivalentes. Pero como S es una serie de composicion para M, no tiene renamientos
propios, entonces debera pasar que n n + 1, lo cual es absurdo.
Teorema 7.2.7. Un R-modulo M tiene una serie de composicion si y solo si M es Noetheriano y
Artiniano.
7 M

Demostracion.
) Si M tiene una serie de composicion, entonces por lo dicho al nal de la demostracion de 7.2.6,
M es Noetheriano y Artiniano.
) Asumamos ahora que M es Noetheriano y Artiniano. Sin perdida de la generalidad, tomemos
M ,= 0, entonces por 7.1.3 (2), M
0
= M tiene un submodulo propio M
1
que es maximal y por 7.1.8
tambien es Noetheriano, entonces contiene un submodulo propio M
2
que es maximal. Continuando
de la misma forma, por ser M es Artiniano, existe alg un n tal que M
n
= 0. Ademas, por la
construccion M
i
/M
i+1
es simple para todo i = 0, . . . , n. Por lo tanto
M = M
0
M
1
M
2
. . . M
n
= 0,
es una serie de composicion para M.
Ahora estamos en condiciones de mostrar una conexion con la teora de n umeros.
Proposicion 7.2.8. Consideremos el sistema basico AKLB visto en 5.2 y asumamos que A es
integralmente cerrado. Si A es un anillo Noetheriano, entonces B tambien lo es. En particular, el
anillo de enteros algebraicos en un cuerpo numerico, es Noetheriano.
Demostracion. Como ya vimos en 6.2.1, B es un submodulo de un A-modulo libre M de rango
nito (*). Luego, por 7.1.9 M es Noetheriano, entonces por 7.1.8 B es un A-modulo Noetheriano.
Ademas como un ideal de B en particular es un A-submodulo de B, resulta que es nitamente
generado sobre A y luego sobre B. Por lo tanto, B es un anillo Noetheriano.
(*) Aqu no es necesario que A sea DIP, ya que esa hipotesis es utilizada para mostrar que A
es integralmente cerrado, condicion que tenemos por hipotesis. Tambien es clave para ver que B es
un A-modulo libre, pero no sera necesario en este caso.
7.3 Ejercicios
7.3. Ejercicios
7.3.1. Sea p un n umero primo jo, y sea A el grupo abeliano de todos n umeros racionales de la
forma
a
p
n
, con n = 0, 1, . . . y a Z, donde todos los calculos se hacen modulo 1, o sea, A es un
subgrupo de Q/Z. Consideremos el subgrupo de A
A
n
=
_
0,
1
p
n
,
2
p
n
,
3
p
n
, . . . ,
p
n
1
p
n
_
.
Mostrar que A no es un Z-modulo Noetheriano, y que si B es un subgrupo propio de A, entonces
B = A
n
para alg un n. Luego A es un Z-modulo Artiniano.
Demostracion. Para ver que A no es un Z-modulo Noetheriano observemos que
A
0
A
1
A
2
. . . ,
es una cadena ascendente que no se estabiliza, ya que si
a
p
n
A
n
=
a
p
n
=
ap
p
n+1
A
n+1
.
Por lo tanto A
n
A
n+1
, para todo n 0. Luego, por 7.1.3 A no puede ser un Z-modulo Noethe-
riano.
Para ver que es un Z-modulo Artiniano, vamos a mostrar que toda coleccion no vaca de
submodulos de A tiene un elemento minimal.
Supongamos que B es un subgrupo propio de A, y veamos que B = A
n
para alg un n.
Sea
a
p
n
B tal que p no divide a a, entonces existen r, s Z tales que
ra +sp
n
= 1 =
ra
p
n
+s =
1
p
n
=
ra
p
n
=
1
p
n
en Q/Z,
y como B es un grupo,
ra
p
n
=
1
p
n
B. Luego A
n
B.
Si ahora tomamos
b
p
m
B, tal que m ,= n y p no divide a b, entonces por el mismo razonamiento
que antes A
m
B y por ser B grupo se tiene que A
m+n
B. Esto se debe a que
1
p
n
y
1
p
m
pertenecen
a B, entonces
1
p
n+m
B. De este modo, si para cada n podemos encontrar un elemento de la forma
a
p
n
con las mismas condiciones, tenemos que para todo n 0,
1
p
n
B. Luego B = A, lo cual
contradice la hipotesis de que B es un subgrupo propio. Entonces tiene que existir un n maximo,
y as para todo m > n, B A
m
A
n
. De este modo B = A
n
.
Como todo subgrupo de A es de la forma A
n
para alg un n 0, y ademas A
n
A
n+1
, n 0,
podemos concluir que para cualquier coleccion no vaca de submodulos de A, existe un elemento
minimal. Por lo tanto, A es un Z-modulo Artiniano.
7 M

7.3.2. Mostrar que si V es un espacio vectorial, son equivalentes:
1. V es de dimension nita.
2. V es Noetheriano.
3. V es Artiniano.
4. V tiene una serie de composicion.
Demostracion.
1 4) Supongamos que dim(V ) = n < . Sea B = v
1
, . . . , v
n
una base para V y consideremos
los siguientes subespacios de V :
V
i
= (v
1
, . . . , v
i
) y U
i
= (v
i+1
, . . . , v
n
) .
Luego,
0 = V
0
V
1
. . . V
n1
V
n
= V y V = U
0
U
1
. . . U
n1
U
n
= 0 ,
son series de composicion para V , ya que para todo i = 1, . . . , n el subespacio V
i
es de codimension
1 en V
i+1
, lo cual implica que el cociente V
1+1
/V
i
es un modulo simple.
4 2) y 4 3) Teorema 7.2.7.
2 1) y 3 1) Si suponemos que V tiene dimension innita, entonces
0 = V
0
V
1
. . . y V = U
1
U
2
. . .
no verican la cca y la ccd respectivamente (7.1.2), por lo tanto V no es ni Noetheriano ni Artiniano
(7.1.3).
7.3.3. Sea la sucesion exacta:

0 N
f
M
g
M/N 0.
Mostrar que l(M) < si y solo si l(N) y l(M/N) son nitas.
Demostracion. Por 7.2.4, l(M) < si y solo si M tiene una serie de composicion, si y solo si M
es Artiniano y Noetheriano (7.2.7), si y solo si M/N y N son ambos Artinianos y Noetherianos
(7.1.8), si y solo si l(M/N) y l(N) son nitas.
7.3.4. Mostrar que l(M) es aditiva, esto es
l(M) = l(N) +l(M/N).
Demostracion. Por 7.3.3, si l(M) = , entonces l(M/N) y l(N) tambien son innitas, por lo tanto
el resultado es valido en este caso.
Supongamos ahora que l(M) < , luego por 7.3.3, l(N) = s < y l(M/N) = r < . Sean
0 < N
1
< . . . < N
s
= N y N/N < (M
1
+N)/N < . . . < (M
r
+N)/N = M/N,
7.3 Ejercicios
series de composicion para N y M/N respectivamente. Aplicando el tercer teorema del isomor-
smo (2.2.5), tenemos que M
i+1
/M
i
es simple para todo i = 1, . . . , r 1 (i N) y una serie de
composicion para M es la siguiente:
0 < N
1
< N
2
< . . . < N
s
< M
1
+N < M
2
+N < . . . < M
r
+N = M.
Queda claro entonces que l(M) = s +r = l(N) +l(M/N).
7.3.5. Sea S un subanillo del anillo R, tal que S es un anillo Noetheriano. Si R es un modulo
nitamente generado sobre S, entonces R tambien es un anillo Noetheriano.
Demostracion. Si S es un subanillo de R, entonces R es un S-modulo, que por 7.1.10 resulta
Noetheriano. Como cada R-submodulo en R es en particular un S-submodulo de R, entonces cada
uno de ellos esta nitamente generado. Luego R es un R-modulo Noetheriano, esto es, R es un
anillo Noetheriano (7.1.5).
7.3.6. Sea R un anillo y supongamos que el anillo de polinomios R[X] es Noetheriano. Mostrar
que R tambien es Noetheriano
Demostracion. Sea f =
n
i=0
r
i
X
i
R[X]. Consideremos la aplicacion : R[X] R, dada
por (f) = r
0
, es decir, le asigna a cada polinomio de R[X] su termino constante. es un
homomorsmo de anillos, ya que si g =
m
i=0
s
i
X
i
R[X], tenemos que:
1. (f +g) =
_
n
i=0
r
i
X
i
+
m
i=0
s
i
X
i
_
= r
0
+s
0
= (f) +(g).
2. (fg) =
__
n
i=0
r
i
X
i
__
m
i=0
X
i
__
= r
0
s
0
= (f)(g).
Ademas es claramente suryectiva, y su n ucleo es
ker() = f R[X] : (f) = 0 = (X) .
Por lo tanto, por el primer teorema del isomorsmo (2.2.3)
R[X]
(X)
= R.
Como R[X] es Noetheriano, y (X) es un submodulo de R[X], por 7.1.8 el cociente R[X]/ (X) es
un anillo que resulta Noetheriano.
El proximo ejercicio muestra la condicion equivalente a la mencionada en 7.1.4 para modulos

Artinianos.
7.3.7. Mostrar que un modulo M es Artiniano si y solo si todo modulo cociente M/N es nitamente
cogenerado.
7 M

Demostracion.
) Supongamos que existe un modulo cociente M/N que no es nitamente cogenerado. Luego,
existe una coleccion M
/N
tal que

/N = 0 pero no hay ninguna subcoleccion nita de

ella cuya interseccion sea 0. Por 2.2.8 podemos decir que no existen nitos tales que
= N.
Si existe un
1
de manera tal que M
1
M
para todo , entonces M
1
= N, absurdo. Por lo
tanto, existe
2
tal que M
1
M
1
M
2
, como M
1
M
2
,= N podemos seguir inductivamente,
y as tenemos una cadena descendente de submodulos de M que no se estabiliza. Luego M no puede
ser Artiniano.
) Ahora supongamos que M no es Artiniano, y tomemos una cadena descendente de submodulos
M
1
M
2
M
3
. . . ,
que no se estabiliza. Claramente

i1
M
i
= N es un submodulo de M que no puede ser expresado
como interseccion nita de los submodulos M
i
. Luego, por 2.2.8

i1
M
i
/N = 0, pero no existen
nitos i tales que

i
M
i
/N = 0.
8. Ideales Fraccionales
Nuestro proximo objetivo es establecer factorizacion unica de ideales en un dominio de Dede-
kind. Para esto, necesitaremos previamente generalizar la nocion de ideal.
Denicion 8.1.1. Si I
1
, I
2
, . . . , I
n
son ideales, el producto I
1
. . . I
n
es el conjunto de todas las
sumas nitas
i
a
1i
a
2i
. . . a
ni
, donde a
ki
I
k
, k = 1, . . . , n. Se sigue de la denicion que el producto
es un ideal contenido en cada I
j
.
Lema 8.1.2. Si P es un ideal primo que contiene un producto I
1
. . . I
n
de ideales, entonces P
contiene a I
j
para alg un j.
Demostracion. Supongamos que P no contiene a ning un I
j
y sea a
j
I
j
P, j = 1, . . . , n. Entonces
a
1
. . . a
n
I
1
. . . I
n
, y dado que P es primo, alg un a
j
esta en P. Absurdo.
Proposicion 8.1.3. Si I es un ideal no nulo de un dominio ntegro Noetheriano R, entonces I

contiene un producto de ideales primos no nulos.
Demostracion. Sea I un ideal no nulo de R que no contiene ning un producto de ideales primos no
nulos y denamos como o a la coleccion de ideales no nulos que cumplen esta propiedad. Como R
es Noetheriano, o tiene un elemento maximal J, y J no puede ser primo porque esta en o. Luego,
existen elementos a, b R con a / J, b / J y ab J. Por maximalidad de J, los ideales J +Ra y
J +Rb contienen un producto de ideales primos no nulos, pero (J +Ra)(J +Rb) J +Rab = J,
por lo que J debera contener un producto de ideales primos no nulos. Esto contradice el hecho de
que J o. (Observemos que el producto de elementos no nulos de R es no nulo por ser R dominio
ntegro.)
Corolario 8.1.4. Si I es un ideal de un anillo Noetheriano R (no necesariamente dominio ntegro),

entonces I contiene un producto de ideales primos.
Demostracion. La demostracion es analoga a la de 8.1.3, sin usar ideales no nulos.
Los ideales en el anillo de enteros son de la forma nZ, el conjunto de m ultiplos de n. Un conjunto
de la forma
3
2
Z no es un ideal porque no es un subconjunto de Z, aunque se comporta de manera
similar. El conjunto es cerrado bajo suma y producto por un entero, y se convierte en un ideal de Z
si simplemente multiplicamos todos los elementos por 2. Sera ventajoso estudiar conjuntos de este
tipo.
Denicion 8.1.5. Sea R un dominio ntegro con cuerpo cociente K, y sea I un R-submodulo de
K. Decimos que I es un ideal fraccional de R si rI R, para alg un r R no nulo. A r lo
llamaremos denominador de I. Los ideales ordinarios de R son ideales fraccionales (tomar r=1),
y a menudo nos referiremos a ellos como ideales integrales.
8 IDEALES FRACCIONALES
Lema 8.1.6.
1. Si I es un R-submodulo de K nitamente generado, entonces I es un ideal fraccional.
2. Si R es Noetheriano e I es un ideal fraccional de R, entonces I es un R-submodulo de K
nitamente generado.
3. Si I y J son ideales fraccionales con denominadores r y s respectivamente, entonces I J, I +J
e IJ son ideales fraccionales con denominadores r (o s), rs y rs respectivamente.
Demostracion.
1. Si x
1
= a
1
/b
1
, . . . , x
n
= a
n
/b
n
generan I y b = b
1
. . . b
n
, entonces bI R.
2. Si rI R, entonces I r
1
R. Como r
1
R y R son isomorfos, r
1
R resulta Noetheriano. Luego,
I es nitamente generado.
3. Se sigue de la denicion 8.1.5 que la interseccion, la suma y el producto de ideales fraccionales
son ideales fraccionales. La armacion sobre los denominadores se prueba notando que
r(I J) rI R,
rs(I +J) rI +sJ R, y
rsIJ = (rI)(sJ) R.
El producto de dos ideales fraccionales no nulos es un ideal fraccional no nulo, y la multiplicacion

es asociativa (por ser asociativa en R). Existe un elemento identidad, concretamente es R dado que
RI I = 1I RI. Mostraremos que si R es un dominio de Dedekind, entonces todo ideal fraccional
no nulo tiene inverso multiplicativo, por lo que los ideales fraccionales no nulos forman un grupo.
8.2. Dominios de Dedekind
Denicion 8.2.1. Un dominio de Dedekind es un dominio ntegro R tal que:
1. R es Noetheriano.
2. R es integralmente cerrado.
3. Todo ideal primo no nulo de R es maximal.
Todo DIP es un dominio de Dedekind, por 7.1.6, 3.2.5, 2.1.22 y 2.1.23. Probaremos que el
anillo de enteros algebraicos de un cuerpo numerico forma un dominio de Dedekind, aunque no
necesariamente es DIP ni DFU.
Lema 8.2.2. Sea I un ideal primo no nulo de un dominio de Dedekind R, y sea J = x K : xI R.
Entonces, R J.
8.2 Dominios de Dedekind
Demostracion. Dado que RI R, se sigue que R es un subconjunto de J. Tomemos un elemento
a no nulo de I tal que I contenga al ideal principal Ra. Sea n el menor entero positivo tal que Ra
contiene un producto P
1
. . . P
n
de n ideales primos no nulos. Dado que R es Noetheriano, existe tal
n (8.1.3) e I contiene alg un P
i
(8.1.2), digamos P
1
. Pero en un dominio de Dedekind, todo ideal
primo no nulo es maximal, por lo que I = P
1
. Asumiendo que n 2, sea I
1
= P
2
. . . P
n
. Se tiene
que Ra / I
1
, por minimalidad de n. Elegimos b I
1
con b / Ra. Ahora, II
1
Ra, en particular
Ib Ra, con lo cual Iba
1
R. (Notar que a tiene un inverso en K, pero no necesariamente en
R.) Luego, ba
1
J, pero ba
1
/ R, pues sino b Ra, contradiciendo la eleccion de b.
Si n = 1, P
1
= I Ra P
1
, con lo cual, I = Ra. Luego, Ra es un ideal propio y podemos elegir
b R, con b / Ra. Entonces, ba
1
/ R, pero ba
1
I = ba
1
Ra = bR R, por lo que ba
1
J.
Ahora probaremos que en 8.2.2, J es el inverso de I.

Proposicion 8.2.3. Sea I un ideal primo no nulo de un dominio de Dedekind R, y sea
J = x K : xI R. Entonces J es un ideal fraccional y R = IJ.
Demostracion. Por denicion, J es un R-submodulo de K. Si r es un elemento no nulo de I y
x J, entonces rx R, con lo cual rJ R y J es ideal fraccional. Ahora, IJ R por denicion
de J, por lo que IJ es un ideal integral. Usando 8.2.2, I = IR IJ R, y la maximalidad de
I implica que o bien IJ = I, o bien IJ = R. En el ultimo caso, se termina con la demostracion,
as que asumimos que IJ = I.
Si x J, entonces xI IJ = I, y por induccion, x
n
I I para todo n N. Sea r un elemento
no nulo de I. Entonces rx
n
x
n
I I R, de modo que R[x] es ideal fraccional. Dado que R es
Noetheriano, R[x] es un R-submodulo de K nitamente generado. Por 3.1.1, x es integral sobre R
y por ser R integralmente cerrado, x R. As, J R, contradiciendo 8.2.2.
8 IDEALES FRACCIONALES
8.3. Ejercicios
8.3.1. Mostrar que un ideal propio P de R es primo si y solo si para todos los ideales A, B tales
que AB P, se verica que A P o B P.
Demostracion.
) Sean A y B ideales tales que AB P y supongamos que A / P. Existe entonces a A tal que
a / P. Sea b B. Luego, ab AB, con lo cual ab P y dado que P es primo, debe ser b P.
) Sean a, b R tales que ab P, entonces (ab) P. Por otro lado (a) (b) (ab) P, luego por
hipotesis (a) P o (b) P. En particular, a P o b P. Por lo tanto, P es un ideal primo.
8.3.2. Si I
n
_
i=1
P
i
con P
i
ideales primos, entonces I P
i
, para alg un i = 1, . . . , n.
Demostracion. Si n = 1, el resultado es valido. Supongamos que tambien es valido para n 1
ideales primos.
Sea I
n
_
i=1
P
i
y supongamos que I /P
i
para todo i = 1, . . . , n. En particular, I / P
i
para todo
i ,= j, i, j = 1, . . . , n. Por hipotesis inductiva (n veces), I /
_
i=j
P
i
. Luego, existe x
j
I tal que
x
j
/ P
i
para todo i ,= j (*). Ademas, como I
n
_
i=1
P
i
, tenemos que x
j
P
j
para cada j = 1, . . . , n.
Sea x =
n
i=1
j=i
x
j
. Dado que x
i
I para todo i, se tiene que x I y as x esta en alg un P
i
,
digamos x P
1
. Luego,
x
2
x
3
. . . x
n
= x x
1
n
i=3
x
2
. . . x
i1
x
i+1
. . . x
n
P
1
,
con lo cual, x
2
x
3
. . . x
n
P
1
. De este modo, existe j ,= 1 tal que x
j
P
1
contradiciendo (*).
8.3.3. Si I y J son primos relativos, entonces IJ = I J. Mas generalmente, si I

1
, . . . , I
n
son
primos relativos de a pares, entonces
n
i=1
I
i
=
n
i=1
I
i
.
Demostracion. Sean I y J ideales primos relativos. Por denicion, IJ I e IJ J; con lo cual,
IJ I J.
Por otra parte, si z I J, entonces z = z1 = z(x + y) = zx + zy IJ donde x I, y J.
Luego, IJ = I J.
En el caso general, supongamos que siempre que I
1
, . . . , I
n1
sean ideales primos relativos de a
pares, se verica
I
1
. . . I
n1
=
n1
i=1
I
i
.
Si I
1
, . . . , I
n
son ideales primos relativos dos a dos, e I = I
1
. . . I
n1
, entonces I e I
n
son primos
relativos.
8.3 Ejercicios
En efecto,
R =
n1
i=1
(I
i
+I
n
)
_
n1
i=1
I
i
_
+I
n
= I +I
n
.
Luego,
n
i=1
I
i
= I I
n
=
..
Hipotesis Inductiva
(I
1
. . . I
n1
) I
n
=
n
i=1
I
i
.
8.3.4. Mostrar que si un dominio de Dedekind R es DFU, entonces es DIP.

Demostracion. Un anillo R es DIP si y solo si es un DFU y todo ideal primo no nulo de R es
maximal (2.3.5).
8.3.5. Supongamos que en 8.2.3 queremos invertir cualquier ideal maximal en lugar de ideales
primos no nulos. Que hipotesis razonable se debe agregar sobre R ?
Demostracion. Asumimos que R no es un cuerpo. Equivalentemente, 0 no es ideal maximal. Por
8.2.3, todo ideal maximal es invertible.
8.3.6. Sea R un dominio ntegro con cuerpo cociente K. Si K es un ideal fraccional de R, entonces
R = K.
Demostracion. Sea r un elemento no nulo de R tal que rK R, entonces K r
1
R K; con
lo cual K = r
1
R. Dado que r
2
K, se tiene que r
2
= r
1
s, para alg un s R. Pero entonces
r
1
= s R, de modo que K R y consecuentemente, K = R.
8.3.7. Sean P
1
y P
2
ideales primos relativos en el anillo R. Entonces, P
r
1
y P
s
2
son primos relativos,
para todo par de enteros positivos r y s.
Demostracion. R = R
r
= (P
1
+ P
2
)
r
P
r
1
+ P
2
. Luego, P
r
1
y P
2
son primos relativos, para todo
r 1. Asumiendo que el resultado es valido para P
r
1
y P
s
2
primos relativos, tenemos que
P
s
2
= P
s
2
R = P
s
2
(P
r
1
+P
2
) P
r
1
+P
s+1
2
,
con lo cual,
R = P
r
1
+P
s
2
P
r
1
+ (P
r
1
+P
s+1
2
) = P
r
1
+P
s+1
2
.

9 FACTORIZACI
ON

UNICA DE IDEALES EN UN DOMINIO DE DEDEKIND
9. Factorizacion unica de Ideales en un Dominio de Dedekind
En la seccion anterior, hemos invertido ideales primos no nulos en un dominio de Dedekind.
Ahora queremos extender este resultado a ideales fraccionales no nulos.
Teorema 9.1.1. Si I es un ideal fraccional no nulo del dominio de Dedekind R, entonces I puede
ser factorizado de manera unica como P
1
n
1
P
2
n
2
. . . P
r
n
r
donde los n
i
son enteros. En consecuencia,
los ideales fraccionales no nulos forman un grupo con la multiplicacion.
Demostracion. Primero veamos la existencia de tal factorizacion. Sin perdida de generalidad, po-
demos restringirnos a ideales integrales. (Notar que si r ,= 0 y rI R, entonces I = (Rr)
1
(rI),
siendo rI ideal integral.) Por convencion, consideramos a R como el producto de la coleccion vaca
de ideales primos. Sea S el conjunto de todos los ideales propios no nulos de R que no pueden ser
factorizados de la forma dada, con todos los n
i
enteros positivos. (Este truco nos dara el resultado
de que la factorizacion de ideales integrales solo involucra exponentes positivos). Como R es Noe-
theriano, si S es no vaco entonces tiene un elemento maximal I
0
, el cual esta contenido en un ideal
maximal I. Por 8.2.3, I tiene un inverso J, ideal fraccional. Entonces, por 8.2.2 y 8.2.3,
I
0
= I
0
R I
0
J IJ = R.
Luego, I
0
J es un ideal integral, y armamos que I
0
I
0
J, pues si I
0
= I
0
J, el ultimo parrafo de la
demostracion de 8.2.3 puede ser reproducido con I
0
en lugar de I, lo que lleva a una contradiccion.
Por maximalidad de I
0
, I
0
J es un producto de ideales primos, es decir I
0
J = P
1
. . . P
r
(puede
haber factores repetidos). Multiplicando a ambos lados por el ideal primo I concluimos que I
0
es
producto de ideales primos, contradiciendo que I
0
S. Entonces, S debe ser vaco, con lo cual
queda demostrada la existencia de la factorizacion deseada.
Para probar la unicidad supongamos que existen dos factorizaciones primas
P
1
n
1
P
2
n
2
. . . P
r
n
r
= Q
1
t
1
Q
2
t
2
. . . Q
s
t
s
donde, nuevamente, vamos a asumir sin perdida de generalidad que todos los exponentes son po-
sitivos (si aparece P
n
, multiplicamos a ambos lados por P
n
). Ahora, P
1
contiene el producto de
los P
i
n
i
, entonces por 8.1.2, P
1
contiene a Q
j
para alg un j. Por maximalidad de Q
j
, P
1
= Q
j
, y
podemos reenumerar de modo que P
1
= Q
1
. Multiplicamos por el inverso de P
1
para cancelar P
1
y
Q
1
, y continuamos inductivamente para completar la demostracion.
Corolario 9.1.2. Un ideal fraccional no nulo I es un ideal integral si y solo si todos los exponentes
en la factorizacion prima de I son no negativos.
Demostracion.
)Esta incluido en la demostracion del teorema 9.1.1.
)Una potencia de un ideal integral es un ideal integral.
Corolario 9.1.3. Denotamos por n
P
(I) al exponente del ideal primo P en la factorizacion de I.
(Si P no aparece, tomamos n
P
(I) = 0). Si I
1
e I
2
son ideales fraccionales no nulos, entonces I
2
I
1
si y solo si para todo ideal primo P de R, n
P
(I
1
) n
P
(I
2
).
Demostracion. Sabemos que I
2
I
1
si y solo si I
2
I
1
1
R, y por 9.1.2 esto sucede si y solo si
para todo P, n
P
(I
2
) n
P
(I
1
) 0.
Denicion 9.1.4. Sean I
1
e I
2
ideales integrales no nulos. Decimos que I
1
divide a I
2
si I
2
= JI
1
para alg un ideal integral J. Al igual que en los n umeros enteros, una condicion equivalente es que
cada factor primo de I
1
es factor de I
2
.
Corolario 9.1.5. Si I
1
e I
2
son ideales integrales no nulos, entonces I
1
divide a I
2
si y solo si
I
2
I
1
. En otras palabras, dividir significa contener.
Demostracion. Por 9.1.4, I
1
divide a I
2
si y solo si n
P
(I
1
) n
P
(I
2
) para todo ideal primo P. Por
9.1.3, es equivalente a que I
2
I
1
.
El proximo resultado explica por que los dominios de Dedekind son importantes en la teora
algebraica de n umeros.
Teorema 9.1.6. En el sistema basico AKLB de 5.2, si A es un dominio de Dedekind, entonces
tambien lo es B. En particular, el anillo de enteros algebraicos en un cuerpo numerico es un dominio
de Dedekind. Ademas, B es un A-modulo nitamente generado y el cuerpo cociente de B es L.
Demostracion. Por 3.2.4, B es integralmente cerrado en L. La demostracion de 6.1.8, con x
i
reem-
plazado por un elemento arbitrario de L, muestra que L es el cuerpo cociente de B. Por lo tanto,
B es integralmente cerrado. Por 7.2.8, B es un anillo Noetheriano, y en su demostracion se prueba
que B es A-modulo Noetheriano, en consecuencia esta nitamente generado.
Ahora, veamos que todo ideal no nulo Q de B es maximal. Tomamos cualquier elemento no
nulo x de Q. Como x esta en B, satisface una ecuacion polinomial
x
n
+a
n1
x
n1
+. . . +a
1
x +a
0
= 0
con los a
i
A. Si tomamos al entero positivo n como el mas chico posible, entonces a
0
,= 0 por
minimalidad de n. Despejando a
0
vemos que a
0
Bx A Q A, por lo tanto P = Q A ,= 0.
Pero P es la preimagen del ideal primo Q por la aplicacion inclusion de A en B. Luego, P es un
ideal primo no nulo (2.1.11), por lo tanto maximal, del dominio de Dedekind A. En consecuencia,
A/P es cuerpo.
Ahora, A/P puede ser indenticado con un anillo del dominio de Dedekind B/Q va la aplicacion
y + P y + Q. Mas a un, B/Q es integral sobre A/P. [B es integral sobre A, y podemos usar la
misma ecuacion de dependencia integral]. Se sigue del ejercicio 3.3.5 que B/Q es cuerpo, luego Q
es un ideal maximal (2.1.15).
9 FACTORIZACI
ON

UNICA DE IDEALES EN UN DOMINIO DE DEDEKIND
9.2. Ejercicios
Por 4.1.5, el anillo de enteros algebraicos B de Q(
5) es Z[
5]. Demostraremos que Z[
5]
no es un dominio de factorizacion unica. Considerar la factorizacion
(1 +
5)(1
5) = (2)(3) ()
9.2.1. Vericar, utilizando la norma, que los cuatro factores considerados arriba son irreducibles.
Demostracion. Si
1 +
5 = (a +b
5)(c +d
5),
tomando norma en ambos miembros tenemos que
6 = (a
2
+ 5b
2
)(c
2
+ 5d
2
).
Por lo tanto, si ninguno de los factores de la descomposicion de 1 +
5 es una unidad, debe ser

(a
2
+ 5b
2
) igual a 2 o 3, lo cual es absurdo. Luego, 1 +
5 es irreducible. De manera analoga se

puede ver que 1
5, 2 y 3 son irreducibles.
9.2.2. Mostrar que las unicas unidades de B son 1.
Demostracion. Como 5 /1 mod 4, por 4.1.3 sabemos que los elementos de B son de la forma
a +b
5, con a, b Z. Si a +b
5 es unidad, entonces existe c +d
5 Z[
5] tal que
(a +b
5) (c +d
5) = 1.
Por lo tanto,
N(a +b
5) N(c +d
5) = N(1),
es decir (a
2
+ 5b
2
)(c
2
+ 5d
2
) = 1 entonces a = c = 1 y b = d = 0. Luego, las unicas unidades de
B son 1.
9.2.3. Mostrar que ning un factor de uno de los lados de la ecuacion () es un asociado de alguno
de los factores sobre el otro lado. Por lo tanto, la factorizacion unica falla.
Demostracion. Supongamos que a y b son dos elementos asociados, es decir a[b y b[a. Entonces
existe u Z[
5] unidad tal que

b
a
= u. Luego, por el ejercicio 9.2.2, u = 1, con lo cual
b
a
= 1,
absurdo.
9.2.4. Podemos utilizar la factorizacion prima de ideales en un dominio de Dedekind para calcular
el maximo com un divisor y el mnimo com un m ultiplo de dos ideales no nulos I y J, exactamente
como con los n umeros enteros. Mostrar que el maximo com un divisor entre I y J es I +J y que el
mnimo com un m ultiplo es I J.
Demostracion.
Veamos que mcd(I, J) = I +J.
I I +J y J I +J entonces por 9.1.5 I +J divide a I y a J.
Sea Q un ideal que divide a I y a J. Entonces, por 9.1.5, I Q y J Q, por lo tanto
I +J Q+Q Q. Luego, I +J = mcd(I, J).
Veamos que mcm(I, J) = I J.
I J I, J entonces I y J dividen a I J. Ahora, sea Q un ideal tal que Q I y Q J
entonces Q I J. Luego, I J = mcm(I, J).
En conclusion, el maximo com un divisor es el ideal mas chico que contiene a I y a J, esto es
I +J. El mnimo com un m ultiplo es el mayor ideal contenido en ambos, es decir, I J.
9.2 Ejercicios
9.2.5. Un dominio de Dedekind R esta proximo a ser un dominio de ideales principales en el
siguiente sentido. (Todos los ideales son asumidos no nulos). Si I es un ideal integral, en realidad
si I es un ideal fraccional, mostrar que existe un ideal integral J tal que IJ es un ideal principal
de R.
Demostracion. Sea I un ideal fraccional de R. Por 9.1.1 sabemos que los ideales fraccionales forman
un grupo con la multiplicacion, por lo tanto I tiene inverso multiplicativo, es decir existe H ideal
fraccional tal que IH = R. Ademas, existe r R tal que rH R es ideal integral. Si llamamos
J = rH tenemos que IJ = IHr = Rr. Por lo tanto, IJ = (r) .
9.2.6. Mostrar que el anillo de enteros algebraicos de Q(
17) no es un dominio de factorizacion

unica.
Demostracion. Consideremos la factorizacion
(1 +
17)(1
17) = 18 = 2 3
2
y veamos que los factores son irreducibles.
Supongamos que
(1 +
17) = (a +b
17)(c +d
17),
tomando norma tenemos
18 = (a
2
+ 17b
2
)(c
2
+ 17d
2
).
Por lo tanto, (a
2
+17b
2
) debe ser 2 o 3
2
. Por ejemplo, si (a
2
+17b
2
) = 3
2
entonces (c
2
+17d
2
) = 2
lo cual es absurdo.
Analogamente, se puede ver que 2, 3 y (1
17) son irreducibles.

Por otra parte, las unicas unidades en Z(
17) son 1. En efecto, si (a +b
17) es una unidad,

entonces existe (c +d
17) tal que

(a +b
17)(c +d
17) = 1.
Luego,
N((a +b
17))N((c +d
17)) = N(1),
es decir
(a
2
+ 17b
2
)(c
2
+ 17d
2
) = 1.
Por lo tanto, a = c = 1 y b = d = 0.
Ademas, al igual que en el ejercicio 9.2.3, los factores de las dos descomposiciones no son
asociados. En conclusion, Z(
17) no es un dominio de factorizacion unica.
9.2.7. En el problema 9.2.6, los unicos enteros algebraicos de norma 1 son 1. Mostrar que esta
propiedad no se verica para los enteros algebraicos en Q(
3).
Demostracion. Veamos que en Q(
3) los unicos enteros de norma 1 no son 1.

Como 3 1 mod 4, por 4.1.3 los elementos del conjunto de enteros algebraicos de Q(
3) son
de la forma
u
2
+
v
2
3 con u, v Z. Luego, N(
u
2
+
v
2
3) = 1 si y solo si
u
2
4
+3
v
2
4
= 1, por lo tanto
u
2
+3v
2
= 4 entonces u = v = 1 o u = 2 y v = 0. Luego, las unidades son 1, (
1
2
1
2
3).
10 ARITM
ETICA EN DOMINIOS DE DEDEKIND

10. Aritmetica en Dominios de Dedekind
La factorizacion unica de ideales en un dominio de Dedekind permite hacer calculos que son
analogos a algunos que nos resultan bastante familiares al manipular n umeros enteros. En esta
seccion nos dedicaremos a mostrar cuales son dichos calculos.
10.1. Propiedades
10.1.1. Deniciones y Comentarios
Sean P
1
, . . . , P
n
ideales primos distintos no nulos de un dominio de Dedekind R, denotaremos
por J al producto de todos los P
i
, y Q
i
al producto de los P
j
excluyendo al ideal P
i
, esto es:
J = P
1
. . . P
n
y Q
i
= P
1
. . . P
i1
P
i+1
. . . P
n
.
En el caso en que i = 1, Q
i
= R. Si I es un ideal no nulo de R, por la factorizacion unica tenemos
que IQ
i
IJ. Para cada i = 1, 2, . . . , n elegiremos un elemento a
i
que pertenezca a IQ
i
, pero no
a IJ, y denimos a =
n
i=1
a
i
.
Lema 10.1.2. a I, pero para cada i, a / IP
i
. (En particular a ,= 0).
Demostracion. El hecho de que a I es consecuencia de que a
i
IQ
i
I, para todo i = 1, 2, . . . , n.
Veamos ahora que a / IP
i
.
Supongamos que para cada i, a
i
IP
i
, entonces a
i
IP
i
IQ
i
= mcm(IP
i
; IQ
i
) (por 9.2.4)
pero por la denicion de Q
i
, mcm(IP
i
; IQ
i
) = IJ, lo cual implica que a
i
pertenece a IJ, absurdo.
Luego, para cada i se tiene que a
i
/ IP
i
.
Por otro lado, sabemos por denicion que
a =
n
k=1
a
k
= (a
1
+. . . +a
i1
)
. .
b
+a
i
+ (a
i+1
+. . . +a
n
)
. .
c
.
Si j ,= i, a
j
IQ
j
IP
i
, entonces b, c IP
i
. Como a
i
/ IP
i
, podemos concluir que a / IP
i
.
En la seccion anterior, en 9.2.5, vimos que cualquier ideal no nulo es un factor de un ideal
principal, nosotros podemos renar este resultado de la siguiente manera:
Proposicion 10.1.3. Si I es un ideal no nulo de un dominio de Dedekind R, entonces existe un
ideal no nulo I
tal que II
es un ideal principal. Mas a un, si K es un ideal arbitrario no nulo de

R, podemos elegir a I
de manera tal que sea coprimo con K.

Demostracion. Sean P
1
, . . . , P
n
los divisores primos distintos de K. Si tomamos a como en 10.1.2,
tenemos que a es un elemento de I, por lo tanto (a) I. Como en este contexto contener signica
dividir (7.7.5), I [ (a), esto es, existe I
ideal no nulo de R tal que (a) = II
. Luego, II
es un ideal
principal de R.
Veamos que I
y K son primos relativos.

Supongamos que I
es divisible por P
i
, en ese caso tenemos que existe un ideal I
0
no nulo de
R, tal que I
= P
i
I
0
, luego (a) = IP
i
I
0
. Por la misma razon que antes, IP
i
[ (a), entonces a P
i
lo
cual es absurdo por 10.1.2.
10.2 El Grupo de Clases de Ideales
Corolario 10.1.4. Un dominio de Dedekind R que contiene una cantidad nita de ideales primos
es un DIP.
Demostracion. Sean P
1
, . . . , P
n
todos los ideales primos distintos y no nulos de R, y llamemos
J = P
1
. . . P
n
. Si I es un ideal no nulo de R, por 10.1.3 existe un ideal I
no nulo de R tal que

II
= (a) y ademas I
+J = R. Esto nos dice que en la factorizacion de I
no aparece ning un ideal

primo de R, entonces I
= R, por lo tanto
(a) = II
= IR = I.
Luego R es DIP.
Ahora sabemos bajo que condiciones un dominio de Dedekind es un DIP. Lo que nos muestra
el proximo resultado es que en general un dominio de Dedekind no esta tan lejos de cumplir esa
condicion.
Corolario 10.1.5. Si I es un ideal no nulo de un dominio de Dedekind R, y a ,= 0
R
es cualquier
elemento de I, entonces I puede ser generado por dos elementos, uno de los cuales es a.
Demostracion. Como a I, (a) I, entonces existe un ideal no nulo de R, digamos K, tal que
(a) = IK. Por 10.1.3, existe un ideal I
no nulo de R, tal que para alg un b R, II
= (b) y
K +I
= R. Luego
(a, b) = (a) + (b) = mcd((a) ; (b)) = mcd(IK; II
).
Y como (K; I
) = (1
R
), se tiene que (a, b) = (IK; II
) = I.
10.2. El Grupo de Clases de Ideales
En esta subseccion denotaremos por R a un dominio de Dedekind, y K sera su cuerpo de
fracciones (2.3.1).
Sea I(R) el grupo de ideales fraccionales no nulos de R. Si P(R) es el subconjunto de I(R) que
consiste de todos los ideales principales fraccionales no nulos de la forma xR, con x K, es facil
ver que P(R) es un subgrupo de I(R), ya que si para x, y en K, Rx y Ry pertenecen a P(R), se
tiene que
(Rx)(Ry)
1
= (Rx)(Ry
1
) = Rxy
1
P(R).
El grupo cociente C(R) = I(R)/P(R) es llamado grupo de clases de ideales de R. Como
R es conmutativo, C(R) es abeliano. Se puede ver tambien que C(R) es nito, pero para ello se
necesitan herramientas tales como la teora de Minkowsky, la cual pertenece al area de la geometra
de n umeros y no sera desarrollada en este trabajo (ver [2]). Lo interesante de esto, es que nos da
una idea de cuan cerca esta un dominio de Dedekind de ser un DIP.
Proposicion 10.2.1. C(R) es trivial si y solo si R es DIP.
Demostracion.
) Si C(R) es trivial, entonces todo ideal integral I de R es un ideal principal fraccional de la forma
Rx, para x K. Como x = 1
R
x I R, luego R es DIP.
) Si suponemos que R es DIP y tomamos un ideal fraccional I no nulo de R, entonces existe alg un
r ,= 0
R
en R tal que rI R. Como rI es un ideal principal, tenemos que rI = Ra para alg un
a R. Luego I = R(a/r) con a/r K. Por lo tanto, todo ideal fraccional no nulo I de R es un
ideal principal fraccional, lo cual implica que C(R) es trivial.
10 ARITM
ETICA EN DOMINIOS DE DEDEKIND

10.3. Dominios de Dedekind y Teora de N umeros
Nos vamos a ocupar ahora de la factorizacion de un ideal en un cuerpo numerico. Aunque
no contemos a un con todas las herramientas de la teora de n umeros que son utilizadas para el
desarrollo de este tema, estamos en condiciones de obtener algunos resultados manipuleando los
que conocemos hasta ahora.
Por 4.1.5, como 5 3 mod 4, se tiene que el anillo B de enteros algebraicos del cuerpo
numerico Q(
5) es Z[
5]. Si lo que deseamos es factorizar el ideal (2) = 2B en B, la idea es

factorizar el polinomio x
2
+5 mod 2, y lo que se obtiene es que x
2
+5 (x+1)
2
mod 2. Identicando
x con
5, podemos formar el ideal P

2
=
_
2; 1 +
5
_
, el cual resulta ser primo. La factorizacion
deseada es (2) = P
2
2
. Esta tecnica funciona si B = Z[], donde el cuerpo numerico es Q().
Proposicion 10.3.1. Veamos que efectivamente (2) = P
2
2
.
Demostracion.
) (1
5) P
2
, ya que 1
5 = 2 (1 +
5), entonces
6 = (1 +
5)(1
5) P
2
2
.
Como 2 P
2
, entonces 4 P
2
2
, luego 2 = 6 4 pertenece a P
2
2
. Podemos concluir entonces que
(2) P
2
2
.
) P
2
2
=
_
2; 1 +
5
_
2
entonces
_
P
2
2
_
=
_
4; 2(1 +
5); (1 +
5)
2
_
. Luego, como
(1 +
5)
2
= 4 + 2
5,
podemos armar que P
2
2
(2), ya que cada generador de P
2
2
es m ultiplo de 2.
10.4 Ejercicios
10.4. Ejercicios
Los ejercicios 10.4.1 y 10.4.2 de esta seccion han sido desarrollados mas claramente en el contexto
de la subseccion 10.2. Del mismo modo, el ejercicio 10.4.3 forma parte de la subseccion 10.3.
10.4.1. Sea P(R) como en 10.2, mostrar que es un subgrupo de I(R).
Demostracion. Sean x, y en K, Rx y Ry pertenecientes a P(R), luego
(Rx)(Ry)
1
= (Rx)(Ry
1
) = Rxy
1
P(R).
10.4.2. C(R) es trivial si y solo si R es DIP.

Demostracion.
) Si C(R) es trivial, entonces todo ideal integral I de R es un ideal principal fraccional de la forma
Rx, para x K. Como x = 1
R
x I R, luego R es DIP.
) Si suponemos que R es DIP y tomamos un ideal fraccional I, no nulo de R, entonces existe
alg un r ,= 0
R
en R tal que rI R. Como rI es un ideal principal (R es DIP), tenemos que rI = Ra
para alg un a R. Luego I = R(a/r) con a/r K. Por lo tanto, todo ideal fraccional no nulo, I de
R es un ideal principal fraccional, lo cual implica que C(R) es trivial.
10.4.3. Sea P
2
=
_
2; 1 +
5
_
, mostrar que efectivamente (2) = P
2
2
en Z[
5].
Demostracion.
) (1
5) P
2
, ya que 1
5 = 2 (1 +
5), entonces
6 = (1 +
5)(1
5) P
2
2
.
Como 2 P
2
, entonces 4 P
2
2
, luego 2 = 6 4 pertenece a P
2
2
. Podemos concluir entonces que
(2) P
2
2
.
) P
2
2
=
_
2; 1 +
5
_
2
entonces
_
P
2
2
_
=
_
4; 2(1 +
5); (1 +
5)
2
_
. Luego, como
(1 +
5)
2
= 4 + 2
5,
podemos armar que P
2
2
(2), ya que cada generador de P
2
2
es m ultiplo de 2.
10.4.4. Utilizando la misma tecnica que en el ejercicio anterior, factorizar (3) en Z[
5].
Demostracion. Empecemos factorizando el polinomio x
2
+ 5 mod 3. De este modo tenemos que:
x
2
+ 5 (x + 1)(x 1) mod3.
Esto nos induce a pensar que (3) = P
3
P
3
donde P
3
=
_
3; 1 +
5
_
y P
3
=
_
3; 1
5
_
. Para
mostrarlo veriquemos la doble inclusion.
) P
3
P
3
=
_
9; 3(1
5); 3(1 +
5); 6
_
. Claramente, cada generador de P
3
P
3
es m ultiplo de 3.
) Como 9, 6 P
3
P
3
, luego 9 6 = 3 pertenece a P
3
P
3
. Por lo tanto (3) P
3
P
3
.
11 N
UMEROS P-
ADICOS
11. N umeros p-adicos
Daremos una introduccion muy informal de esta area basica de la Teora de N umeros. Asumi-
remos que p es un n umero primo jo.
11.1. Enteros p-adicos.
Un entero p-adico puede ser descripto por varios caminos. Una representacion es va la serie
x =
i=0
a
i
p
i
, con a
i
Z. (1)
Por ahora ignoraremos el problema de convergencia. Las sumas parciales son
x
n
= a
0
+a
1
p +. . . +a
n
p
n
,
de modo que x
n
x
n1
= a
n
p
n
. Un entero p-adico puede ser denido tambien como una sucesion
de enteros x = x
0
, x
1
, . . . que satisface
x
n
x
n1
modp
n
, n = 1, 2, . . . (2)
Dada una sucesion que satisface (2), podemos recuperar los coecientes de la serie (1) mediante
a
0
= x
0
, a
1
=
x
1
x
0
p
, a
2
=
x
2
x
1
p
2
, . . .
Las sucesiones x e y denen el mismo entero p-adico si y solo si x
n
y
n
mod p
n+1
, para
n = 0, 1, . . . Si reemplazamos cada x
n
por el menor entero no negativo congruente a el mod p
n+1
,
equivale a restringir los a
i
en (1) al conjunto 0, 1, . . . , p 1. A esto lo llamamos representacion
standard. Luego, (1) es el caso limitado, en alg un sentido, de la expansion en base p.
Las sumas y productos de enteros p-adicos pueden ser denidos por multiplicacion de polinomios,
si se utiliza (1). Con la representacion (2), tomamos
x +y = x
n
+y
n
,
xy = x
n
y
n
.
Con adicion y multiplicacion denidas de este modo, tenemos el anillo de enteros p-adicos,
denotado por
p
. Los enteros racionales Z forman un subanillo de
p
va x = x, x, x, . . ..
Ahora identicaremos las unidades de
p
.
Proposicion 11.1.1. El entero p-adico x = x
n
es una unidad de
p
(tambien llamada unidad
p-adica) si y solo si x
0
/ 0 mod p. En particular, un entero racional a es una unidad p-adica si y
solo si a / 0 mod p.
Demostracion.
) Si (a
0
+a
1
p +. . .)(b
0
+b
1
p +. . .) = 1, entonces a
0
b
0
= 1. As, a
0
/ 0 mod p.
11.2 Valor absoluto no arquimediano.
) Sea x
0
/ 0 mod p . Por (2),
x
n
x
n1
modp
n
x
n1
x
n2
modp
n1
.
.
.
x
1
x
0
modp,
por lo que x
n
/ 0 mod p. De este modo, x
n
y p
n+1
son primos relativos, con lo cual existe y
n
tal que x
n
y
n
1 mod p
n+1
(por lo tanto, mod p
n
). Por (2), x
n
x
n1
mod p
n
, de modo que
x
n
y
n1
x
n1
y
n1
1 modp
n
. Luego, x
n
y
n
x
n
y
n1
mod p
n
y as, y
n
y
n1
mod p
n
. De este
modo, la sucesion y = y
n
es un entero p-adico y por construccion, xy = 1.
Corolario 11.1.2. Todo entero p-adico no nulo tiene la forma x = p

n
u, donde n 0 y u es una
unidad p-adica. Consecuentemente,
p
es un dominio ntegro. Mas a un,
p
tiene a p como unico
elemento primo, y todo x
p
es una potencia de p salvo producto por una unidad.
Demostracion. La representacion de la serie para x tiene un termino no nulo a
n
p
n
de grado mnimo
n, donde a
n
puede considerarse entre 1 y p 1. Tomando como factor com un a p
n
, se tiene que
x = p
n
u, donde u es una unidad (11.1.1).
11.2. Valor absoluto no arquimediano.

Denicion 11.2.1. Una valuacion v sobre un cuerpo F es una funcion a valores reales sobre
F 0 que satisface:
(a) v(xy) = v(x) +v(y);
(b) v(x +y) min(v(x), v(y)).
Por convencion, tomamos v(0) = +.
Denicion 11.2.2. Un valor absoluto sobre un cuerpo F es una funcion a valores reales sobre
F tal que:
1. [x[ 0, con la igualdad si y solo si x = 0;
2. [xy[ = [x[[y[;
3. [x +y[ [x[ +[y[.
Observacion 11.2.3. Si c es cualquier n umero real mayor que 1, entonces la valuacion v induce
un valor absoluto sobre F, concretamente
[x[ = c
v(x)
.
11 N
UMEROS P-
ADICOS
Por (b), un valor absoluto inducido por una valuacion satisface una propiedad mas fuerte que 3):
4. [x +y[ max([x[, [y[).
La desigualdad 4 se llama desigualdad ultrametrica. Un valor absoluto que satisface una de-
sigualdad ultrametrica es llamado no arquimediano. Un valor absoluto que no es no arquimediano
se llama arquimediano.
Proposicion 11.2.4. Sea F el cuerpo cociente de un dominio ntegro R. El valor absoluto [ [
sobre F es no arquimediano si y solo si [n[ 1 para todo entero n = 1 . . . 1 R.
Demostracion.
) Supongamos que [ [ es no arquimediano. Por propiedad de valor absoluto, [ 1[ = 1. Si [n[ 1,
entonces por propiedad 4), [n 1[ 1 y por induccion se tiene el resultado deseado.
) Asumimos que el valor absoluto de todo entero es a lo sumo 1. Para probar 4) es suciente
con mostrar que [x + 1[ max ([x[, 1) para todo x F. (Si y ,= 0 en 4), dividimos por [y[.) Por el
teorema del binomio,
[x + 1[
n
=
i=0
_
n
i
_
x
i
i=0
_
n
i
_
[x[
i
.
Por hipotesis, el entero
_
n
i
_
tiene valor absoluto menor o igual que 1. Si [x[ > 1, entonces
[x[
i
[x[
n
para todo i = 0, 1, . . . , n. Consecuentemente,
[x + 1[
n
(n + 1) max ([x[
n
, 1).
Tomando races n-esimas y n , tenemos que [x + 1[ max ([x[, 1).
El siguiente resultado puede parecer inocuo, pero es una propiedad importante de valores ab-
solutos no arquimedianos.
Proposicion 11.2.5. Si [ [ es un valor absoluto no arquimediano y [x[ , = [y[, entonces
[x +y[ = max ([x[, [y[).
Demostracion. Primero notemos que [ y[ = [(1)y[ = [ 1[[y[ = [y[. Sin perdida de generalidad
podemos asumir que [x[ > [y[. Usando la propiedad 4) de la observacion 11.2.3 tenemos
[x[ = [x +y y[ max([x +y[, [y[) = [x +y[.
(De no ser as, max ([x + y[, [y[) = [y[, con lo cual [x[ [y[ < [x[, una contradiccion.) Por otra
parte, [x +y[ max ([x[, [y[) = [x[, completando la demostracion.
Cada valor absoluto determina una metrica va d(x, y) = [x y[. Esta funcion distancia puede
ser usada para medir la longitud de los lados de un triangulo.
Corolario 11.2.6. Con respecto a la metrica inducida por un valor absoluto no arquimediano,
todos los triangulos son isosceles.
11.2 Valor absoluto no arquimediano.
Demostracion. Sean x, y, z los vertices de un triangulo. Entonces
[x y[ = [(x z) + (z y)[.
Si [x z[ = [z y[, entonces dos lados tienen la misma longitud. Si [x z[ , = [z y[, por 11.2.5
se tiene que [x y[ = max ([x z[, [z y[), y nuevamente tenemos dos lados de igual longitud.
Denicion 11.2.7. Sea [ [ un valor absoluto no arquimediano sobre un cuerpo F. El anillo

valuacion de [ [ es
= x F : [x[ 1 .
Denicion 11.2.8. El ideal valuacion de [ [ es
= x F : [x[ < 1 .
Denicion 11.2.9. Un anillo con un unico ideal maximal es llamado anillo local.
Proposicion 11.2.10. Sea [ [ un valor absoluto no arquimediano sobre el cuerpo K. Sean su
anillo valuacion y su ideal valuacion. Entonces:
1. es un anillo local con ideal maximal y cuerpo cociente K.
2. Si u K, entonces u es unidad de si y solo si [u[ = 1.
3. Si [ [ es no trivial, entonces no es un cuerpo.
Demostracion.
1. Para vericar que es un ideal de , notemos que si x, y y r , entonces
[rx[ = [r[[x[ [x[ < 1 y [x +y[ max ([x[, [y[) < 1.
Por otra parte, si x , entonces [x[ = 1; con lo cual [x
1
[ = 1/[x[ = 1. As, x
1
y x
es una unidad de . Pero si x , entonces no puede ser unidad de . En efecto, si xy = 1, resulta
1 = [x[[y[ [x[ < 1. Luego, el ideal es el conjunto de todos los elementos de que no son unidad.
Ning un ideal propio I de puede contener una unidad, de modo que I . Se sigue que es
el unico ideal maximal de .
Por otra parte, K es el cuerpo cociente de , pues si z K, z ,= 0, entonces z o su inverso estan
en .
2. Si u, v y uv = 1, entonces [u[[v[ = 1. Pero [u[, [v[ 1, por lo que debe ser [u[ = [v[ = 1.
Recprocamente, si [u[ = 1 se tiene que [u
1
[ = 1. Pero entonces u y u
1
estan en , por lo que
u debe ser unidad de .
3. Supongamos que [ [ es no trivial, entonces existe x ,= 0 tal que [x[ , = 1; con lo cual [x[ < 1 y
[x
1
[ > 1 o [x[ > 1 y [x
1
[ < 1. En ambos casos, se tiene un elemento de con inverso fuera de .

11 N
UMEROS P-
ADICOS
11.3. N umeros p-adicos
Cualquier racional r ,= 0 se puede escribir de la forma r = p
n u
v
con n, u, v Z, p [ / u y p [ / v.
Denimos la funcion [ [
p
como
[r[
p
= p
n
y [0[ = 0.
La denicion claramente satisface 1) y 2) de 11.2.2. Para ver 3), sea s = p
m w
z
, con m, w, z Z,
p [ / w y p [ / z. Se verica que [s[
p
= p
m
. Sin perdida de generalidad podemos suponer que m n,
con lo cual
r +s = p
n
uz +p
mn
vw
vz
.
Ahora bien, p [ / vz y si m ,= n, p [ / uz +p
mn
vz. As, [r +s[
p
p
n
y [r +s[
p
max ([r[
p
, [s[
p
). Esto
nos dice que [ [
p
satisface una desigualdad ultrametrica, que claramente implica la desigualdad
triangular. Luego, [ [
p
es un valor absoluto (no arquimediano) y lo denominaremos valor absoluto
p-adico.
Ejemplos 11.3.1.
1. [60[
2
=
1
2
2
=
1
4
2. [60[
3
=
1
3
3. [40[
2
=
1
2
3
=
1
8
Denicion 11.3.2. Diremos que una sucesion a
n
es de Cauchy si dado > 0, existe n
0
= n
0
()
tal que
[a
m
a
n
[
p
< , m, n n
0
.
La sucesion a
n
converge a a si
[a
n
a[
p
< , n n
0
.
El problema es que con esta metrica, Q no es completo. Por ejemplo, si p = 5, construyamos
una sucesion a
n
que verique:
a
2
n
+ 1 0 mod5
n
,
a
n+1
a
n
mod5
n
y a
1
= 2.
Supongamos que ya tenemos una expresion para a
n
y escribamos a
n+1
= a
n
+c5
n
, con c Z
a determinar. Como
(a
n
+c5
n
)
2
+ 1 0 mod 5
n+1
se tiene que
a
2
n
+ 1 + 2 5
n
a
n
c + 5
2n
c
2
0 mod 5
n+1
,
11.3 N umeros p-adicos
de donde
2a
n
c +k 0 mod 5,
con k =
a
2
n
+1
5
n
Z. Como 5 [ / a
n
, existe un c que verica la congruencia anterior.
La sucesion obtenida es de Cauchy con la metrica 5-adica, dado que
[a
m
a
n
[
5
5
n
, m n.
Supongamos que existe l Q tal que a
n

n
l. Entonces
a
2
n
+ 1
n
l
2
+ 1.
Pero por construccion, a
2
n
+ 1
n
0, con lo cual l
2
+ 1 = 0. Absurdo.
Daremos ahora una idea de la completacion de Q con la metrica inducida por [ [
p
. Dicha
completacion se llamara cuerpo de n umeros p-adicos y se denotara por Q
p
.
Sea o el conjunto de las sucesiones de Cauchy a
n
para [ [
p
con a
n
Q, y sea ^ el conjunto
de sucesiones nulas, es decir, las sucesiones a
n
tales que a
n

n
0. Es facil ver que ^ es un
ideal de o.
Sea a
n
o ^. Se puede probar que existe al menos un N N tal que [a
N
a
n
[
p
< [a
N
[
p
,
n > N. Para dicho N, por 11.2.5 se tiene que
[a
n
[
p
= [(a
n
a
N
) +a
N
[
p
= max([a
n
a
N
[
p
, [a
N
[
p
) = [a
N
[
p
, n > N.
Por otra parte, es sencillo demostrar que si a
n
,= 0 para todo n, entonces
_
a
1
n
_
o. Veamos
ahora que ^ es un ideal maximal de o. De no serlo, existira un ideal maximal /tal que ^ /.
Tomando a
n
/ ^, se tiene que solo nitos a
n
son nulos y pueden ser reemplazados por
alg un n umero racional no nulo, digamos, por 1. As, podemos suponer que a
n
,= 0 para todo n y
resulta
_
a
1
n
_
o. Luego, a
n
_
a
1
n
_
/, con lo cual /= o. Absurdo.
Se tiene entonces que ^ es maximal y as, o/^ es un cuerpo.
Consideremos el isomorsmo
: Q o/^
r r +^
donde r es la sucesion constantemente igual a r. La aplicacion induce una funcion

en o/^
denida por
() = lm
k
[
k
[
p
.
Sea
k
o. As, [
k
[
p
es de Cauchy en R, con lo cual existe lm
k
[
k
[
p
en R. Luego, si
k
y
k
estan en la misma clase y > 0, existe k
0
tal que
[
k
k
[
p
< , k k
0
.
11 N
UMEROS P-
ADICOS
De este modo,
[[
k
[
p
[
k
[
p
[ < , k k
0
.
Como lm
k
[
k
[
p
= lm
k
[
k
[
p
, dicho lmite no depende de la eleccion de
k
.
Si Q, entonces

() = [[
p
; luego,

es una extension de [ [
p
.
Veamos ahora que Q es denso en o/^. Sea A =
k
k
+^ o/^.
Si
k
=
k
,
k
, . . ., entonces podemos identicar A
k
=
k
+N con
k
. Ademas
lm
k
A
k
=
k
k
+^.
Para > 0 podemos encontrar n
0
N tal que [
m

n
0
[
p
< , si m > n
0
. Luego, existe
lm
m
[
m
n
0
[
p
.
Por otro lado,
(AA
k
) = lm
m
[
m
k
[
p
, si k n
0
.
Por lo tanto,
lm
k
A
k
= A
concluyendo que Q es denso en o/^.
Finalmente, veamos que o/^ es completo. Sea A
k
k
una sucesion de Cauchy de elementos de
o/^. Para cada k podemos tomar
k
Q o/^ tal que

(A
k
k
) <
1
2
k
. Entonces
[
m
n
[
p

(
m
A
m
) +

(A
m
A
n
) +

(A
n
n
)

(A
m
A
n
) +
1
2
m
+
1
2
n
.
Como A
k
k
es una sucesion de Cauchy, tenemos que
k
k
es una sucesion de Cauchy de
elementos de Q. Tomando A =
k
k
+^ como antes, se puede ver que lmA
k
= A. Luego, o/^
es completo.
Observacion 11.3.3. En Q
p
la valuacion p-adica esta denida por v
p
(p
m
u) = m. De este modo,
[x[
p
= p
v
p
(x)
= p
m
.
Observacion 11.3.4. En el caso p-adico, = x Q
p
: v
p
(x) 0 =
p
. Por propiedades 2) y 4)
de 11.2.3, es un subanillo de F.
Por otra parte, = x Q
p
: v
p
(x) 1 = p
p
, que consta de enteros p-adicos cuya serie de
representacion no posee terminos constantes.
11.3.5. Representacion en serie de potencias
Por 11.1.2 cada Q
p
tiene la forma p
r
u, donde r es un entero (posiblemente negativo) y u es
una unidad de . Sea S un conjunto jo de representantes de los cosets de /. Mostraremos que
cada Q
p
tiene una expansion en serie de Laurent
=
a
m
p
m
+. . . +
a
1
p
+a
0
+a
1
p +a
2
p
2
+. . . , a
i
S
y si a
r
es el primer coeciente no nulo, entonces v
p
() = r.
11.3 N umeros p-adicos
La idea es expandir la unidad u en una serie de potencias que involucran solo potencias no
negativas de p. Para alg un a
0
S, tenemos que u a
0
, con lo cual v
p
(u a
0
) 1, entonces
v
p
((u a
0
)/p) 0. As, (u a
0
)/p . Luego, para alg un a
1
S tenemos [(u a
0
)/p] a
1
,
en otras palabras
u a
0
a
1
p
p
.
Por el mismo razonamiento tenemos
u a
0
a
1
p
p
2
.
Continuando inductivamente se obtiene la expansion en serie deseada.
Notar que por denicion de S, los coecientes a
i
son unicos. Luego, una expansion de que
comienza con un termino de grado r en p corresponde a la representacion = up
r
y a la valuacion
v
p
() = r. Ademas, como [p [
p
< 1, el valor absoluto p-adico de las potencias positivas de p son
cada vez mas peque nas. La sucesion de sumas parciales S
n
de la serie verica S
n
S
n1
mod p
n
.
Ejemplo 11.3.6. Trataremos de escribir

6 en Q
5
. Para esto, debemos hallar a
0
, a
1
, a
2
, . . . con
0 a
i
4 tales que
(a
0
+a
1
5 +a
2
5
2
+. . .)
2
= 1 + 1 5.
Comparando los coecientes de 1 = 5
0
sobre ambos lados, tenemos que a
2
0
1 mod 5 y por lo
tanto a
0
= 1 o 4. Si tomamos a
0
= 1 y comparamos los coecientes de 5 sobre el otro lado tenemos
que 2a
1
5 1 5 mod 5
2
. Luego, 2a
1
1 mod 5, con lo cual a
1
= 3. En el siguiente paso tenemos:
1 + 1 5 (1 + 3 5 +a
2
5
2
)
2
1 + 1 5 + 2a
2
5
2
mod 5
3
.
De este modo, 2a
2
0 mod 5, por lo tanto a
2
= 0. Procediendo de esta manera obtenemos una
serie
a = 1 + 3 5 + 0 5
2
+ 4 5
3
+a
4
5
4
+a
5
5
5
+. . .
donde cada a
i
esta unvocamente determinado.
Ahora, si tomamos a
0
= 4 tenemos que
a = 4 + 1 5 + 4 5
2
+ 0 5
3
+ (4 a
4
)5
4
+ (4 a
5
)5
5
+. . .
El hecho de tener dos elecciones para a
0
, y una vez elegido a
0
, solo una posibilidad para
a
1
, a
2
, a
3
, . . ., reeja que los elementos no nulos en un cuerpo como Q, R o Q
p
siempre tienen
exactamente dos races cuadradas en el cuerpo (si es que tienen alguna).
Teorema 11.3.7. La serie innita de n umeros p-adicos
n=1
z
n
converge si y solo si z
n

n
0.
(Ver ejercicio 11.4.6)
Ejemplo 11.3.8. La representacion 5-adica de 0,25 es
0,25 =
1
4
=
1
15
= 1 + 5 + 5
2
+ 5
3
+. . .
(Se utiliza la formula geometrica
1
1x
= 1 + x + x
2
+ x
3
+ . . ., si [x[
5
< 1. En nuestro caso,
[5[
5
=
1
5
. ) De este modo, la sucesion a
n
= 5
n
n
0 con la norma p-adica.
11 N
UMEROS P-
ADICOS
Recordemos que dos metricas d
1
y d
2
sobre un espacio F son equivalentes si cada sucesion de
Cauchy con d
1
es de Cauchy con d
2
y recprocamente. El Teorema de Ostrowsky arma que el valor
absoluto usual [ [
en Q, el valor absoluto [ [
p
para p primo y el valor absoluto trivial agotan
todas las posibilidades. Para ser mas precisos, cada valor absoluto no trivial es equivalente a [ [
p
,
para alg un p primo o p = (Ver [5]).
11.4 Ejercicios
11.4. Ejercicios
11.4.1. Calcular para p = 3 la representacion standard de (2 + p + p
2
)(2 + p
2
) por dos caminos,
utilizando (1) y (2). Comprobar el resultado calculando el producto usual de dos enteros y expandir
en base p = 3.
Demostracion. Supongamos que p = 3.
(2 +p +p
2
)(2 +p
2
) = 4p
0
+ 2p
2
+ 2p +p
3
+ 2p
2
+p
4
= 3p
0
+p
0
+ 2p + 3p
2
+p
2
+p
3
+p
4
= p +p
0
+ 2p +p
3
+p
2
+p
4
= p
0
+ 2p
2
+ 2p
3
+p
4
= 1 + 2 3
2
+ 2 3
3
+ 3
4
.
Utilizando (2) podemos representar (2 +p +p
2
) y (2 +p
2
) como
x = 2, 5, 14, 14, . . . ,
y = 2, 2, 11, 11, . . . .
Luego, si z = xy se tiene que
z
0
= 4 z
0
1 mod3
z
1
= 10 z
1
1 mod3
2
z
2
= 154 z
2
19 mod3
3
z
3
= 154 z
3
73 mod3
4
z
4
= 154 z
4
154 mod3
5
La representacion standard de z es entonces
z = 1, 1, 19, 73, 154, 154, . . . .
Para vericar, calculamos
(2 + 3 + 3
2
)(2 + 3
2
) = 154,
que en base 3 se escribe como
154 = 1 + 2 3
2
+ 2 3
3
+ 3
4
.

11 N
UMEROS P-
ADICOS
11.4.2. Expresar el entero p-adico 1 como serie innita de la forma (1) usando representacion
standard.
Demostracion. Si 1 = x
0
, x
1
, . . ., entonces x
n
= 1 para todo n.
Para la representacion standard hacemos:
x
0
1 mod p x
0
+ 1 = p x
0
= p 1
x
1
1 mod p
2
x
1
= p
2
1
x
2
1 mod p
3
x
2
= p
3
1
.
.
.
x
n
1 mod p
n+1
x
n
= p
n+1
1.
Calculemos a
n
en Z
p
:
a
0
= p 1
a
1
=
x
1
x
0
p
=
p
2
1 (p 1)
p
=
p(p 1)
p
= p 1
.
.
.
a
n
=
x
n
x
n1
p
n
=
(p
n+1
1) (p
n
1)
p
n
=
(p 1)p
n
p
n
= p 1,
por lo tanto,
1 = (p 1) + (p 1)p + (p 1)p
2
+. . .
11.4.3. Mostrar que todo valor absoluto sobre un cuerpo nito es trivial.
Demostracion. Sea E un cuerpo nito de caracterstica p > 0 con q = p
n
elementos. Si x E
,
entonces x
q1
= 1, con lo cual [x[
q1
= 1. As, [x[ = 1.
11.4.4. Mostrar que un valor absoluto es arquimediano si y solo si el conjunto S = [n[ : n Z

es no acotado.
Demostracion.
) Si [ [ es arquimediano, entonces por 11.2.4 existe n
0
Z tal que [n
0
[ > 1. Luego, para n Z,
n n
0
Z y [n n
0
[ = [n[[n
0
[ > [n[. Por lo tanto, S es no acotado.
11.4 Ejercicios
) Si S es no acotado, existe n
0
Z tal que [n
0
[ > 1. Por 11.2.4, [ [ es arquimediano.
11.4.5. Mostrar que un cuerpo S que tiene un valor absoluto arquimediano, debe tener carac-
terstica 0.
Demostracion. Sea r la caracterstica de S y n
0
Z tal que [n
0
[ > 1. Luego,
1 = [n
r
0
[ = [n
0
[
r
.
La unica posibilidad de que se cumpla esta igualdad, es que r = 0.
11.4.6. Mostrar que la serie innita de n umeros p-adicos
n=1
z
n
converge si y solo si z
n

n
0.
Demostracion.
) Si
n=1
z
n
converge, entonces z
n

n
0, igual que en analisis real.
) Supongamos que z
n

n
0. Entonces
[z
r
+z
r+1
+. . . +z
s
[ max([z
i
[, r i s) 0 cuando r, s .
Por lo tanto, S
N
=
N
n=1
z
n
es de Cauchy en Q
p
y as, converge.
11.4.7. Mostrar que la sucesion a
n
= n! de enteros p-adicos converge a 0.
Demostracion. Observemos que si n > p
n! = n(n 1) . . . 3p . . . 2p . . . p . . . 3 2 1.
Ahora, si rp n (r + 1)p, entonces [n![
p
= p
r
0 cuando r .
11.4.8. La sucesion a
n
= n, converge en Q
p
?
Demostracion. No. Todo entero n tal que rp < n < (r +1)p tiene valor absoluto p-adico 1 (11.1.1).
Luego, la sucesion de valores absolutos [n[
p
no puede converger; con lo cual, la sucesion a
n
= n no
converge.
A AP
ENDICE
A. Apendice
A.1. Teorema de Jordan-Holder para grupos
Para demostrar el teorema de Jordan-Holder, primero enunciaremos y demostraremos dos re-
sultados previos, el lema de Zassenhaus y el teorema de renamiento de Schreier.
Lema A.1.1.
1. Si K H G y f un homomorsmo sobre G, entonces f(K) f(H).
2. Si K H G y N G, entonces NK NH.
3. Si A, B, C y D son subgrupos de G con A B y C D, entonces A(B C) A(B D).
4. Si A, B, C y D son subgrupos de G con AB y CD, entonces A(BC)BD = C(DA)DB.
Equivalentemente A(B C) D = C(D A) B.
Demostracion.
1. Como f es un homorsmo sobre G,
f(h)f(k)f(h
1
) = f(hk h
1
) f(K),
para todo h H y k K. Luego f(K) f(H).
2. Sea f el mapa canonico de G sobre G/N, por 1) tenemos que
f(NK) f(NH) =NK/N NH/N,
y aplicando el teorema de correspondencia NK NH.
3. Aplicar 2) a G = B, N = A, K = (B C), H = (B D).
4. Ambas versiones resultan equivalentes, ya que A(BC) B y C(DA) D. Si x A(BC)D,
luego x = a c con a A y c (B C) y ademas x D. Pero x = c(c
1
ac) = ca
para alg un
a
A B. Como x = a c con a A B y c (B C) B, entonces x C(D A) B.

De este modo tenemos que A(B C) D C(D A) B. De manera analoga se puede ver que
C(D A) B A(B C) D. Por lo tanto A(B C) D = C(D A) B.
A.1.2. Lema de Zassenhaus

Sean A, B, C, D subgrupos del grupo G tales que A B y C D, luego
A(B D)
A(B C)
=
C(D B)
C(D A)
.
Demostracion. Por A.1.1 3) el cociente esta bien denido. Tomemos u
A(BD)
A(BC)
, de este modo
u = ayA(B C) con a A, y B D. Pero ay = y(y
1
ay) = ya
, a
A, entonces
ayA(B C) = ya
A(B C) = yA(B C).

Similarmente para v
C(DB)
C(DA)
, v = zC(DA) con z DB = B D. Luego, como y, z B D
se tiene que:
yA(B C) = zA(B C) z
1
y A(B C) B D
A.1 Teorema de Jordan-Holder para grupos
lo cual es equivalente ( por A.1.1 4) ) a,
z
1
y C(D A) D B yC(D A) = zC(D A).
Sea h el mapa que manda yA(BC) a yC(DA), luego h es una biyeccion bien denida de
A(BD)
A(BC)
en
C(DB)
C(DA)
, y por la denicion de producto en el cociente, h es un isomorsmo. Por lo tanto
A(B D)
A(B C)
=
C(D B)
C(D A)
.
A.1.3. Deniciones y comentarios

Sea 1 = H
0
H
1
H
2
. . . H
n
= G una serie subnormal. Un renamiento de un paso de
esta serie, es cualquier serie de la forma
1 = H
0
H
1
H
2
. . . H
i
N H
i+1
. . . H
n
= G.
Un renamiento de una serie subnormal S es obtenido por aplicarle a S renamientos de un
paso. En el caso en que las inserciones sean estrictas, diremos que el renamiento es propio. (En
ese caso la longitud del renamiento es mayor que la de S.) Diremos tambien que dos series son
equivalentes si tienen la misma longitud y sus grupos factores son iguales salvo isomorsmos y
reordenamientos.
A.1.4. Teorema de Renamiento de Schreier
Sean 1 = H
0
H
1
H
2
. . . H
r
= G y 1 = K
0
K
1
K
2
. . . K
s
= G, dos series subnormales
para G. Luego ambas series tienen renamientos equivalentes.
Demostracion. Sean H
ij
= H
i
(H
i+1
K
j
) y K
ij
= K
j
(K
j+1
H
i
). Por A.1.2 tenemos que
H
i,j+1
H
ij
=
K
i+1,j
K
ij
.
Construiremos renamientos propios de ambas series, pero en un ejemplo concreto. El primer
renamiento tendra r bloques de longitud s, y el segundo tendra s bloques de longitud r, de este
modo ambos renamientos tendran longitud rs.
Tomemos r = 2 y s = 3, y as conseguimos las series:
1 = H
00
H
01
H
02
H
03
= H
1
= H
10
H
11
H
12
H
13
= H
2
= G,
1 = K
00
K
10
K
20
= K
1
= K
01
K
11
K
21
= K
2
= K
02
K
12
K
22
= K
3
= G,
y sus factores correspondientes:
H
01
H
00
=
K
10
K
00
,
H
02
H
01
=
K
11
K
01
,
H
03
H
02
=
K
12
K
02
,
H
11
H
10
=
K
20
K
10
,
H
12
H
11
=
K
21
K
11
,
H
13
H
12
=
K
22
K
12
.
Luego, los factores de la segunda serie, son un reordenamiento de los factores de la primera.
Por lo tanto las series tienen renamientos equivalentes.
A AP
ENDICE
A.1.5. Teorema de Jordan-Holder
Si G tiene una serie de composicion S (en particular si G es de dimension nita), cualquier serie
subnormal R sin repeticion, puede ser renada a una serie de composicion. Mas a un, dos series de
composicion cualesquiera para G, son equivalentes.
Demostracion. Por A.1.4, R y S tienen renamientos equivalentes. Si sacamos los subgrupos repe-
tidos de ambas series, podemos producir renamientos equivalentes R
0
y S
0
, sin repeticiones. Pero
como S es una serie de composicion, no tiene renamientos propios, por lo tanto S
0
= S. Luego,
cualquier serie subnormal puede ser renada a una serie de composicion.
Si R tambien es una serie de composicion, tenemos que R
0
= R y as R y S son equivalentes.
BIBLIOGRAF
IA
Bibliografa
[1] Ash R.; Abstract Algebra: The Basic Graduate Year. 2000.
[2] Ash R.; A Course In Algebraic Number Theory. 2003.
[3] Hungerford; Algebra. Graduate Texts in Mathematics 73. Springer-Verlag, New York,
1974.
[4] Jacobson N.; Lectures in Abstract Algebra. Vol. III, Theory of Fields and Galois
Theory. Graduate Text in Mathematics 32, Springer-Verlag, New York, 1910.
[5] Koblitz N.; p-adics Numbers, p-adics Analysis and Zeta-Functions. Graduate Text
in Mathematics 58, Springer-Verlag, USA, 1948.

Introduccion A La Teoria Algebraica de Numeros

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Introduccion A La Teoria Algebraica de Numeros

Caricato da

Copyright:

Formati disponibili

Introduccion a la Teora Algebraica

d]. Pero lo enteros

es un morsmo de modulos, entonces:

2.4.13. Lema de Dedekind

(el conjunto de elementos no nulos de

d es un entero algebraico, as como lo es

Trabajo Final de Estructuras Algebraicas Hoja 14 de 79

Lema 3.1.3. Sea A un subanillo de R, y x

3.1.4. Transitividad de Extensiones Integrales

3.3.2. Mostrar que en la proposicion 3.1 la siguiente es otra equivalencia:

En los problemas de 3.3.6 a 3.3.8, consideraremos A un subanillo de B, con B integral sobre A, Q

3.3.8. Mostrar que P es un ideal maximal de A si y solo si Q es un ideal maximal de B.

Departamento de Matematica - UNLP Hoja 19 de 79

ATICAS DE LOS RACIONALES

d)/Q es Galois (2.4.8) y el grupo de

d es un entero algebraico si y solo si 2a y a

d. Luego x + (x) = 2a Q y ademas x(x) = a

d es raz del polinomio

d) con d libre de cuadrados puede

d es entero algebraico entonces a, b Z.

d) forman una base integral para B.

d es irracional, son linealmente independientes.

ATICAS DE LOS RACIONALES

d) son enteros algebraicos, bastara con ver que generan

d) donde u y v tienen la misma paridad, luego

d = 0 lo cual fuerza a que a y b sean iguales a 0.

de elementos no nulos de E. Este subgrupo es cclico. Observar ademas que

d) con d libre de cuadrados

ATICAS DE LOS RACIONALES

d) para alg un entero d libre de cuadrados.

d), con d libre de cuadrados, son todas

enteros libres de cuadrados distintos. Si Q(

Q lo cual es posible solo si a = 0 y b = 1, y en ese caso

, lo cual es absurdo, ya que

3 es una raz 3-esima primitiva de la unidad.

Corolario 5.1.6. Sea [E : F] = n, y [F(x) : F] = d. Sean x

Corolario 5.1.8. (Transitividad de la Traza y la Norma)

Trabajo Final de Estructuras Algebraicas Hoja 28 de 79

Departamento de Matematica - UNLP Hoja 29 de 79

d, hallar la norma y traza de x.

d. Como los automorsmos en E son la identidad y

d, por 5.1.7 se tiene que

5.3.2. Si E = Q() donde es una raz del polinomio c ubico irreducible X

5.3.4. Demostrar el Teorema de Hilbert:

5.3.5. En el teorema de Hilbert, son unicos los elementos y y z ?

5.3.7. Continuando con el ejercicio 5.3.6, mostrar que

Departamento de Matematica - UNLP Hoja 33 de 79

es la traspuesta de C. El resultado se sigue de tomar determinante.

Corolario 6.2.2. El conjunto B de enteros algebraicos en cualquier cuerpo numerico L es un

= I para concluir que det C es una

Departamento de Matematica - UNLP Hoja 37 de 79

la aplicacion dada por T(y) = l(y). Si T(y) = 0 entonces l(y) = 0,

tienen la misma dimension,

la base dual correspondiente.

Trabajo Final de Estructuras Algebraicas Hoja 38 de 79

d), d libre de cuadrados, es

Departamento de Matematica - UNLP Hoja 39 de 79

su grupo de Galois. Si restringimos cada

Departamento de Matematica - UNLP Hoja 41 de 79

ODULOS Y ANILLOS NOETHERIANOS Y ARTINIANOS

. Toda coleccion no vaca de submodulos de M tiene un elemento minimal respecto a la inclusion.

ODULOS Y ANILLOS NOETHERIANOS Y ARTINIANOS

ODULOS Y ANILLOS NOETHERIANOS Y ARTINIANOS