2012 AlgAvanz PDF

Notas para un Curso de Algebra Avanzada
Luis M. Pardo, Luis F. Tabera Alonso

Indice general
Captulo 1. Nociones basicas: anillos, modulos, variedades, ejemplos 5

1.1. Introduccion 5
1.2. Anillos, Ideales, Morfismos de Anillos 5
1.2.1. Las Nociones Elementales 5
1.2.2. Ejemplo: Anillos de Polinomios y Anillos de Series de Potencias Formales 7
1.2.3. Ejemplo: Anillos de Funciones en estructuras topologicas o diferenciables 9
1.2.4. Ejemplo: Funciones Booleanas 10
1.3. Modulos, Subm odulos, Morfismos de Modulos 10
1.3.2. Algunas Propiedades B asicas 13
1.4. Dominios, Primos, Maximales, Variedades 18
1.4.1. Variedades, no manifolds 18
1.4.2. Divisores de Cero. Ideales Primos y Maximales. 22
1.5. Cuestiones y Problemas 27
Captulo 2. El Teorema Chino de los Restos 29

2.1. Introducci on 29
2.2. El anillo producto y el TCR 29
2.3. Interpretacion del Teorema Chino de los Restos en el caso R = Z 32
2.3.1. En relacion con el problema de Sun Tzu. 34
2.3.2. Una Aplicaci on en computacion: Calculo del Determinante por
Algoritmos Modulares. 35
2.3.2.1. La B usqueda de un Buen N umero Primo. 37
2.3.2.2. Test de Primalidad. 37
2.3.2.3. Combinando el Teorema de Densidad de los N umero Primos y los
Tests de Primalidad. 38
2.3.2.4. La Estrategia Final 39
2.3.3. Secretos Compartidos. 39
2.4. El teorema Chino de los Restos en el caso R := k[X]. 39
2.4.1. Eliminaci on Univariada Cl
asica. 40
2.4.1.1. Mutiplicar por un polinomio. 41
2.4.2. El Teorema Chino de los Restos en R = k[X] y la Forma Canonica de
Jordan. 43
2.4.2.1. El
algebra k[X]/(f ). 43
2.4.3. Teora del Endomorfismo y el Maximo Com un Divisor en k[X]. 47
Captulo 3. Nociones un poco mas avanzadas: localizacion, radicales, categoras. 51

3.1. Introduccion 51
3.2. Local, Localizaci
on 51
3.2.1. Anillos Locales y Semi-locales: Germenes de Funciones 51
3.2.2. Localizaci
on 53
3.3. Ideal asociado a una variedad: radical y radical de Jacobson 55
3.3.1. Ideal de un Objeto Geometrico 55
3.3.2. Radical y Radical de Jacobson 56
3
4 Indice general
3.4. Funciones vs Objetos 59

3.4.1. El Lenguaje de las Categoras. 59
3.4.2. Categoras 59
3.4.3. Functores y Equivalencias Naturales 60
3.4.4. Variaci
on de un primer tema clasico: El Teorema de StoneCech 62
3.4.5. Variaci
on de un segundo tema clasico: El Lema de Urysohn y el Teorema
de Extensi
on de Tietze. 63
3.4.6. Variaci
on de un tercer tema clasico: Extension de funciones en Variedades
Diferenciables 63
Captulo 4. Anillos y Modulos Noetherianos: Primeras propiedades 67
4.1. Introduccion 67
4.2. Diagramas Conmutativos, Complejos y Sucesiones Exactas 68
4.3. El Bifunctor HomR (, ), localizacion, y propiedades locales 71
4.4. Anillos y M odulos Noetherianos 75
4.4.1. Condicion de cadena ascendente para submodulos e ideales 75
4.4.2. El Teorema de la Base de Hilbert 77
4.5. Descomposici on Primaria 79
4.5.1. Un par de resultados tecnios peliminares: NAK y otros 79
4.5.2. Descomposic on Primaria: Teorema de LaskerNoether 81
4.6. Temas Opcionales 86
4.6.1. Snake Lemma 86
4.6.2. Libres, Proyectivos, Inyectivos y Planos (Opcional) 86
Bibliografa 89
Captulo 1
Nociones b
asicas: anillos, m
odulos, variedades, ejemplos
Contents
1.2. Anillos, Ideales, Morfismos de Anillos 5
1.2.2. Ejemplo: Anillos de Polinomios y Anillos de Series de Potencias
Formales 7
1.2.3. Ejemplo: Anillos de Funciones en estructuras topologicas o
diferenciables 9
1.2.4. Ejemplo: Funciones Booleanas 10
1.3. M odulos, Subm odulos, Morfismos de M odulos 10
1.3.2. Algunas Propiedades B asicas 13
1.4. Dominios, Primos, Maximales, Variedades 18
1.4.1. Variedades, no manifolds 18
1.4.2. Divisores de Cero. Ideales Primos y Maximales. 22
1.1. Introducci
on
Este Captulo esta dedicado a introducir las nociones mas elementales, que se le supo-
nen o se le deben suponer al alumno, as como las notaciones mas habituales. Adicio-
nalmente, aprovechamos el Captulo para derezarlo con ejemplos provenientes de los

contextos menos habituales en las asignaturas de Algebra, mirando con especial aten-
cion a aquellos casos con interpretaci
on geometrica (Geometra Algebraic o Analtica).
El resultado es una abundante colecci on de ejemplos que podran aparecer mas adelante
durante el curso. La unica conclusi
on relevante que se le pide al alumno es que observe
que las nociones de anillo, cuerpo, ideal o modulo no constituyen una extravaganza
algebrstica. Son nociones demasiado habituales en Geometra y/o Teora de N umeros
como para considerarlas aisladamente.
1.2. Anillos, Ideales, Morfismos de Anillos

1.2.1. Las Nociones Elementales.
n 1.2.1 (Anillo). Un anillo es una terna (R, +, ), donde
Definicio
(1). (R, +) es un grupo abeliano, cuyo elemento neutro se suele denotar por 0R ,
(2). (R, ) es un monoide conmutativo, cuyo elemento neutro se suele denotar por
1R ,
(3). se verifica la propiedad distributiva siguiente:
a, b, c R, a (b + c) = a b + a c.
Como es habitual se omite el subndice R cuando no genera confusion. Supondremos

en adelante que 1R 6= 0R para descartar el anillo trivial R = (0).
5
6
1. NOCIONES BASICAS
Definicio n 1.2.2 (Subanillos, ideales, morfismos, unidades). Dado un anillo

(R, +, ), llamaremos:
(1). Subanillo: a todo subgrupo (S, +) de (R, +) tal que 1R S y S es cerrado
para la operaci
on producto, esto es,
a, b S, a b S.
(2). Ideal: a todo subgrupo (a, +) de (R, +) tal que se verifica:
a R, b a, a b S.
Los ideales (0) y R se denominan ideales impropios de R. Los demas se deno-
minan propios.
(3). Morfismo de anillos: Dados dos anillos (R, +, ) y (T, +, ), llamamos morfismo
entre los anillos R y T a todo morfismo de grupos f : (R, +) (T, +) tal
que:
f (1R ) = 1T ,
a, b R, f (a b) = f (a) f (b).
(4). Unidades en el anillo: A todos los elemenos a R tales que existe a0 R,
con aa0 = a0 a = 1R . Denotamos por R al conjunto de las unidades del anillo
R y forma un grupo abeliano con la operacion producto (R , ) llamado grupo
de las unidades del anillo R.
Proposicio n 1.2.1 (Propiedades elementales). Se tienen las siguientes propiedades

elementales:
(1). Los subanillos T de un anillo S son ideales si y solamente si R = T .
(2). Los morfismos de anillos transforman subanillos en subanillos en ambas di-
recciones. Es decir, si f : R T es un morfismo de anillos, se tiene:
Si S es subanillo de R, entonces f (S) := {f (x) : x S} es un subanillo
de T ,
Si U es un subanillo de T , entonces f 1 (U ) := {x R : f (x) U } es
un subanillo de R.
(3). Las im agenes inversas de ideales son ideales, pero no necesariamente lo son
las imagenes directas. Es decir, si f : R T es un morfismo de anillos, se
tiene:
Si b es un ideal de T , entonces f 1 (b) := {x R : f (x) a} es un ideal
de R.
Si b es un ideal de R, en general no es cierto que f (a) sea ideal de T .
Cuando no hay confusi on sobre el morfismo f , al ideal f 1 (b) se le denota
c
mediante b y se le denomina contracci on del ideal b de T .
(4). Un subgrupo a del grupo aditivo de un anillo (R, +, ) es ideal si y solamente
si, el grupo cociente (R/a, +) es anillo con la operaci on siguiente:
: R/a R/a R/a,
dada mediante
(x + a)(y + a) := xy + a, x + a, y + a R/a.
Al anillo A/a se le denomina anillo cociente de R por el ideal a.
(5). Un anillo es cuerpo si y solamente si R = R \ {0}.
(6). Un anillo es cuerpo si y solamente si los unicos ideales son los impropios.
En particular, si K es un cuerpo y f : K R es un morfismo de anillos,
entonces f es inyectivo (monomorfismo) y K se puede identificar con un
subanillo de R.
1.2. ANILLOS, IDEALES, MORFISMOS DE ANILLOS 7
Demostracion. La mayora de estas propiedades son evidentes y no necesitan de

mayor discusi
on.
Ejemplo 1.2.3. Los ejemplos m as elementales de anillos son obviamente los cuerpos,
como Q, R, C, o anillos como Z. Tambien son ejemplos de anillo los cocientes de Z por
sus ideales. Veremos, sin embargo, que hay muchos mas ejemplos.
1.2.2. Ejemplo: Anillos de Polinomios y Anillos de Series de Potencias

Formales. Sea X un conjunto cualquiera y sea R un anillo. El conjunto Ap(X, R) de
las aplicaciones de X en R es claramente un anillo con las operaciones naturales de
suma y producto de aplicaciones. El caso de los polinomios es una reinterpretacion de
Ap(X, R) que definiremos a continuacion.
n 1.2.2. El conjunto (Nn , +) es un monoide conmutativo con la operaci
Proposicio on:
+ : Nn Nn Nn ,
dada mediante:
(1 , . . . , n ) + (1 , . . . , n ) := (1 + 1 , . . . , 1 + 1 ).
M as a on es un morfismo de monoides entre (Nn , +) y (N, +),
un, la siguiente aplicaci
n
llamada grado: | | : N N, dada mediante
|(1 , . . . , n )| = 1 + + n .
A los elementos de Nn , en este contexto, se les suele llamar exponentes o exponentes
monomiales.
on. Es evidente.
Demostraci
Observacio n 1.2.3 (Grado + lexicogr

afico). Recordemos que podemos identificar (va
biyeccion) Nn con N de varias formas distintas. Cada una de esas biyecciones supone la
introduccion de un orden en Nn . Lo que haremos ahora es el proceso inverso: destacar
un orden en Nn (que defina una biyeccion con N) que es, ademas un orden monomial
(un orden monomial es un buen orden en Nn tal que verifica:
, , Nn , si , entonces + + .)
Un ejemplo de orden monomial es el grado + lexicogr afico (deglex ) , que se define
del modo siguiente. Sea lex el orden lexicografico en Nn . Observes que lex no es un
orden que permita biyectar Nn con N. Entonces, definimos: para , Nn , diremos
que deglex si se verifica:
[|| < ||] [(|| = ||) ( lex )] .
Consideremos el grupo aditivo (Ap(Nn , R), +) y definamos la funcion producto siguien-

te:
: Ap(Nn , R) Ap(Nn , R) Ap(Nn , R),
dada mediante: Dadas f, g Ap(Nn , R), definamos: f g : Nn R, mediante:
X
f g() := f ()g( ).
, Nn ,+ =
Observese que esta operaci on producto es la version discreta de la convocluaic
on de
funciones medibles.
Finalmente, definamos Ap0 (Nn , R) como aquellas aplicaciones que se anulan salvo en
un numero finito de ndices, Esto es,
Ap0 (Nn , R) := {f : Nn R : I Nn , I finito, f () = 0, 6 I}.
n 1.2.4. Con las anteriores notaciones:
Proposicio
8
1. NOCIONES BASICAS
(1). La terna (Ap0 (Nn , R), +, ) es un anillo conmutativo con unidad que se de-
nomina anillo de polinomios en n variables con coeficientes en R y se denota
mediante R[X1 , . . . , Xn ]
(2). La terna (Ap(Nn , R), +, ) es un anillo conmutativo con unidad que se deno-
mina anillo de series de potencias formales en n variables con coeficientes en
R y se denota mediante R[[X1 , . . . , Xn ]]
En particular, R[X1 , . . . , Xn ] es un subanillo de R[[X1 , . . . , Xn ]].
on. Es un ejercicio de mera comprobacion.
Demostraci
Notacio n 1.2.4. Hay una notaci on estandarizada de estos objetos. Supongamos da-
do := (1 , . . . , n ) N un exponente monomial. Se define el monomio X :=
n
X11 X22 Xnn R[X1 , . . . , Xn ] = Ap0 (Nn , R) como la transformacion X : Nn

R, dada mediante:
1, si = ,
X () :=
0, en caso contrario.
Dado a R, se define el el termino aX R[X1 , . . . , Xn ] como como la transformacion
aX : Nn R, dada mediante:

a, si = ,
aX () :=
0, en caso contrario.
Se dice que a es el coeficiente de aX , que es su exponente y que || N es el grado
del termino.
Lema 1.2.5. Con estas notaciones, R es un subanillo de R[X1 , . . . , Xn ], identificando

R con el conjunto de terminos:
{X (0) : R},
donde (0) = (0, . . . , 0) Nn es el elemento neutro de Nn como monoide.
on. Obvio.
Demostraci
Proposicio n 1.2.6. Sea K un cuerpo y K[X1 , . . . , Xn ] el anillo de polinomios en n

variables con coeficientes en K. Entonces,
(1). K[X1 , . . . , Xn ] es un Kespacio vectorial, con base dada por los monomios
{X : Nn }.
(2). Dado un polinomio f K[X1 , . . . , Xn ], tenemos una representaci
on:
X
f := a X ,
I
donde I Nn es un conjunto finito, {a : I} K. Definiremos

grado de f como el m aximo de los grados de los terminos no nulos en una
descomposicion como la anterior. Es una noci on bien definida.
(3). Dado un entero d N, denotaremos por Hd (X1 , . . . , Xn ) al Ksubespacio
vectorial de K[X1 , . . . , Xn ] generado por los monomios de grado d, es decir,
generado por:
{X : || = d, Nn }.
Entonces, Hd (X1 , . . . , Xn ) es un espacio vectorial de dimensi
on finita e igual
a
d+n1
dimK Hd (X1 , . . . , Xn ) = .
n1
1.2. ANILLOS, IDEALES, MORFISMOS DE ANILLOS 9
Mas a
un, tenemos la descomposici on de K[X1 , . . . , Xn ] en suma directa de
subespacios siguiente:
M
K[X1 , . . . , Xn ] := Hd (X1 , . . . , Xn ).
dN
on. Las afirmaciones son de mera comprobacion.

Demostraci
Observacio n 1.2.7. En el caso de series de potencias formales tambien se admite una

on de la forma siguiente: Dada f K[[X1 , . . . , Xn ]], escribiremos:
representaci
X
f := a X ,
Nn
aunque, obviamente, por ser una suma infinita es un lmite y require de varias discu-
siones adicionales como la introducci
on de una topologa y de una metrica.
Observacio n 1.2.8 (Polinomios y Series de Laurent). Si en las definiciones anteriores

hubieramos tomado como punto de partida el grupo (Zn , +) en lugar del monoide
(Nn , +) tendramos similares conjuntos de aplicaciones Ap0 (Zn , R) y Ap(Zn , R). En este
caso se habla de polinomios y series de Laurent y se denotan, en ocasiones, mediante
R[X1 , X11 , X2 , X21 , . . . , Xn , Xn1 ], y R[[X1 , X11 , X2 , X21 , . . . , Xn , Xn1 ]].
Pero no discutiremos sobre estos anillos aqu.
1.2.3. Ejemplo: Anillos de Funciones en estructuras topol ogicas o dife-

renciables. En un contexto distinto, podemos condierar directamente anillos de fun-
ciones Ap(X, R), donde X es un conjunto cualquiera. Lo que sigue es la presentacion
de varios subanillos de Ap(X, K), donde K = R C, seg
un el caso.
Ejemplo 1.2.5 (Funciones a valores reales). Los siguientes son ejemplos de anillos:
(1). Sea X un espacio topologico, el conjunto de las funciones continuas C 0 (X, R) :=
0
C (X) es un anillo.
(2). Sea X un abierto de una veriedad diferenciable (C ), el conjunto C (X) de
las funciones infinitamente diferenciables definidas en X es tambien un anillo
conmutativo con unidad con las operaciones usuales de suma y producto de
funciones.
(3). Sea X un abierto en Rn , la familia de funciones analticas reales C (X) es
tambien un anillo.
Notese que tenemos la siguiente cadena (propia, todos los contenidos son estrictos) de
subanillos, cuando X Rn es un abierto.
R C (X) C (X) C 2 (X) C 1 (X) C 0 (X).
Ejemplo 1.2.6 (Funciones a valores complejos). Los siguientes son ejemplos de

anillos:
ogico, el conjunto de las funciones continuas C 0 (X, C)
(1). Sea X un espacio topol
es un anillo.
(2). Sea X un abierto en Cn , el conjunto de las funciones analticas complejas
(tambien llamadas holomorfas) definidas en X H(X) es un anillo.
10
1. NOCIONES BASICAS
1.2.4. Ejemplo: Funciones Booleanas. Son funciones basicas en Logica y en

dise
no de Circuitos Digitales. Por ahora nos vamos a coformar con definirlas. Comen-
zamos observando la identificacion {0, 1} = Z/2Z que identifica los valores booolea-
nos {0, 1} (o tambien en su versiones verdadero/falso: {V, F}) con el cuerpo primo
de caracterstica 2. Se denomina funcion booleana de n variables a toda aplicacion:
n
f : {0, 1} {0, 1}. Se define el conjunto de funciones booleanas
Bn := {f : {0, 1}n {0, 1} : f es aplicacion}.
Es facil de observar que podemos indetificar
Bn
= P({0, 1}n ),
es decir, el conjunto de funciones booleanas con el conjunto de todos los subconjuntos
de {0, 1}n . La biyecci
on entre ambos conjuntos es dada por las funciones caractersticas:
Dado un subconjunto L P({0, 1}n ), definimos la funcion booleana L Bn
dada mediante:
x {0, 1}n , L (x) = 1 x X.
Recprocamente, dada una funcion booleana f Bn , definimos el lenguaje
aceptado por f como L := f 1 ({1}) P({0, 1}n ).
Ahora, identificando {0, 1} con Z/2Z, observamos que Bn := Ap({0, 1}n , Z/2Z) y tiene
una estructura de anillo natural a traves de las operaciones del cuerpo Z/2Z.
Podemos concluir:
Proposicio n 1.2.9. El conjunto de funciones booleanas Bn tiene una estructura natural
de anillo conmutativo con unidad, es biyectable al conjunto P({0, 1}n ) y tiene, por tanto,
cardinal dado por la siguiente identidad:
n
] (Bn ) = 22 .
on. Es lo discutido en p
Demostraci arrafos previos.
1.3. M
odulos, Subm
odulos, Morfismos de M
odulos
1.3.1. Las Nociones Elementales.
n 1.3.1 (M
Definicio odulo). Dea (R, +, ) un anillo. Llamaremos Rmodulo a toda
terna (M, +, R ) donde:
(1). (M, +) es un grupo abeliano,
(2). R : R M M es una aplicacion, que se representa mediante R (x, m) :=
xm, verificando:
a) Propiedad Distributiva I: x R, m, n M, x(m + n) = xm + xn.
b) Propiedad Distributiva II: x, y R, m M, (x + y)m = xm + ym.
c) Propiedad Asociativa: x, y R, m N, (xy)m = x(ym).
d ) Elemento Neutro: m M, 1m = m.
Ejemplo 1.3.2. Los siguientes son ejemplos basicos de modulos:

(1). Los ejemplos mas evidentes de modulos son los espacios vectoriales: Un espacio
vectorial V sobre un cuerpo K no es otra cosa que un Kmodulo (ambas
nociones son equivalentes).
(2). Los grupos abelianos no son otra cosa que Zmodulos (ambas nociones son
equivalentes).
(3). Los anillos son modulos sobre s mismos.

1.3. MODULOS,
SUBMODULOS,
MORFISMOS DE MODULOS 11
(4). Tambien son Rm odulos Ap(X, R) y Ap0 (X, R). Los Rmodulos de la forma
Ap0 (X, R), se denominan Rm odulos libres. En el caso de que X sea finito,
Ap0 (X, R) = Ap(X, R) y si X es de cardinal n escribiremos simplemente
Ap0 (X, R) = Ap(X, R) = Rn ,
y diremos que es un Rm odulo libre de rango n.
(5). Usualmente, se tienen las notaciones siguiente paras los modulos Ap(X, R) y
Ap0 (X, R):
Y M
Ap(X, R) = RX := R, Ap0 (X, R) := R.
X X
En un sentido general se habla de m
odulo producto y modulo suma. Dada una
odulos {Mi : i I}, denotaremos
familia de m
Y [
Mi := { : I Mi : (i) Mi , i I}.
iI iI
M Y
Mi := { Mi : J I, J finito, (i) = 0, i 6 J}.
iI iI
(6). Sea f : R S un morfismo de anillos. Entonces podemos definir sobre S
odulo: R : R S S, dada mediante:
una estructura de Rm
x R s := f (x) s, x R, s S.
Se dice que S es una R algebra. Esto incluye el caso de subanillos (f sera la in-
clusi
on) y, por tanto, son R algebras C 0 (X), C 1 (X), . . . , C , . . . y son Calge-
0
bras C (X, C) y H(X).
(7). Los anillos R[X1 , . . . , Xn ] y R[[X1 , . . . , Xn ]] tienen una estructura natural de
Rm odulo y son R algebras. Mas a un, si consideramos los polinomios ho-
mogeneos de grado fijado con coeficientes en R (el conjunto Hd (X1 , . . . , Xn ))
tendremos un Rm odulo libre de rango

d+n1
.
n1
(8). Los conjuntos de matrices Mnm (R) tienen una estructura natural de Rmodu-
lo libre de rango nm.
Ejemplo 1.3.3 (Teora del Endomorfismo). Sea V un espacio vectorial sobre un

cuerpo K, : V V una aplicacion lineal. Podemos definir una estructura de
K[X]modulo sobre V que se conoce como Teora del Endomorfismo. Se define del
modo siguiente: Definamos recursivamente:
0 = IdV (la identidad),
1 = ,
Para n 2, n := n1 , donde es la composicion.
Dado p K[X], de la forma:
p := ao + a1 X + a2 X 2 + an X n ,
definimos p() : V V mediante:
p() := a0 IdV + a1 + a2 + + an n .
Finalmente, definimos K[X] V V como
(p(X), v) p()(v) V.
odulos, morfismos). Sea R un anillo y sean M, M 0 dos

n 1.3.4 (Subm
Definicio
Rmodulos.
12
1. NOCIONES BASICAS
(1). Un subgrupo (N, +) del grupo aditivo (M, +) se dice submodulo de M si,
adem
as, verifica:
x R, n N, xn N.
(2). Un morfismo de grupos f : (M, +) (M 0 , +) se dice morfismo de Rmodu-
los si verifica:
x R, m M, f (xm) = xf (m).
El conjunto de todos los morfismos de Rmodulo entre M y M 0 se denota
mediante HomR (M, M 0 ).
Ejemplo 1.3.5. (1). Los subm odulos de un anillo, como modulo sobre s mismo,
son, precisamente, los ideales.
(2). Los subm odulos de los espacios vectoriales son los subespacios.
(3). Los subm odulos de los grupos abelianos son los subgrupos.
(4). Obviamente los subgrupos impropios (0) y M de M son submodulos.
Ejemplo 1.3.6. (1). En el caso de espacios vectoriales, HomK (V, W ) son las apli-
caciones lineales.
(2). En el caso de grupos abelianos, HomZ (A, B) son los morfismos de grupos
entre A y B.
Observacio n 1.3.1. Observese que los morfismos de Rmodulos f : M N , preser-

van el anillo R. En cambio, si f : R S es un morfismo de anillos, entonces definimos
una estructura de Rm odulo sobre S. Para esa estructura, se tiene que f es morfismo
de Rmodulos, aunque no sea la identidad sobre R.
Observacio n 1.3.2. Usaremos la terminologa al uso y hablaremos de monomorfismos,
epimorfismos e isomorfismos para referirnos, respectivamente, a morfismos de Rmodu-
los inyectivos, suprayectivos y biyectivos
n 1.3.3. Sean M y N dos m

Proposicio odulos sobre un anillo R.
(1). Un subgrupo N de (M, +) es subm odulo si y solamente el grupo cociente
(M/N, +) es Rm on R : R M/N M/N dada
odulo con la operaci
mediante:
x R (m + N ) := xm + N, x R, m + N M/N.
(2). Para cada morfismo f : M N se verifica:
a) Para cada subm odulo S de M , f (S) := {f (m) : m S} es subm odulo
de N . Un caso particular es el submodulo imagen Im(f ) := f (M ).
b) Para cada subm odulo T de N , f 1 (T ) := {m M ; f (m) T } es un
submodulo de M . Un caso particular es el nucleo ker(f ) := f 1 ((0)).
(3). El conjunto HomR (M, N ) es un Rm odulo con las operaciones:
+ : HomR (M, N ) HomR (M, N ) HomR (M, N ),
y
R : R HomR (M, N ) HomR (M, N ),
dadas para cada f, g : M N , y x R, definimos f + g : M N y
xf : M N , dadas por:
f + g(m) := f (m) + g(m), m M,
y
(xf )(m) := xf (m), m M.

1.3. MODULOS,
SUBMODULOS,
Obviamente esta Proposicion nos da toda una coleccion adicional de modulos a traves
de operaciones de cociente y tomar morfismos.
Definicio n 1.3.7 (Rm

odulos libres de rango finito). Se denomina Rm
odulo libre de
rango finito a todo Rmodulo M tal que existe un conjunto finito X y u isomorfismo
de Rmodulos : M Ap0 (X, R). Se denomina rango de M al cardinal ](X) del
conjunto X (i.e. rankR (M ) = ](X)).
Se denomina base de M como Rm odulo a cualquier subconjunto finito := {1 (ei ) :
i X}, donde ei : X R, es la aplicacion dada mediante:

1, si x = i
ei (x) :=
0, en otro caso
Proposicio n 1.3.4. Sea M y N dos Rm odulos libres de rango finito, con rangos
respectivos m y n. Entonces, existe un isomorfismo de Rm odulos entre HomR (M, N )
y Mnm (R). En particular, cuando M y B son Rm odulos libres de rango finito,
HomR (M, n) tambien lo es y su rango coincide con rankR (M )rankR (N ).
Demostraci on. Sin perdida de la generalidad podemos suponer que M = Rm y
n
N = R . Podemos, adem as, fijar dos bases ordenadas 1 en M y 2 en N . Sin perdida
de la generalidad, podemos suponer que son las llamadas bases canonicas. Ahora, para
cada HomR (M, N ), definamos la matrix M () Mnm (R) cuyas columnas sean
las imagenes (en Rn ) de los elementos de la base 1 . M () es una matriz con n filas y
m columnas. Queda como ejercicio comprobar que M : HomR (M, N ) Mnm (R)
es un isomorfismo de Rm odulos. Es el mismo arfgumento obvio ya hecho en el caso

del Algebra Lineal.
n 1.3.8 (CoN
Definicio ucleo). Dado un morfismo de Rmodulos f : M N , se
denomina conucleo al Rmodulo N/Im(f ).
1.3.2. Algunas Propiedades B

asicas.
Teorema 1.3.5 (Primer Teorema de Isomorfa). Dado f : M N un morfismo
de Rm
odulos, f induce un isomorfismo
f : M/ ker(f ) Im(f ) N,
dado mediante f(m + ker(f )) = f (m).
on. Es la misma desmotracion de lo ya hecho para grupos abelianos.
Demostraci
Corollario 1.3.6. Todo grupo abeliano finitamente generado es el con

ucleo de un
morfismo entre grupos abelianos libres de rango finito.
Demostraci on. Recuerdese que un grupo abeliano G se dice finitamente generado si
existe n N y existe un epimorfismo de grupos
: Zn G.
Como es morfismo de grupos abelianos, tambien se tiene HomZ (Zn , G). Con-
sideremos ahora K Zn el n
ucleo del morfismo . Ahora recordamos una propiedad
crucial de los Zm
odulos:
odulo de Zn es un Zm
Hecho Probado 1.3.7. Todo subm odulo libre de rango finito.
No demostraremos aqu esta propiedad que los alumnos ya han visto en el curso de
Teora de Grupos. Entonces, K es libre y existe m N y existe : Zm K tal que
es epimorfismo de Zm odulos. En particular, tenemos : Zm Zn un morfismo de
14
1. NOCIONES BASICAS
Zmodulos libres de rango finito y la imagen verifica Im() = K. Aplicando el Primer

Teorema de ISomorfa tendremos:
G= Zn /K = Zn /Im() = Co ker().

Proposicio n 1.3.8. La intersecci
on de una familia cualquiera de subm odulos es un
subm odulo. Del mismo modo, la intersecci
on de una familia cualquiera de ideales es un
ideal.
on. Mero ejercicio de comprobacion formal.
Demostraci
Proposicio n 1.3.9 (Definici

on de Subm odulo Generado por un conjunto).
Dado un subconjunto F M de un Rm odulo M. Llamaremos subm
odulo generado
por F al menor submodulo que le contiene. Es decir,
\
RhF i := {N : F N, N es submodulo de M }.
La siguiente expresi
on tambien caracteriza el subm
odulo generado por F :
X
RhF i := { xg g : G F es finito, xg R}.
gG
En particular, se aplica a los ideales de un anillo R (que son sus subm

odulos como
m
odulo sobre s mismo)
Notacio n 1.3.9 (M odulos, subm odulos e ideales finitamente generados). Modu-

los y submodulos finitamente generados seran aquellos generados por un conjunto finito
de elementos. Escribiremos Rm para denotar al submodulo generador por {m} En oca-
siones escribiremos Rm1 + + Rmr para denotar al modulo Rhm1 , . . . , mr i generado
por el conjunto finito {m1 , . . . , mr }.
Para ideales, sin embargo, escribiremos (a1 , . . . , am ) para denotar el ideal generado por
la familia {a1 , . . . , am }. Notese que, en el caso de un conjunto de generadores finito se
tiene:
(Para subm odulos) dado m M , se tiene m Rhm1 , . . . , mr i si y solamente
si existen x1 , . . . , xr R tales que:
Xr
m= xi mi .
i=1
(Para ideales) dado x R, se tiene x (a1 , . . . , ar ) si y solamente si existen
x1 , . . . , xr R tales que:
r
X
x= xi ai .
i=1
Proposicio n 1.3.10. Todo Rm odulo finitamente generado es el cociente de un Rmodu-

lo libre de rango finito por uno de sus subm odulos. No es cierto, en general, que todo
Rm odulo finitamente generado sea libre.
Demostraci on. La prueba de la afirmacion positiva es obvia, mientras que los ejemplos
de Zmodulos con torsi
on (ya vistos por los alumnos) son buenos ejemplos de modulos
finitamente generados que no son libres:
Z/2Z Z/3Z,
por ejemplo, como Zm
odulos.
n 1.3.10. (R
Definicio algebras finitas y finitamente generadas) Con estas notaciones:

1.3. MODULOS,
SUBMODULOS,
Una R algebra B se llama finitamente generada si es isomorfa a un cociente

de alg
un anillo de polinomios R[X1 , . . . , Xn ] por alguno de sus ideales a.
Una R algebra B se dice finita si B es un Rmodulo finitamente generado.
Definicio n 1.3.11 (Suma de Subm odulos e Ideales). Dada una familia {Ni : i
I} de submodulos de un Rm odulo M , llamaremos submodulo suma de los submodulos
de esta familia al submodulo generador por la union de todos ellos.
X
Ni := RhiI Ni i.
iI
P
Del mismo modo dada una familia de ideales {ai : i I}, denotaremos por iI ai al
ideal suma de esa familia.
Definicio n 1.3.12 (Ideales y Anillos Principales). Un ideal generado por un solo

elemento se llama ideal principal y el anillo se dice principal si todos sus ideales son
principales.
Ejemplo 1.3.13. (1). Los ideales impropios son principales (0) y (1). En particu-
lar, los cuerpos son anillos pricipales.
(2). Los anillos Z y K[X] son pricipales.
(3). El anillo Z[X] no es principal. El ideal a := (2, X) no puede ser generado por
un solo elemento de Z[X].
Definicio n 1.3.14 (Producto de ideales y de ideales por subm odulos). Se trata

de las nociones siguientes:
(1). Dados dos ideales a y b de un anillo R, definimos el ideal producto como el
ideal ab generado por {xy : x a, y b}.
(2). Dado un ideal a de un anillo R y un submodulo N de un Rmodulo M ,
escribiremos aN para designar al submodulo generado por:
{xm : x a, m N }.
Proposicio n 1.3.11 (Producto y generadores). Sea a y b dos ideales en un anillo

R, respetivamente generados por conjuntos finitos
a = (f1 , . . . , fr ), b = (g1 , . . . , gs ).
Entonces, el ideal producto ab est
a generado del modo siguiente:
ab = ({fi gj : 1 i r, 1 j s}).
Una propiedad an
aloga se verifica para el producto de ideales por subm
odulos.
on. Ejercicio de comprobacion.
Demostraci
Afirmaciones an
alogos son obvias para ideales y modulso generados por familias cua-
lesquiera.
Proposicio n 1.3.12 (Propiedades Elementales para ideales). Las operaciones inter-
secci
on, suma y producto de ideales verifican las usuales propiedades asociativas, con-
mutativa, existencia de elemento neutro. Adem as:
Se verifica la Ley Modular de la intersecci
on con respecto al la suma (por ser
simplemente subgrupos)
la propiedad distributiva del producto con respecto a la suma.
a.(b + c) = a.b + a.b.
16
1. NOCIONES BASICAS
Retomamos el ejemplo 1.3.3 y observamos que:

Proposicio n 1.3.13 (Teora del Endomorfismo). Sea V un espacio vectorial de
on n sobre un cuerpo K, : V V una aplicaci
dimensi on lineal. Entonces, V es un
K[X]m odulo finitamente generado. Mas a
un, V es isomorfo como K[X]m odulo a
una descomposicion
r

Y
V = K[X]/(fi (X)),
i=1
donde f1 , . . . , fr son los factores invariantes de como endomorfismo.
Demostraci on. Sin perdida de la generalidad podemos suponer que viene dado, en
una cierta base
:= {v1 , . . . , vn },
por su forma de Frobenius. Es decir:

C(f1 ) 0 0 0
0 C(f 2 ) 0 0
M () := ,

.. .. . .. ..
. . .
0 0 0 C(fr )
C(fi ) es la matriz compa nera de un polinomio fi K[X] y f1 , . . . , fr son los factores
invariantes de . En particular, todos ellos son polinomios monicos y, tomando di =
deg(fi ), verifican:
d1 d2 dr ,
f1 es el polinomio mnimo de ,
fi+1 | fi ,
d1 + d2 + + dr = n.
Supongamos, adem as,
i 1
dX
(i)
fi := X di + ak X k .
k=0
Observese que se tienen las propiedades siguientes en la operacion de K[X]modulo:
Para 1 i d1 1, Xvi = vi+1
Para i = d1 tendremos
1 1
dX 1 1
dX
(1) (1)
Xvd1 = X d1 v1 = ak X k v1 = ak vk+1 .
k=0 k=0
En general, para d1 + d2 + + ds + 1 i d1 + d2 + + ds + ds+1 1,
tendremos Xvi = vi+1 .
Para i = d1 + + ds + ds+1 , tendremos
ds+1 1
(d )
X
ds+1
Xvd1 ++ds +ds+1 = X vd1 ++ds +1 = ak s+1 X k vd1 ++ds +1 ,
k=0
y, por tanto,
ds+1 1
(d )
X
Xvd1 ++ds +ds+1 = ak s+1 vd1 ++ds +k+1 .
k=0
Estas identidades nos permiten definir el isomorfismo de K[X]modulos siguiente:

r
Y
: (K[X]/(fi (X))) V,
i=1

1.3. MODULOS,
SUBMODULOS,
definido del modo siguiente: dado

r
Y
Q := (q1 + (f1 ), q2 + (f2 ), . . . , qr + (fr )) (K[X]/(fi (X))) ,
i=1
definimos
(Q) := q1 (X)v1 + q2 (X)vd1 +1 + + qr (X)vd1 +dr1 +1 ,
y comprobar que es un isomorfismo de K[X]modulos.
Proposicio n 1.3.14 (Teoremas de Isomorfa). Sean N M L Rm

odulos,
entonces se tiene un isomorfismo
(L/N ) /
(M/N ) = L/N.
De otro lado, dados M1 y M2 subm
odulos de un Rm odulo M , se tiene el isomorfismo
can
onico:
(M1 + M2 ) /M1
= M2 / (M1 M2 ) .
on. Es la misma prueba de siempre.
Demostraci
Observacio n 1.3.15 (Ideales y Subm odulos del Cociente). Dentro de la prueba
de los Teoremas de Isomorfa, tendremos las siguientes propiedades:
(1). Los ideales del anillo cociente R/a son de la forma b/a, donde b es un ideal
de R que contiene al ideal a.
(2). Los subm odulos del modulo cociente M/N son de la forma L/N , donde L es
un submodulo de M que contiene al submodulo N .
Ademas esa relacion es biyectiva y preserva el orden. Insistamos un poco mas en la
descripcion de estas ideas.
En el caso de anillos. Sea a
/ R un ideal en el anillo R. Por ser ideal R/a
posee una estructura natural de anillo ya discutida anteriormente. Tenemos,
ademas, un epimorfismo de anillos dado por la proyeccion canonica:
: R R/a
x 7 x + a.
Para un ideal b de R, uno puede observar que la imagen por de b es dada
por:
(b) := {x + a : x b}.
Es f
acil observar que (b) = (b + a) y que b + a es un ideal de R que contiene
a a. Por eso, si b es un ideal de R que contiene a a, entonces, (b) es un ideal
de R/a que denotaremos mediante b/a.
De otro lado, para un ideal i de R/a, la antiimagen por es dada por
1 (i) = {x R : x + a i}.
Por lo visto anteriormente, 1 (i) es ideal en R y dado que 0 + a i, uno
concluye que a 1 (i).
Con estas observaciones, es claro que la siguiente define una biyeccion entre
ideales:
{b R : b a, b es ideal} {i R/a : i es ideal}
b 7 (b) = b/a,
cuya inversa es dada por i 7 1 (i).

18
1. NOCIONES BASICAS
En el caso de Rm odulos. Se trata esencialmente del mismo tipo de argu-

mento. Sea N
subseteqM un subm odulo del Rmodulo M . El cociente M/N posee una
estructura natural de Rm odulo anillo ya discutida. Tenemos, ademas, un
epimorfismo de Rm odulos dado por la proyeccion canonica:
: M M/N
x 7 x + N.
Para un Submodulo L de M , uno puede observar que la imagen por de L
es dada por:
(L) := {x + N : x L}.
Es f
acil observar que (L) = (L + N ) y que L + N es un submodulo de M
que contiene a N . Por eso, si L es un submodulo de M que contiene a N ,
entonces, (L) es un subm odulo de M/N que denotaremos mediante L/N .
De otro lado, para un subm odulo K de M/N , la antiimagen por es dada
por
1 (K) = {x M : x + N K}.
Por lo visto anteriormente, 1 (K) es submodulo de M y dado que 0+N K,
uno concluye que N 1 (K).
Con estas observaciones, es, de nuevo, claro que la siguiente define una biyec-
cion entre submodulos:
{L subm odulo de M : L N } {K submodulo de M/N }
L 7 (L) = L/N,
cuya inversa es dada por K 7 1 (K).
1.4. Dominios, Primos, Maximales, Variedades

1.4.1. Variedades, no manifolds.
Ejemplo 1.4.1 (Ceros de una funci on a valores reales). A partir de una funcion
0
continua f C (X) sobre un espacio to0pologico X podemos definir el conjunto de sus
ceros comunes en X:
VX (f ) := {x X : f (x) = 0} := f 1 ({0}).
El conjunto VX (f ) es obviamente un cerrado en X y resulta facil observar algunas
identidades elementales como las siguientes:
VX (f ) VX (g) := VX (f.g), VX (f ) VX (g) := VX (f 2 + g 2 ).
Igualmente, para cualquier abierto X Rn , se usa la misma notacion para los anillos
C (X) C (X) C 0 (X). An alogamente para el caso de abiertos X de variedades
diferenciables y los anillos C (X) C 0 (X).
Para una lista finita de funiones f1 , . . . , fm C k (X), podemos denotar por VX (f1 , . . . , fm )
sus ceros comunes, es decir,
VX (f1 , . . . , fm ) := VX (f1 ) VX (f2 ) VX (fm ).
Cuando no haya confusi
on, omitiremos en subndice X.
Podemos mostrar algunas propiedades como las siguientes (que no demostraremos).

Teorema 1.4.1 (Withney). Dado cualquier subconjunto cerrado F Rn , existe una
on f C (Rn ) tal que
funci
F = VRn (f ).
1.4. DOMINIOS, PRIMOS, MAXIMALES, VARIEDADES 19
on. Se trata de una adaptacion del Lema de Morse-Sard.

Demostraci
Este enunciado significa simplemente que los cerrados de Rn son los objetos que se
estudian estudiando los conjuntos dados implcitamente por funciones C .
Dadas dos variedades diferencibles M y una funcion f : M N , para cada punto
a M denotaremos por Ta f la funcion tangente alrededor del punto a. Es decir,
Ta f : Ta M Tf (a) N.
Teorema 1.4.2 (Caracterizaci on de subvariedades). Sea M una variedad de dimen-
si
n m y N un subconjunto. Entonces, N es subvariedad de M si y solamente si pa-
ra cada punto a N existe un entorno abierto U de a en M y existen funciones
f1 , . . . , fmn C (U ) tales que
N U = VU (f1 ), , fmn ).
Dada la aplicacion f := (f1 , . . . , fmn ) : M Rmn , la aplicaci
on tangente
asociada Ta f : Ta M T0 R mn es suprayectiva (submersion), donde 0
Rnm es el origen de coordenadas.
on. Aunque no lo demostraremos, la prueba se basa en el Teorema del
Demostraci
Rango Constante.
Ejemplo 1.4.2 (Ceros de una funci on a valores complejos). A partir de una

funcion continua f C 0 (X, C) podemos definir el conjunto de sus ceros comunes en X:
VX (f ) := {x X : f (x) = 0} := f 1 ({0}).
El conjunto VX (f ) es, de nuevo, cerrado en X y resulta facil observar algunas iden-
tidades elementales como VX (f ) VX (g) := VX (f.g). No es cierto, en general, que
VX (f ) VX (g) = VX (f 2 + g 2 ). De manera analoga consideraremos los ceros de una fa-
milia finita VX (f1 , . . . , fm ). A estos conjuntos se les denomina conjuntos Canalticos
( `a la BruhatCartan).
Del mismo modo se puede hacer con funciones en cualquiera de los subanillos; pero ya
no se puede escribir siempre VX (f ) VX (g) := VX (h) para una sola funcion h en H(X).
Es decir, intersecci on de hipersuperficies Canalticas complejas no es necesariamente
una hipersuperficie de la misma clase.
Ejemplo 1.4.3 (Funciones polinomiales). Sea K un cuerpo y K un cuerpo algebrai-

camente cerrado que le contiene. En muchos casos supondremos que K es la clausura
algebraica de K, pero dejamos abierta la posibilidad de que sea un cuerpo algebrai-
camente cerrado m as amplio. Retomemos la nocion del anillo K[X1 , . . . , Xn ] vista en
Subseccion 1.2.2 anterior. Ahora consideremos aplicaciones Ap(Kn , K) A sus elemen-
tos se les denomina funciones polinomiales afines definidas en Kn . Podemos empezar
considerando las m as elementales, las proyecciones can
nonicas:
i : Kn K, 1 i n,
donde i es la proyecci
on en la iesima coordenada. En lugar de denotarlas por i
pasaremos a denotarlas mediante Xi .
Consideremos ahora el anillo K[Kn ] := K[1 , . . . , n ] dado como el menor subanillo de
Ap(Kn , K) que contiene a K y a las proyecciones (a este aniilo se le denomina anillo
de las funciones polinomiales definidas en Kn y Kdefinibles. Se tiene el siguiente
resultado:
n 1.4.3. Con las anteriores notaciones,
Proposicio
K[Kn ] = K[1 , . . . , n ]
= K[X1 , . . . , Xn ].
20
1. NOCIONES BASICAS
Demostraci on. Como ya hemos dicho, vamos a identificar i con Xi . Por lo visto en
la subseccion 1.2.2 todos los elementos f K[X1 , . . . , Xn ] admiten una representacion
de la forma:
a X11 , Xnn .
X
f :=
||d
Entonces, podemos asociar a cada f K[X1 , . . . , Xn ] una aplicacion
f : Kn K,
mediante
X
(1.4.1) f (x) := a 1 (x)1 n (x)n .
||d
Esto define una aplicaci on : K[X1 , . . . , Xn ] Ap(Kn , K) dada mediante (f ) :=

n
f Ap(K , K). Es claro tambien que es un morfismo de anillos, por cuanto la imagen
(K[X1 , . . . , Xn ]) es un subanillo de Ap(Kn , K). Es claro tambien que esa imagen
contiene al cuerpo K (funciones constantes en K dentro de Ap(Kn , K)). Tambien es
obvio que contiene a las proyecciones i := (Xi ). Pero, ademas, si un subanillo contiene
a K y a las proyecciones i , 1 i n, entonces tambien contiene a toda expresion
de la forma dada en la Ecuaci on (1.4.1) anterior. Por tanto, (K[X1 , . . . , Xn ]) es el
n
menor subanillo de Ap(K , K) que contiene a K a las proyecciones 1 , . . . , n . Es decir,
(K[X1 , . . . , Xn ]) = K[Kn ].
Para verificar la Proposici on, s
olo nos queda verificar que es inyectiva. Para eso,
recurrimos al Problema 1.5.4. Como todo cuerpo algebraicamente cerrado es de car-
dinal infinito, dado f K[X1 , . . . , Xn ], si f (x) = 0, x Kn , entonces f = 0 en
K[X1 , . . . , Xn ] y es inyectiva, con lo que concluimos el enunciado.
Observacio n 1.4.4. En muchos casos escribiremos f en lugar de f para denotar la

funcion polinomial definida por un polinomio f K[X1 , . . . , Xn ]. En esos casos, se
debe tener en mente la dualidad entre los conceptos de funcion y polinomio.
Notese tambien que esta identidad depende fuertemente de la condicion K es un cuerpo
de cardinal infinito. Si hubiesemos considerado Ap(K n , K) con K cuerpo finito, no es
cierto que K[X1 , . . . , Xn ] sea isomorfo al menor subaniilo de Ap(K n , K) que contiene
a K y a las proyecciones Pi : K n K.
Ejemplo 1.4.4 (Variedades algebraicas afines). Sea K un cuerpo y K una ex-

tension algebraicamente cerrada de K. Consideremos ahora f K[X1 , . . . , Xn ] un
polinomio con coeficientes en K y sea f : Kn K la funcion polinomial que define.
Denotaremos por VK (f ) al conjunto:
VK (f ) := VKn (f ) := {x Kn : f (x) = 0} = 1
f (0).
De hecho, por simplicidad, escribiremos a partir de ahora f (x) = 0 en lugar de

f (x) = 0 y f 1 (0) en lugar de 1 f (0). A todo conjunto de la forma VK (f ) con
f K[X1 , . . . , Xn ] se le denomina hipersuperficie algebraica afn Kdefinible. En el
caso K = K, omitiremos el subndice K (escribiremos simplemente V (f )) y diremos que
V (f ) es una hipersuperficie algebraica afn.
Para un conjunto finito de polinomios f1 , . . . , fm K[X1 , . . . , Xn ] escribiremos
VK (f1 , . . . , fm ) = VK (f1 ) VK (fm ).
Todo subconjunto de Kn de la forma VK (f1 , . . . , fm ), con f1 , . . . , fm K[X1 , . . . , Xn ] se
denoina variedad (o conjunto algebraico) afn Kdefinible. En el caso K = K, diremos
simplemente variedad algebraica afn.
En ocasiones, sin embargo, no interesa analizar toda la variedad algebraica afn VK (f1 , . . . , fm )
sino simplemente los llamados puntos Kracionales que denotaremos mediante:
VK (f1 , . . . , fm ) := VK (f1 , . . . , fm ) K n .
Estos objetos son especialmente relevantes cuando K es un cuerpo primo (i.e. K = Z/pZ
o K = Q) y se convierten en los objetos de estudio de la Geometra Diofantica o
Aritmetica (Teora de N
umeros).
Proposicio n 1.4.5. Sea R uno cualquiera de los anillos antes descritos (i.e. R =
0
C (X) H(X) K[X1 , . . . , Xn ]). Sean f1 , . . . , fm R elementos cualesquiera
de este anillo. Sea a := (f1 , . . . , fm ) el ideal generado por {f1 , . . . , fm } en R. Entonces,
se tiene:
Para todo f R, se tiene
VX (f1 , . . . , fm ) VX (f ).
M
as a
un, \
VX (f1 , . . . , fm ) = VX (f ).
f a
T
En particular, escribiremos VX (a) para denotar la intersecci on f a VX (f ) y se tiene
que si {f1 , . . . , fm } generan a como ideal en R, VX (a = VX (f1 , . . . , fm ) y este igualdad
no depende del conjunsto de genradores de a como ideal de R.
Demostracion. Supongamos que f a. por nuestra caracterizacion de los ideales
generados por conjuntos finitos (ver la Notacion 1.3.9 y la Proposicion que la precede),
tendremos que existen g1 , . . . , gm R tales que
f = g1 f1 + + gm fm .
Por tanto, para cada x X (seg un el caso) tal que f1 (x) = f2 (s) = = fm (x) = 0,
tendremos
f (x) := g1 (x)0 + g2 (x)0 + + gm (x)0 = 0,
y se verifica la primera de las afirmaciones. En cuanto a la segunda, dado q ue fi a =
(f1 , . . . , fm ), es clara la igualdad de la segunda afirmacion.

Observacio n 1.4.6. N
otese que la afirmacion VX (a) = VX (f1 , . . . , fm ) no depende
del conjunto de genradores de a como ideal de R tambien contempla el caso en que a
no tenga un conjunto finito de generadores.
Teorema 1.4.7. En el caso n = 1, los conjuntos Canalticos complejos definidos en

un abierto X conexo, son conjuntos numerables sin punto de aculumaci
on.
on. Vease el curso de Variable Compleja.
Demostraci
podemos establecer, de manera sencilla, algunas propiedades basicas de la transforma-
cion de ideales en objetos geometriocs dada mediante VX .
Proposicio n 1.4.8. Con las anteriores notaciones, si R es uno cualquiera de los anillos
de los ejemplos. Se tiene:
(1). Si a b son dos ideales del anillo R, entonces VX (b) VX (a).
(2). = VX ((1)), donde (1) es el ideal generado por 1 en R (es decir, el propio R
como ideal dentro de s mismo).
(3). X = VX ((0)), donde (0) = {0} es el ideal de R formado solamente por el
0 R.
22
1. NOCIONES BASICAS
on de una familia cualquiera {V (ai ) : i I} de tales tipos de

(4). La intersecci
conjuntos tambi
P en es un conjunto de ceros de un ideal. De hecho, si b es el
ideal suma iI ai en R se tiene
\ X
VX (ai ) = VX (b) = VX ( ai ).
iI iI
(5). Dados a, b dos ideales de R, entonces si c es el ideal producto ab en R se tiene
VX (a) VX (b) = V (c) = VX (ab).
on. Es un mero ejercicio de comprobacion a partir de las definiciones.
Demostraci
Observacio n 1.4.9 (Topologa de Zariski). de la anterior proposicion de infiere que

dado un conjunto X de los descritos en los ejemplos anteriores y dado un anillo R, la
colleccion
{VX (a : a es un ideal de R},
define una unica topologa en X en la que dicho conjunto es la clase de cerrados. A esa
topologa se la denomina topologa de Zariski sobre X, definida por las funciones en R.
Hemos observado que si R = C (X) y X es un abierto de Rn , esa topologa de Zarsiki
es la inducida en X por la usual topologa eucldea en Rn .
En los casos R = H(X), R = C (X) o R = C[X1 , . . . , Xn ], por ejemplo, la topologa
de Zariski que definen sobre X es estrictamente menos fina que la topologa usual.
1.4.2. Divisores de Cero. Ideales Primos y Maximales.

Definicio n 1.4.5 (Divisores de cero, Dominio de Integridad). En un anillo
(R, +, ) se dice que un elemento x R es un divisor de cero si existe otro elemen-
to no nulo y A tales que xy = 0.
Un anillo sin dividores de cero no nulos se denomina dominio de integridad.
Ejemplo 1.4.6. Son ejemplos de dominios de integridad los siguientes:

(1). Los cuerpos son dominios de integridad.
(2). Si R es dominio de integridad, tambien lo son R[X1 , . . . , Xn ] y R[[X1 , . . . , Xn ]].
(3). Los subanillos de dominios de integridad tambien son dominios de integridad.
El anillo de los enteros Z es dominio de integridad.
Corollario 1.4.10. Sea X C un abierto conexo. Entonces, el anillo de funciones
holomorfas H(X) es un dominio de integridad.
Demostraci on. Supongamos que no lo fuera y que existen f, g H(X) tales que
f g = 0. Entonces,
X = VX (f g) = VX (f ) VX (g).
Pero VX (f ) y VX (g) son dos conjuntos numerables, por cuanto no pueden igualar a X
y hemos llegado a contradiccion.
Observacio n 1.4.11. Para evitar confusiones, insistamos en que las condiciones ser
analtica o ser conexo son esenciales para la afirmacion Dominio de Integridad.
Si X no fuera conexo, posee una descomposicion como union de dos abiertos
disjuntos X = X1 X2 . Entonces, podemos definir dos funciones no nulas
f1 , f2 : X C, del modo siguiente:

1 si x Xi
fi (x) :=
0 en caso contrario
Obviamente f1 f2 = 0 y ninguna de ellas es nula.
Si tratamos con funciones C (R) podemos encontrar dos funciones f+ y f :

R R tales que ambas son infinitamente difereneciables y verifican:

f (x) = 0, f (x) = 1, si x (, 1)
+

f+ (x) = 0, si x (1, 0)

f (x) = 0, si x (0, 1)
f+ (x) = 1, f (x) = 0, si x (1, +)

Claramente f+ f = 0 y ninguna de ellas dos es un funcion nula, con lo que

C (R) no es dominio de integridad.
En todo caso, tanto para funciones holomorfas como para analticas reales se tiene:
Proposicio n 1.4.12. Sea K = R C, sea X Kn un abierto conexo y sea a un ideal
en H(X) (si K = C) o ideal en C (X) (si K = R). Entonces, VX (a) X es o bien
coincidente con X o bien es un conjunto de interior vaco y de medida (de Lebesgue)
nula.
on. Es un duro resultado de Geometra Analtica que no reproduciremos
Demostraci
aqu.
Definicio n 1.4.7 (Ideales Primos y Maximales). Sea R un anillo:

(1). Un ideal p / R, se llama primo si el anillo cociente R/p es un dominio de
integridad. Denotaremos por Spec(R) al conjunto de todos los ideales primos
del anillo R y lo denominaremos espectro primo de R.
(2). Un ideal m / R, se llama maximal si el anillo cociente R/m es un cuerpo.
Denotaremos por Spm(R) al conjunto de todos los ideales maximales del
anillo R y lo denominaremos espectro maximal de R.
Ejemplo 1.4.8. (1). Un ideal R es dominio de integridad si y solamente si (0)

Spec(R).
(2). Todo ideal maximal es obviamente primo (y tenemos Spm(R) Spec(R)),
pero el recproco no es cierto en general. As, (0) Spec(Z) \ Spm(Z) 6= .
(3). Obviamente si K es un cuerpo Spec(K) = Spm(K) = {(0)} y esta definido
por un unico elemento.
(4). Los anillos para los cuales Spm(R) = Spec(R) se denominan anillos de dimen-
si
on cero y si verifican ciertas condiciones de cadena, los llamaremos Anillos
de Artin (pero esto corresponde a Captulos mas avanzados del curso).
(5). Los conjuntos Spec(R) y Spm(R) son conjuntos parcialmente ordenados con
respecto a la inclusion .
(6). Los dominios de integridad tales que todos sus ideales sean principales se
denominan Dominios de Ideales Principales o, simpemente, dominios princi-
pales. Los ejemplos cl asicos de dominios de ideales pricipales son todos los
cuerpos, Z y K[X].
n 1.4.13. Las siguientes son caracetrizaciones alternativas de ideales pri-

Proposicio
mos y maximales en un anillo R:
Un ideal p
/ R es primo si verifica:
x, y R, xy p = (x p) (y p).
Un ideal m / R es maximal si y solamente si es maximal en el conjunto de
los ideales a on. Es decir m
/ R ordenados por la inclusi / R es maximal si y
solamente si para cualquier ideal a de R, tal que a / R, se tiene
m a = m = a.
24
1. NOCIONES BASICAS
on. Para la primera de las afirmaciones observese que xy p es equivalente

Demostraci
a
(x + p)(y + p) = 0, en R/p,
mientras que x p e y p son respectivamente equivalentes a
x + p = 0, y + p = 0, en R/p.
Con estas observaciones es clara la equivalencia entre las afirmaciones R/p es dominio
de integridad y la descrita en la primera de las afirmaciones de esta proposicion. Para
la segunda afirmaci on, recordemos que R/m es un cuerpo si y solamente si sus u nicos
ideales son los impropios (0) y R/m y que los ideales del anillo cociente R/m estan en
biyeccion con los ideales de R que contienen a m. Por tanto, R/m es un cuerpo si y
solamente si para cualquier ideal a / R, tal que m a se ha de tener
(a/m = (0)) (a/m = R/m) .

Como, para todo ideal a / R, se ha de tener a/m 6= R/m, concluimos la equivalencia
entre ambas caracterizaciones.
Corollario 1.4.14. Si a
/ R es un ideal de un anillo R, podemos observar:
(1). Los ideales primos del anillo cociente R/a est
a biyectivamente identificados
con los ideales primos de Spec(R) que contienen al ideal a, mediante la trans-
formacion
p 7 p/a.
En particular, se tiene:
Spec(R/a) := {p/a : p a, p Spec(R)}.
(2). Los ideales maximales del anillo cociente R/a est
a biyectivamente identifica-
dos con los ideales maximales de Spm(R) que contienen al ideal a, mediante
la transformaci
on
p 7 p/a.
En particular, se tiene:
Spm(R/a) := {p/a : p a, p Spm(R)}.
Demostraci on. Retomamos la Observacion 1.3.15 y los Teoremas de Isomorfa. A
partir de los Teoremas de Isomorfa, tenemos para cada ideal b
/ R de R que cotiene a
a el ideal del anillo cociente b/a dado mediante:
b/a := {x + a : x b}.
Ademas, tenemos el isomorfismo de anillos:

R/a
/b/a R/b,
dado mediante:
(x + a) + (b/a) 7 x + b.
Por tanto, se tiene:

R/a
R/b es dominio de integridad si y solamente si /b/a es dominio de
integridad. Traducido, esto significa b Spec(R) si y solamente si b/a
Spec(R/a.
R/a
R/b es cuerpo si y solamente si / b/a es cuerpo. Traducido, esto sig-
nifica b Spm(R) si y solamente si b/a Spm(R/a.
La identificaci
on entre los ideales de R/a y los ideales en R que contienen a a ya fue
discutida en la Observacion 1.3.15, lo que completa la demostracion.
Recordemos de la Proposici on 1.2.1 la nocion de contraccion de un ideal a traves de un
morfismo de anillos.
Proposicio n 1.4.15 (Contraccion de primos y maximales). Sea f : R T
un morfismo de anillos y q Spec(T ) un ideal primo de T . Entonces, la contracci
on
c 1
q := f (q es un ideal primo de R. Lo mismo no sucede si reemplazamos primos por
maximales.
Demostracion. Consideremos f : R T y la componemos con la proyeccion :
T T /q y tendremos el morfismo de anillos:
f : R T /q.
Usando el primer Teorema de Isomorfa, tendremos una aplicacion inyectiva (y morfismo
de anillos):
: R/ker( f ) T /q.
Con lo que R/ker( f ) est a indentificado con un subanillo de T /q. Ademas, como
q es un ideal primo de T , el cociente T /q es un dominio de integridad y tambien
son dominios de integridad todos sus subanillos. En particular, R/ker( f ) es un
dominio de integridad. Lo u nico que falta para probar el enunciado es probar la siguiente
igualdad:
ker( f ) = ( f )1 ((0)) = f 1 (ker()) = f 1 (q) = qc .
Para el caso de los ideales maximales baste con considerar le inclusion i : Z Q y
observar que (0) Spm(Q), mientras que (0) = i1 ((0)) no es ideal maximal en Z.
El enunciado que sigue es el u nico caso en el que utilizaremos el Axioma de Zorn en
estas notas. En todo caso, para aquellos anillos que interesan en este curso (los anillos
noetherianos) el enunciado se puede probar sin el Axioma de Zorn, aunque con una
version mas debil.
Recuerdese que un conjunto parcialmente ordenado (T, ) se denomina cadena si la
relacion de orden es una relaci on de orden total. Dado un conjunto parcialmente
ordenado (S, ) llamaremos cadena en (S, ) a todo subconjunto T S tal que con la
relacion de orden inducida por la de S, se tenga que (T, ) es una cadena. El axioma
de Zorn se enuncia del modo siguiente:
Axioma de Zorn: Sea (S, ) un conjunto parcialmente ordenado. Si, para toda cadena
T S existe cota superior en (S, ), entonces, existe elemento maximal en (S, ).
Se tiene:
Proposicio n 1.4.16. Asumiendo el Axioma de Zorn, todo anillo R posee al menos un
ideal maximal (i.e. Spm(R) 6= ).
Demostracion. Para demostrarlo, consideremos el conjunto I(R) de todos los ideales
a/ R. Ordenemos I(R) con la inclusi
on y tendremos el conjunto parcialmente ordenado
(I(R), ).
Sea (T I(R) una cadena en (I(R), ). Supongamos
T := {ai : i I}.
Entonces, se puede comprobar f acilmente que se verifica:
S
El conjunto a := iI ai es un ideal de R. Para ello, observese que si x, y a,
entonces existen i, j I tales que x ai , y aj . Por ser T cadena tendremos
ai aj o aj ai . En el primer caso, x, y aj o, en el segundo, x, y ai . Por
ser ai y aj ideales, esto implica que, en el primer caso, x + y aj a o, en
el segundo caso, x + y ai a. En cualquier caso, x + y a. Con mayor
facilidad se probara que x R, y a, se ha de tener xy a.
26
1. NOCIONES BASICAS
1 6 a. Esto es m as simple, dado que ai I(R), tenemos 1 6 ai , para todo

i I, con lo que 1 6 a y habremos terminado.
Es claro, adem as, que a es una cota superior de T en I(R). En consecuencia, aplicando
el Axioma de Zorn, debe existir un elemento maximal en I(R) y por lo antedicho, ese
elemento maximal est a en Spm(R).
Corollario 1.4.17. Asumiendo el Axioma de Zorn, si a / R es un ideal de R, en-

tonces, existe un ideal maximal m Spm(R), tal que a m. Adicionalmente, exis-
a p Spec(R) tal que a m.
tir
Demostraci on. A partir de la Observacion 1.3.15, tenemos que los ideales del anillo
cociente R/a est an identificados con los ideales de R que contienen a a. Ademas, el
corolario 1.4.14 anterior identifica los maximales del coeciente R/a con los maximales
de R que contienen a a. En consecuencia, si R/a tiene al g un maximal es de la forma
m/a, siendo m Spm(R) y m a. As, la Proposicion anterior, que asume el Axioma
de Zorn, implica la existencia de ideales maximales que contienen al ideal a.
Corollario 1.4.18. Con las mismas hip otesis, si R es un anillo, sus unidades son los
elementos que no pertenecen a ning
un ideal maximal. Es decir,

\ [
R := (R \ m) = R \ m .
mSpm(R) mSpm(R)
Demostraci on. Si un elemento x R no es unidad, entonces, el ideal (x) que genera

satisface (x) a un maximal m (x) y, por tanto, x m. Recprocamente,
/ R. Existir
si x m, con m Spm(R), entonces x 6 R . Pues si x fuera unidad en R, tendramos
que existe x0 R, tal que x0 x = 1 y, en particular, concluiramos
1 = x0 x m = R,
contradiciendo el hecho m
/ R.
Ejemplo 1.4.9 (Variedades Proyectivas, Ideales Homog eneos). No podemos aca-

bar sin citar un ejemplo mas de variedades (en el sentido de conjuntos de ceros) que
son esenciales para entender la Geometra: Las variedades proyectivas.
Comencemos recordando el espacio proyectio. Sea K un cuerpo y K uns extension.
Consideremos el espacio vectorial Kn+1 , el subconjunto Kn+1 \ {0} y la relacion de
equivalencia sobre Kn+1 \ {0} dada mediante:
x y K, x = y.
Kn+1

El conjunto cociente \ {0} / se denomina espacio proyectivo de dimension n
sobre K y se denota mediante Pn (K)1. Se considera la proyeccion canonica
: Kn+1 \ {0} Pn (K)
que, en los casos K = R C, define una topologa cociente (topologa final a traves
de ) en Pn (K). A los puntos (x0 , x1 , . . . , xn ) los representaremos mediante (x0 : x1 :
: xn ) al estilo de la escuela francesa.
En estos casos, el espacio proyectivo tambien tiene una estructura de variedad diferen-
ciable (de Riemann en el caso K = R y de Kahler en el caso K = C).
En el caso real, podemos identificar isometricamente (como variedades de
Riemann) Pn (R) con el cociente S n /S 0 , entendiendo por S 0 := {1} la version
mutiplicatica del grupo abeliano Z/2Z y la relacion ser puntos antipodales.
En esta caso, un punto proyectivo repreernta dos puntos sobre S n .
1Otras notaciones que se encuentran en la literatuyra son: KPn , Pn K, etc... Nosotros mantendremos
la propuesta Pn (K).
1.5. CUESTIONES Y PROBLEMAS 27
En el caso complejo, identificamos Pn (C) con el coenciente S 2n+1 /S 1 , donde

S 2n+1 es la esfera unidad en Cn+1 con la metrica hermtica canonica y S 1 es
visto como el grupo de los n umeros complejos de valor absoluto 1, actuando
sobre S 2n+1 . En este caso un punto en Pn (C) representa un gran crculo (una
geodesica) en S 2n+1 .
Supongamos dado ahora un polinomio f K[X0 , . . . , Xn ] y consideremos la funcion
polinomial que define:
f : Kn+1 K.
Observamos que esta funci on no siempre es trasladable al espacio proyectivo. Para
trasladarla haremos un an alisis adicional. Supongamos que f Hd es un polinomio
homogeneo de grado d. Entonces, para todo K y para todo x Kn+1 observamos
que se tiene la igualdad siguiente:
f (x) = d f (x).
Esta identidad permite dos reflexiones en dos sentidos distintos:
Si f es un polinomio homogeneo y x, y Kn+1 son dos representantes de un
mismo punto proyectivo x, y 1 (), Pn (K), entonces f (x) = 0 si y so-
lamente si f (y) = 0 y tiene sentido considerar el conjunto VPn (K) (f ) Pn (K).
Mas a un, llamaremos variedad proyectiva Kdefinible a todo subjconjun-
to V Pn (K) tal que existe un conjunto finito de polinomios homogeneos
f1 , . . . , fs K[X0 , ldots, Xn ] verificando:
V = VPn (K) (f1 , . . . , fs ) := { Pn (K); : f1 () = 0, . . . , fs () = 0}.
Los ideales a K[X0 , . . . , Xn ] que son generados por un conjunto finito de
polinomios homogeneos se denominan ideales homogeneos en K[X0 , . . . , Xn ]
y se denota mediante VPn (K) (a) a la variedad proyectiva Kdefinible dada por
uno cualquiera de sus sistemas de generadores homogeneos. Cuando K = K
y le dimensi
on n sea concocida, escribiremos simplemente VP (a).
Ya hemos visto que, en general, no tiene sentido considerar polinomios ho-
mogeneos como funciones sobre un espacio proyectivo. Sin embargo, s pode-
mos considerar lo siguiente: Sean f, g Hd K[X0 , . . . , Xn ] dos polinomios
homogeneos del mismo grado y sean y, y Kn+1 dos representantes del mis-
mo punto proyectivo (x0 : x1 : : xn ) Pn (K). Sea D(g) := VPn (K) (g)c
Pn (K) el complementario de VPn (K) (g) en Pn (K). Entonces, podemos definir
la funci
on:
f /g : D(g) Pn (K) K,
7 fg()
()
.
Esta fucnion esta bien definida y no depende sino del punto proyectivo y
no de sus representantes. Se denomina funci on regular (o funcion racional)
Kdefinible sobre Pn (K). Obervese una interpretacion aviesa de la funcion
anterior como:
(f : g) : D(g) Pn (K) P1 (K),
7 (f () : g()).
Y VPn (K) (f ) D(g) son los puntos de D(g) que se van al infinito mediante
(f : g).
1.5. Cuestiones y Problemas

Problema 1.5.1. Probar la buena definicion del rango de un Rmodulo libre de rango
finito, es decir, si M
= Ap0 (X, R) y M = Ap0 (Y, R) con X e Y conjuntos finitos y
=
isomorfismo de Rm odulo, concluir que X e Y son biyectable.
28
1. NOCIONES BASICAS
Problema 1.5.2. Probar que cualesquiera dos bases de un Rmodulo libre de rango
finito tienen el mismo cardinal y que ese cardinal coincide con rankR (M ).
Problema 1.5.3. Probar que para todo polinomio homogeneo f Hd (con d no divisi-
ble por la caracterstica de K) se verifica la siguiente identidad (Identidad de Leibnitz):
n
1 X f
f := Xi .
d Xi
i=0
Concluir que todo polinomio homogeneo f (cuyo grado no es divisible por la carac-
terstica del cuerpo) est
a en el ideal homogeneo generado por sus derivadas parciales,
i.e.
f f f
f , ,..., .
X0 X1 Xn
Problema 1.5.4. Probar que si K es un cuerpo infinito, f K[X1 , . . . , Xn ] es un
on polinomial definida por f . Entonces, si f (x) = 0, x K n ,
polinomio y f as la funci
se tiene f = 0 en K[X1 , . . . , Xn ]. Comprobar que esta implicacion no es cierta cuando
K no es un cuerpo infinito.
Captulo 2
El Teorema Chino de los Restos
Contents
2.2. El anillo producto y el TCR 29
2.3. Interpretaci on del Teorema Chino de los Restos en el caso
R=Z 32
2.3.1. En relacion con el problema de Sun Tzu. 34
2.3.2. Una Aplicaci on en computacion: Calculo del Determinante por
Algoritmos Modulares. 35
2.3.2.1. La B usqueda de un Buen N umero Primo. 37
2.3.2.2. Test de Primalidad. 37
2.3.2.3. Combinando el Teorema de Densidad de los N umero Primos y los
Tests de Primalidad. 38
2.3.2.4. La Estrategia Final 39
2.3.3. Secretos Compartidos. 39
2.4. El teorema Chino de los Restos en el caso R := k[X]. 39
2.4.1. Eliminacion Univariada Clasica. 40
2.4.1.1. Mutiplicar por un polinomio. 41
2.4.2. El Teorema Chino de los Restos en R = k[X] y la Forma Canonica
de Jordan. 43
2.4.2.1. El
algebra k[X]/(f ). 43
2.4.3. Teora del Endomorfismo y el Maximo Com un Divisor en k[X]. 47
2.1. Introducci
on
En esta Seccion recordaremos el teorema Chino de los Restos y algunas de sus aplica-
ciones mas notables. Aunque se desconoce su origen preciso, las fuentes mas clasicas
apuntan al texto Sun Zi suan-ching (traducido, malamente, como Las Matematicas
Clasicas de Sun Zi), publicado en el tercer siglo antes de Cristo por Sun Tzu. Reapa-
rece, con otros resultados interesantes como el metodo de Newton, en 1274 en un texto
de Qin Jiushao titulado Shushu Chiu-zhang. El Problema que trata es el siguiente:
Problema 2.1.1. Cu
al es el n
umero entero mas peque
no tal que
f 2 mod 11, f 3 mod 5, f 2 mod 7?.
2.2. El anillo producto y el TCR

Proposicio n 2.2.1 (Definic on de Anillo Producto). Sean {Ri : 1 i r} una
colecci
on finita de anillos. Definamos las opraciones siguientes:
( ri=1 Ri ) ( ri=1 Ri ) ( ri=1 Ri )
Q Q Q
+:
(2.2.1)
((x1 , . . . , xr ), (y1 , . . . , yr )) 7 (x1 + y1 , . . . , xr + yr ),
y
( ri=1 Ri ) ( ri=1 Ri ) ( ri=1 Ri )

Q Q Q
:
(2.2.2)
((x1 , . . . , xr ), (y1 , . . . , yr )) 7 (x1 y1 , . . . , xr yr ).
29
30 2. T. CHINO RESTOS
Se verifican las propiedades siguientes:

(1). El conjunto ( ri=1 Ri , +, ) es un anillo conmutativo
Q
Qr con unidad. El elemento
neutro para la suma es el elemento (0, . . . , 0)Q i=1 Ri y el elemento neutro
para el producto es el elemento (1, . . . , 1) ri=1 Ri .
(2). Cualquiere Qelemento de la forma (x1 , . . . , xr ) con alg
un xi = 0, es un divisor
de cero de ri=1 Ri .
Al anillo ri=1 Ri se le denomina anillo producto de los anillos en la familia {Ri : i
Q
I}.
on. Para comprobar que ( ri=1 Ri , +, ) es un anillo conmutativo con uni-
Q
Demostraci
dad,Qrecuerdse el producto de grupos abelianos, lo que nos dara la condici Qor n de grupo
r
en ( i=1 Ri , +) y el elemento neutro para la suma dado por (0, . . . , 0) i=1 Ri . Veri-
ficar que es anillo con la operacion producto es mera comprobacion de las propiedades
a partir de las que verifica cada uno de los Ri . La otra propiedad se nalada es obvia.
n 2.2.1 (ideales comaximales). Dos ideales a y b de un anillo R se
Definicio
denominan comaximales si a + b = R.
Algunos autores prefieren el termino coprimo en lugar de comaximales, es una
cuestion de gusto. Aqu elegiremos el termino comaximal como queda dicho.
Teorema 2.2.2 (Teorema Chino de los Restos). Sea {ai : 1 i n} un conjunto
finito de ideales en un anillo R. Supongamos que son dos a dos comaximales (i.e.
ai + aj = R, i 6= j) y consideremos el morfismo de anillos:
Qn
: R i=1 (R/ai )
(2.2.3)
a 7 (a + a1 , a + a2 , . . . , a + an ).
Se tiene:
(1). es un epimorfismo de anillos.
(2). El n
ucleo verifica:
n
Y
ker() = ni=1 ai = ai .
i=1
(3). induce un isomorfismo de anillos:
Qn

e: R/ (ni=1 ai ) i=1 (R/ai )
(2.2.4)
x + (ni=1 ai ) 7 (x + a1 , x + a2 , . . . , x + an ).
Demostraci on. Comencemos observando que esta bien definida dado que es la
composicion de los dos morfismos de anillo siguientes:
i : R Rn := ni=1 R
Q
(2.2.5)
x 7 (x, x, . . . , x).
y
Qn n
Qn
(2.2.6) i=1 i : R i=1 (R/ai ) ,
donde i : R R/ai es la proyeccion canonica. A partir de aqu, probemos las pro-
piedades descritas.
Q unos elementos especiales. Para cada i {1, . . . , n}, consi-
Comencemos considerando
deremos el emento ei ni=1 (R/ai ) dado mediante:
n
Y
ei := (i,1 + a1 , i,2 + a2 , . . . , i,n + an ) (R/ai ) ,
i=1
donde
1, si i = j
i,j :=
0, en caso contrario
2.2. EL ANILLO PRODUCTO Y EL TCR 31
Notese que ei es el emento que tiene un 0 en todos los lugares, excepto en el lugar i en el
Qn tiene un 1. Consideremos ahora un elemento cualquiera := (x1 +a1 , . . . , xn +an )
que
i=1 R/ai . Se tiene la siguiente identidad:
n
X
(2.2.7) := (xi )ei .
i=1
Por tanto, probar que es suprayectiva se reduce a probar que {e1 , . . . , en } Im().
Por simplicidad de la expresi on de la prueba, probemos que e1 Im() y, analoga-
mente, se hara para todos los otros elementos.
dado que a1 y ai son comaximales para todo i 6= 1, 1 i n, podemos suponer que
existen xi a1 e yi ai tales que xi + yi = 1 en R. Definamos el elemento
n
Y Yn
(2.2.8) z1 := yi = (1 xi ).
i=2 i=2
Entonces, se tiene (z1 ) = e1 . Para comprobarlo, recordemos que:
(z1 ) := (z1 + a1 , z2 + a2 , . . . , z1 + an ).
todo j 2, entonces ni=2 yi aj , para todos j 2 y,
Q
Como yj aj , para Q
por tanto, z1 + aj = ni=2 yi + aj = 0 + aj , Q para todo j 2.
De
Qn otro lado, desarrollando
Pn el producto ni=2 (1 xi ) obtendremos z1 =
i=2 (1 xi ) = 1 + i=2 xi hi (x2 , . . . , xn ), donde
n
Y
hi (x2 , . . . , xn ) = (1 xj ),
j=i+1
para 2 i n 1 y hn = 1. En particular, hi (x2 , . . . , xn ) R. Para cada i,

2 i n, x i a1 , por tanto, xi hi (x2 , . . . , xn ) a1 , para cada i, 2 i n y,
por tanto, ni=2 xi hi (x2 , . . . , xn ) a1 . Hemos concluido que z1 = 1 + h, con
P
h a1 y, finalmente, z1 + a1 = 1 + a1 .
Juntando estas afirmaciones, tendremos:
(z1 ) := (1 + a1 , 0 + a2 , . . . , 0 + an ) = e1 ,
y queda probada la suprayectividad.
En cuanto al nucleo de es claro que el n ucleo coincide con ni=1 ai . Sin embargo, el
enunciado dice algo m as. Dice que, en el caso de que los ideales sean comaximales dos
a dos, entonces la intersecci
on y el producto coinciden, es decir
Yn \n
ai = ai .
i=1 i=1
Hay un contenido claro por las definiciones de los propios ideales ni=1 ai ni=1 ai ,
Q T
luego solo queda por probar el recproco. Hagamos la prueba por induccion. Comence-
mos en el caso n = 2. En ese caso, por ser a1 y a2 comaximales, tendremos a1 + a2 = R
y han de existir x1 a1 y x2 a2 tales que x1 + x2 = 1. Sea ahora x a1 a2 .
Como x a2 (por estar en a1 a2 ) y x1 a1 , entonces xx1 a1 a2 ,
Recprocamente, como x a1 (por estar en a1 a2 ) y x2 a2 , entonces
xx2 a1 a2 .
En conclusion, xx1 , xx2 a1 a2 , luego
x = x 1 = x(x2 + x2 ) = xx1 + xx2 a1 a2 ,
y queda probado el caso n = 2. Para el caso n, vamos a reproducir el argumento del
modo siguiente:
Se tiene que si ai , 1 i n es una familia de ideales dos a dos comaximales,
Q
entonces, los ideales ai y bi := j6=i aj son comaximales tambien (i.e. ai + bi = R).
Para probarlo, haremos solamente el caso i = 1 y el resto de los casos es analogo. Dado
que a1 y ai son comaximales, han de existir xi a1 e yi ai , i 2, tales que
xi + yi = 1.
Consideremos ahora el elementos z1 := ni=2 yi b1 = ni=2 ai . De otro lado, como el
Q Q
la prueba del epimorfismo, tendremos que
n
Y Xn
z1 = (1 xi ) = 1 + xi hi (x2 , . . . , xn ) = 1 + h,
i=2 i=2
donde h a1 . Concluirmos as que
1 = (h) + z1 ,
siendo h a1 y z1 b1 . Por tanto, a1 y b1 son comaximales y, por el caso n = 2,
tendremos \
a1 b1 = a1 b1 .
Ahora aplicamos la hip
otesis inductiva y concluimos
Yn n
\
b1 = ai = ai ,
i=2 i=2
lo que, juntado con la igualdad inmediatamente anterior, implica la afirmacion descrita
en (2).
La afirmacion (3) del enunciado es evidente a partir del primer Teorema de Isomorfa
y de las afirmaciones (1) y (2).
2.3. Interpretaci
on del Teorema Chino de los Restos en el caso R = Z
Es historicamente la formulacion mas antigua y aqu vamos a reflejar su interpretacion
sobre Z. Es de suponer que los alumnos ha visto ya que Z es un dominio de ideales
principales, por lo que no ha lugar a probar el siguiente. De todas formas, lo indicamos:
Teorema 2.3.1. Sea a un ideal en Z, entonces, a es un ideal principal. De hecho, si
se considera el conjunto:
Na := {n N : n 0, n a},
se tiene que o bien N = {0}, en cuyo caso a = (0) o bien {0} / Na . En este segundo
caso, sea h el menor elemento no nulo de Na (que existe por tener N un buen orden),
entonces a = (h).
Demostraci on. Es consecuencia casi inmediata de la existencia de division eucldea en
Z. Para analizarlo, como recordatorio, supongamos a 6= (0) y supongamos h el elemento
mnimo no nulo de Na . Como h a, es claro que (h) a. Sea ahora m a un elemento
cualquiera. Procedemos con la division eucldea y tendremos
m = qh + r,
donde r 0 y r h 1. Como m, h a, entonces m qh a. Por tanto, r a,
r 0 y r h 1. En particular, r Na y si r > 0, entonces r < h y h era el mnimo.
Necesariamente ha de ser r = 0 y, en conclusion m (h). Con ello queda probado el
otro contenido y la afirmaci
on.
Teorema 2.3.2 (Identidad en B ezout en Z, comaximalidad). Sea m, n Z dos
umeros enteros positivos tales que n, m 2, y sea h = gcd(m, n) su m
n aximo com
un
divisor. Entonces, existen , Z tales que
h = m + n,
DEL TEOREMA CHINO DE LOS RESTOS EN EL CASO R = Z
2.3. INTERPRETACION 33
y, adem
as, se verifica:
|| n, || m.
En particular, dos n
umeros enteros m y n definen ideales (m) y (n) en Z comaximales
si y solamente si su m
aximo comun divisor es 1.
Demostraci on. Los alumnos ya han estudiado que Z es un dominio de ideales princi-
pales y han definido el m
aximo com un divisor de dos n
umeros m y n como el generador
h del ideal (m, n) = (m) + (n). Por tanto, si (h) = (m) + (n) es claro que h = am + bn
para algunos valores a, b Z. Supongamos n m 0 y supongamos n 6= m (en
el caso n = m es claro eligiendo = 1 y = 0, por ejemplo). Consideremos aho-
ra := rem(a, n), el resto de la division de a por n que, efectivamente, verifica que
|| n 1 (para n 0). Sea q el cociente de esa division y tendremos:
h = am + bn = (qn + )m + bn = m + (b + qm)n.
Denotemos por = (b + qm). Se tiene:
||n = |m| = |h m| |h| + ||m.
Ahora, como n > m, es claro que |h| m 1, mientras que ||m (n 1)m. Por
tanto, concluimos
||n (m 1) + (n 1)m m + (n 1)m = nm,
Y, por tanto, || m, como pretendamos. De otro lado, es obvio, por la propia
definicion del m
aximo com
un divisor, que dos ideales (n) y (m) son comaximales si y
solamente si gcd(m, n) = 1.
Empecemos con las aplicaciones del TCR:
Corollario 2.3.3. Dados n1 , . . . , nr Z n umeros enteros. Entonces, el ideal in-
on a := ni=1 (ni ) es el ideal generado por el mnimo com
tersecci un m ultiplo m :=
mcm(n1 , . . . , nr ).
El ideal producto b := ri=1 (ni ) es el ideal (N ), generado por el producto N := ri=1 ni .
Q Q
Finalmente, si gcd(ni , nj ) = 1 para todo i 6= j, entonces el mnimo com un m ultiplo m
coincide con N , esto es, en el caso de ser dos a dos comaximales, se tiene:
r
Y
mcm(n1 , . . . , nr ) = ni .
i=1
Demostraci on. El mnimo com un m ultiplo de varios n umeros enteros se define,
precismaete, como el generador de la interseccion de ideales. Recordemoslo: m =
mcm(n1 , . . . , nr ) si y solamente si se verifica:
ni | m, para cada i, 1 i r.
m es mnimo con esa propiedad.
Ahora notese que la primera condici on significa m (ni ) para cada i, 1 i r.
Por tanto, la primera condici on significa m ri=1 (ni ) y, por tanto, significa tambien
(m) ri=1 (ni ). En cuanto a la condicion de minimalidad, recordemos el Teorema
2.3.1 anterior, para concluir que si m es el mnimo con esa propiedad, entonces, (m) =
ri=1 (ni ).
on del ideal producto, el ideal ri=1 (ni ) es el ideal generado
Q
De otro lado, por la definici
por los productos de los generadores y, por tanto, el ideal generado por N .
La ultima de las afirmaciones es consecuencia inmediata del apartado (2) the Teorema
Chino de los Restos. Efectivamente,Qr si ni es una familia cuyos elementos son dos a
dos comaximales, los ideales i=1 (ni ) y ri=1 (ni ) han de coincidir y, por tanto, sus
generadores son iguales (salvo unidad en Z) por lo que podemos concluir que
r
Y
mcm(n1 , . . . , nr ) = ni ,
i=1
como se pretenda.
El Teorema Chino de los Restos sobre Z se convierte en el enunciado siguiente:
Teorema 2.3.4 (Teorema Chino de los Restos en Z). Sean dados n1 , . . . , nQ r n
ume-
ros enteros positivos de tal modo que gcd(ni , nj ) = 1 para todo i 6= j. Sea N := ri=1 ni .
Entonces, la siguiente aplicaci
on es un isomorfismo de anillos:
e : Z/ (N ) Qr
i=1 (Z/(ni ))
(2.3.1)
x + (N ) 7 (x + (n1 ), x + (n2 ), . . . , x + (nr )).
on. Es una trasliteraci
Demostraci on del Teorema Chino de los Restos anterior.
2.3.1. En relaci on con el problema de Sun Tzu. Retomemos el enunciado:
Cu
al es el n
umero entero m
as peque
no tal que
f 2 mod 11, f 3 mod 5, f 2 mod 7?.
Notese que 11, 5 y 7 son primos y, por tanto, comaximales. Ahora se trata de hallar,
conforme a las ecuaciones (2.2.7) y (2.2.8) anteriores la siguiente informacion:
(1). En primer lugar N := 7 5 11 = 385.
(2). En segundo lugar, los elementos z1 , z2 , z3 Z tales que (como en la prueba
del Teorema Chino de los Restos) se verifique:
(z1 ) = e1 = (1 + (11), 0 + (5), 0 + (7)), (z2 ) = e2 = (0 + (11), 1 + (5), 0 + (7)),
y
(z3 ) = (0 + (11), 0 + (5), 1 + (7)).
Para ello, observese (via la identidad de Bezout) que se tiene:
11 + (2)5 = 1, (2)7 + 3 5 = 1, 2 11 + (3) 7 = 1.
Para z1 : elijamos x2 , x3 , y2 , y3 tales que x2 , x3 (11), y2 (5), y3 (7) y
x2 + y2 = 1, x3 + y3 = 1.
Es decir, x2 = 11, x3 = 211 = 22, y2 = (2)5 = 10, y3 = (3)7 = 21
y definamos z1 := 3i=2 yi = (10)(21) = 210.
Q
Para z2 : elijamos x01 , x03 , y10 , y30 tales que x01 , x03 (5), y10 (11), y30 (7) y
x01 + y10 = 1, x03 + y30 = 1.
Es decir, x01 = (2)5 = 10, x03 = 3 5 = 15, y10 = 11, y30 = (2)7 = 14
y definamos z2 := y10 y30 = 11(14) = 154.
Para z3 : elijamos x001 , x002 , y100 , y200 tales que x001 , x002 (7), y100 (11), y200 (5)
y
x001 + y100 = 1, x002 + y200 = 1.
Es decir, x001 = (3) 7 = 21, x002 = (2)7 = 14, y100 = 2 11 = 22,
y200 = 3 5 = 15 y definamos z3 := y100 y200 = 15 22 = 330.
Para mayor simplicidad podemos hacerlos todos positivos, reduciendo modulo
N y eligiendo:
z1 = 210, z2 = 231, z3 = 330.
(3). Con estos tres elementos y la formula (2.2.7) podemos hallar, dados x1 , x2 , x3
umero x Z tal que
un n
x mod (11) = x1 m
od (11), x m
od (5) = x2 mod (5), x mod (7) = x3 mod (7).
De hecho, tenemos que el n
umero x1 z1 + x2 z2 + x3 z3 verificara:
(x1 z1 + x2 z2 + x3 z3 ) = (x1 )(z1 ) + (x2 )(z2 ) + (x3 )(z3 ),
lo que es una formulaci
on equivalente.
(4). Con los datos del enunciado del texto de Sun Tzu, tendemos que
z := 2 210 + 3 231 + 2 330 mod 385 = 233,
satisface los requerimientos (si no se ha traspapelado alg
un error de calculo
por en medio).
2.3.2. Una Aplicaci on en computaci on: C alculo del Determinante por

Algoritmos Modulares. Una de las aplicaciones mas importantes del Teorema Chino
de los Restos sobre Z son los algoritmos modulares, usados en la programacion de paque-
tes de software simb olico comerciales como Maple, Mathematica y otros. Aqu ejem-
plificamos esta estrategia con el ejemplo del calculo del determinante de una matriz
A Mn (Z) con coordenadas enteras. El asunto es el siguiente:
En el algoritmo de Gauss cl
asico, aprendido en las asignaturas basicas de Algebra Li-
neal, se produce un fen omeno singular con la concatenacion de elecciones de pivotes.
Si supongo que todas las coordenadas de la matriz A = (ai,j )1i,jn original, verifican
|ai,j | H, tras haber elegido k pivotes, el tama no de los numeros enteros que aparecen
2k
en la matriz es del orden H . Esto significa, por ejemplo, que para matrices de tama no
200 200 no existen suficientes electrones en el Universo para almacenar los dgitos de
uno de esos n umeros enteros a raz on de un dgito por electron. Ni que decir tiene de
la imposibilidad de manejar matrices razonables en la practica con tama nos del orden
1000 1000.
La conclusion es que el metodo de Gauss, tal y como se ense na, no sirve. Surgen as di-
versas alternativas. Algunas hacen modificaciones del algoritmo de Gauss (con b usque-
das de otros pivotes y otras operaciones, reduciendo a cada paso), otros se centran en
algoritmos bien paralelizables (que evitan el crecimiento de los resultados intermedios
a traves de estructurar las operaciones a realizar mediante grafos bien paralelizables).
Una va mas son los Algoritmos Modulares que vamos a describir, basandonos en el
TCR anterior. Comencemos recordando los rudimentos del teorema de GramSchmidt
1
. Sea v1 , . . . , vn una base ordenada de Rn . Definamos la secuencia de vectores v1 , . . . , vn
siguiente:
v1 := v1
hv2 ,v1 i
v2 := v2 2,1 v1 , 2,1 = hv1 ,v1 i
(2.3.2) ..
.
hvi ,vj i
vi := vi i1

P
j=1 i,j vj , i,j := hvj ,vj i
Proposicio n 2.3.5. En las notaciones anteriores, v1 , . . . , vn una base de Rn . Sean

v1 , . . . , vn los vectores obtenidos tras aplicar Gram-Schmidt a esta base. Entonces,
(1). ||vi || ||vi ||,
(2). hvi , vj i = 0, para todo i 6= j.
on. Son meras comprobaciones, la segunda propiedad implicando la pri-
Demostraci
mera.
Continuaremos con un cl
asico, conocido como Desigualdad de Hadamard.
1Aunque parece que el m etodo de calculo de bases ortogonales ya era conocido por Laplace y
haba sido usado por Cauchy en 1836, se asigna este metodo a Jorgen P. Gram y Erhardt Schmidt. El
trabajo de E. Schmidt donde introdujo formalmente su metodo de ortogonalizaci on es : Zur Theorie
der linearen und nichtlinearen Integralgleichungen. I Teil. Entwicklung willk urlichen Funktionen nach
System vorgeschriebener.Mathematische Annalen Vol. 63 (1907) 433476. Los trabajos de Gram (un
matem atico amateurdanes) son m as difciles de rastrear para m y no he sido capaz de saber con
certeza donde public
o sus resultados.
Proposicio n 2.3.6 (Desigualdad de Hadamard). Sea A Mn (C) una matriz con

coordenadas complejas. Sean v1 , . . . , vn Cn los vectores dados por sus columnas. En-
tonces,
n
Y
|det(A)| ||vi ||2 ,
i=
donde || ||2 denota la norma hermtica usual en Cn .
Demostraci on. Para demostrar el resultado utilizaremos la ortogonalizacion de Gram
Schmidt. Dicho procedimiento establece que si A es la matriz dada, existe una matriz
triangular superior, con solo 1s en la diagonal principal P tal que
P A = A1 ,
donde los vectores dados como las columnas de A1 son precisamente la base ortogonal,
asociada a los vectores columna de A :
{v1 , . . . , vn }.
Ahora consideramos la matriz de Wishart de A:
W (A) := A A,
donde A es la traspuesta conjugada. Adicionalmente, se tiene :
|det(A)|2 = det(W (A) = det(AA ).
Ademas,
hv1 , v1 i hv1 , vn i

det(A1 A1 )det .. .. ..
.

. . .
hvn , v1 i
hvn , vn i
Como hvi , vj i = 0 para i 6= j, tendremos
n
Y
|det(A1 )|2 = ||vi ||2 .
i=1
Finalmente, usando la Proposici
on anterior,
n |
Y Y
|det(A)|2 = |det(A1 )|2 = ||vi ||2 |vi ||2 .
i=1 i=1

Corollario 2.3.7. Sea A = (ai,j )1i,jn Mn (Z) una matriz con coordenadas enteras
y supongamos ||ai,j || H. Entonces,
det(A) H n .
on. Obvio.
Demostraci
Lema 2.3.8. Sea M Z un n umero entero positivo y sea a Z un n umero entero tal
que su valor absoluto verifica |a| M 1. Sea x {0, . . . , 2M 1} tal que :
x = a mod 2M.
Definamos :
x si 0 x M 1
x
e :=
x 2M si M + 1 x 2M 1
Entonces, x
e = a.
Demostraci on. Es una mera comprobacion a partir de las definiciones, que se deja
como ejercicio al lector.
2.3.2.1. La B usqueda de un Buen N umero Primo. Comencemos con un somero

recordatorio del Teorema de los N umeros Primos (vase, por ejemplo, el texto clasico
de G.H. Hardy y E.M. Wright, [HaWr, 38]). Este Teorema fue postulado tanto por
A.-M. Legendre como por C.F. Gauss, a base de evidencia numerica y fue demostrado
finalmente por J. Hadamard y por Ch.-J. de la Vallee Poussin en 1896. Se trata de
unos de los grandes resultados en Teora de Numeros. Una demostracion puede verse
tambien en el texto de H. E. Rose ([Ro, 94], captulos 12 y 13).
Comencemos con un poco de notaci on :
n 2.3.1.
Notacio Dadas dos funciones f, g : R R, escribiremos f (g)
cuando
f (x)
limx =1
g(x)
Observese que f (g) g (f ).
on : N N dada por (x) es el cardinal del conjunto
Definamos la funci
umeros primos p tales que 2 p x.
de n
Teorema 2.3.9 (Teorema de los N umeros Primos). En las anteriores notaciones,
x
.
lnx
M
as a
un, se tiene
x
(x) .
lnx
Observacio on mas precisa, nos dira: (Li(x)) donde
n 2.3.10. Una descripci
Z x
dt
Li(x) :=
2 lnt
2.3.2.2. Test de Primalidad. Se trata de un problema clasico tanto en Matemati-
cas como en Informatica.
umero natural n N, decidir si n es primo.
Problema 2.3.2 (PRIMES). Dado un n
El algoritmo m as inmediato es el algoritmo conocido como Criba de Erat ostenes. El
problema es el tiempo necesario para ejecutarlo. As para decidir si un numero n es
primo hay que realizar n operaciones elementales (operaciones bit). Se dice que es un
algoritmo exponencial o ineficiente porque el numero de operaciones a realizar depende
esencialmente del n umero n y no de su tama no que es log(n).
Se conocen algoritmos aleatorios (probabilistas eficientes en tiempo logO(1) (n)) desde
mediados de los a nos 70. Se conocen tambien como algoritmos Monte Carlo para testar
composicion y son altamente eficaces en la practica. Su aparicin historica es debida a
los tests de composicion en la clase RP como son:
El test de R. Solovay y V. Strassen de 1977 2.
El test de M.O. Rabin y G. Miller de 197680 3)
Posteriormente se obtienen resultados eficientes en el trabajo de M. Agrawal, N. Kayal
y N. Saxena 4 muestran un algoritmo polinomial (en P, es decir en tiempo O(log9 (n))
) para decidir si un numero natural dado es primo.
El algoritmo subyacente se basa en la idea siguiente :
2R. Solovay, V. Strassen, A fast Monte Carlo test for primality, SIAM J. on Comput. 6 (1977)
8485.
3Los trabajos de referencia son:
G.L. Miller, Riemanns hypothesis and tests for primality, J. Comput. Syst. Sci. 13 (1976) 300
317.
M.O. Rabinm Probabilistic algorithms for testing primality, J. Number Theory 12 (1980) 128138.
4M. Agrawal, N. Kayal, N. Saxena, PRIMES is in P, Annals of Math. 160 (2004), 781793.
Lema 2.3.11. Sea n N un nmero entero dado. Supongamos n > 2. Las siguientes
propiedades son equivalentes :
(1). n N es un numero primo.
(2). Para todo q, 1 q n 1, se verifica :

n
= 0 mod p.
q
(3). Para cada a {0, . . . , p1}, los siguientes polinomios son iguales en Z/pZ[X] :
X p a = (X a)p en Z/pZ[X].
La clave de la prueba es la formulaci on del item iii). Se trata de verificar esta propiedad
(que no es sino una comparaci on de coeficientes entre dos polinomios de grado p) y para
todos los valores a {0, . . . , p 1}. As descrito el metodo propuesto por estos tres
autores seguira siendo exponencial porque necesitaramos testar todos los coeficientes
de O(p) polinomios de grado p. El resultado principal de estos autores afirma que basta
con hacer la comparaci on de O(log 2 p) polinomios ( solo valores pequeos de a) y que no
es necesario hacer una comparaci on de todos los coeficientes, sino una cantidad log O(1) p
interpolaciones. No explicaremos m as detalles y orientamos al lector a la obra original,
de sencilla lectura y, por ello, de gran creatividad.
2.3.2.3. Combinando el Teorema de Densidad de los N umero Primos y los Tests
de Primalidad.
Proposicio n 2.3.12. Dado un n umero natural H N se pueden hallar n
umeros natu-
rales positivos n1 , . . . , nr verificando las siguientes propiedades:
(1). El n
umero de dgitos (talla bit, n umero de cifras) necesarios para representar
el m
as grande de estos n umeros est
a acotado por 2 log2 (log2 (H)).
(2). La cantidad de n umeros r es, a lo sumo log(H).
(3). Los numeros n1 , . . . , nr son coprimos dos a dos.
(4). Se verifica la siguiente desigualdad:
r
Y
H ni .
i=1
EL n umero de operaciones elementales (bit) necesarias para calcularlos est

a acotado
2 O(1)
por log2 (H) log2 (log2 (H)).
Demostraci on. Elijamos un numero entero positivo k N. Por el Teorema de Den-
sidad de los n
umeros primos, tenemos:
22k
2k (22k ).
2k
umeros primos menores que 22k . Entonces,
Ademas, sean 2 := p1 p2 p2k los n
2 k
2k
Y
2 pi .
i=
Entonces, eligiendo k := log2 (log2 (H)), tenemos 2k = log2 (H) n umeros comaximales,
tales que su producto es mayor que el n umero H dado. Mas a un, el n
umero primo pi
mas grande de esta lista, es de valor absoluto menor que 22k = log22 (H) y, por tanto,
su tama no es, a lo sumo, 2 log2 (log2 (H)). Aplicando los algoritmos (como el AKS de
Agrawal, Kayan y Saxena) tengo que hacer 22k tests de primalidad y cada uno necesita
O(k 9 ) operaciones bit. Lo que se puede hacer en tiempo polinomial.
2.4. EL TEOREMA CHINO DE LOS RESTOS EN EL CASO R := k[X]. 39
2.3.2.4. La Estrategia Final. El resultado final sera el siguiente:

Teorema 2.3.13. Aplicando tecnicas modulares al c
alculo del determinante podemos
concluir :
El determinante de una matriz A Mn (Z) cuyos coeficientes tienen tama
no (logarit-
mo) acotado por h se puede calcular en tiempo
O(n4 log 2 n(log n + h)2 ).
La estrategia algortmica para evitar el crecimiento es la siguiente:
Input: A := (ai,j )1i,jn Mn (Z) y H tal que ||ai,j || H.

Hallar (como el la Proposici on 2.3.12) numeros enteros n1 , . . . , nr con r = 2(bn log(H)c+
1) tales que
N := ri=1 ni > 2H n ,
Q
gcd(ni , nj ) = 1, para todos i 6= j.
Comentario: El n umero m as grande de esa lista es de tama no (n
umero de dgitos)
acotado por O(log2 (n) + log2 (log2 (H))), es decir, son muy peque
nos.
Hallar: di := det(A) mod ni , para cada i, 1 i r.
Aplicando el Teorema Chino de los Restos, hallar
D m od N := e 1 (d1 + (n1 ), d2 + (n2 ), . . . , dr + (nr )).
Aplicando el Lema 2.3.8 anterior:
e Z
Ouput: D
2.3.3. Secretos Compartidos. Una de las aplicaciones estandar del Teorema

Chino de los Restos es el sistema de compartimentar la informacion llamado Secretos
Compartidos (del ingles secret sharing) y que se usa, por ejemplo, en los cajeros
automaticos. Se trata de lo siguiente : se dispone de una informacion codificada en un
numero entero n N. Ahora se eligen r personas distintas, cada una de las cuales lleva
asociado un m odulo mi . Suponemos que los modulos mi y mj son dos a dos comaxima-
les. Ahora se entrega a cada persona la informacion rem(n, mi ). Para poder recuperar
la informaci
on inicial es necesario que todas las personas esten dispuestas a aportar su
informacion y ejecutar el algoritmo subyacente al Teorema Chino de los Restos. Por
ejemplo, el cajero (la m aquina) posee posee una parte del codigo de autorizacion de
una cuenta/tarjeta y el propietario de la tarjeta una segunda parte: su codigo personal
PIN.
2.4. El teorema Chino de los Restos en el caso R := k[X].

Comenzamos igual que en el caso R = Z, recordando que k[X] es un dominio de ideales
principales. Denotaremos por deg(f ) el grado de un polinomio univariado. Diremos que
deg(f ) = 0 si y solamente si f K \ {0}, es una constante no nula. Y asignaremos
deg(0) = 1.
Teorema 2.4.1. Si k es un cuerpo, el anillo k[X] es un dominio de integridad. Adem
as,
para cada ideal a de k[X], consideremos:
Na := {n N : f a, deg(f ) = n}.
Si a 6= (0), Na 6= es un conjunto no vaco de n umeros naturales. Si a 6= (0), para
cualquier f a tal que deg(f ) = mn Na , se tiene
a = (f ).
En particular, si mn Na = 0, a = k[X]. Y recprocamente.
Demostraci on. La prueba es identica a la realizada en el caso de Z, usando el

Teorema de la Divisi on eucldea (no en vano ambos anillos son dominios eucldeos).
Por recordarlo, supongamos a 6= (0) y, por tanto, Na 6= . Sea f a tal que deg(f ) =
mn Na . Con ello tenemos (f ) a. De otro lado, sea g a. Aplicando la division
an q, r k[X] tales que
eucldea, existir
g = qf + r,
donde deg(r) deg(f ) 1. Como g a y qf (f ) a, entonces r = g qf a. Si
r 6= 0, entonces deg(r) Na y deg(r) < deg(f ) = mn Na . Por tanto, necesraiamente
r = 0 y g = qf (f ).
Teorema 2.4.2 (Identidad en B ezout en k[X], comaximalidad). Sea f, g k[X]

dos polinomios no nulos y sea h := gcd(f, g) su m
aximo com
un divisor. Entonces,
existen , k[X] tales que
h = f + g,
y, adem
as, se verifica:
deg() deg(g) 1, deg() deg(f ) 1.
En particular, dos polinomios univariados f y g definen ideales (f ) y (g) en k[X] co
maximales si y solamente si su maximo comun divisor es 1.
Demostraci on. La demostraci on es analoga al caso R = Z, aunque vamos a senalar los
pequenos matices. Para empezar, el m aximo com un divisor de dos polinomios f y g es,
por definici
on, cualquier generador h del ideal (f, g) = (f ) + (g) Entonces, por obvias
razones, existen a, b k[X] tales que h = af + bg. Consideremos ahora := rem(a, g),
on de a por g. Claramente, deg() deg(g) 1 y consideremos
el resto de la divisi
a = qg + para la cadena de igualdades siguientes:
h = af + bg = (qg + )f + bg = f + (qf + b)g.
Definamos := qf + b k[X] y tenemos h = f + g. Ademas, recordemos que el
grado de un polinomio verifica:
deg(f g) = deg(f ) + deg(g), deg(f + g) max{deg(f ), deg(g)}.
Tenemos, entonces que g = h f , con o cual
deg() + deg(g) = deg(g) = deg(h f ) max{deg(h), deg(f )},
Pero deg(h) deg(f ) y
ax{deg(h), deg() + deg(f )} deg() + deg(f ).
max{deg(h), deg(f )} = m
Por tanto, como deg() + deg(f ) deg(g) + deg(f ) 1, hemos concluido:
deg() + deg(g) deg(f ) + deg(g) 1 = deg() deg(f ) 1.

2.4.1. Eliminaci on Univariada Cl asica. Una de las aplicaciones de la Iden-

tidad de Bezout anterior son los tratamientos de Bezout, Sturm y Sylvester de la Eli-
minacion Univariada cl
asica. Para interpretarla, consideremos K la clausura algebraica
dekl cuerpo k de coeficientes. Se tiene el siguiente resultado clasico:
Lema 2.4.3. Dados dos polinomios f, g k[X] no nulos, son equivalentes:
(1). K, tal que f () = g() = 0
(2). Si h es un maximo com un divisor de f y g, deg(h) 1.
Demostraci on. Para la primera implicacion, considerese que existe K tal que
f () = 0 y g() = 0. Consideremos el siguiente conjunto a k[X] dado mediante:
a := {p(X) k[X] : p() = 0}.
Es sencillo comprobar que a es un ideal de k[X]. Ademas, no es el ideal nulo (i.e.
a 6= (0)). La razon para esta u ltima propiedad es que K es la clausura algebraica
de k, luego es algebraico sobre k lo que, en otras palabras, significa que existe un
polinomio no constante p k[X] tal que p() = 0. Como k[X] es un dominio de ideales
principales, a = (h) es un ideal principal no nulo y distinto del total. El generador h es
el polinomio mnimo de sobre k o, con otras notaciones, h = Irrk () k[X]. Como
f () = g() = 0, entonces, f, g a y, por tanto, h | f y h | g y h es no constante. Por
tanto, deg(gdc(f, g)) 1 y habremos terminado.
Para la otra implicacion, se h = gcd(f, g) y supongamos deg(h) 1 (es decir, h no es
constante). Como K es un cuerpo algebraicamente cerrado, todo polinomio no constante
posee, al menos, una raz. Es decir, existe K tal que h() = 0. Como h es el maximo
com un divisor de f y g, h | f y h | g, luego f () = 0 y g() = 0 como indica la
propiedad (1).
2.4.1.1. Mutiplicar por un polinomio. Consideremos el conjunto k[X]d formado
por los polinomios univariados de grado a lo sumo d, es decir, k[X] :=:= {f k[X] :
deg(f ) d}. Con las operaciones suma y producto por un escalar, tenemos que:
(k[X]d , +, k ),
es un kespacio vectorial de dimensi on d + 1. Una base ordenada es la dada por los
monomios {1, X, X , . . . , X }. Ahora consideremos un polinomio no nulo f := am X m +
2 d
am1 X m1 + + a1 X + a0 y supongamos am 6= 0. Es claro que para cada polinomio

g k[X]d , el polinomio f g es de grado d + m. Esto nos permite definir, una aplicacion
f : k[X]m k[X]d+m ,
dado mediante:
f (g) := f g.
Se tiene:
Proposicio n 2.4.4. La aplicacion f : k[X]m k[X]m+d es una aplicaci on li-
neal que, en las respectivas bases monomiales, viene dada por la matriz Sm+1 (f )
M(d+m+1)(m+1) (k) (i.e. m + d + 1 filas y m + 1 columnas), dada mediante la expresi
on
siguiente:
a0 0 0

a1 a0 0
. .. ..
. ..
. . . .

a a adm

Sm+1 (f ) := d d1 .
0 ad adm+1
0 0 adm+2

. .. .. ..
.. . . .
0 0 ad
Demostraci on. Supongamos que las coordenadas de un polinomio g k[X]m en
la base monomial {1, X, X 2 , . . . , X m } son dadas mediante la lista (z0 , z1 , . . . , zm ). En
otras palabras, estamos diciendo que
g = z0 + z1 X + z2 X 2 + + zm X m .
Ahora mutiplicamos
f g := c0 + c1 X + c2 X 2 + cm+d X m+d ,
donde X
ck := a i zj .
i+j=k
Escrita esta expresi
on en forma matricial (suponiendo d m por simplicidad de la
expresion, tendremos:
a0 0 0 c0

a1 a0 0 c1
. .. .. ..
..

.
. . . . .

am am1 a 0 z0 cm

am+1 am a1 z1 cm+1

. .. .. .. z2 = ..

.
. . . . . .

..
ad ad1 adm . cd

0
ad adm+1
zm
c
d+1

0
0 adm+2

cd+2

. .. ..
.. .. ...

. . .
0 0 ad cd+m

Teorema 2.4.5 (Resultante de SylvesterB ezout). Sean f y g dos polinomios
en k[X] de grados respectivos n y m. Consideremos la matriz Sylv(f, g) Mn+m (k)
(llamada matriz de Sylvester-Bezout de f y g) dada mediante:
Sylv(f, g) := (Sm (f ) | Sn (g)) .
Son equivalentes:
(1). K, tal que f () = g() = 0
(2). Si h es un maximo com un divisor de f y g, deg(h) 1.
(3). El rango de la matriz de Sylvester es menor que n + m 1,
(4). El determinante Res(f, g) := det(Sylv(f, g)) = 0.
on. Comencemos considerando la aplicacion lineal siguiente:
Demostraci
Sf,g : k[X]m1 k[X]n1 k[X]n+m1
(2.4.1)
(a, b) 7 af + bg.
Es claro que es una aplicaci on lineal, que esta bien definida y, consideremos las bases
siguientes:
En k[X]n+m la base monomial dada mediante := {1, X, X 2 , . . . , X n+m1 }
En k[X]m1 y en k[X]n1 las respectivas bases monomiales. En el producto
k[X]m1 k[X]n1 la base producto de las respectivas bases monomiales:
[
:= {(X i , 0) : 0 i m 1} {(0, X j ) : 0 j n 1}.
Observese que, en particular, los dos espacios vectoriales k[X]m1 k[X]n1 y k[X]n+m1
tienen la misma dimensi on n + m. Ademas, la matriz de Sf,g (que es aplicacion li-
neal) en las bases y es, exactamente, Sylv(f, g). Por tanto, concluimos que Sf,g es
un isomorfismo si y solamente si Sylv(f, g) tienen rango n + m o, equivalentemente,
det(Sylv(f, g)) 6= 0. En particular, si Sf,g es isomorfismo, el elemento 1 k[X]n+m1
esta en la imagen Im(Sf,g ). Esto ultimo significa solamente que 1 = af + bg y por tanto
tenemos probado (3) (2). En conclusion, tenemos las implicaciones :
(1) (2) (3) (4),
de las afirmaciones descritas en el enunciado. Queda por ver (3) (2). Para ello, supon-
gamos que Sylv(f, g) no tiene rango m aximo n + m. Entonces, Sf,g no es isomorfismo y
existe h k[X]n+m que no est a en la imagen de Sf,g . Veamos que, entonces, h 6 (f, g)
y habremos concluido que (f, g) = (f ) + (g) 6= k[X], con lo que ambos ideales no son
comaximales y gcd(f, g) no es una constante en k[X]. Supongamos que h 6 Im(Sf,g ) y
supongamos que h (f, g). Entonces, existen a, b k[X] tales que h = af + bg. Ahora
aplicamos el mismo argumento usado en la prueba de la identidad de Bezout anterior.
Elegimos := rem(a, g) con deg() deg(g) 1. Con lo cual k[X]m1 . Sea q el
cociente de la divisi
on de a por g y definamos = qf + b. Tenemos
(2.4.2) h = af + bg = f + (qf + b)g = f + g.
De nuevo, es f
acil probar que
deg(g) m
ax{deg(h), deg() + deg(f )} n + m 1.
Por tanto, deg() n 1 y k[X]n1 . La identidad (2.4.2) significa h = f + g =

Sf,g (, ). Y, por tanto, llegaramos a contradiccion, dado que h 6 Im(Sf,g ).
Corollario 2.4.6. El grado del maximo comun divisor de dos polinomios f y g es el

grado del polinomio de menor grado en Im(Sf,g ).
on. Es consecuencia inmediata de lo argumentado.

Demostraci
2.4.2. El Teorema Chino de los Restos en R = k[X] y la Forma Can onica

de Jordan. En la discusion anterior no hemos hecho intervenir el Teorema Chino de
los Restos. Ahora vamos a intentar hacerlo, recuperando su formalismo original.
Teorema 2.4.7 (Teorema Chino de los Restos en k[X]). Sean dados f1 , . . . , fr

k[X] polinomios de tal modo que gcd(fi , fj ) = 1 para todo i 6= j. Entonces, la siguiente
aplicaci
on es un isomorfismo de anillos:
e : k[Z]/ (g) Qr
i=1 (k[X]/(fi ))
(2.4.3)
x + (g) 7 (x + (f1 ), x + (f2 ), . . . , x + (fr )).
Adem
as,
e es isomrofismo de espacios vectoriales sobre k.
Demostraci on. De nuevo, es el enunciado exacto del Teorema Chino de los Restos de
Secciones anteriores.
2.4.2.1. El n
algebra k[X]/(f ). Vamos a considerar f := X + an1 X n1 + +
a1 X + a0 k[X], un polinomio univariado que supondremos monico por simplicidad de
nuestra discusi
on. Consideremos el anillo cociente k[X]/(f ). Se tienen las propiedades
siguientes:
n 2.4.8. Con las anteriores notations, se tiene:
Proposicio
(1). El anillo cociente k[X]/(f ) es una kespacio vectorial de dimensi
on n sobre
k.
(2). Una base de k[X]/(f ) como kespacio vecyorial es dada por las clases de la
base monomial (tambien llamada base monomial) y descrita mediante:
:= {1 + (f ), X + (f ), X 2 + (f ), . . . , X n1 + (f )}.
(3). Dado X k[X], podemos definir la aplicaci

on:
X : k[X]/(f ) k[X]/(f )
h + (f ) 7 Xh + (f ),
es un endomorfismo de k[X]/(f ) como kespacio vectorial. M

as a
un, la ma-
triz MX Mn (k), de X en la base anterior, es, justamente, la matriz
compa
nera de f , esto es,

0 0 0 a0
1
0 0 a1

0 1 0 a2
MX := C(f ) = 0 .

0 1 a3
.. .. . . .. ..
. . . . .
0 0 0 an1
La matriz MX se denomina el tensor de multiplicaci
on de la k
algebra k[X]/(f ).
(4). Dado g k[X], podemos definir la aplicaci
on:
g : k[X]/(f ) k[X]/(f )
h + (f ) 7 gh + (f ),
es un endomorfismo de k[X]/(f ) como kespacio vectorial. N
otese que dados
g1 , g2 k[X] y k se tiene:
g1 +g2 = g1 + g2 , g1 g2 = g1 g2 , g1 = g1 .
A los endomorfismos g se les denomina homotecias de raz
on g sobre k[X]/(f ).
(5). En particular, la matriz Mg Mn (k), de g en la base anterior, es, justa-
mente,
Mg := g(MX ) = g(C(f )).
Demostraci on. Todas son propiedades de mera comprobacion. En todo caso, lo esen-
cial es observar que es una base de k[X]/(f ) como kespacio vectorial. Esto es
consecuencia de dos hechos: de una parte, hay una biyeccion entre las clases de restos
modulo (f ) y los restos de la divisi
on eucldea por f . De otra parte, dado cualquier
resto g resultado de dividir por f , tendremos que ese resto g tiene grado a lo sumo
n 1, por tanto, tenemos una biyeccion (que es isomorfismo de espacios vectoriales),
entre
: k[X]n1 k[X]/(f )
g 7 g + (f ).
Verificar que es un isomorfismo de kespacios vectoriales es un mero ejercicio de
comprobaci on usando la division eucldea en k[X]. Por tanto, una base de k[X]/(f )
se obtiene, a traves de , de la base monomial de k[X]n1 . Es decir, :
:= {(1), (X), (X 2 ), . . . , (X n1 )},
y esa es la base se
nalada.
Verificar que la tgransformaci
on X es una aplicacion lineal (y, por ende, un endomor-
fismo) sobre k[X]/(f ) es un mero ejercicio de comprobacion. Para hallar la matriz MX ,
basta con hallar las imagenes:
X (X i + (f )) = X i+1 + (f ), 0 i n 1,
y escribir sus coordenadas en la base . Es claro que para 0 i n 2, se tiene
X (X i + (f )) = X i+1 + (f ) y sus coordendas son (0, 0, . . . , 1, 0 . . . , 0) (con el 1 en el
lugar i+1) lo que se corresponde a las primeras n1 columnas de la matriz compa nera.
Para el caso i = n 1 tenemos
n1
X
X (X n1 + (f )) = X n + (f ) = ai (X i + (f )),
i=0
lo que justifica la u
ltima columna de la matriz compa
nera. Y, con esto, queda probada
la propiedad (3).
La propiedad (4) es de mera comprobacion a partir de las definciones de g1 y g2 .
Por u
ltimo, la propiedad (5) se sigue de las propiedades descritas en (4). Es decir, dado
g k[X] un polonomio de grado m, dado por
g := bm X m + bm1 X m1 + + b1 X + b0 ,
tendremos que
g := bm (X )m + bm1 (X )m1 + + b1 X + b0 Idn ,
con lo que la matriz correspondiente M : g sera:
Mg = bm (MX )m + bm1 (MX )m1 + + b1 MX + b0 Idn = g(MX ),
como esta afimado en (5).
Proposicio n 2.4.9. Sea k un elemento en un cuerpo k y consideremos el polinomio

onico f = (X )n . Consideremos el anillo cociente k[X]/(f ). Se tiene:
m
(1). La siguiente colecci
on es una base de k[X]/(f ) como k espacio vectorial, a
la que llamaremos base monomial en de k[X]/(f ):
(n)
:= {1 + (f ), (X ) + (f ), . . . , (X )n1 + (f )}.
(2). La matriz en la base de la homotecia X es, justamente, la caja de Jordan
de orden n y valor propio . Es decir, la matriz J(, n) Mn (k) dada
mediante:
0 0 0 0
1 0 0 0

J(, n) := 0 1 0 0 .

.. .. . . . . ..
. . . . .
0 0 0 1
Demostraci on. La demostraci
on de (1) mas natural pasa por usar el desarrollo de
Taylor en de los polinomios. Expresamos ese nocion del modo siguiente:
Dado cualquier polinomio univariado g k[X], de grado n, existen elementos u nicos
a0 , a1 , . . . , an k tales que
g = an (X )n + an1 (X )n1 + a1 (X ) + a0 .
Para ello, consideramos la siguiente transformacion en k[X]:
T : k[X] k[X]
g 7 T (g) := g(X + ).
Es claro que T es un isomorfismo de anillos cuyo inverso es T . Mas a
un, deg(T (g)) =
deg(g), para cualquier g k[X]. Ahora bien, si g es un polinomio de grado n, entonces
h(X) = T (g) = g(X + ) es un polinomio de grado n en k[X]. Por tanto, existen
a0 , . . . , an k tales que
h = an X n + a1 X + a0 .
Por tanto,
g = T (h) = T (T (g)) = an (X )n + + a1 (X ) + a0 ,
y tenemos probada la afirmaci on. La u8nicidad se sigue de la unicidad de los coeficientes
de h = T (g).
En particular, para la afirmaci
on (1), los restos en k[X]/(f ) se escriben de manera unica
(n)
como combinaci on lineal de los elementos de la base y tenemos que es sistema
(n)
generador. Dado que es de cardinal n, y n es la dimension de k[X]/(f ), tenemos
que es base.
Para la afirmaci
on (2), observemos la siguiente cadena:
X (1 + (f )) = ((X ) + (f )) + (1 + (f )) = v2 + v1
X ((X ) + (f )) = 2
(X ) + (f ) + ((X ) + (f )) = v3 + v2
X (X )2 + (f ) = (X )3 + (f ) + (X )2 + (f ) = v4 + v3
.. ..
. .
X (X )n1 + (f ) = ((X )n + (f )) + (X )n1 + (f ) = 0 + vn1 ,

(n)
donde hemos escrito := {v1 , v2 , . . . , vn } y vi := (X )i1 + (f ), para 1 i n.
(n)
Esta cadena de igualdades justifica que la matriz de X en la base sea jutsmante
la caja de Jordan J(, n).
Estamos ya en condiciones de justificar una primera interpretacion del Teorema Chino
de los Restos en el caso de polinomios monicos que se descomponen completamente
sobre un cuerpo k.
Proposicio n 2.4.10. Sea f k[X] un polinomio m onico de grado n y supongamos que
existen 1 , . . . , r k, con i 6= j , y exponentes mi N, con mi 1, 1 i r, tales
que:
Yr
f (X) := (X i )mi .
i=1
Consideremos:
Sea e : k[X]/(f ) Qr (k[X]/(X i )mi ) el isomorfismo de anillos del
i=1
Teorema Chino de los Restos. Entonces, e es tambien un isomorfismo de
kespacios vectoriales.
En k[X]/(f ) la base monomial := {1 + (f ), X + (f ), X 2 + (f ), . . . , X n1 +
(f )}.
En el espacio vectorial producto ri=1 (k[X]/(X i )mi ), la base inducida
Q
(m )
por las bases i i en cada uno de los espacios vectoriales k[X]/(X i )mi .
Y sea M la matriz del isomorfismo e en las bases y .
Entonces, se tiene:

J(1 , m1 ) 0 0
0 J(2 , m2 ) 0
C(f ) := M1 M .

.. .. .. ..
. . . .
0 0 J(r , mr )
En paricular, C(f ) posee forma cannica de Jordan, esta es u
nica (salvo permutaci
on
de los bloques) y la matriz de cambio de base es la matriz del Teorema Chino de los
Restos.
on. Observse que si i 6= j , entonces, (X i )k y (X j )s son co
Demostraci
maximales para k, s 1. Por tanto, el hecho de ser e un isomorfismo se sigue del
Teorema Chino de los Restos. De otro lado, tenemos el siguiente diagrama:

e
Qr
k[X]/(f ) mi
i=1 (k[X]/(X i ) )
Qr (i)
X i=1 X
Qr
k[X]/(f ) i=1 (k[X]/(X i )mi )

e
Qr (i)
Este diagrama es conmutativo, donde i=1 X es el endomorfismo dado mediante el
producto de los endomorfimos
(i)
X : k[X]/(X i )mi k[X]/(X i )mi .
La conmutatividad del diagrama nos dice que
r
!
(i)
Y
e 1
X = X .
e
i=1
Por lo visto anteriormente, MX = C(f ) es la matrix de la homotecia X en la base .
(i) (i) (m )
De otro lado, M (X ) = J(i , mi ) es la matriz de X cuando se considera la base i i
en k[X]/(X i )mi .
(i)
En particular, la matriz M ( ri=1 X ) en la base producto es la suma diagonal de las
Q
(i)
matrices M (X ), es decir,

J(1 , m1 ) 0 0
r
Y (i)
0 J(2 , m2 ) 0
M ( X ) = .

.. .. .. ..
i=1
. . . .
0 0 J(r , mr )
Traduciendo la conmutatividad del diagrama a matrices, esto significa
r
!
(i)
Y
e 1 M
M (X ) = M () M (),
e
X
i=1
es decir
J(1 , m1 ) 0 0
0 J( 2 , m2 ) 0
C(f ) = M1 M ,

.. . .. .. ..
. . .
0 0 J(r , mr )
que es la propiedad buscada.
Observacio n 2.4.11 (La forma can onica de Jordan). Retomando los cursos basicos

de Algebra Lineal, la anterior Proposicion nos dice que si el polinomio mnimo de un
endomorfismo A se escinde completamente en un cuerpo, entonces, existe una u nica
forma canonica de Jordan. La unicidad viene dada por los divisores de la forma (X )m
de los factores invariantes y las matrices de paso de la forma de Frobenius (suma
diagonal de matrices compa neras) a la forma canonica de Jordan son las matrices del
Teorema Chino de los Restos en bases adecuadas.
2.4.3. Teora del Endomorfismo y el M aximo Com un Divisor en k[X].
Como aplicaci on final del Teorema Chino de los Restos (al menos en esta parte del
curso), veremos como predecir el grado del maximo com un divisor de dos polinomios
usando Teora del Endomorfismo y sin acudir a la matriz de Sylvester de la Eliminacion
Univariada Cl
asica. Comencemos con algunos resultados clasicos de Algebra Lineal.
Lema 2.4.12. Sea k un cuerpo, y sea K su clausura algebraica. Sea g k[X] un poli-
nomio univariado. Tendremos las iguientes propiedades :
(1). Sea J(0, m) una caja de Jordan con valor propio 0 de tama
no mm. Entonces,
Para todo k, 1 k m, se tiene :

k 0 0
J(0, m) = ,
Idmk 0
donde Idmk es la matriz identidad (mk)(mk) y los 0s representan
matrices rectangulares de tama
no apropiado.
Para todo k m, se tiene :

J(0, m)k = 0.
(2). Si J(, m) es una caja de Jordan de orden m y valor propio K y denotamos
por ord (g) como el m umero natural k N tal que (X )k | g en
aximo n
K[X], entonces, tenemos
rankg(J(, m)) = max{0, m ord (g)}.
Demostraci on. Las propiedades descritas en (1) son las propiedades habituales de las
matrices nilpotentes, esto es, de las matrices tales que existe una potencia que se anula.
Mas aun, son propiedades de las cajas de Jordan de valor propio 0. Para la propiedad
(2), observes que ha de existir h K[X] un polinomio tal que g = h(X)(X )k , donde:
h() 6= 0,
k = ord (g).
Ahora, observamos que
g(J(, m)) = h(J(, m))(J(, m) Idm )k ,
Observese que

h() 0 0 0
h() 0 0

h() 0
h(J(, m)) = ,

.. .. .. .. ..
. . . . .
h()
donde denota un elemento de K cuyo valor no nos ocupa. En otras palabras, h(J(, m))
es una matriz triangular inferior con el valor h() en la diagonal principal, Como h() 6=
0, entonces, es una matriz regular y, por tanto, el rango de g(J(, m)) es igual al rango
de ma matriz (J(, m) Idm )k . Ahora observemos que
(J(, m) Idm )k = (J(0, m))k .
Luego el rango de g(J(, m)) es igual a m k si m k y 0 en caso contrario. esto es
lo que se indica en el enunciado del Lema.
Proposicio n 2.4.13 (Grado del m aximo com un divisor de dos polinomios).
Dados dos polinomiso f, g k[X] supongamos que f es monico. Entonces, el grado d
del m
aximo comun divisor h de f y g satisface:
deg(f ) = rank(g(C(f )) + deg(h),
donde C(f ) es la matriz compa
nera de f .
Demostraci on. En primer lugar, podemos suponer que existen 1 , . . . , r K, con
i 6= j , cuando i 6= j, y existen m1 , . . . , mr N, con mi 1, 1 i r, tales que
r
Y
f (X) := (X i )mi .
i=1
Pr
En particular tenemos i=1 mi = deg(f ) = m. Gracias al Teorema Chino de los Restos
podemos suponer que existe una matriz regular P con coordenadas en K tal que

J(1 , m1 ) 0 0
0 J(2 , m2 ) 0
C(f ) = P 1 P.

.. .. ..
. . .
0 0 J(r , mr )
Entonces,

g(J(1 , m1 )) 0 0
0 g(J( 2 , m2 )) 0
g(C(f )) = P 1 P.

.. . .. ..
. .
0 0 g(J(r , mr ))
Como P es una matriz regular, el rango de la matriz g(C(f )) viene dado por:

g(J(1 , m1 )) 0 0
r
0 g(J( 2 , m2 )) 0 X
rank(g(C(f )) = rank = rank(g(J(i , mi ))).

.. . .. ..
. .
i=1
0 0 g(J(r , mr ))
Ahora, usando el Lema anterior, tendremos:
Xr
rank(g(C(f ))) = max{0, mi ordi (g)}.
i=1
Escribamos i := ordi (g) por simplicidad notacional. Para concluir, probemos que la
suma descrita a la derecha es igual a deg(f ) deg(h) donde h es el gcd(f, g).
Supongamos, entonces, que
Yr
g = p(X) (X i )i ,
i=1
donde p(i ) 6= 0 para todo i y i = ordi (g). El maximo comun divisor de g y f
vendra dado por la igualdad
r
Y
h(X) := (X i )mn{mi ,i } .
i=1
Luego
r
X
deg(h) = mn{mi , i }.
i=1
Pero, notese que
mi mn{mi , i } = max{0, mi i }.
Por tanto,
r
X r
X r
X
deg(h) = mn{mi , i } = mi max{0, mi i } = deg(f ) rank(g(C(f ))),
i=1 i=1 i=1
como se pretende en el enunciado.
Observacio n 2.4.14. En el caso de la que la caracterstica de los cuerpos k y K es cero,
podemos describir con detalle la matriz g(J(, m)) mediante las derivadas sucesivas

g() 0 0 0
g 0 () g() 0 0
1 00 () 0 ()

g(J(, m)) =
2 g g g() 0 ,

.. .. .. .. ..
.

. . . .
1 (m1) () 1 (m2) () 1 (m3) () g()
(m1)! g (m2)! g (m3)! g
donde g 0 (), g 00 (), . . . , g (m1) () son las sucesivas derivadas.
Captulo 3
Nociones un poco m
as avanzadas: localizaci
on, radicales,
categoras.
Contents
3.2. Local, Localizaci on 51
3.2.1. Anillos Locales y Semi-locales: Germenes de Funciones 51
3.2.2. Localizaci
on 53
3.3. Ideal asociado a una variedad: radical y radical de Jacobson 55
3.3.1. Ideal de un Objeto Geometrico 55
3.3.2. Radical y Radical de Jacobson 56
3.4. Funciones vs Objetos 59
3.4.1. El Lenguaje de las Categoras. 59
3.4.2. Categoras 59
3.4.3. Functores y Equivalencias Naturales 60
3.4.4. Variaci
on de un primer tema clasico: El Teorema de StoneCech 62
3.4.5. Variaci
on de un segundo tema clasico: El Lema de Urysohn y el
Teorema de Extensi on de Tietze. 63
3.4.6. Variacion de un tercer tema clasico: Extension de funciones en
Variedades Diferenciables 63
3.1. Introducci
on
En este Captulo avanzaremos un poco mas las nociones esenciales del curso. Nos aden-
traremos en anillos locales, localizaci
on, radical y radical de Jacobson. Morivaremos
a traves de ejemplos de anillos locales provenientes de la Geometra. Adicionalmente,
intruciremos unas pocas expresiones al uso del Lenguaje de las Categoras, fuertemente
desconocido por los alumnos.
3.2. Local, Localizaci

on
3.2.1. Anillos Locales y Semi-locales: G
ermenes de Funciones.
Definicio n 3.2.1 (Anillo local). Un anillo R se denomina local si posee un u nico
ideal maximal. Se suele decir (R, m) es un anillo local para distinguir el u
nico elemento
de Spm(R). Al cuerpo correspondiente (m) := R/m se le denomia cuerpo residual del
anillo local.
Se denomina anillo semilocal a todo anillo con un n

umero finito de ideales maximales
(i.e. ](Spm(R)) < ).
Ejemplo 3.2.2. Como primer ejemplo de anillos locales tenemos los cuerpos. Ejemplos
de anillos semilocales sonlos siguientes:
Sea k = K un cuerpo algebraicamente cerrado. Sea f k[X] un polinomio no constante
y sea R el anillo cociente R := k[X]/(f ). Entonces R es un anillo semilocal: sus ideales
51
52 AVANZADAS
3. UN POCO MAS
maximales son los ideales maximales de k[X] que contienen al polinomio f . De hecho,
usando el Teorema Chino de los Restos anterior, si f factoriza mediante:
r
Y
f := (X i )mi ,
l=1
los ideales maximales del anillo cociente R son los ideales de la forma (X i )/(f ) y el
anillo cociente es local si y solamente si f = (X i )mi .
El termino local viene, sin embargo, de la Geometra y del estudio local de funciones
y objetos geometricos. Usaremos la nocion de germen para explicar esa nocion local.
Ejemplo 3.2.3 (Germen de Conjunto en un punto). Dado un espacio topologico X y

un punto p X, se define la siguiente relacion de equivalencia entre los subconjuntos
que contienen a p:
A p B U entorno de p tal que A U = B U.

A las clases del conjunto cociente se les llama gemenes de subconjuntos de X en el
punto p. Denotaremos por Ap al germen del conjunto A X en el punto p. El estudio
local de un objeto geometrico A X alrededor de un punto p consiste en el estudio
del germen Ap .
Ejemplo 3.2.4 (Germen de Funci on en un punto). Dado un espacio topologico X y un

punto p X, se define la siguiente relacion de equivalencia entre las funciones continuas
definidas en alg
un entorno de a p:
f p g U entorno de p tal que las restricciones f |U = g |U .
A las clases del conjunto cociente se les llama gemenes de funciones en el punto p.
Denotaremos por fp al germen de una funcion f : U K (K = R C) definida en
alg
un entorno del punto p. El estudio local de una f alrededor de un punto p consiste
en el estudio del germen fp .
Ejemplo 3.2.5. Los siguientes son ejemplos de anillos locales:

Cp0 (X) := {fp : f es continua en alg un entorno de p} es local y su u
nico
ideal maximal es
mp := I({p}) := {fp Cp0 (X) : f (p) = 0}.
Cp (X) :: {fp : f es infinitamente diferenciable en alg
un entorno de p} y su
u
nico ideal maximal es
mp := I({p}) := {fp Cp (X) : f (p) = 0}.
Cp : {fp : f es analtica en alg
un entorno de p} y su u
nico ideal maximal es
mp := I({p}) := {fp Cp : f (p) = 0}.
Hp : {fp : f es holomorfa en alg
un entorno de p} y su u
nico ideal maximal
es
mp := I({p}) := {fp Hp : f (p) = 0}.
Observacio n 3.2.1. Como comentario general, el estudio local de funciones y objetos

geometricos, coincide con el estudio de anillos locales (de funciones, por ejemplo).

3.2. LOCAL, LOCALIZACION 53
n 3.2.2.
Proposicio (1). Sea R un anillo y m 6= (1) un ideal de R tal que
x R \ m = x R ,
entonces R es anillo local de maximal m.
(2). Sea R un anillo y m un ideal maximal tal que cada elemento de 1 + m es
unidad de R. Entonces, R es anillo local de maximal m.
Demostraci on. La primera de las afirmaciones es evidente. En cuanto a la segunda,
supongamos sea x 6 m. Entonces, el ideal suma m + (x) m. Como m es maximao y
x 6 m, en anterior contenido es estricto y, por tanto, m + (x) = R. En particular, uno
puede escribir 1 = x + y con R e y m. Entonces, x = 1 y 1 + m, luego
x R y, por ende, x R .
3.2.2. Localizaci on. Sean R un anillo y M un Rmodulo. Un subconjunto S
R se dice sistema multiplicativo si verifica:
1 S, 0 6 S, y
x, y S, xy S.
Ejemplo 3.2.6. (1). Un anillo R es un dominio de integridad si y solamente si
R \ {(0)} es un sistema multiplicativo de R.
(2). Un ideal p
/ R es primo si y solamente si R \ p es un sistema multiplicativo.
(3). Un elemento f de un anillo R se denomina nilpotente si existe n N tal que
f n = 0. Dado un elemento no nilpotente f R de un anillo, el siguiente con-
junto tambien es un sistema mutiplicativo: Sf := {1, f, f 2 , f 3 , . . . , f n , . . .} =
{f n : n N}. N otese que f es nilpotente si y solamente si 0 Sf
Dado un sistema multiplicativo S en R, podemos definir una relacion de equivalencia

sobre el conjunto R S del modo siguiente:
(x, s) (x0 , s0 ) r S, s(s0 x sx0 ) = 0.
A las clases de equivalencia definidas por el elemento (x, s) se las denota mediante x/s
y al conjunto cociente se le denota S 1 R.
Proposicio n 3.2.3 (Localizaci

on de anillos). Con las notaciones anteriores, el con-
junto S 1 R posee una estructura natural de anillo con las operaciones siguientes:
+ : S 1 R S 1 R S 1 R, : S 1 R S 1 R S 1 R
(x/s, x0 /s0 ) 7 (s0 x + sx0 )/ss0 , (x/s, x0 /s0 ) 7 xx0 /ss0 .
Al anillo S 1 R se le denomina localizaci
on de R en S y se tiene un morfismo natural
de anillos dado mediante i : R S 1 R, i(x) = x/1 S 1 R.
on. Es un mero ejercicio de comprobacion.
Demostraci
Ejemplo 3.2.7. Si R es un dominio de integridad y S := R \ {0}, entonces

S 1 R es un cuerpo que se denomina cuerpo de fracciones de R y se suele
denotar por qf (R).
Adem as del elemental ejemplo del paso de Z a Q (cuerpo de fracciones de
R) podemos a nadir el caso del dominio de integridad H(X) de las funciones
holomorfas complejas definidas en un abierto X Cn . A su cuerpo de frac-
ciones se le denota M(X) y se le denomina cuerpo de funciones meromorfas
definidas en X.
Si p Spec(R) es un ideal primo y S := R \ p, a la localizacion se la denota
mediante Rp y se denomina localizacion de R en el primo p. Observese, por
ejemplo, que en el caso R = Z y p = pZ = (p) se puede usar cualquiera de las
dos notaciones sigientes ZpZ o Z(p) , pero no se debe usar la notacion Zp , que
es otro tipo de localizaci
on.
54 AVANZADAS
3. UN POCO MAS
Si f R es un elemento que no es nilpotente en R, podemos considerar la

on de R por el sistema multiplicativo Sf = {f n : n N}. Al
localizaci
1
anillo Sf R se le denotar
a por Rf . Por ejemplo, en el caso R = Z, Zp es la
on con denominadores en el conjunto {pn : n N}.
localizaci
Observacio n 3.2.4. Si R es un dominio de integridad y S es un sistema multiplicativo

de R, podemos siempre considerar los elementos de S 1 R como elementos del cuerpo
de fracciones qf (R). En este caso, tendremos una cadena de inclusiones, cada uno de
los cuales es subanillo del siguiente:
R S 1 R qf (R).
Por ejemplo, los elementos de Zp son los n umeros racionales cuyo denominador es una
potencia del primo p. Sin embargo, si R no es dominio de integridad alguno de esos
contenidos puede carecer de sentido. A modo de ejemplo, tomemos el anillo Z/6Z y
consideremos los dos primos que componen su espectro {(2), (3)}, con i := i + 6Z. En
la localizacion (Z/6Z)(2) s
olo hay dos elementos. Compruebese.
Podemos dar una caracterizaci on en forma de propiedad universal de la localizacion de
anillos:
Proposicio on mediante propiedad Universal). Sea f : R R0
n 3.2.5 (Caracterizaci
un morfismo de anillos y S R un sistema multiplicativamente cerrado de R. Entonces,
si f (s) (R0 ) es una unidad, para cada s S, existe un u nico morfismo de anillos
S 1 f : S 1 R R0 tal que f = S 1 f g.
Adem as, la anterior propiedad universal caracteriza S 1 R salvo isomorfismo de anillos.
on. Omitimos la prueba dado que apenas si usaremos este enunciado.
Demostraci
Dado un sistema multiplicativo S en un anillo R y M un Rmodulo, podemos definir
una relacion de equivalencia sobre el conjunto m S del modo siguiente:
(m, s) (m0 , s0 ) r S, s(s0 m sm0 ) = 0.
A las clases de equivalencia definidas por el elemento (m, s) se las denota mediante m/s
y al conjunto cociente se le denota S 1 M .
Proposicio n 3.2.6 (Localizaci
on de M
odulos). Con las notaciones anteriores, el
conjunto S 1 M posee una estructura natural de S 1 Rm
odulo con las operaciones
siguientes:
+ : S 1 M S 1 M S 1 M, S 1 R : S 1 R S 1 M S 1 m
(m/s, m0 /s0 ) 7 (s0 m + sm0 )/ss0 , (x/s, m/s0 ) 7 xm/ss0 .
Al S 1 Rm
odulo S 1 M se le denomina localizaci
on de M en S.
on. Es un mero ejercicio de comprobacion.
Demostraci
Observacio n 3.2.7. Del mismo modo denotaremos por Mp a todo S 1 M , donde M
es un Rmodulo y S = R \ p es sistema multiplicativo, donde p Spec(R).
Ejemplo 3.2.8. Sea F := Zn un Zm odulo libre de rango finito, Podemos mostrar las
diferentes localizaciones:
Tomando S := Z\{0}, la localizacion S 1 F = Qn es el Qespacio vectorial de
dimension n. De hehco, todos los Aespacios vectoriales de dimension finita
son localizaciones de la forma S 1 F , donde F es un modulo libre sobre Z.
Tomando Sp := Z \ p, las localizaciones Sp1 F = (Zp )n . Y se trata de un
modulo libre sobre un anillo local.
Tomando Sf := {f n : n N}, las localizaciones Sf1 F = (Zf )n . Y se trata
de un m odulo libre sobre un anillo Zf .
3.3. IDEAL ASOCIADO A UNA VARIEDAD: RADICAL Y RADICAL DE JACOBSON 55
3.3. Ideal asociado a una variedad: radical y radical de Jacobson

3.3.1. Ideal de un Objeto Geom
etrico.
Definicio n 3.3.1 (Ideal asociado a un subconjunto). Con las notaciones anterio-
res, sean X un espacio topol ogico R uno de los anillos de funciones introducidas en el
Captulo anteriior. Considerermos F X, definimos IR (F ) como el ideal en R dado
por:
IR (F ) := {f R : f (x) = 0, x F }.
Observacio n 3.3.1. Es obvio que es un ideal. Obviamente en cada caso hemos de
especificar el anillo sobre el que trabajamos. Los ideales respectivos son distintos, ob-
viamente, a un cuando estemos en el caso de subanillos como, por ejemplo, en el caso
de la siguiente cadena de subanillos:
R[X1 , . . . , Xn ] C (X) C (X) C 0 (X),
tendremos as la cadena de los respectivos ideales;
IR[X1 ,...,Xn ] (F ) IC (X) (F ) IC (X) (F ) IC 0 (X) (F ),
que no coincidiran.
Usualmente se omiten los subndices (escribiremos I(F )) y se sobreentiende el anillo
por el contexto.
Proposicio n 3.3.2. Con las anteriores notaciones, sean X el conjunto, R el anillo de

funciones. Se verifican las propiedades siguientes:
(1). Si F G son dos subconjuntos de X, I(G) I(F ).
(2). I(X)
S = 0, I() T = R.
(3). I( iI Fi ) = iI I(Fi ).
(4). Ademas, la clausura en la topologa de Zariski de cualquier subconjunto viene
dada mediante:
Z
F = V (I(F )).
Demostraci oSn. La dos primeras afirmaciones son evidentes. Para la tercera, es claro
que si f I( iI Fi ), se anula en todos los puntos de esa uni Ton. Aplicando (1) obten-
dremos que f I(Fi ), para todo i I. De otro lado, si fS iI I(Fi ), entonces, f se
anula en todos los Fi s y, por tanto, se anula en la union iI Fi .
La propiedad (4), a un siendo sencilla, tiene algun interes en su prueba. Recordemos
la topologa de Zariski, descrita en la Observacion 1.4.9 del Captulo anterior. En par-
ticular, V (I(F )) es cerrado en esa topologa y, claramente, F V (I(F )). Por tanto,
Z
tenemos un primer contenido F V (I(F )). De otro lado, por la propia definicion de
Z
la topologa de Zariski, como F es cerrado, debe existir un ideal a en R tal que:
Z
(3.3.1) F F = V (a) V (I(F )).
Como F V (a), para cada f a, f |F 0. Pero, entonces, para cada f a, tenemos
que f I(F ) y habremos probado que a I(F ). Finalmente, usando la primera de
on 1.4.8 anterior, concluiremos V (I(F )) V (a), por
las afirmaciones de la Proposici
Z
cuanto F = V (a) = V (I(F )) y habremos terminado.
Corollario 3.3.3. Con las notaciones anteriores, para cualquier cerrado Zariski F
X, se tiene
F = V (I(F )).
56 AVANZADAS
3. UN POCO MAS
Observacio n 3.3.4 (Nullstellens

atze: Diccionario AlgebraGeometr a?). Los
resultados anteriores nos permiten reescribir una relacion entre los objetos geometricos
y algunos de los ideales del anillo de funciones considerado. Definimos
Z := {F X : F es cerrado Zariski en X}.
I := {a R : a es un ideal de R}.
Y las transformaciones
V : I Z, I : Z I
a 7 V (a), F 7 IR (F ).
Se verifica que para todo F Z se tiene:
V (IR (F )) = F,
con lo que V IR = Id |Z es la identidad y se concluye que IR es inyectiva y que V es
suprayectiva.
A la caracterizacion de los ideales que estan en la imagen de IR se los conoce como
Teoremas de los Ceros o Nullstellens atze. As, D. Hilbert y L. Kronecker carac-
terizaron los ideales de la imagen de IR en el caso R = K[X1 , . . . , Xn ], cuando K es un
cuerpo algebraicamente cerrado. Se conoce como Nullstellensatz de Hilbert. Caracteri-
zaciones para el caso real o el caso analtico se salen de las potencialidades de un curso
como este, aunque se pueden referenciar.
3.3.2. Radical y Radical de Jacobson. Recordemos que un elemento x de un
anillo R se denomina nilpotente si existe una potencia suya que se hace nula.

on de Nilradical). El conjunto 0 de todos
n 3.3.5 (Definici
Proposicio los ele-
mentos nilpotentes de un anillo R es un ideal de R y el anillo cociente R/ 0 no tiene
elementos nilpotentes no nulos. Diremos que un anillo es reducido si no posee elementos
nilpotentes no nulos.
Demostracion. Basta con probar que se portan bien para la suma y para el producto
con elementos del anillo. Para ello, sean x, y R tales que xm = 0 e y n = 0, con
n, m N y z R. Entonces, Tendremos que
(zy)m = 0,
y
n+m
X
n+m
(x + y) = cn+m,k xk y n+mk = 0,
i=0
n+m

donde cn+m,k es o bien el n
umero combinatorio k o 0 dependiendo de la estructura
de grupo abeliano de R.
n 3.3.6. Sea R un anillo, entonces
Proposicio
\
0 := p.
pSpec(R)
Demostraci on. Dado que 0 p para cada p Spec(R), entonces todo elemento
nilpotente x 0 verifica que existe n N, tal que xn p, para cada p Spec(R).
Para cada primo p, sea np N el m as peque no exponente tal que xnp p. Entonces,
x n 1 x p y, como n 1 6 p, concluiremos que x p. Habremos probado
p esTprimo y x
p p
as el contenido 0 pSpec(R) p.
T
Para el otro contenido, supongamos f pSpec(R) p y supongamos que f no es nil-
potente. Consideremos el sistema multiplicativo Sf y la localizacion Rf . Entonces, Rf
posee un elemento maximal m y consideremos q := mc la contraccion a R de m (recordar
la Proposici on 1.4.15 del Captulo anterior). Es decir, sea
q := {x R : x/1 m, en Rf }.
3.3. IDEAL ASOCIADO A UNA VARIEDAD: RADICAL Y RADICAL DE JACOBSON 57
Como q es la contraccion de un ideal primo, entonces es un ideal primo de R. Pero,

ademas, f 6 q. Porque si f q, entonces f /1 m y f /1 (Rf ) es una unidad
(un inverso es 1/f Rf ) con lo que m contendra una unidad de Rf y no sera ideal
maximal. En consecuencia, tenemos que f 6 qTy q Spec(R), con lo que si f no
es nilpotente, no puede estar en la interseccion pSpec(R) p. Es decir, hemos probado
T
0 pSpec(R) p y el enunciado.
on 3.3.2 (Radical de un ideal). Para un ideal a en un anillo R, denotaremos

Definici
por a (y lo denominaremos radical) al conjunto de los elementos f R tales que su
clase f + a es nilpotente en el anillo cociente R/a.
n 3.3.7. Se tiene la siguiente igualdad para todo ideal a de un anilo R:

Proposicio

a := {x R : n N, xn a}.
Demostraci on. Es una mera reescritura de la Definicion anterior, teniendo en cuenta
la operacion definida en el cociente.
Recordando la Observaci on 1.3.15 del anterior Captulo, tenemos una identificacion
entre los ideales primos de R/a y los ideales primos de R que contienen a a:
{p Spec(R) : p a} Spec(R/a)
p 7 p/a.
Esto conduce a la siguiente caracterizacion (obvia) del radical de un ideal:
Corollario 3.3.8. Para cada ideal a de un anillo R se tiene:
\
a = {p Spec(R) : p a}.

Definicio n 3.3.3. Los ideales tales que a = a se denominan ideales radicales del
anillo R.
Ejemplo 3.3.4. En el caso de los anillos R := Z, K[X], K[X], los ideales pri-
mos son los ideales principales generados por elementos irreducibles (f ). En
estos mismo casos, consideremos f R un elemento irreducible p y considere-
mos el ideal (f n ) generado por una potencia de f . Entonces, (f n ) = (f ).
En dominios de ideales principales, si f := pn1p 1
pnr r es la descomposicion
de f como producto de irreducibles, se tiene (f ) = (p1 pr ) es el ideal
generado por el producto de los factores primos de f elevados todos a potencia
1. En particular, un ideal (f ) es radical en un dominio de ideales principales
si y solamente si es un producto de factores irreducibles de multiplicidad 1.
En general, en un dominio de factorizacion u nica R, los ideales principales son
radicales si y solamente si sus factores irreducibles tienen todos multiplicidad
1.
Todos los ideales de la forma IR (F ) descritos anteriormente son ideales radi-
cales. Observese, adem as, que si a es un ideal de R, entonces, a I(V (a)).
Ejemplo 3.3.5 (Discriminante de un polinomio). Sea k un cuerpo de caracterstica

cero y f k[X] un polinomio. Definimos la derivada de f en la forma siguiente:
Si f = X n + an1 X n1 + a1 X + a0 , definimos
f 0 (X) := nX n1 + (n 1)an1 X n2 + + 2a2 X + a1 k[X].
Entonces, son equivalentes:
El ideal (f ) es un ideal radical en k[X],
La resultante Res(f, f 0 ) 6= 0,
58 AVANZADAS
3. UN POCO MAS
El siguiente determinante (llamado discriminante del polinomio f ) es no nula:

DiscX (f ) := det(f 0 (C(f )) 6= 0.
El endomorfismo C(f ) es diagonalizable en alguna clausura algebraica K de
k.
Dejaremos como ejercicio la demostracion de las relaciones siguientes:
Proposicio n 3.3.9 (Propiedades del Radical). Sea a, b dos ideales de un anillo R.
Se tiene:
p
(1). a = a,

(2). ab = a b = a b,
(3). a = R siiqa = R,

(4). a + b = a + b,

(5). Si p Spec(R), pn = p, para todo n > 0.
Definicio n 3.3.6 (Radical de Jacobson). Sea a un ideal de un anillo R. Llamaremos

radical de Jacobson de a a la interseccion de todos los ideales maximales de R que
contienen a a. Es decir,
J
\
a := {m Spm(R) : m a}.
Se denomina radical de Jacobson del anillo R al radical de Jacobson del ideal (0).
La siguiente es una de las propiedades al uso:
p
Proposicio n 3.3.10. Sea NR = J (0) el radical de Jacobson de un anillo R. Se tiene:
x NR 1 xy R , y R.
Demostraci on. Recuerdese que R son, precisamente, los elementos que no estan en
ning
un ideal maximal de R. Por tanto, si x esta en todos los ideales maximales de R,
entonces, tambien est a en todos los maximales de R cualquier elemento yx, para cada
y R. Finalmente, 1 xy no puede estar en ning un maximal de R porque, en caso
contrario, 1 estara en ese maximal. Luego hemos probado la implicacion .
Para la otra implicaci on, supongamos que 1 xy R para todo y R y sea m un
ideal maximal de R. Supongamos que x 6 m. Entonces, m + (x) = R, y existen m m e
y R tales que 1 = m+xy. Pero esta u ltima igualdad significara que u = 1xy m y,
al mismo tiempo, por hip otesis, 1 xy R , llegando a contradiccion con la existencia
de un maximal m de R tal que x 6 m.
Definicio n 3.3.7 (Cociente de Ideales). Dados a, b dos ideales de un anillo R, su

ideal cociente est
a definido mediante:
(a : b) := {x R : xb a}.
Al ideal cociente ((0) : b) se le denomina anulador del ideal b y se denota por Ann(b).
En particular si D son los divisores de un anillo R, tendremos
[
D= Ann((x)).
x6=0
No probarenmos las siguiente propiedades del cociente que son dejadas como ejercicio:
Proposicio n 3.3.11 (Propiedades del Cociente de Ideales). Sea a, b, c ideales de
un anillo R. Se tiene:
(1). a (a : b),
(2). (a : b)b a,
3.4. FUNCIONES VS OBJETOS 59
(3). ((a : b) : c) = (a : bc) = ((a : c) : b),

i : b) = i (ai : b),
(4). (i aP
(5). (a : i bi ) = i (a : ai ).
3.4. Funciones vs Objetos

3.4.1. El Lenguaje de las Categoras. El lenguaje de las categoras fue intro-
ducido a mediados de de los a nos 40 por S. Eilenberg y S. MacLane (cf. [EiMc, 45])
como un intento de desarrollar un lenguaje com un a diversas ramas de la Matematica y
sus interacciones, distinta de la Metamatematica impulsada por la Logica. UNa de las

derivaciones del lenguaje de las Categoras fue el desarrollo del ALgebra Homologica.

El Algebra Homl ogica fue introducida por H. Poincare y D. Hilbert como un intento
de interaccion entre topologa y algebra, fundamentalmente, para disponer de grupos

mas manejables que los grupos de homotopa. Posteriormente, el Algebra Homologi-
ca evoluciona aprovech andose del lenguaje de las categoras, hasta convertirse en una
parte propia de la Matem atica. Esta integracion de las dos ideologas se produce en el
clasico de H. Cartan y S. Eilenberg [CaEi, 56]. Un par de textos clasicos, varias veces
reeditados, que constituyen una Introduccion a estos temas son [Mc, 75] o [HiSt, 97].
Aqu hacemos un resumen acelerado del lenguaje, sin entrar en mas detalles por falta
de tiempo.
3.4.2. Categoras.
n 3.4.1 (Categoras). Una categora es un par C := (Obj C , HomC ), donde:
Definicio
Obj C es una clase formada por conjuntos, cuyos elementos X Obj C se
denominan objetocs de la categora C
HomC es una aplicaci on que a cada dos objetos X, Y Obj C les asigna un
conjunto HomC (X, Y ) que se denomina morfismos de la categora C entre
los objetos X e Y . Adem as, dados tres objetos X, Y, Z Obj C , existe una
transformacion:
: HomC (X, Y ) HomC (Y, Z) HomC (X, Z)
(f, g) 7 g f,
y que verifica las siguientes propiedades:
(1). Para cada objeto X Obj C existe un morfismo IdX HomC (X, X) tal
que para cada f HomC (X, Y ) y para cada g HomC (Z, Y ), se verifica:
f IdX = f, Idx g = g.
(2). Dados 4 objetos X, Y, Z, T Obj C y dados tres morfismos f HomC (X, Y ),
g HomC (Y, Z), h HomC (Z, T ), se tiene:
h (g f ) = (h g) f.
Ejemplo 3.4.2 (Ejemplos de Categoras). Los ejemplos usados en anteriormente

sirven para ilustrar la nocion de categoras.
(1). La Categora de los Espacios Topol ogicos (T ): Los objetos Obj T son
los espacios topologicos, los morfismos HomT (X, Y ) := C 0 (X, Y ) son las fun-
ciones continuas entre X e Y .
(2). La Categora de los Espacios Vectoriales (EVK ) : Los objetos Obj son los
espacios vectoriales sobre un cuerpo K fijado, los morfismos HomEVK (X, Y ) :=
HomK (X, Y ) son las aplicaciones Klineales entre X e Y .
(3). La Categora de las Variedades Diferenciables (M): Los objetos Obj
son las variedades diferenciables ( C , por ejemplo) y los morfismos HomC (X, Y ) :=
C (X, Y ) son las funciones infinitamente diferenciables entre X e Y .
60 AVANZADAS
3. UN POCO MAS
(4). La Categora de los Grupos (G): Los objetos Obj son los grupos, los
morfismos HomG (X, Y ) := Hom(X, Y ) son los morfismos de grupo entre X
e Y.
(5). La Categora de los M odulos sobre un anillo (MR ): Los objetos Obj MR
son los Rm odulos (R fijado), los morfismos HomMR (X, Y ) := HomR (X, Y )
son los morfismos de Rm odulo entre X e Y .
(6). La Categora de los Anillos (R): Los objetos Obj son los anillos conmuta-
tivos con unidad, los morfismos Hom(X, Y ) := Hom(X, Y ) son los morfismos
de anillo entre X e Y .
(7). los ejemplos son muchos.
El objetivo de la Teora de categoras es detectar coincidencias entre diversas categoras

teniendo en cuenta solamente los comportamientos de objetos y morfismos. Comence-
mos, definiendo algunos tipos elementales de morfismos.
Definicio n 3.4.3 (Tipos elementales de Morfismos). Dados dos objetos X, Y en
una categora y un morfismo f HomC (X, Y ), definiremos las condiciones para que f
sea
monomorfismo: Si existe g HomC (Y, X) tal que g f = IdX ,
epimorfismo: Si existe g HomC (Y, X) tal que f g = IdY ,
isomorfismo: Si existe g HomC (Y, X) tal que g f = IdX , f g = IdY .
Ejemplos de monomorfismos, epimorfismos e isomorfismos en las distintas categors son

conocidos. Si acaso, recordar que, en el caso de espacios topologicos, los isomorfismos se
llaman homeomorfismos, mientras que en el caso de variedades diferenciables o analti-
cas, se habla de difeomorfismo y, por ejemplo, en el caso de espacios metricos, se tratan
las isometras. Son el mismo concepto aunque en distintas categoras.
3.4.3. Functores y Equivalencias Naturales. Para poder identificar dos ca-

tegoras, el Algebra Homol
ogica acude a la nocion de functor y de equivalencia natural
(introducida por S. Eilenberg).
Definicio n 3.4.4 (Functor Covariante). Sea C y D dos categoras, con objetos Obj C
y Obj D y morfismos HomC (X, Y ), HomD (X 0 , Y 0 ). Un functor covariante F entre las
categoras C y D es una transformacion con dos ingredientes:
on F : Obj C Obj D , y
Una aplicaci
para cada par de objetos X, Y Obj D una aplicacion (que denotaremos con
las misma letra):
F : HomC (X, Y ) HomD (F (X), F (Y )),
verificando las siguientes propiedades:
(1). Dados f HomC (X, Y ) y g HomC (Y, Z), se tiene:
F (g f ) := F (g) F (f ).
(2). Para cada objeto X Obj C , se tiene:
F (IdX ) = IdF (X) .
Definicio n 3.4.5 (Functor Contravariante). Sea C y D dos categoras, con objetos
Obj C y Obj D y morfismos HomC (X, Y ), HomD (X 0 , Y 0 ). Un functor covariante F entre
las categoras C y D es una transformacion con dos ingredientes:
Una aplicacion F : Obj C Obj D ,
para cada par de objetos X, Y Obj D una aplicacion (que denotaremos con
las misma letra):
F : HomC (X, Y ) HomD (F (Y ), F (X)),
verificando las siguientes propiedades:

(1). Dados f HomC (X, Y ) y g HomC (Y, Z), se tiene:
F (g f ) := F (f ) F (g).
(2). Para cada objeto X Obj C , se tiene:
F (IdX ) = IdF (X) .
Ejemplo 3.4.6 (Ejemplos de Functores). Los siguientes son ejemplos de Functores
entre distintas categoras, con diversos significados:
(1). Consideremos las categoras T de espacios topologicos y R de anillos. Consi-
deremos una transformaci on C 0 del tipo siguiente:
A cada espacio topol ogico X Obj T se le asocia el objeto C 0 (X) :=
0
HomT (X, R) := C (X, R) de las funciones continuas de X en R.
A cada par de espacios topologicos X, Y y a cada morfismo f C 0 (X, Y )
(es decir, funcion contnua de X a Y , le asociamos el morfismo de anillos
C 0 (f ) : C 0 (Y ) C 0 (X),
h 7 h f.
Claramente se trata de un functor contravariante de la categora de espacios
topol
ogicos en la categora de anillos.
(2). Consideremos un functor de la categora EVK en s misma, que denotaremos
por y lo llamaremos el paso al dual.
A cada espacio vectorial X Obj EVK se le asocia el objeto X :=
HomK (X, K), usualmente conocido como el espacio dual de X sobre K.
A cada par de espacios vectoriales sobre K X, Y y a cada morfismo
f HomK (X, Y ) (es decir, a cada aplicacion Klineal le asociamos la
aplicacion Klineal
f : Y X ,
h 7 h f.
Claramente es un functor contra-variante de la categora de espacio vectoriales
en s misma.
(3). Consideremos ahora la categora M de las variedades diferenciables y el fun-
ctor C de M en la categora R de anillos. Se define analogamente al caso
del functor C 0 . Esto es
A cada variedad diferenciable X Obj M se le asocia el objeto C (X) :=
HomM (X, R) := C (X, R) de las funciones infinitamente diferenciables
de X en R.
A cada par de variedades diferenciables X, Y y a cada morfismo f
C (X, Y ) (es decir, funcion infinitamente diferebnciable de X a Y , le
asociamos el morfismo de anillos
C (f ) : C (Y ) C (X),
h 7 h f.
Claramente se trata de otro functor contravariante.
Ejemplo 3.4.7 (El Bifunctor HomR (, )). A partir del Rmodulo HomR (M, N )
definimos dos functores uno covariante y otro contravariante, que discutiremos mas
on de los dos se le denomina, usualmente, bifunctor HomR (, ).
adelante. A la combinaci
(1). El functor covariante HomR (M, ): Sea M un Rmodulo fijo. Definimos
el functor HomR (M, ) de la categora de Rmodulos en s misma del modo
siguiente:
A cada Rm odulo N le asociamos el Rmodulo HomR (M, N ).
62 AVANZADAS
3. UN POCO MAS
A cada morfismo f : N N 0 entre dos Rmodulos, le asociamos

HomR (M, f ) : HomR (M, N ) HomR (M, N 0 ),
g 7 f g.
Se trata de un functor covariante.
(2). El functor contravariante HomR (, N ): Fijemos ahora un Rmodulo N .
Definimos el functor HomR (, N ) de la categora de Rmodulos en s misma
del modo siguiente:
A cada Rm odulo M le asociamos el Rmodulo HomR (M, N ).
A cada morfismo f : M M 0 entre dos Rmodulos, le asociamos
HomR (f, N ) : HomR (M 0 , N ) HomR (M, N ),
h 7 h f.
Se trata de un functor contravariante.
Definicio n 3.4.8 (Equivalencia Natural entre Functores Covariantes). Sea C y

D dos categoras, con objetos Obj C y Obj D y morfismos HomC (X, Y ), HomD (X 0 , Y 0 ).
Dos functores covariantes F y G entre las categoras C y D se dicen naturalemente
equivalentes si para cada objeto X Obj C , existe un isomorfismo X : F (X) G(X)
tal que dados X, Y Obj C y dado un morfismo cualquiera f HomC (X, Y ) se verifica:
Y F (f ) = G(f ) X .
Graficamente tendremos que el siguiente diagrama es conmutativo:

X
F (X) G(X)
F (f ) G(f )
F (Y )
Y G(Y )
Definicio n 3.4.9 (Equivalencia Natural entre Functores Contravariantes). Se
define de manera an aloga al caso covariante, teniendo en cuenta la condicion de con-
travariantes.
Definicio n 3.4.10 (Equivalencia Natural entre Categoras). Dos categoras C y D

se dicen naturalmente equivalentes si existen functores (covariantes o contravariantes) F
entre C y D y G entre D y C tales que la composicion G F es naturalmente equivalente
a la identidad IdC y F G es naturalemnte equivalente a la identidad IdD .
3.4.4. Variaci on de un primer tema cl asico: El Teorema de StoneCech.
Un ejemplo clasico es el famoso Teorema de Stone-Cech y otros autores1, que puede
consultarse en [GiJe, 76] y se puede reescribir del modo siguiente:
Teorema 3.4.1 (Banach-Stone-Cech-Gelfand-Kolmogorov). Si X, Y son dos espacios
ogicos compactos de Hausdorff y f : X Y es una funci
topol on continua tal que C 0 (f )
es isomorfismo de R 0 0
algebras entre C (X) y C (Y ), entonces f es un homeomorfismo.
En realidad el resultado en m
as completo y afirma lo siguiente:
Corollario 3.4.2. Sea CT la categora de los espacios topol
ogios compactos. Entonces,
existe una equivalencia natural entre CT y la subcategora de anillos determinada por
las Ralgebras de la forma C 0 (X), donde X es una espacio tpologico compacto.
1Veanse, por ejemplo, el trabajo reciente:

H.-L. Gau, J.-S. Jeang, N.-C. Wong, An algebraic approach to the BanachStone Theorem for separating
linear bijections. Tai. J. of Math. 6 (2002) 399403.
Dicho de otor modo, ambas categoras son equivalentes y lo mismo da estudiar los espa-

cios topologicos compactos o esta subclase de la categora de anillos. Estees el proposito
de establecer equivalencias naturales: establecer conexiones entre teoras matematicas
que permitan transferir en ambos sentidos informacion, resultados y, por ende, conoci-
miento.
3.4.5. Variaci
on de un segundo tema cl
asico: El Lema de Urysohn y el
Teorema de Extension de Tietze.
Definicio n 3.4.11 (Espacio Topologico Normal). Un espacio topologico (X, T ) se dice
normal si verifica la siguiente propiedad para sus cerrados: Dados dos cerrados F, G
T c , disjuntos, existen dos abiertos A, B T tales que F A, G B y A B = .
Ejemplo 3.4.12. Unos pocos ejemplos convencionales: espacios metricos, espacios com-
pactos de Hausdorff. Mientras que Cn es normal con la topologa usual y no lo es con
la topologa de Zariski.
Teorema 3.4.3 (Lema de Urysohn). Sea X un espacio topol ogico normal, dados F, G
on f C 0 (X) tal que f (X) [0, 1] y se tiene:
dos cerrados en X, existe una funci
f |F = 0, f |G = 1.
Este resultado es conocido como el primer resultado no trivial en Topologa. Se puede

obviamente probar que un espacio topologico es normal si y solamente si verifica la
propiedad descrita en el Lema de Urysohn. Una de sus consecuencias mas famosas es
el siguiente resultado:
Teorema 3.4.4 (Teorema de Extension de TietzeUrysohn). Sea F un cerrado en
un espacio topologico normal X. Entonces, para cada f C 0 (F ) existe una funci
on
continua C 0 (X) tal que
|F = f.
Una interpretacion casi inmediata del Teorema de Tietze (en nuestro contexto) es la
siguiente. Consideremos X un espacio topologico y sea F X un cerrado. Tenemos un
morfismo de anillos dado por la restriccion:
: C 0 (X) C 0 (F ),
7 |F .
Claramente se trata de un morfismo de anillos y se tiene el siguiente enunciado equi-
valente del Teorema de Tietze:
Teorema 3.4.5 (Teorema de Extensi on de TietzeUrysohn). Con las anteriores nota-

ciones, si X es un espacio topol
ogico normal, entonces es un epimorfismo de anillos,
Ker() = I(F ) y se tiene el siguiente isomorfismo de anillos:
C 0 (F )
= C 0 (X)/I(F ).
3.4.6. Variaci
on de un tercer tema cl
asico: Extensi
on de funciones en
Variedades Diferenciables.
Definicio n 3.4.13 (Espacio topologico paracompacto). Un espacio topologico se de-
nomina paracompacto si cada cubrimiento abierto posee un subcubrimiento localmente
finito. Es decir, si dado un cubrimiento {Ui : i I} por abiertos de X, existe un
subcubrimiento {Uj : j J}, J I, tal que para x X, existe un entorno Vx de x
en X tal que
] ({j J : Vx Uj 6= }) < .
64 AVANZADAS
3. UN POCO MAS
Definicio n 3.4.14 (Partici

on de la Unidad). Sea X un espacio topologico, una particion
de la unidad es una familia de funciones continuas {i : i I} C 0 (X) verificando:
Para cada x X, el cardinal de los i I tales que i (x) 6= 0 es finito.
Para cada x X, X
i (x) = 1.
iI
on de la unidad {i : i I} C 0 (X) esta subordinada a un
Se dice que una partici
cubrimiento abierto {Ui : i I} de X si supp(i ) Ui para cada i I 2.
Teorema 3.4.6. Si X es un espacio topol ogico paracompacto, entonces posee particio-
nes de la unidad y particiones de la unidad subordinadas a cubrimientos abiertos.
Las variedades diferenciables, cuando aparezcan en los ejemplos, se suponen siempre
paracompactas.
Teorema 3.4.7. Dada una variedad diferenciable (paracompacta) M y un cubrimiento
abierto de M , existe un subcubrimiento abierto localmente finito y una partici
on de
la unidad {fi : i I} subordinada al subcubrimiento y tal que para cada i I,
fi C (M ).
Observacio n 3.4.8. El Teorema 1.4.1 es consecuencia de la existencia de particiones
de unidad en variedades paracompactas.
Definicio n 3.4.15 (Funciones lisas en un subespacio). Sea F un cerrado en una va-
riedad diferenciable M , una funcion continua f : F R se dice que es C sobre
F si para cada x F , existen un entorno abierto Ux de x en M y una funcion C ,
x : Ux R tal que
x |Ux F = f |F Ux .

Se denota por C (F ) al anillo de las funciones lisas definidas sobre F .
Corollario 3.4.9. Con las anteriores notaciones, para cualquier cerrado F en X, la
restricci
on:
: C (M ) C (F )
7 |F ,
es un epimorfismo de anillos. M
as aun, el siguiente es un isomorfismo de anillos:
C (F )
= C (M )/I(F ).

Problema 3.5.1. Probar las afirmaciones descritas en el Ejemplo 3.2.8
Problema 3.5.2. Probar las equivalencias del Ejemplo 3.3.5.
Problema 3.5.3. Discutir las equivalencias del Ejemplo 3.3.5 en el caso de que la
caracterstica del cuerpo sea positiva.
Problema 3.5.4. Probar la equivalencia siguiente para un cuerpo k cualquiera y un

endomorfismo M Mn (k) con polinomio mnimo m(X) k[X].
El ideal generador por m en k[X] (conocido como el Anulador de la matriz
M ) es un ideal radical.
2Recu
erdese que el soporte supp(f ) de una funci
on es la clausura del conjunto de puntos donde la
funci
on no se anula.
El endomorfismo M es diagonalizable sobre alguna clausura algebraica K de

k, es decir, existen matrices P GL(n, K) y valores 1 , . . . , n K, tales que

1 0 0
0 2 0
P M P 1 = .. .. .

. .
. . .
0 0 n
Problema 3.5.5. Demostrar las afirmaciones expuestas en la Proposicion 3.3.9.
Problema 3.5.6 (La topologa de Zariski en Spec(R)). Comencemos con un aspec-

to notacional: Sea R un anillo, p Spec(R) y f R. Denotemos mediante f (p) la clase
f + p R/p. Notese que es una notaci
on, aunque no debe entenderse f funcionalmente,
pero nos permite definir los siguientes conjuntos. dado a un ideal de R, definamos
V (a) := {p Spec(R) : f (p) = 0 R/p}.
Del mismo modo, dado F Spec(R) podemos definir
I(F ) := {f R : f (p) = 0, p F }.
Probar las afirmaciones siguientes:
(1). V (a) = {p
T Spec(R) : p a}.
(2). I(F ) := {p Spec(R) : p (F )}, donde (F ) es el ideal geberado por F .
(3). Existe una unica topologa en Spec(R) cuyos cerrados son los subconjuntos
de la forma V (a) (llamada topolog de Zariski en el espectro Spec(R)).
(4). Un subconjunto F Spec(R)
es cerrado si y solamente si V (I(F )) = F .
(5). Para cada ideal a de R, a = I(V (a)).
(6). Existe una biyeccion entre los ideales radicales de R y los cerrados de Spec(R)
para la topologa de Zariski.
(7). Dado un morfismo de anillos : R T , la aplicacion
Spec() : Spec(T ) Spec(T )
p 7 pc := 1 (p),
es una aplicacion continua para las respectivas topologas de Zariski. Concluir
que Spec define un functor contravariante de la catefgora de anillos en la
actegora de espacios topol
ogicos.
Problema 3.5.7 (La topologa de Zariski en el espectro maximal Spm(R)).

Analizar cuales de las anteriores propiedades permanecen si cambiamos Spec(R) por
Spm(R).
Problema 3.5.8 (StoneCech). Tratar de establecer, en el caso de que X sea un

espacio topol
ogico compacto, cual es la relacion existente entre X y el espectro maximal
Spm(C 0 (X)) con la toploga de zariski. Es un homemorfismo?.
Problema 3.5.9. Demostrar las afirmaciones expuestas en la Proposicion 3.3.11.
Problema 3.5.10. Constuir functores entre la categora de espacios topologicos trian-

gulables T T y la categora de grupos a traves de grupo de homotopa 1 (X).
Captulo 4
Anillos y M
odulos Noetherianos: Primeras propiedades
Contents
4.2. Diagramas Conmutativos, Complejos y Sucesiones Exactas 68
4.3. El Bifunctor HomR (, ), localizaci on, y propiedades locales 71
4.4. Anillos y M odulos Noetherianos 75
4.4.1. Condicion de cadena ascendente para submodulos e ideales 75
4.4.2. El Teorema de la Base de Hilbert 77
4.5. Descomposici on Primaria 79
4.5.1. Un par de resultados tecnios peliminares: NAK y otros 79
4.5.2. Descomposic on Primaria: Teorema de LaskerNoether 81
4.6. Temas Opcionales 86
4.6.1. Snake Lemma 86
4.6.2. Libres, Proyectivos, Inyectivos y Planos (Opcional) 86
4.1. Introducci
on
Aunque dedicaremos parte de este Captulo a a nadir mas nociones elementales el objeto
fundamental es establecer los fundamentos sobre anillos y modulos noetherianos, el
Teorema de la Base de Hilbert y la existencia de decomposicion primaria en anillos
neotherianos (Teorema de LaskerNoether). Dejaremos para el siguiente Captulo los
aspectos de unicidad en la descomposicion primaria.
El primer enunciado esencial sobre anillos noetherianos es el Teorema de la Base de
Hilbert (Basissatz)1. Nadie discute a Hilbert su prioridad en este sentido, pero es E.
Noether quien establiza la noci on y le concede el valor y relevancia que posteriormente
tendra. En aquella epoca no todo se publicaba y se sabe por documentos, notas aisladas
de seminarios y conferencias que E. Neother usaba sistematicamente las condiciones de
cadena ascendente y descendente. En su trabajo de 19212 E. Noether pone en marcha el
Algebra Conmutativa e incorpora a ella las nociones de noetherianidad como nociones

centrales. La influencia de Noether en el futuro desarrollo del Algebra Conmutativa (de
la que la podemos considerar como fundadora) se fundamentara a traves de su propia
obra, pero tambien a traves de muchos de sus alumnos como W. Krull3. Dedicaremos la
Seccion 4.4 a definir y establecer las propiedades mas basicas de los anillos y modulos
noetherianos.
No es menos desde nable el famoso Teorema de LaskerNoether. Este resultado que ge-
neraliza la factorizaci
on a traves de al descomposicion primaria de ideales, fue probado
1
D. Hilbert, Uber theorie der Algebraischen Formen. Math. Ann. 36 (1890), 473534.
2E. Noether, Idealtheorie in Ringbereichen, Math. Annalen 83 (1921) 2466.
3V
eanse, por ejemplo, sus contribuciones en:
W. Krull, Die Idealtheorie in Ringen ohne Endlicheitsbedingungen, Mathematische Annalen
10 (1929), 729744.
W. Krull, Idealtheorie, Springer, 1935.
67
68 4. NOETHERIANOS
por el alumno de D. Hilbert (y famoso jugador de ajedrez, a quien le ineteresaban mas

los tableros que las matem aticas) E. Lasker en 1905 4 para anillos de polinomioas y ani-
llos de series de potencias formales. Fue, sin embargo, E. Noether quien lo generalizo a
todo anillo y m odulo verificando las condiciones de cadena ascendente en su trabajo de
1921 ya citado. Dedicaremos la Secci on 4.5 a establecer esta version de Noether de la
descomposici on primaria.
4.2. Diagramas Conmutativos, Complejos y Sucesiones Exactas

Comencemos con una noci
on b
asica de Combinatoria.
Definicio n 4.2.1 (Grafo orientado). Un grafo orientado es un par G := (V, E),
donde V es un conjunto (cuyos elementos se denominan vertices o nodos) y E V 2 es
una relacion (cuyos elementos se denominan aristas). Un camino en un grafo orientado
es una sucesion finita de vertices
1 , . . . , n ,
de tal modo que (i , i+1 ) E. En ocasiones, el camino se describe mediante la notacion:
1 2 n .
Un ciclo es un camino que comienza y termina en el mismo nodo.
Un grafo con pesos en un conjunto F es un par (G, A), donde G := (V, E) es un
grafo y A : E F es una aplicacion que asigna a cada arista (1 , 2 ) un elemento
A(1 , 2 ) F .
Observacio n 4.2.1. Usualmente, en Combinatoria, se tratan los grafos G := (V, E)
para los que el conjunto de vertices V es finito. Sin embargo, esta restriccion es, a
veces, poco enriquecedora.
Por ejemplo, considerando V := N2 y E formado por los pares (1 2 ) dados mediante
la propiedad 1 deglex 2 es un grafo orientado definido por una relacion de orden.
on de orden sobre un conjunto V , define un grafo orientado (V, ).
Es decir, toda relaci
Recprocamente todo grafo orientado permite definir una relacion sobre el conjunto de
sus vertices que no siempre es relaci
on de orden salvo que anadamos bulces (selflopps)
de la forma (x, x) y que no haya ciclos con mas de un nodo.
Otros ejemplos sintom aticos de grafos orientados son los sistemas dinamicos formados
por un par (M, f ) donde M es una variedad y f : M M es un difeomorfismo. esto
permite introducir un grafo (M, Gr(f )), donde Gr(f ) es el grafo de f .
Definicio n 4.2.2 (Diagrama en la categora de Rm odulos). Un diagrama en
la categora de Rm odulos MR en un grafo con pesos (G, A), donde G = (V, E), los
vertices en V son Rm odulos y la asignacion A a las aristas, satisface:
(M, N ) E, A(M, N ) HomR (M, N ).
Un diagrama conmutativo en la categora de Rmodulos es un diagrama (G, A), donde
G = (V, E) si verifica los siguiente:
dados dos caminos en el grafo:
N1 N2 Nn ,
y
M1 M 2 M m ,
con el mismo punto inicial y final (M1 = N1 , Mm = Nn ) y dadas las asignaciones de
morfismos:
fi := A(Ni , Ni+1 , 1 i n 1, gj := A(Mj , Mj+1 ), 1 j m 1,
4 E. Lasker, Zur Theorie der Moduln und Ideale, Math. Ann. 60 (1905), 19116.
4.2. DIAGRAMAS CONMUTATIVOS, COMPLEJOS Y SUCESIONES EXACTAS 69
se tiene
fn1 fn2 f1 = gm1 gm2 g1 ,
donde quiere decir, como siempre, composicion.
Notacio n 4.2.3. Usualmente se usan los smbolos o para representar la con-

mutatividad de una diagrama. Asa la propiedad que define la conmutatividad de un
diagrama se puede escribir mediante el dibujo siguiente:
f2 fn3 fn2
N2
Nn2
Nn1
% f1 fn1 &
M 1 = N1 Mm = Nm
& g1 gm1 %
M2
g2

gn3 Mm2

gn2 Mm1
Ejemplo 4.2.4 (Diagrama Conmutativo de los Teoremas de Isomorfa). Veamos algu-

nos ejemplos sencillos de diagramas conmutativos asociados a los Teoremas de Isomorfa
de Rmodulos discutidos en Captulos anteriores.
Primer Teorema de Isomorfa: Consideremos un morfismo de Rm
odulos
f : M N . Consideremos M/ker(f ) el cociente por el n
ucleo, sea : M
M/ker(f ) la proyecci onica y sea i : Imf (f ) N la inclusion de la
on can
imagen en N . El Primer Teorema de Isomorfa afirma que existe un u nico
isomorfismo fe : M/ker(F ) Im(f ) que hace conmutativo el diagrama
siguiente:
f
M N
i
M/ker(f ) Im(f )
fe
Segundo Teorema de Isomorfa: Consideramos N L dos subm
odulos de
M . Como L/N es subm
odulo de M/N tenemos tres proyecciones:
1 : M M/N, 2 : M M/L, 2 : M/N (M/N )/(L/N ).
El Segundo Teorema de Isomorfa afirma que existe un u
nico isomorfismo
e : M/L (M/N )/(L/N ) haciendo conmutativo el siguiente diagrama:

1
M M/N
2 3
M/L (M/N )/(L/N )

e
Tercer Teorema de Isomorfa: Consideramos N1 , N2 dos subm
odulos de
un Rm odulo M . Tenemos los morfismos siguientes: i : N1 N1 + N2
dado como la inclusion, tenemos que N1 N2 es submodulo de N1 y, por
on 1 : N1 N1 /(N1 N2 ) y, finalmente, N2 es
tanto, tenemos la proyecci
submodulo de N1 + N2 con lo que tenemos la proyeccion 2 : N1 + N1
(N1 + N2 )/N2 . El Tercer Teorema de Isomorfa afirma que existe un unico
isomorfismo de Rm odulos ei : N1 /(N1 N2 ) (N1 + N2 )/N2 haciendo
70 4. NOETHERIANOS
conmutativo el siguiente diagrama:

i
N1 N1 + N2
1 2
N1 /(N1 N2 ) (N1 + N2 )/N2
ei
Definicio n 4.2.5 (Complejos de Rm odulos). Se denomina complejo de Rmodu-

los a todo diagrama dado como una secuencia (sub-indicada por Z o N, seg un el caso)
de modulos y morfismos:
di di+1 di+2
C := Mi Mi+1
M ,
i+2
de tal modo que di+1 di (o, equivalentemente, Im(di ) ker(di+1 )). A los morfismos
di se les denomina morfismos frontera5.
n 4.2.6 (Sucesiones exactas de Rm

Definicio odulos). Las sucesiones exactas de
Rmodulos son los complejos de Rmodulos:
di di+1 di+2
C := Mi Mi+1
M ,
i+2
que verifican:
Im(di+1 ) = ker(di ), i.
Se llaman sucesiones exactas cortas a las sucesiones exactas de la forma:
0 f g
0 M M M 00 0,
Donde 0 es el Rm odulo nulo, y 0 M 0 , M 00 0, son los morfismo obvios (y, por
ello, no se representan).
n 4.2.2 (Primeras Observaciones). Como primeros comentarios obvios,

Observacio
supongamos que tenemos una sucesi
on exacta de Rmodulos:
0 f g
0 M M M 00 0,
Como es exacta y 0 M 0 es el morfismo nulo 0, Im(0) = ker(f ) = 0
significa que necesariamente f ha de ser inyectiva. Algunos autores usan la
notacion M 0 , M
Como es exacta y M 00 0 es el morfismo nulo 0, ker(0) = M 00 = Im(g)
significa que f ha de ser necesariamente suprayectiva. Algunos autores usan
M M 00 .
Finalmente, es una forma distinta de escribir que
M/f (M 0 )
= M 00 .
En el caso de espacios vectoriales de dimension finita, una sucesion exacta
como la anterior, implicara que M = M 0 M 00 . Esto, que es cierto para
espacios vectoriales, no es cierto para modulos. Baste con observar la s.e.c.
siguiente:
f g
0 2Z Z Z/2Z 0,
donde f es la inclusion y g es la proyeccion. Clarmente Z 6 2Z (Z/2Z),
=
on y 2Z (Z/2Z) tiene torsion.
porque Z es libre de torsi
5La terminologa viene de la Topolog Algebraica y los morfismos frontera inducidos por trian-
gulaciones, as como los terminos ciclo, borde para representar, respectivamente ker(di ) e Im(di+1 ),
permitiendo definir los grupos de homologa Hi (X) := ker(di )/Im(di+1 ).

4.3. EL BIFUNCTOR HomR (, ), LOCALIZACION, Y PROPIEDADES LOCALES 71
Ejemplo 4.2.7 (N ucleo y Co-n ucleo y s.e.c.). Dado un morfismo de Rmodulos

f : M N , tenemos una sucesi on exacta de la forma siguiente:
i f
0 ker(f ) M N Coker(f ) 0,
donde i es la inclusi
on y es la proyeccion obvia.
n 4.2.3. Dado un complejo de Rm

Proposicio odulos
di d i+1 di+2
C := Mi Mi+1
M ,
i+2
entonces C es exacto si y solamente si para cada i, la sucesi on exacta corta siguiente
es exacta:
ki di
Ci := 0 ker(di ) Mi ker(di+1 ) 0,
donde ki es la inclusi
on can
onica.
Demostraci on C es exacta, entonces Im(di ) = ker(di+1 ) para cada i.
on. Si la sucesi
Claramente, Im(ki ) = ker(di ) por definicion, as que Ci es una sucesion exacta corta.
El recproco es igualmente obvio.
Definicio n 4.2.8 (Functores exactos). Un functor F de la categora de Rmodulos

MR en s misma, se denomina exacto si transforma sucesiones exactas en sucesiones
exactas.
A la vista de la Proposici
on anterior, un functor es exacto si y solamente si transforma
sucesiones exactas cortas en sucesiones exactas cortas.
n 4.2.9 (Functor exacto a izquierda). Un functor F de la categora de

Definicio
Rmodulos MR en s misma, se denomina exacto si verifica las condiciones siguientes:
En el caso covariante, F transforma sucesiones exactas cortas
0 M 0 M M 00 0
en sucesiones exactas
0 F (M 0 ) F (M ) F (M 00 ).
En el caso contravariante, G transforma esa misma sucesion exacta corta en
la sucesi
on exacta
0 G(M 00 ) G(M ) G(M 0 ).
4.3. El Bifunctor HomR (, ), localizaci

on, y propiedades locales
Proposicio odulos M y N , los functores HomR (M, ) y HomR (, N )
n 4.3.1. Dados Rm
son exactos a izquierda.
Demostraci on. Hagamos la prueba para HomR (M, ) y dejamos el otro como Ejer-
cicio. Consideremos una sucesi
on exacta de Rmodulos:
0 f g
0 N N N 00 0,
Tenemos la sucesi
on siguiente:
HomR (M, f ) HomR (M, g)
0 HomR (M, N 0 ) HomR (M, N ) HomR (M, N 00 ),
donde el morfismo que sale del m
odulo nulo es el obvio morfismo nulo. Tenemos, ademas,
los morfismos:
HomR (M, f ) : HomR (M, N 0 ) HomR (M, N )
h 7 f h.
72 4. NOETHERIANOS
y
HomR (M, g) : HomR (M, N ) HomR (M, N 00 )
h 7 g h.
Para ver que HomR (M, f ) es inyectiva, sea h HomR (M, N 0 ) tal que HomR (M, f )(h) =
0. Esto significa que m M , f h(m) = f (h(m)) = 0. Como f es inyectiva, esto impli-
ca h(m) = 0, m M . Con lo que HomR (M, f ) es monomorfismo y tenemos exactitud
en el nodo HomR (M, N 0 ).
De otro lado, observamos que HomR (M, g) HomR (M, f ) = HomR (M, g f ) =
HomR (M, 0) = 0, con lo que
Im(HomR (M, f )) ker(HomR (M, g)).
De otro lado, sea h HomR (M, N ) tal que HomR (M, g)(h) = g h = 0. Por tanto,
Im(h) ker(g) = Im(f ). Ademas, f era inyectiva, luego la siguiente es una aplicacion
bien definida :
h0 : M N0
1
m 7 f (h(m)).
Es facil comprobar que es morfismo de Rmodulos y mas facil a un verificar que
HomR (M, f )(h0 ) = h.
A partir de la localizaci
on tambien podemos definir un functor del modo siguiente: Sea
S R un sistema multiplicativo en un anillo R y sea f : M 0 M un morfismo entre
dos Rmodulos. Definamos:
S 1 : S 1 M 0 S 1 M
m f (m)
s 7 s .
Se tiene:
Proposicio n 4.3.2. El functor S 1 es un functor covariante exacto de la categora de
Rmodulos. En particular, si N y P son subm odulos de un Rm odulo M , se tiene:
1 1
S (N + P ) = S N + S P , 1
S 1 (N P ) = S 1 N S 1 P ,
Los S 1 Rm odulos S 1 (M/N ) y S 1 M/S 1 N son isomorfos.
Demostracion. Para probarlo, es evidente comprobar que S 1 f es morfismo de
S 1 Rmodulos y que S 1 (g f ) = S 1 g S 1 f , para cualesquiera dos morfismos
f : M 0 M , g : M M 00 . Tambien es claro que S 1 IdM = IdS 1 M . Nos que-
da solamente analizar la exactitud como functor. Para ello, consideremos una sucesion
exacta de Rm odulos:
0 f g
0 M M M 00 0,
Tenemos la sucesi
on siguiente:
0 S 1 f S 1 g
0 S 1 M S 1 M S 1 M 00 ) 0,
Comencemos observando que ker(S 1 f ) = 0. Para ello, si m
s S 1 M 0 es tal que
m f (m)
S 1 f (
)= = 0,
s s
es porque existe t S tal que t(f (m) s0) = 0, es decir, f (tm) = 0 y, como f es
inyectiva, tm = t(m1 s0) = 0 o lo que es lo mismo m 0
s = 0 en M .
Seguidamente, es claro que 0 = S 1 (g f ) = S 1 g S 1 f = 0, con lo que Im(S 1 f )
ker(S 1 g). Supongamos ahora m 1 1
s ker(S g) S M . Esto significa que
m g(m)
S 1 g( )= = 0,
s s

4.3. EL BIFUNCTOR HomR (, ), LOCALIZACION, Y PROPIEDADES LOCALES 73
es decir, existe t S R tal que t(g(m)1 s0) = tg(m) = 0. Por tanto, g(tm) = 0 y
tm ker(g) = Im(f ). Es decir, existe n M 0 tal que f (n) = tm. Considero, entonces,
n 1 0
ts S M (que tiene sentido porque t, s S y S es un sistema multiplicativamente
cerrado). Tendremos:
n f (n) tm m
S 1 f ( )= = = Im(S 1 f ).
ts ts ts s
Con esto tenemos la exactitud en el nodo S 1 M . Resulta muy sencillo probar que
00
S 1 g es un epimorfismo. Para ello, sea ms S 1 M 00 un elemento cualquiera. Como
g es suprayectiva, existe m M tal que g(m) = m00 . Entonces, resulta claro que
00 m00
S 1 g( ms ) = g(m) 1
s = s Im(S g).
Las otras propiedades descritas en el enunciado son sencillas de probar (como S 1 (N +
P ) = S 1 N + S 1 P ) o son consecuencia de los Teoremas de Isomorfa combinados
con la exactitud como functor (como S 1 (N P ) = S 1 N S 1 P o S 1 (M/N ) =
S 1 M/S 1 N ).
Corollario 4.3.3. Similares propiedades se verifican para ideales en un anillo. Es
decir,
(1). Para cada ideal a de R, S 1 a es ideal de S 1 R. De hecho, S 1 a es el ideal
de S 1 R generado por { a1 : a a}. N otese que si S a 6= , entonces
S 1 a = S 1 R.
(2). Para dos ideales a, b de R, se tiene
S 1 (a + b) = S 1 a + S 1 b,
S 1 (a b) = S 1 a S 1 b
(3). Hay una biyecci on entre los ideales primos de R que tienen intersecci
on vaca
con S y Spec(S 1 R):
S 1 : {p Spec(R) : p S = } Spec(S 1 R)
p 7 S 1 p.
(4). La anterior porpiedad no es, en general, cierta cuando se trata de ideales
maximales. De hecho, los ideales maximales de S 1 R son las localizaciones
S 1 m, donde m Spec(R) es maximal entre los primos con intersecci
on vaca
con S (pero no necesariamente maximal en R).
Demostraci on. Las propiedades (1) y (2) son mera reescritura de la anterior Propo-
0
sicion. La propiedad (3) tiene un poco mas de interes. Tomemos xs , xs0 S 1 R tales
que
x x0 xx0 y
0
= 0
= S 1 p,
ss ss r
donde y p, r S. Entonces, existe y t S tal que t(xx0 r yss0 ) = 0. Como y p,
tambien se tiene tyss0 p y, por tanto, trxx0 p. Pero tr S \ p, luego xx0 p y p es
primo en R. De esto concluimos que x p o x0 p, lo que, obviamente, implica
x x0
S 1 p 0 S 1 p,
s s
y S 1 p Spec(S 1 R).
Para la suprayectividad, se q Spec(S 1 R) un ideal primo y sea p := qc R su
contraccion. Obviamente, tenemos que p Spec(R), S 1 p q y, en particular, p S =
. Comprobemos que el contenido es, de hecho, una igualdad. Para ello, sea ys q.
Entonces, sy c 1
s q (por ser ideal) e y q = p. Con ello, es claro que S p = q y S
1 es
suprayectiva.
En cuanto a la inyectividad, supongamos que p, p0 Spec(R) son tales que S 1 p =
S 1 p0 . Probemos, entonces, que p p0 (el contenido recproco es analogo). Dado x p,
0
se tiene que x1 S 1 p = S 1 p0 , por cuanto existen x0 p0 , s0 S tales que x1 = xs0
74 4. NOETHERIANOS
o, seg on, existe t S, tal que t(xs0 x0 ) = 0. Pero tx0 p0 , con lo que
un la definci
concluimos txs = (ts)x p0 y ts S, ts 6 p0 . Por tanto, x p0 y tenemos probado uno
de los contenidos.
Observacio n 4.3.4. Tambien se podra haber descrito la prueba anterior observando

el isormofismo de S 1 Rmodulos :
S 1 (R/p)
= S 1 R/S 1 p,
que se da por la exactitud del functor S 1 . Es facil verificar que se trata de un ismorfismo
de anillos. Es mas, como S p = , si consideramos S := {s + p : s S} tenemos un
sistema multiplicativamente cerrado de R/p que es un dominio de integridad. Por tanto,
1
S (R/p) est a contenido en el cuerpo de fracciones de R/p y es, tambien, dominio de
1
integridad. Finalmente, observemos que S (R/p) es isomorfo, como anillo, a S 1 (R/p),
con lo que S 1 p Spec(S 1 R).
Corollario 4.3.5. Para cada ideal p Spec(R), el anillo Rp es un anillo local, cuyo
u
nico ideal maximal es el ideal generador por p en Rp y que denotaremos mediante pRp .
Adem as, los ideales primos de Rp estan en biyecci
on con los ideales primos de R con-
tenidos en p.
Por ultimo, el anillo cociente Rp /pRp es un cuerpo y se da el isomorfismo:
(Rp /pRp )
= qf (R/p),
donde qf (R/p) es el cuerpo de fracciones del dominio de integridad R/p.
Definicio n 4.3.1 (Localizaci

on en un primo). Al anillo local Rp se le denomina
on de R en p y, para cada Rmodulo M , llamaremos al Rp modulo Mp , la
localizaci
localizaci
on de M en p.
Se llaman propiedades locales a aquellas propiedades de los modulos que se satisfacen si

y solamente si se satisfacen para cada localizacion. Son ejemplos de propiedades locales
las siguientes:
Proposicio n 4.3.6 (Ser cero es una propiedad local). Las siguientes propiedades
son equivalentes para cada Rm odulo M :
(1). M = 0,
(2). Mp = 0, p Spec(R),
(3). Mm = 0, m Spm(R).
Para un Rm
odulo M cualquiera, se define el soporte de M , Supp(M ) del modo si-
guiente:
Supp(M ) := {p Spec(R) : Mp 6= 0}.
En particular, M 6= 0 si y solamente si Supp(M ) 6= .
Demostraci on. Probar (1) (2) (3) es obvio porque la localizacion es exacta y
todo maximal es primo. Para probar (3) (1), supongamos que M 6= 0, pero Mm = 0,
m Spm(R). Si M 6= 0, entonces, ha de existir m M , con m 6= 0. Consideremos el
anulador de ese elemento no nulo: a := Ann(m) := {x R : xm = 0}. Se trata de
un ideal de R tal que a / R. En caso contrario, 1 a = Ann(m) y, m = 1m = 0. Por
tanto, existe un maximal m Spm(R) tal que a m. Pero, por (3), Mm = 0, lo que
significa m
1 = 0 y esto equivale a t S = R \ m tal que tm = 0. Luego t R \ Ann(m)
y tm = 0, llegando a contradiccion.

4.4. ANILLOS Y MODULOS NOETHERIANOS 75
4.4. Anillos y M
odulos Noetherianos
4.4.1. Condici on de cadena ascendente para subm odulos e ideales. En
el Captulo 1 hicimos referencia al uso del Axioma de Zorn para probar que todo anillo
posee, al menos, un ideal maximal. A partir de aqu, nos ocuparemos solamente de
anillos y modulos noetherianos para los cuales basta con una version mas suave el
Axioma de Zorn, conocido como el Axioma de Elecci on Dependiente.
n 4.4.1 (Axioma de Elecci

Definicio on Dependiente). Sea X un conjunto no vaco
y R X X una relacion. Supongamos que R satisface la siguiente propiedad:
a X, b X, aRb.
on {xn : n N} X de tal modo que xn Rxn+1 , n N.
Entonces, existe una sucesi
Proposicio n 4.4.1 (M odulo Noetheriano). Sea R un anillo y M un Rm odulo.

Las siguientes propiedades son equivalentes:
(1). Todo subm odulo de M es finitamente generado.
(2). Los subm odulos de M satisfacen las condici
on de cadena ascendente, es
decir, dada una cadena ascendente de submodulos de M :
N0 N1 N2 Nm ,
entonces existe un entero n N a partir del cual la cadena se establiza, es
decir, Nm = Nn , m n.
(3). Todo conjunto no vaco de subm
odulos de M posee elemento maximal para la
inclusi
on.
Demostracion.
(1) (2): N
otese que si tenemos una cadena ascendente:
N0 N1 N2 Nm ,
S
la union N := iN Ni M es tambien un submodulo de M y, por (1),
a finitamente generado. Una coleccion finita {n1 , . . . , nr } de generadores
ser
de N debe pertenecer a alg
un submodulo Nn de M (simplemente porque todo
subconjunto finito de naturales posee elemento maximal). Entonces, N = Nn
y Nm = Nn , m n.
(2) (3): Aqu usaremos el Axioma de Elecci on Dependiente del modo si-
guiente. Sea X un subconjunto no vaco de submodulos de M y supongamos
que no posee elemento maximal. Entonces, verifica que
0
N X, N X, N
/ N .
Tomando R = / como la relaci
on sobre X, concluiremos que existe una cadena
ascendente:
N0 / N1
/ N2 /
/ Nm / ,
contradiciendo (2).
(3) (1): Sea N un subm odulo de M . Consideremos el conjunto XN formado
por todos los subm odulos L de N que son finitamente generados. Como (0)
es subm odulo, finitamente generado, y (0) N , entonces (0) X 6= . Por
tanto, X posee una elemento maximal para la inclusion. Sea N0 ese elemento
maximal. Tenemos que N0 N . Si N0 = N habremos concluido. Suponga-
mos, por tanto, que N0 / N . Entonces, existe n N \ N0 y consideremos el
subm odulo N1 := N0 + hni N . Claramente N1 X y N0 / N1 , con lo que
llegaramos a contradicci
on.

76 4. NOETHERIANOS
Observacio n 4.4.2. Usualmente la prueba de la equivalencia entre estas tres propieda-

des (esencialmente la prueba de (2) (3) o, equivalentemente, la prueba de (2) (1)
se hace sin mostrar la relevancia del Axioma de Eleccion Dependiente. Este aspecto fue
destacado por W. Hodges, en su trabajo:
W. Hodges, Six impossible rings, J. Algebra 31 (1974), 218-244.
Este trabajo ha generado bastante controversia y nuestra eleccion simplifica por la v de
elegir un Axioma m as debil.
Identicamente a la anterior Proposici

on, como todo anillo es Rmodulo sobre s mismo
y sus submodulos son sus ideales, tenemos el correspondiente enunciado para anillos:
Proposicio n 4.4.3 (Anillo Noetheriano). Sea R un anillo. Las siguientes propie-
dades son equivalentes:
(1). Todo ideal de R es finitamente generado.
(2). Los ideales de R satisfacen las condici
on de cadena ascendente, es decir,
dada una cadena ascendente de ideales de R:
a0 a1 a2 am ,
entonces existe un entero n N a partir del cual la cadena se establiza, es
decir, am = an , m n.
(3). Todo conjunto no vaco de ideales de R posee elemento maximal para la in-
clusi
on.
En particular, todo anillo que satisface una cualquiera de esas propiedades equivalentes
posee al menos un ideal maximal.
Definicio n 4.4.2. Se tienen las nociones siguientes:

(1). Un Rm odulo M se llama noetheriano si satisface una cualquiera de las
propiedades equivalentes descritas en la Proposicion 4.4.1 anterior.
(2). Un anillo R se llama noetheriano si es noetheriano como modulo sobre s mis-
mo, esto es, si satisface una cualquiera de las propiedades equivalentes descri-
tas en la Proposici on 4.4.3 anterior.
Ejemplo 4.4.3. Algunos ejemplos elementales e inmediatos:

Los cuerpos son, obviamente, anillos noetherianos.
Los dominios de ideales principales son anillos noetherianos (todos sus ideales
son finitamente generados).
Los espacios vectoriales son finitamente generados si y solamente si son neot-
herianos (todos sus subespacios son finitamente generados).
Los grupos abelianos libres finitamente generados son noetherianos: sus submodu-
los son libres de torsi
on (y, por tanto, libres) y finitamente generados
Subm odulos de m odulos noetherianos son noetherianos porque los submodulos
de un subm odulo son subm odulos del modulo original.
Cocientes de m odulos noetherianos son noetherianos: para verlo basta con
usar la propiedad (3) de la Proposicion 4.4.1: Recuerdese que los submodulos
de un cociente M/N est an biyectados con los submodulos de M que contienen
a N y que esa biyecci on preserva la inclusion.
Cocientes de anillos noetherianos son tambien noetherianos.
Pero necesitamos de mecanismos adicionales para mostrar ejemplos mas aleborados de
anillos y modulos noetherianos.

4.4. ANILLOS Y MODULOS NOETHERIANOS 77
4.4.2. El Teorema de la Base de Hilbert.

n 4.4.4. Dada una sucesi
Proposicio on exacta corta de Rm
odulos:
f g
0 M M M 00 0,
0
entonces, M es noetheriano si y solamente si M 0 y M 00 son noetherianos.

Demostraci on. Es claro que si M es noetheriano, M 0 tambien lo es dado que es
isomorfo a un subm odulo de M . De otro lado, M 00 es isomorfo a un cociente de M
por un subm odulo (de heho, M 00 = M/M 0 ). Por tanto, solo hay que probar la otra
implicacion.
Comencemos tomando un subm odulo N de M y sea g(N ) submodulo de M 00 . Como
00
M es noetheriano, entonces, existen n1 , . . . , np N tales que g(n1 ), . . . , g(np ) generan
g(N ) como subm odulo de M 00 . De otro lado, f 1 (N ) es un submodulo de M 0 . Como
M 0 es noetheriano, posee un conjunto finito mp+1 , . . . , ms de generadores y considero
np+1 = f (mp+1 ), . . . , ns := f (ms ) elementos de N . Probemos que el conjunto X :=
{n1 , . . . , np , np+1 , . . . , ns } genera N como submodulo de M . Para ello, consideremos un
elemento n N y el subm odulo NX N generado por X. Tenemos que g(n) g(N )
y, por tanto, existen x1 , . . . , xp R tales que
g(n) = x1 g(n1 ) + + xp g(np ).
En particular, tendremos que g(n (x1 n1 + + xp np )) = 0, lo que significa que
n (x1 n1 + + xp np ) Keg(g) = Im(f ). Pero n (x1 n1 + + xp np ) N , luego
existe y f 1 (N ) tal que f (y) = n (x1 n1 + + xp np ). Pero mp+1 , . . . , ms generan
f 1 (N ). Por tanto, existen xp+1 , . . . , xs R tales que y = xp+1 mp+1 + + xs ms . Esto
u
ltimo implica que
n (x1 n1 + + xp np ) = xp+1 f (mp+1 ) + + xs f (ms ).
Esto u
ltimo tambien se resscribe:
n = x1 n1 + + xp np + xp+1 np+1 + + xs ns ,
y queda probado que n NX , con lo que N = NX y M es noetheriano.
Proposicio n 4.4.5. Si R es un anillo noetheriano, entonces un Rm

odulo es noethe-
riano si y solamente si es finitamente generado como Rm odulo.
Demostraci on. Es claro que si M es un Rmodulo noetheriano es finitamente gene-
rado (todos sus submodulos lo son). Por tanto, solo hay que probar el recproco.
As, sea M un Rm odulo finitamente generado, suponiendo que R es noetheriano. Su-
pongamos que M es generado por n elementos. Probaremos, por induccion en n, que
M es un Rm odulo noetheriano.
Para el caso n = 1, si M est a generado por un solo elemento, entonces M es isomorfo

como Rmodulo a un cociente R/a, donde a es un ideal de R. Entonces, aplicando la
anterior proposici on, habremos concluido que M es un Rmodulo noetheriano a traves
de la sucesion exacta:
0 a R R/a 0.
Supongamos que el resultado es cierto para toso los Rmodulos que se pueden generar
con a lo sumo n 1 elementos. Sea {m1 , . . . , mn } un conjunto de elementos de M
que lo generan como Rm odulo. Consideremos el submodulo M 0 de M generado por
{m1 , . . . , Mn1 }. Por hipotesis inductiva, M 0 es noetheriano. Pero, ademas podemos
considerar la sucesi on exacta corta siguiente:
i
0 M 0 M M/M 0 0,
78 4. NOETHERIANOS
donde i es la inclusi
on can
onica y es la proyeccion canonica. Ademas, es facil observar
00
que M/M est a generado, como Rmodulo, por la clase {xn + M 0 }. Aplicando el
caso n = 1 tenemos que M/M 0 es tambien noetheriano y, finalmente, aplicando la
Proposicion 4.4.4 concluiremos que M ha de ser noetheriano tambien.
Proposicio n 4.4.6. Sea S un sistema multiplicativo de un anillo R. Si R es neot-

on S 1 R. En particular, para cada ideal
heriano, tambien es neotheriano su localizaci
primo p Spec(R) se un anillo noetheriano, la localizacion Rp es anillo local noethe-
riano.
Demostraci on. Basta con recordar la relacion entre los ideales de S 1 R y los ideales
de R que no intersecan S. As, si q es un ideal de S 1 R, su contraccion qc R es
un ideal de R y es finitamente generado cuando R es neotheriano. Si q esta generado
por {x1 , . . . , xr }, entonces q estar
a generado por {x1 /1, . . . , xr /1} y sera finitamente
generado.
Teorema 4.4.7 (Hilbert Basissatz). Si R es un anillo noetheriano, entonces R[X]

tambien es un anillo noetheriano.
Demostraci on. Para probar este Teorema tomemos un ideal a en R[X] y consideremos
el conjunto b A siguiente:
Un elemento a R est an en b si y solamente si existe un polinomio f := an X. +
an1 X n1 + + ao a tal que an = a. Es decir, el conjunto formado por todos los
coeficientes dorectores de elementos en a. Es facil comprobar que b es un ideal de R y,
por ser R noetheriano, es finitamente generado. Consideremos {a1 , . . . , ap } un conjunto
finito de generadores de b. Supongamos f1 , . . . , fp a tales que el coeficiente director
de fi es ai . Es decir, para cada i, 1 i p se tiene:
fi := ai X ni + hi ,
con deg(hi ) ni . Sea N := max{n1 , . . . , np } el maximo de esos grados y consideremos
on aN := a R[X]N , donde R[X]N son los polinomios en R[X] de grado
la intersecci
a lo sumo N . Claramente, R[X]N es un Rmodulo finitamente generado y, por tanto,
noetheriano. Adem as, a R[X]N es un submodulo de R[X]N , luego es finitamente
generado. Consideremos {g1 , . . . , gs } un conjunto de generadores de a R[X]N como
Rmodulo. Entonces, el conjunto:
F := {f1 , . . . , fp } {g1 , . . . , g2 },
generan a como ideal en R[X]. Denotemos por (F ) el ideal generador por F . Suponga-
mos que existe h a un elemento que no esta en el ideal (F ). Supongamos, ademas,
que h es de grado mnimo con esa propiedad. Si deg(h) N , entonces h a R[X]N ,
luego han de existir constantes 1 , . . . , s R de tal modo que:
h = 1 g1 + + s gs (F ).
Por tanto, deg(h) > N . De otro lado, supongamos
h := bm X m + bm1 X m1 + + b1 X + b0 ,
siendo m el mnimo de los grados de los polinomios h a \ (F ). Es claro que bm b
por lo que han de existir 1 , . . . , p R tales que
bm = 1 a1 + + p ap .
Ahora consideremos el polinomio:
p
X
h1 := h i X mni fi .
i=1
PRIMARIA
4.5. DESCOMPOSICION 79
Es claro que el polinomio h1 a. De otro lado, h1 6 (F ) pues, si h1 (F ), entonces,

h (F ) y llegaramos a contradicci
on. Pero, ademas, es claro que el coeficiente de grado
m de h1 es dado por:
bm (1 a1 + + p ap ) = 0.
En otras palabras, deg(h1 ) m 1, contradiciendo la minimalidad de m. Por tanto,
un h a \ (F ) y a = (F ), concluyendo que a es finitamente
no puede existir ning
generado.
Corollario 4.4.8. Si R es un anillo noetheriano, tambien lo es el anillo de polinomios

en un n umero finito de variables R[X1 , . . . , Xn ]. En particular, si R es noetheriano
tambin lo es toda R algebra finitamente generada, esto es, todo anillo B de la forma
R[X1 , . . . , Xn ]/a, donde a es un ideal de R[X1 , . . . , Xn ].
on. Obvio por inducci
Demostraci on.
Ejemplo 4.4.4. Todos los anillos de polinomios con coeficientes en un cuerpo

K[X1 , . . . , Xn ] son noetherianos. Tambien lo son los cocientes K[X1 , . . . , Xn ]/a
que se denominan K algebras finitamente generadas.
Todos los anillos de polinomios con coeficientes en dominios de ideales prin-
cipales son noetherianos.
No son noetherianos los anillos de polinomios en una cantidad infinita de
variables K[Xn : n N].
Todos los K[V ] , cuando V Kn es una variedad algebraica afn, son anillos
noetherianos.
Todas las localizaciones de anillos de polinomios K[X1 , . . . , Xn ]p , por ideales
primos p Spec(K[X1 , . . . , Xn ]) son anillos noetherianos. Los mismo con las
localizaciones K[V ]p , que tambien son noetherianos.
Obviamente son noetherianos todos los modulos finitamente generados sobre esos ani-
llos.
Ejemplo 4.4.5. Una de las conscuencias inmediatas del Teorema de la Base de Hilbert
es que toda variedad algebraica es interseccion de un n umero finito de hipersuperficies.
En particualr, Si V Kn es una variedad algebraica (un cerrado Zariski) dado mediante
V (a), siendo a un ideal en k[X1 , . . . , Xn ], entonces a es finitamente generado y se tiene
a = (f1 , . . . , fs ) para un numero finito de elementos f1 , . . . , fs a. A partir de lo dicho
en la Proposici on 1.4.5 y la Observaci
on 1.4.6, V (a) = V (f1 , . . . , fs ) y, por tanto:
s
[
V = V (a) = V (fi ).
i=1
4.5. Descomposici
on Primaria
4.5.1. Un par de resultados t ecnios peliminares: NAK y otros. Comen-
zaremos con unos resultados preliminares. El primero de ellos es un sencidllo resultado,
conocido como el Lema de Nakayama 6 que, como bien indica [Ma, 80], es tambien
debido a Azumaya7 y a W. Krull. En los ejercicios daremos una version debida a M.F.
Atiyah y basada solamente en el Teorema de Hamilton-Cayley para modulos finitamente
generados sobre un anillo.
6T. Nakayama, A remark on finitely generated modules, Nagoya Mathematical Journal 3 (1951),
139140.
7G. Azumaya, On maximally central algebras, Nagoya Mathematical Journal 2 (1951), 119150.
80 4. NOETHERIANOS
Lema 4.5.1 (NAK, Lema de Nakayama). Sea M un Rm odulo finitamente gene-

rado, N
p un subm odulo de M y a un ideal de R contenido en el radical de Jacobson
NR = J (0) de R. Entonces, si M = aM + N , entonces M = N .
En particular, si M = aM , entonces M = 0.
Demostraci on. En primer lugar, observese que basta con demostrar el enunciado
para el caso particular N = 0. Deducir el caso general del caso N = 0 es inmediato
considerando el m odulo cociente M/N .
Razonemos por reducci on al absurdo, supongamos M = aM , M es fintamente generado,
M 6= 0 y sea n N el cardinal mnimo de un sistema de generadores de M . Notese
que este n existe porque N es un conjunto bien ordenado y que, por hipotesis, estamos
suponiendo n > 1. Sea, entonces, {m1 , . . . , mn } un sistema generador de M como
Rmodulo de cardinal minimal. Dado que M = aM , entonces, mi aM para cada i.
En particular, para cada i, 1 i n, existiran xi,1 , . . . , xi,n a tales que:
mi = xi,1 m1 + + xi,n mn .
Adicionalmente, esta igualdad se puede escribir mediante:
X
(1 xi,i )mi := xi,j mj .
j6=i
p
on 3.3.10. Como xi,i a J (0) estan en el radical de
Ahora recordemos la Proposici
Jacobson de R, tenemos que (1 xi,i ) R es una unidad en R. Tomando, i = 1,
concluiremos que X
x1 = (1 x1,1 )1 xi,j mj ,
j6=i
con lo cual concluimos que x1 est an en el submodulo de M generado por {m2 , . . . , mn }.
Por tanto, {m2 , . . . , m : n} es un sistema generador de M de cardinal n 1 lo que
contradice la minimalidad de n.
Una de las primeras, obvias, aplicaciones del Lema de Nakayama es mostrar que hay
algo muy similar a una base en el caso de modulos finitamente generados sobre un anillo
local.
n 4.5.2. Sea (R, m) un anillo local, M un Rm
Proposicio odulo y M/mM visto como
R/mespacio vectorial. Dados {x1 , . . . , xs } elementos de M tales que sus clases m
odulo
mM generan M/mM como R/mespacio vectorial, entonces {x1 , . . . , xs } generan M
como Rmodulo. En particular, el cardinal mnimo de sistemas de generadores de M
como Rmodulo coincide con la dimensi on de M/mM como R/mespacio vectorial.
Demostracion. Dados {x1 , . . . , xs } tales que sus clases modulo mM generan M/mM
como R/mespacio vectorial, sea N el submodulo de M generado por {x1 , . . . , xs }.
Claramente concluiremos que, dado que
M/ (N + mM ) = (M/mM ) / (N + mM/mM ) = 0,
entonces M = N + mM y, por el Lema de Nakayama. M = N . El resto de las afirma-
ciones son obvias.
Del siguiente resultado omitiremos la prueba que puede seguirse en [AtMc, 69] o

[Ra et al., 75] o en cualquier otro texto basico de Algebra Conmutativa:
n 4.5.3. Se tienen las dos propiedades siguientes para un anillo R:
Proposicio
(1). Sean p1 , . . . , pn Spec(R) ideales primos y sea a un ideal propio contenido
en ni=1 pi . Entonces, existe i tal que a pi .
(2). Sean a1 , . . . , am ideales propios de R y sea p un ideal primo que contiene a
m
i=1 ai . Entonces, p ai para alg un i.
PRIMARIA
(3). Sea a un ideal de R, b0 Spec(R) y sean b1 , . . . , bn otros ideales de R. Si

a b0 b1 S bn , entonces existe un subconjunto propio J {0, 1, 2, . . . , n}
tal que a jJ bj .
on. Ver las referencias indicadas.
Demostraci
4.5.2. Descomposic on Primaria: Teorema de LaskerNoether. Probare-

mos aqu el Teorema de LaskerNoether sobre la existencia de descomposicion primaria
en anillos y modulos noetherianos. Comencemos con unas nociones preliminares.
Definicio n 4.5.1. Sea M un Rm odulo.

(1). Para cada elemento a R, denotaremos por a,M : M M a la homote-
cia de razon a sobre M , es decir, el endomorfismo dado mediante a (m) :=
am, m M .
(2). Un endomorfismo de Rm odulos, : M M , se denomina nilpotente si
existe n N, n 1, tal que n 0, es decir, si existe n N, n 1, tal que
la composicion de consigo mismo n veces nos da el endomorfismo nulo.
(3). Un subm odulo N de M se denomina primario si N 6= M y para cada a R,
la homotecia a,M/N es o bien inyectiva o bien nilpotente.
(4). Un ideal q de R se dice primario si es primario como submodulo.
n 4.5.4. Se tienen las propiedades siguientes para un ideal q un ideal de R:

Proposicio

(1). La homotecia a,R/q es nilpotente si y solamente si a q.
(2). Un ideal q de R es primario si y solamente si se verifica la siguiente propiedad:
Para cada a R y para cada x R, si ax q, entonces o bien y q o bien
existe n N tal que an q.
Demostracion.
Prueba de la afirmacion (1): Notese que a,R/q es nilpotente si y solamente si
existe un n n
umero natural n N tal que a,R/q 0. Esto u
ltimo es equivalente
n n
a la existencia de n N tal que a x + q = a,R/q (x + q) =, para todo x R.
Pero a,R/q es un endomorfismo de R/qmodulos. Por tanto,
a,R/q (x + q) = (x + q)a,R/q (1 + q).
on, a,R/q es nilpotente si y solamente si existe n N tal que
En conclusi
an + q = a,R/q
n
(1 + q) = 0 + q.
ltimo es equivalente a que exista n N tal que an q y tenemos la
Esto u
equivalencia de la afirmacion (1).
Prueba de la afirmaci on (1): Notese que ax q es equivalente a
a,R/q (x + q) = 0 + q R/q.
Por tanto, la hipotesis ax q es equivalente a decir x + q ker(a,R/q ).
Entonces, ser primario es equivalente a la propiedad: para cada a R y para
cada x R si x + q ker(a,R/q ) y x 6 q (o, equivalentemente, a,R/q no es
inyectiva, entonces a,R/q es nilpotente. El resto se sigue de la propiedad (1).

Proposicio n 4.5.5. Si N es un submodulo primario de un Rmodulo M , entonces el
conjunto:
p := {a R : a,M/N no es inyectiva},
es un ideal primo de R. Diremos que el subm odulo N es pprimario.
82 4. NOETHERIANOS
Demostracion. En primer lugar es facil ver que p es un ideal de R. Para ello, veamos
una de las propiedades. Observese que si a, b p, entonces, las homotecias a,M/N y
an exponentes r, s N, r, s 1 tales que
b,M/N son nilpotentes. Existir
r 2
a,M/N 0, b,M/N 0.
Es claro que, en ese caso r+s
a,M/N + b,M/N 0.
Y a,M/N + b,M/N = a+b,M/N , con lo que a + b p. Veamos que, ademas, es un
ideal primo. Para ello, consideremos x, y R. Notese que xy,M/N = y,M/N x,M/N =
x,M/N y,M/N es la composici on de endomorfismos. Si xy p y x 6 p, entonces x,M/N
es inyectiva y xy,M/N = y,M/N x,M/N no es inyectiva. Por tanto, si la composicion
no es inyectiva, entonces y,M/N no puede ser inyectiva y, por tanto, y p, con lo que
habremos probado la primalidad de p.
Proposicio n 4.5.6. Sean N1 , . . . , Ns subm

odulos pprimarios de un Rm odulo M
(es decir, primarios con respecto al mismo ideal primo de R). Entonces, la intersecci
on
N = N1 Ns
es un subm
odulo pprimario.
Demostraci on. Sea a p. Para cada i, 1 i s, la homotecia a,M/Ni : M/Ni
M/Ni es nilpotente. Entonces, para cada i, 1 i s, existen ni N, ni 1 tales
ni n0
a,M/N i
0. Sea n0 ; = m
ax{n1 , . . . , ns }. Veamos que a,M/N 0. Pues si m + N
M/N , tenemos que
n0
a,M/N (m + N ) = an0 m + N.
ni
Pero esto significa que an0 m = an0 ni ani m. Como a,M/N i
0, tendremos que ani m
Ni , para cada i, 1 i s. Por tanto, an0 m Ni , para cada i, 1 i s y, por
n0
tanto, an:0 m N para cada m M . Es decir, a,M/N 0 o, equivalentemente, a,M/N
es nilpotente. Para concluir, veamos que si a 6 p, entonces a,M/N es necesariamente
inyectiva. Pues si no lo fuera es porque existe m M , m 6 N tales que a,M/N (m+N ) =
am + N = 0. Es decir, si a,M/N no fuera inyectiva, entonces, existe m M tal que
m 6 N y am N . Pero m 6 N implica que existe i, 1 i s, tal que m 6 Ni . Por
tanto, tendramos que existe m M tal que m 6 Ni y am N Ni . Es decir a,M/Ni
no es inyectiva contradiciendo el hecho de que a 6 p y Ni es pprimario.
Corollario 4.5.7. Si q es un ideal primario de un anillo R, entonces su radical

p := q es un ideal primo de R y diremos que q es un ideal pprimario. M as a
un

si q1 , . . . , qs es una lista finita de ideales pprimarios (i.e. qi = p, para todo i),
entonces la intersecci on
q = q1 qs ,
es tambien un ideal pprimario.
Demostraci on. Es consecuencia inmediata de la anterior Proposicion y del apartado
(1) de la Proposici
on 4.5.4 anterior. La afirmacion sobre la interseccion de primarios es
consecuencia inmediata de la Proposicion 4.5.6.
Ejemplo 4.5.2. Los ideales primarios en dominios de ideales principales on las poten-
cias de ideales primos. As el ideal 8Z es un ideal (2)primario, pero el ideal (12) no
es primario.
Sin embargo, no es necesario que un ideal sea potencia de ideal primo para ser primario.
Consideremos el ideal a := (X, Y 2 ) en el anillo de polinomios en dos variables R :=
k[X, Y ]. Es un ideal primario (su radical es el ideal maximal m = (X, Y )) pero no
es potencia de m. Para ver que es primario, observese que el cociente k[X, Y ]/a es un
PRIMARIA
Kespacio vectorial de dimensi on 2, con base {1 + a, Y + a}. Ahora para cada elemento
f k[X, Y ] nos interesa su clase modulo a. La clase tiene la forma f + a = (a + bY ) + a
y tenemos dos caso: si a 6= 0, entonces f,R/a es inyectiva (y f + a es unidad) o a = 0
2
y f,R/a 0. Ver que a 6= mn , n N, es un sencillo ejercicio pues X 6 mn , para cada
n 2 (con lo que a 6= mn , n 2) y, de otro lado, Y 6 a (con lo que a 6= m).
La idea de descomposici on primaria y del Teorema de LaskerNoether es una gene-
ralizacion de la factorizaci
on unica a cualquier anillo noetheriano. Pero necesitamos
avanzar mas para interpretar el resultado y su significado geometrico.
Definicio n 4.5.3 (Descomposicion Primaria). Sea M un Rmodulo y N un submodu-

lo de M . Una descomposici on primaria de N es una descripcion de N como interseccion
finita:
N := N1 . . . Ns ,
donde cada Ni es un sum odulo primario de M . Tenemos la lista finita de ideales primos
{p1 , . . . , ps } Spec(R) de tal modo que para cada i, 1 i s, el submodulo Ni es
pi primario. Decimos que la descomposicion primaria anterior es reducida (o, tambien,
irredundante) si pi 6= pj , para cada i 6= j.
Definicio n 4.5.4 (Submodulo Irreducible). Un submodulo N de un Rmodulo M

se llama irreducible si verifica las dos propiedades siguientes:
(1). N 6= M ,
(2). N no puede expresarse como una interseccion N = N1 N2 , con N1 , N2
subm odulos de M y N / Ni , 1 i 2.
Proposicio n 4.5.8. Si M es un Rm
odulo noetheriano, todo subm
odulo irreducible
es primario.
Demostracion. Supongamos que N es irreducible. Para cada a R consideremos
la homotecia a,M/N : M/N M/N . Consideremos la secuencia de submodulos de
M/N dada por los n r
ucleos de las potencias se este endomorfismo Kr := ker(a,M/N ).
Claramente tenemos:
(0) = K0 K1 K2 Kr .
Como M/N es noetheriano esa cadena se estabiliza y existe n N, n 1, tal que
n
Kr = Kn , para cada r n. Definamos := a,M/N : M/N M/N . Probaremos que
(4.5.1) ker() Im() = (0).
Es claro que si m+N Im()ker(), entonces, m+N = (m0 +N ) = a,M/Nn (m0 +N )
n
y 0 + N = (m + N ) = a,M/N 2n
(m + N ) = a,M/N (m0 + N ). Por tanto, m0 + N
2n
ker(a,M/N n
) = K2n = Kn = ker(a,M/N ). Por tanto, m+N = (m0 +N ) = a,M/N
n (m0 +
N ) = 0 + N y habremos probado la igualdad anterior.
Sea ahora : M M/N la proyeccion canonica y consideremos los submodulos de
M dados mediante:
N1 := 1 (ker()), N2 := 1 (Im()).
Claramente tenemos que N N1 y N N2 . Ademas, la igualdad (4.5.1) anterior
implica que N = N1 N2 . Ahora, como N es irreducible, tendremos que o bien N = N1
o bien N = N2 .
Si N = N1 : En este caso, N = 1 (ker()), luego N1 /N = 0 o, lo que es lo
mismo, ker() = 0. Pero esto u ltimo significa que es inyectiva y, por tanto,
n
a,M/N es inyectiva, con n 1. Por tanto, si la composicion (varias veces) de
a,M/N es inyetiva, el propio endomorfismo a,M/N es inyectivo.
84 4. NOETHERIANOS
Si N = N2 : En este caso, N = 1 (Im()). Esto es lo mismo que decir que

N2 /N = 0 y que Im() = 0. Por tanto, en ese caso, 0 es el endomorfismo
n
nulo. Pero = a,M/N n
, con n 1. Es decir, a,M/N 0 y el endomorfismo
a,M/N es nilpotente.
Hemos concluido que si N es irreducible, entonces para cada a R, a,M/N es o bien
inyectivo o bien nilpotente y, por tanto, N es primario.
Podemos, finalmente, enunciar el Teorema de LaskerNoether.
Teorema 4.5.9 (Teorema de LaskerNoether). Si M es un Rm odulo noethe-
riano, entonces todo subm
odulo propio posee una descomposici
on primaria irredundan-
te.
on. Probaremos, primer lugar, la siguiente afirmacion:
Demostraci
Para todo submodulo N de M , con N / M,
(4.5.2)
N es intersecci
on finita de subm
odulos irreducibles de M .
Para probarlo, usaremos el tipo de argumento habitual con la condicion noetheriana.
Consideremos el conjunto M formado por todos los submodulos propios de M que no
son intersecci on fnita de subm odulos irreducibles de M . Supongamos, por reduccion al
absurdo, que M es no vaco. Aplicando la definicion de noetherianos (cf. Proposicion
4.4.1 anterior), entonces M posee un elemento maximal N . Por ser N M, N no puede
ser irreducible. Si fuera irreducible, sera interseccion finita de irreducibles y no podra
estar en M. Como no es irreducible, entonces N es reducible y, por tanto, N = N1 N2
donde N1 , N2 son subm odulos propios de M y N / Ni , 1 i 2. Como N es maximal
yN / N i , 1 i 2, podemos concluir que N i
6 M, 1 i 2. Pero si N1 y N2 no
estan en M es porque no verifican la condicion que define M. Por tanto, tanto N1 como
N2 son intersecci on finita de subm odulos irreducibles de M . Pero, como N = N1 N2 ,
tambien concluiramos que N es interseccion finita de submodulos irreducibles de M
con lo que N 6 M y habremos llegado a contradiccion desde la hipotesis M = 6 .
Por tanto, concluiremos M = y, por tanto, hemos probado la afirmacion descrita en
(4.5.2) anterior.
A partir de la Proposici on 4.5.8 anterior, como todo irreducible es primario, habremos
probado:
Para todo submodulo N de M , con N / M,
(4.5.3)
N es intersecci
on finita de subm
odulos primarios de M .
Nos queda por probar la existencia de descomposicion primaria irredundante de acuer-
do con la Definici
on 4.5.3 anterior. Para ello, sea N un submodulo propio de M y
consideremos el siguiente conjunto de n
umeros naturales:
NN := {s N : N = N1 . . . Ns , Ni es primario, 1 i s}.
on descrita en (4.5.3), tenemos que NN 6= , con lo que existe un mnimo
Por la afirmaci
r := mn NN . Tendremos una descomposicion primaria:
(4.5.4) N = N1 . . . Nr ,
donde supondremos que cada Ni es pi primario, con pi Spec(R) un ideal primo,
1 i r. Veamos que, en estas condiciones, pi 6= pj , para todo i 6= j. Si no fuera
as, supongamos, sin perdida de la generalidad, que p1 = p2 . Entonces, por la Propo-
odulo N0 := N1 N2 es tambien un submodulo primario de M y
sicion 4.5.6, el subm
tendremos:
N = N0 N3 . . . Nr ,
con lo que r 1 NN , contradiciendo la minimalidad de r. Concluimos as que,
6 pj , para todo i 6= j y habremos concluido que la descomposicion
necesariamente, pi =
PRIMARIA
primaria descrita en (4.5.4) es irredundante y, por tanto, queda probado el Teorema de

LaskerNoether.
Corollario 4.5.10. Sea R un anillo noetheriano y a / R un ideal de R. Entonces,

a posee descomposici on primaria irredudante. Es decir, existen q1 , . . . , qs ideales de R,
de tal modo que qi es pi primario y pi Spec(R), verificando:
(1). a = q1 q2 ,
(2). pi 6= pj , para todo i 6= j.
En particular, en anillos noetherianos, el radical de todo ideal es una intersecci on finita
de primos, dado que

a = q1 qs = p1 ps .
Observacio n 4.5.11. En particular, todos los ideales radicales de anillos noetherianos

(como k[X1 , . . . , Xn ]) son intersecci
on finita de ideales primos.
Observacio n 4.5.12. El anterior resultado admite una interpretacion inmediata en

el caso de dominios de ideales principales. Aunque las interpretaciones mas profundas
seguiran en Captulos siguientes, dejemos aqu constancia de que el Teorema de Lasker
Noether implica la existencia de factorizaci on en dominios de ideales principales. Es
decir, implica la siguiente afirmacion:
Si R es un dominio de ideales principales, para todo f R,

existen u R , unidad; elementos primos f1 , . . . , fs R,
(4.5.5)
umeros naturales n1 , . . . , ns nN, con ni 1, para 1 i s, tales que
y n
f = uf1n1 fsn2 .
Para demostrar esta afirmaci on consideremos el ideal (f ) de R que es neotheriano
porque todos sus ideales son finitamente generados. Por el Teorema de LaskerNoether,
tendremos una descomposici on primaria irredundante
(f ) := q1 q2 ,
donde qi es pi primario y pi 6= pj , para todo i 6= j. Como R es dominio de ideales
a fi R elemento primo tal que (fi ) = pi . De otro lado, qi = (gi )
principales, existir

es pi primario. Como qi = pi , concluiremos que qi = (fini ) para alg un ni 1. Por
el Teorema Chino de los Restos (cf. Teorema 2.2.2), como R es dominio de ideales
principales, qi y qj son dos a dos comaximales. y, por tanto,
s
Y s
Y
(f ) := q1 q2 = qi = (fini ) = (f1n1 fsns ).
i=1 i=1
Como f y f1n1 fsns generan el mismo ideal en R, ha de existir un elemento unidad
u Rn tal que
f = uf1n1 fsns .
Observacio n 4.5.13. Veremos m

as adelante, tras probar el Teorema del Ideal Princi-
pal de W. Krull (Hauptidealsatz de Krull), que si un anillo noetheriano R verifica la
propiedad siguiente:
(4.5.6) Todo ideal primo de altura 1 es principal,
entonces los elementos del anillo R admiten factorizacion como producto de elementos
primos, generalizando as la factorizacion de elementos y, por el Teorema de Lasker
Noether, la factorizaci
on de ideales cualesquiera.
***
86 4. NOETHERIANOS
4.6. Temas Opcionales

Claramente hay muchos temas relacionados con los contenidos de este Captulo. Hemos
omitido algunos de los m
as interesantes y proponemos que los alumnos busquen, se
informen o complemente por su cuenta los temas que se indican a continuacion:
4.6.1. Snake Lemma. Se trata del siguiente enunciado que es clave en la defi-
nicion de la suceci
on exacta larga de Homologa de Toplog Algebraica:
Proposicio n 4.6.1 (Snake Lemma). Consideremos un diagrama de Rm odulos y mo-
rifmos como el siguiente, en el que las filas son sucesiones exactas cortas:
0 M 0 M M 00 0
f0 f f 00
0 N 0 N N 00 0
odulos d : ker(f 00 ) Coker(f 0 ) tal que la
Entonces, existe un morfismo de Rm
siguiente sucesi
on es exacta:
0 ker(f 0 ) ker(f ) ker(f 00 )
Coker(f 0 ) Coker(f ) Coker(f 00 ) 0,
donde los dem
as morfismos son inducidos por las filas horizontales del diagrama inicial.
4.6.2. Libres, Proyectivos, Inyectivos y Planos (Opcional). Esta es una
Seccion claramente opcional. Puede ser interesante que los alumnos que lo deseen,
busquen referencias y traten de completar las pruebas.
Definicio n 4.6.1 (Proyectivos, Inyectivos, Planos). Sea M un Rmodulo. Se definen
las siguientes nociones:
Se dice que M es proyectivo si HomR (M, ) es un functor exacto.
Se dice que M es inyectivo si HomR (, M ) es un functor exacto.
Se dice que M es plano si M R es un functor exacto.
n 4.6.2. Se dan las siguientes implicaciones para un Rm
Proposicio odulo M cual-
quiera:
M es libre = M es proyectivo = M es plano.
Lo que da una buena colecci on de ejemplos. De hecho, si R es local noetheriano y M
es finitamente generado, las tres nociones coinciden.
Se pueden probar algunas propiedades del tipo:
Proposicio n 4.6.3. Un Rm odulo P es proyectivo si y solamente si es sumando di-
recto de un Rm odulo libre.
O tambien
Proposicio n 4.6.4. Un Rmodulo P es proyectivo si y solamente si toda sucesi
on
exacta corta
0 M N P 0
es escindida.
Para concluir, no sin bastante trabajo que:
n 4.6.5. Todo m
Proposicio odulo posee una resoluci
on proyectiva.
De otro lado se pueden discutir los m
odulos inyectivos observando, por ejemplo, que Q
es un Zmodulo inyectivo y que Z no lo es. Para ello se puede usar el Criterio de Baer:
Proposicio n 4.6.6 (Criterio de Baer). Una Rm odulo I es inyectivo si y solamente

si satisface:
Dado un ideal a de R y un morfismo de Rm odulos f : a I, existe f : R I tal
que
f |a = f.
As podemos probar que si I es un Zmodulo inyectivo, entonces, HomZ (R, I) es un
Rmodulo inyectivo y conluir (poniendo I = Q/Z, por ejemplo, como cogenerador
injectivo):
n 4.6.7. Todo Rm
Proposicio odulo posee una resoluci
on inyectiva.

Problema 4.7.1. Concluir la prueba de la Demostracion 4.3.1, probando que HomR (, N )
es exacto a izquierda.
Problema 4.7.2. Definir functor exacto a derecha. Buscar ejemplos de functores exac-
tos a derecha de la categora de Rm
odulos en s misma.
Problema 4.7.3 (Valores Absolutos padicos). Buscar los conceptos siguientes:
Valor Absoluto sobre un cuerpo.
Valor Absoluto No Arquimediano.
Cuerpos Valuados.
Valores Absolutos Equivalentes.
Valor absoluto p adico sobre Q: | |p : Q R+
Establecer alguna relaci
on entre el valor asoluto padico sobre Q y la localizacion Z(p) .
Problema 4.7.4 (A.M. Ostrowski). Busca el enunciado del Siguiente Teorema de A.M.
Ostrowski:
Teorema.[cf. [Os, 73]] Todo valor absoluto sobre Q es equivalente a uno de los siguien-
tes:
El valor absoluto usual | |0 : Q R+ ,
o un valor absoluto p adico | |p : Q R+ , para alg
un primo p N.
A partir de un valor absoluto se define una distancia y a traves de la distancia tenemos
una estructura de espacio metrico. Recordar la definicion de completado de un espacio
metrico. Probar las siguientes afirmaciones:
El completado de Q con respecto al valor absoluto | |0 es el cuerpo R de los
n
umeros reales.
El completado de Q con respecto al valor absoluto padico | |p es tambien
un cuerpo Q p denominado cuerpo de los n umeros padicos.
La bola cerrada de centro 0 y radio 1 en Q con respecto al valor absoluto
padico Bp (0, 1) es el anillo local Z(p) cuyo ideal maximal (que denotaremos
por pZp ) es justamente la bola abierta Bp (0, 1) de centro 0 y radio 1 en Q con
respecto al valor absoluto padico.
Hallar las bolas de centro 0 y radio 1/pk en Q con respecto al valor absoluto
padico.
Tiene todo esto algo que ver con la localizacion?
Problema 4.7.5. Buscar analogas con el cuerpo C(X) y la valoracion dada por tener
un polo en 0 C de orden k. Describir la bola cerrada de centro 0 y radio 1 en C(X)
y hallar su clausura en el completado de C(X). Te suena a alg un anillo que hayamos
definido con anterioridad?.
Problema 4.7.6. Probar que no son anillos noetherianos los anillos C 0 (X) o C (X).
Que puedes decir delanillo H(U ) de funciones holomorfas sobre un abierto U C?.
88 4. NOETHERIANOS
Problema 4.7.7. Un modulo M se dice libre si existe un conjunto I y una coleccion

{Mi : i I} de Rmodulos, cada uno isomorfo a R, de tal modo que M = iI Mi .
Probar que un Rmodulo es finitamente generado si y solamente si es (isomorfo) a un
odulo libre de la forma Rn .
cociente de un Rm
Problema 4.7.8 (HamiltonCayley para m odulos libres finitamente genera-
dos). Probar que dado un enformismo : Rn Rn , de un modulo libre finita-
mente generado en s mismo, Dada una base de Rn como Rmodulo libre, sea
M () Mn (R) la matriz asociada a en esa base. Consideremos el polinomio si-
guiente:
(X) := det(XIdn M ()) R[X].
Probar:
(1). El polinomio es un polinomio no nulo, monico y de grado n.
(2). (M ()) = 0 en Mn (R), con las operaciones habituales de suma y producto
de matrices.
(3). Si, adem as, existe un ideal a de R tal que (Rn ) aRn , concluir que los
coeficientes de (excluyendo el coeficiente director) estan en a.
Problema 4.7.9 (Hamilton-Cayley para m odulos finitamente generados). Sea
M un Rm odulo finitamente generado y sea : M M un endomorfismo de
Rmodulos. Supongamos : Rn M un epimorfismo sobre M , desde un Rmodulo
finitamente generado. Probar:
(1). Existe un endomorfismo de Rmodulos : Rn Rn que hace conmutativo
el diagrama siguiente:

Rn Rn

M M

(2). Si R[X] es el polinomio del Teorema de HamiltonCayley para modu-
los libres finitamente generados, probar que para todo m M , se tiene
()(m) = 0 con las operaciones de suma y composicion de endomorfismos.
(3). Si, adem as, existe un ideal a de R, tal que (M ) aM , entonces, podemos
elegir de tal modo que (Rn ) aRn y de tal modo que los coeficientes de
, excluyendo el coeficiente director, esten en el ideal a.
Problema 4.7.10 (Lema de Nakayama, ` a la Atiyah). Deducie el Lema de Na-
kayama (Lema 4.5.1 anterior) del enunciado del anterior problema. (Pista: Consultar
[AtMc, 69]).
Bibliografa
[AtMc, 69] M.F. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison-
Wesley Publishing Co., 1969. [Edici
on en espa
nol por Ed. Reverte, 1980].
[BaSh, 96] E. Bach, J. Shallit, Algorithmic Number Theory. Vol 1 : Efficient Algorithms, MIT
Press, 1996.
ements de mathematique, Fascicule XXVIII, cha-
[Bo, 67] N. Bourbaki, Algebre Commutative, El
pitres 17, Hermann 1961.
[CaEi, 56] H. Cartan, S. Eilenberg, Homological algebra. With an appendix by David A. Buchs-
baum. Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1999
[Reedici
on del original editado en Princeton en 1956].
[CoLiOS, 97] D. Cox, J. Little, D. OShea, Ideals, Varieties, and Algorithms, Springer, 1997
(1a. edici
on, 1992).
[CoLiOS, 98] , Using algebraic geometry. Graduate Texts in Mathematics 185, Springer, 1998.
[EiMc, 45] S. Eilenberg, S. Mac Lane, General Theory of Natural Equivalence. Trans. of the
Amer. Math. Soc. 58 (1945), 231294.
[Ei, 95] D. Eisenbud, Commutative algebra: with a view toward algebraic geometry, Springer Ver-
lag, 1995.
[GiJe, 76] L. Gillman and M. Jerison,Rings of Continuous Functions. Springer-Verlag, New
York, 1976.
[HaWr, 38] G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers. Oxford
at the Clarendon Press, 1938.
[HiSt, 97] P. Hilton, U. Stammbach, A course in homological algebra. Second edition. Graduate
Texts in Mathematics, 4. Springer-Verlag, New York, 1997.
[Ka, 70] I. Kaplansky, Commutative Rings, Allyn and Bacon, 1970.
[Kn, 81] D.E. Knuth,The Art of Computer Programming, vol. 2 Seminumerical Algorithms
AddisonWesley, 1981.
[Ko, 92] D.C. Kozen,The Design and Analysis of Algorithms. Texts and Monographs in Computer
Science, Springer Verlag, 1992.
[Ku, 85] E. Kunz, Introduction to Commutative Algebra and Algebraic Geometry, Birkh
auser, 1985.
[La, 77] J.P. Lafon, Alg`ebre commutative, Hermann, 1977.

[Mc, 75] S. Mac Lane, Homology. Reprint of the 1975 edition. Classics in Mathematics. Springer-
Verlag, Berlin, 1995.
[Ma, 80] H. Matsumura,Commutative Algebra (2nd. Edition), Benjamin/Cummings, 1980.
[Ma, 89] Commutative Ring Theory. Cambridge Studies in advanced Math. 8, Cambridge
Univ. Press, 1989.
[Mi, 89] M. Mignotte, Mathematiques pour le Calcul Formel, Presses Univ. de France, 1989.
[Na, 75] M. Nagata,Local Rings, Robert E. Krieger, 1975.
[Os, 73] A.M. Ostrowski, Solutions of Equations in Euclidean and Banach Spaces, Academic
Press, 1973.
[Ra et al., 75] S. Raghavan, B. Singh, R. Sridharan, Homological Methods in Commutative
Algebra, Tata Institute for Fund. Res., Oxford University Press, 1975.
[Re, 95] M. Reid, Undergraduate Commutative Algebra, Cambridge University Press, 1995.
[Ro, 94] H.E. Rose,A Course in Number Theory.2nd. ed., Oxford Sci. Publications, 1994.
89
90 BibliografIa
[Shf, 74] I.R. Shafarevich, Basic Algebraic Geometry, SpringerVerlag, 1974.

[Shp, 00] R.Y. Sharp, Steps in commutative algebra. Cambridge University Press, 1990, (2nd. Ed.
2000).
[ZaSa, 60] O. Zariski, P. Samuel, Commutative Algebra, vols. III, Van Nostrand, Princeton,
1958,1960.

2012 AlgAvanz PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2012 AlgAvanz PDF

Uploaded by

Copyright:

Available Formats

Notas para un Curso de Algebra Avanzada

Luis M. Pardo, Luis F. Tabera Alonso

Captulo 1. Nociones basicas: anillos, modulos, variedades, ejemplos 5

Captulo 2. El Teorema Chino de los Restos 29

Captulo 3. Nociones un poco mas avanzadas: localizacion, radicales, categoras. 51

3.4. Funciones vs Objetos 59

1.2. Anillos, Ideales, Morfismos de Anillos

Como es habitual se omite el subndice R cuando no genera confusion. Supondremos

Definicio n 1.2.2 (Subanillos, ideales, morfismos, unidades). Dado un anillo

Proposicio n 1.2.1 (Propiedades elementales). Se tienen las siguientes propiedades

Demostracion. La mayora de estas propiedades son evidentes y no necesitan de

1.2.2. Ejemplo: Anillos de Polinomios y Anillos de Series de Potencias

Observacio n 1.2.3 (Grado + lexicogr

Consideremos el grupo aditivo (Ap(Nn , R), +) y definamos la funcion producto siguien-

X11 X22 Xnn R[X1 , . . . , Xn ] = Ap0 (Nn , R) como la transformacion X : Nn

Lema 1.2.5. Con estas notaciones, R es un subanillo de R[X1 , . . . , Xn ], identificando

Proposicio n 1.2.6. Sea K un cuerpo y K[X1 , . . . , Xn ] el anillo de polinomios en n

donde I Nn es un conjunto finito, {a : I} K. Definiremos

on. Las afirmaciones son de mera comprobacion.

Observacio n 1.2.7. En el caso de series de potencias formales tambien se admite una

Observacio n 1.2.8 (Polinomios y Series de Laurent). Si en las definiciones anteriores

R[X1 , X11 , X2 , X21 , . . . , Xn , Xn1 ], y R[[X1 , X11 , X2 , X21 , . . . , Xn , Xn1 ]].

Pero no discutiremos sobre estos anillos aqu.

1.2.3. Ejemplo: Anillos de Funciones en estructuras topol ogicas o dife-

R C (X) C (X) C 2 (X) C 1 (X) C 0 (X).

Ejemplo 1.2.6 (Funciones a valores complejos). Los siguientes son ejemplos de

1.2.4. Ejemplo: Funciones Booleanas. Son funciones basicas en Logica y en

Ejemplo 1.3.2. Los siguientes son ejemplos basicos de modulos:

Ejemplo 1.3.3 (Teora del Endomorfismo). Sea V un espacio vectorial sobre un

odulos, morfismos). Sea R un anillo y sean M, M 0 dos

Observacio n 1.3.1. Observese que los morfismos de Rmodulos f : M N , preser-

n 1.3.3. Sean M y N dos m

Definicio n 1.3.7 (Rm

1.3.2. Algunas Propiedades B

Corollario 1.3.6. Todo grupo abeliano finitamente generado es el con

Zmodulos libres de rango finito y la imagen verifica Im() = K. Aplicando el Primer

Proposicio n 1.3.9 (Definici

En particular, se aplica a los ideales de un anillo R (que son sus subm

Notacio n 1.3.9 (M odulos, subm odulos e ideales finitamente generados). Modu-

Proposicio n 1.3.10. Todo Rm odulo finitamente generado es el cociente de un Rmodu-

Una R algebra B se llama finitamente generada si es isomorfa a un cociente

Definicio n 1.3.12 (Ideales y Anillos Principales). Un ideal generado por un solo

Definicio n 1.3.14 (Producto de ideales y de ideales por subm odulos). Se trata

Proposicio n 1.3.11 (Producto y generadores). Sea a y b dos ideales en un anillo

Retomamos el ejemplo 1.3.3 y observamos que:

Estas identidades nos permiten definir el isomorfismo de K[X]modulos siguiente:

definido del modo siguiente: dado

Proposicio n 1.3.14 (Teoremas de Isomorfa). Sean N M L Rm

cuya inversa es dada por i 7 1 (i).

En el caso de Rm odulos. Se trata esencialmente del mismo tipo de argu-

1.4. Dominios, Primos, Maximales, Variedades

Podemos mostrar algunas propiedades como las siguientes (que no demostraremos).

on. Se trata de una adaptacion del Lema de Morse-Sard.

Ejemplo 1.4.2 (Ceros de una funci on a valores complejos). A partir de una

Ejemplo 1.4.3 (Funciones polinomiales). Sea K un cuerpo y K un cuerpo algebrai-

Esto define una aplicaci on : K[X1 , . . . , Xn ] Ap(Kn , K) dada mediante (f ) :=

Observacio n 1.4.4. En muchos casos escribiremos f en lugar de f para denotar la

Ejemplo 1.4.4 (Variedades algebraicas afines). Sea K un cuerpo y K una ex-

De hecho, por simplicidad, escribiremos a partir de ahora f (x) = 0 en lugar de

Teorema 1.4.7. En el caso n = 1, los conjuntos Canalticos complejos definidos en

on de una familia cualquiera {V (ai ) : i I} de tales tipos de

Observacio n 1.4.9 (Topologa de Zariski). de la anterior proposicion de infiere que

1.4.2. Divisores de Cero. Ideales Primos y Maximales.