Notas para un Curso de Algebra

Avanzada
Luis M. Pardo, Luis F. Tabera Alonso

Indice general
Captulo 1. Nociones b
asicas: anillos, modulos, variedades, ejemplos
1.1. Introducci
on
1.2. Anillos, Ideales, Morfismos de Anillos
1.2.1. Las Nociones Elementales
1.2.2. Ejemplo: Anillos de Polinomios y Anillos de Series de Potencias Formales
1.2.3. Ejemplo: Anillos de Funciones en estructuras topologicas o diferenciables
1.2.4. Ejemplo: Funciones Booleanas
1.3. Modulos, Subm
odulos, Morfismos de Modulos
1.3.1. Las Nociones Elementales
1.3.2. Algunas Propiedades B
asicas
1.4. Dominios, Primos, Maximales, Variedades
1.4.1. Variedades, no manifolds
1.4.2. Divisores de Cero. Ideales Primos y Maximales.
1.5. Cuestiones y Problemas

5
5
5
5
7
9
10
10
10
13
18
18
22
27

Captulo 2. El Teorema Chino de los Restos

2.1. Introducci
on
2.2. El anillo producto y el TCR
2.3. Interpretaci
on del Teorema Chino de los Restos en el caso R = Z
2.3.1. En relaci
on con el problema de Sun Tzu.
2.3.2. Una Aplicaci
on en computacion: Calculo del Determinante por
Algoritmos Modulares.
2.3.2.1. La B
usqueda de un Buen N
umero Primo.
2.3.2.2. Test de Primalidad.
2.3.2.3. Combinando el Teorema de Densidad de los N
umero Primos y los
Tests de Primalidad.
2.3.2.4. La Estrategia Final
2.3.3. Secretos Compartidos.
2.4. El teorema Chino de los Restos en el caso R := k[X].
2.4.1. Eliminaci
on Univariada Cl
asica.
2.4.1.1. Mutiplicar por un polinomio.
2.4.2. El Teorema Chino de los Restos en R = k[X] y la Forma Canonica de
Jordan.
2.4.2.1. El
algebra k[X]/(f ).
2.4.3. Teora del Endomorfismo y el Maximo Com
un Divisor en k[X].

29
29
29
32
34

Captulo 3. Nociones un poco m

as avanzadas: localizacion, radicales, categoras.
3.1. Introducci
on
3.2. Local, Localizaci
on
3.2.1. Anillos Locales y Semi-locales: Germenes de Funciones
3.2.2. Localizaci
on
3.3. Ideal asociado a una variedad: radical y radical de Jacobson
3.3.1. Ideal de un Objeto Geometrico
3.3.2. Radical y Radical de Jacobson
3

35
37
37
38
39
39
39
40
41
43
43
47
51
51
51
51
53
55
55
56

Indice general

3.4. Funciones vs Objetos

3.4.1. El Lenguaje de las Categoras.
3.4.2. Categoras
3.4.3. Functores y Equivalencias Naturales
3.4.4. Variaci
on de un primer tema clasico: El Teorema de StoneCech
3.4.5. Variaci
on de un segundo tema clasico: El Lema de Urysohn y el Teorema
de Extensi
on de Tietze.
3.4.6. Variaci
on de un tercer tema clasico: Extension de funciones en Variedades
Diferenciables
3.5. Cuestiones y Problemas

59
59
59
60
62
63
63
64

Captulo 4. Anillos y M
odulos Noetherianos: Primeras propiedades
4.1. Introducci
on
4.2. Diagramas Conmutativos, Complejos y Sucesiones Exactas
4.3. El Bifunctor HomR (, ), localizacion, y propiedades locales
4.4. Anillos y M
odulos Noetherianos
4.4.1. Condici
on de cadena ascendente para submodulos e ideales
4.4.2. El Teorema de la Base de Hilbert
4.5. Descomposici
on Primaria
4.5.1. Un par de resultados tecnios peliminares: NAK y otros
4.5.2. Descomposic
on Primaria: Teorema de LaskerNoether
4.6. Temas Opcionales
4.6.1. Snake Lemma
4.6.2. Libres, Proyectivos, Inyectivos y Planos (Opcional)
4.7. Cuestiones y Problemas

67
67
68
71
75
75
77
79
79
81
86
86
86
87

Bibliografa

89

Captulo 1

Nociones b
asicas: anillos, m
odulos, variedades, ejemplos
Contents
1.1. Introducci
on
1.2. Anillos, Ideales, Morfismos de Anillos
1.2.1. Las Nociones Elementales
1.2.2. Ejemplo: Anillos de Polinomios y Anillos de Series de Potencias
Formales
1.2.3. Ejemplo: Anillos de Funciones en estructuras topologicas o
diferenciables
1.2.4. Ejemplo: Funciones Booleanas
1.3. M
odulos, Subm
odulos, Morfismos de M
odulos
1.3.1. Las Nociones Elementales
1.3.2. Algunas Propiedades B
asicas
1.4. Dominios, Primos, Maximales, Variedades
1.4.1. Variedades, no manifolds
1.4.2. Divisores de Cero. Ideales Primos y Maximales.
1.5. Cuestiones y Problemas

1.1.

5
5
5
7
9
10
10
10
13
18
18
22
27

Introducci
on

Este Captulo est

a dedicado a introducir las nociones mas elementales, que se le suponen o se le deben suponer al alumno, as como las notaciones mas habituales. Adicionalmente, aprovechamos el Captulo para derezarlo con ejemplos provenientes de los

contextos menos habituales en las asignaturas de Algebra,

mirando con especial atencion 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 u
nica 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.
1.2.1.

Anillos, Ideales, Morfismos de Anillos

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


1. NOCIONES BASICAS

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

Definicio
(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 denominan 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.
n 1.2.1 (Propiedades elementales). Se tienen las siguientes propiedades
Proposicio
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 direcciones. 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 im
agenes 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 u
nicos 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

Demostraci
on. 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
un, la siguiente aplicaci
on es un morfismo de monoides entre (Nn , +) y (N, +),
n
llamada grado: | | : N N, dada mediante
|(1 , . . . , n )| = 1 + + n .
A los elementos de
monomiales.

Nn ,

en este contexto, se les suele llamar exponentes o exponentes

Demostraci
on. Es evidente.

n 1.2.3 (Grado + lexicogr

Observacio
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 siguiente:
: 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 n
umero 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


1. NOCIONES BASICAS

(1). La terna (Ap0 (Nn , R), +, ) es un anillo conmutativo con unidad que se denomina 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 denomina 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 ]].
Demostraci
on. Es un ejercicio de mera comprobacion.

n 1.2.4. Hay una notaci

Notacio
on estandarizada de estos objetos. Supongamos dan
do := (1 , . . . , n ) N un exponente monomial. Se define el monomio X :=
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.
Demostraci
on. Obvio.

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

Proposicio
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
descomposici
on 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

M
as a
un, tenemos la descomposici
on de K[X1 , . . . , Xn ] en suma directa de
subespacios siguiente:
M
K[X1 , . . . , Xn ] :=
Hd (X1 , . . . , Xn ).
dN

Demostraci
on. Las afirmaciones son de mera comprobacion.

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

Observacio
representaci
on de la forma siguiente: Dada f K[[X1 , . . . , Xn ]], escribiremos:
X
f :=
a X ,
Nn

aunque, obviamente, por ser una suma infinita es un lmite y require de varias discusiones adicionales como la introducci
on de una topologa y de una metrica.
n 1.2.8 (Polinomios y Series de Laurent). Si en las definiciones anteriores
Observacio
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 diferenciables. En un contexto distinto, podemos condierar directamente anillos de funciones 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 topol
ogico, 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:
(1). Sea X un espacio topol
ogico, el conjunto de las funciones continuas C 0 (X, C)
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.


1. NOCIONES BASICAS

10

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. Comenzamos observando la identificaci
on {0, 1} = Z/2Z que identifica los valores boooleanos {0, 1} (o tambien en su versiones verdadero/falso: {V, F}) con el cuerpo primo
de caracterstica 2. Se denomina funci
on 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:
n 1.2.9. El conjunto de funciones booleanas Bn tiene una estructura natural
Proposicio
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 .
Demostraci
on. Es lo discutido en p
arrafos previos.
1.3.
1.3.1.

M
odulos, Subm
odulos, Morfismos de M
odulos

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 m
as 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 m
odulos 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

En un sentido general se habla de m

odulo producto y m
odulo suma. Dada una
familia de m
odulos {Mi : i I}, denotaremos
Y
[
Mi := { : I
Mi : (i) Mi , i I}.
iI

M
iI

iI

Mi := {

Mi : J I, J finito, (i) = 0, i 6 J}.

iI

(6). Sea f : R S un morfismo de anillos. Entonces podemos definir sobre S

una estructura de Rm
odulo: R : R S S, dada mediante:
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 inclusi
on) y, por tanto, son R
algebras C 0 (X), C 1 (X), . . . , C , . . . y son Calge0
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 homogeneos 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 Rmodulo 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.
n 1.3.4 (Subm
Definicio
odulos, morfismos). Sea R un anillo y sean M, M 0 dos
Rmodulos.


1. NOCIONES BASICAS

12

(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 Rmodulos 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 aplicaciones lineales.
(2). En el caso de grupos abelianos, HomZ (A, B) son los morfismos de grupos
entre A y B.
n 1.3.1. Observese que los morfismos de Rmodulos f : M N , preserObservacio
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.
n 1.3.2. Usaremos la terminologa al uso y hablaremos de monomorfismos,
Observacio
epimorfismos e isomorfismos para referirnos, respectivamente, a morfismos de Rmodulos 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
odulo con la operaci
on R : R M/N M/N dada
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 subm
odulo imagen Im(f ) := f (M ).
b) Para cada subm
odulo T de N , f 1 (T ) := {m M ; f (m) T } es un
subm
odulo de M . Un caso particular es el n
ucleo 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,
MORFISMOS DE MODULOS

13

Obviamente esta Proposici

on nos da toda una coleccion adicional de modulos a traves
de operaciones de cociente y tomar morfismos.
n 1.3.7 (Rm
Definicio
odulos libres de rango finito). Se denomina Rm
odulo libre de
rango finito a todo Rm
odulo 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
n 1.3.4. Sea M y N dos Rm
Proposicio
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 con
ucleo al Rm
odulo 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).
Demostraci
on. Es la misma desmotracion de lo ya hecho para grupos abelianos.

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). Consideremos ahora K Zn el n
ucleo del morfismo . Ahora recordamos una propiedad
crucial de los Zm
odulos:
Hecho Probado 1.3.7. Todo subm
odulo de Zn es un Zm
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


1. NOCIONES BASICAS

14

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().

n 1.3.8. La intersecci
Proposicio
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.
Demostraci
on. Mero ejercicio de comprobacion formal.

n 1.3.9 (Definici
Proposicio
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 subm
odulo 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)
n 1.3.9 (M
Notacio
odulos, subm
odulos e ideales finitamente generados). Modulos y submodulos finitamente generados seran aquellos generados por un conjunto finito
de elementos. Escribiremos Rm para denotar al submodulo generador por {m} En ocasiones 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 }. N
otese 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:
r
X
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

n 1.3.10. Todo Rm
Proposicio
odulo finitamente generado es el cociente de un Rm
odulo 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,
MORFISMOS DE MODULOS

15

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.
n 1.3.11 (Suma de Subm
Definicio
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 subm
odulo generador por la union de todos ellos.
X
Ni := RhiI Ni i.
iI

Del mismo modo dada una familia de ideales {ai : i I}, denotaremos por
ideal suma de esa familia.

iI

ai al

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

Definicio
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 particular, 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].
n 1.3.14 (Producto de ideales y de ideales por subm
Definicio
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 }.
n 1.3.11 (Producto y generadores). Sea a y b dos ideales en un anillo
Proposicio
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.
Demostraci
on. Ejercicio de comprobacion.

Afirmaciones an
alogos son obvias para ideales y modulso generados por familias cualesquiera.
n 1.3.12 (Propiedades Elementales para ideales). Las operaciones interProposicio
secci
on, suma y producto de ideales verifican las usuales propiedades asociativas, conmutativa, 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.


1. NOCIONES BASICAS

16

Retomamos el ejemplo 1.3.3 y observamos que:

n 1.3.13 (Teora del Endomorfismo). Sea V un espacio vectorial de
Proposicio
dimensi
on n sobre un cuerpo K, : V V una aplicaci
on lineal. Entonces, V es un
K[X]m
odulo finitamente generado. M
as a
un, V es isomorfo como K[X]m
odulo a
una descomposici
on
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
)
0
0
2

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,
dX
i 1
(i)
ak X k .
fi := X di +
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
Xvd1 = X d1 v1 =

dX
1 1

(1)

ak X k v1 =

k=0

dX
1 1

(1)

ak vk+1 .

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

Xvd1 ++ds +ds+1 = X

ds+1

vd1 ++ds +1 =

(d

ak s+1 X k vd1 ++ds +1 ,

k=0

y, por tanto,
ds+1 1

Xvd1 ++ds +ds+1 =

(d

ak s+1 vd1 ++ds +k+1 .

k=0

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

:

r
Y
i=1

(K[X]/(fi (X))) V,

1.3. MODULOS,
SUBMODULOS,
MORFISMOS DE MODULOS

17

definido del modo siguiente: dado

Q := (q1 + (f1 ), q2 + (f2 ), . . . , qr + (fr ))

r
Y

(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.

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

Proposicio
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 ) .
Demostraci
on. Es la misma prueba de siempre.

n 1.3.15 (Ideales y Subm

Observacio
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 m
odulo cociente M/N son de la forma L/N , donde L es
un subm
odulo de M que contiene al submodulo N .
Ademas esa relaci
on 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,
adem
as, 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).


1. NOCIONES BASICAS

18

En el caso de Rm
odulos. Se trata esencialmente del mismo tipo de argumento. 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 Subm
odulo 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 biyeccion entre subm
odulos:
{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.
1.4.1.

Dominios, Primos, Maximales, Variedades

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
funci
on f C (Rn ) tal que
F = VRn (f ).

1.4. DOMINIOS, PRIMOS, MAXIMALES, VARIEDADES

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

19

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 funci
on 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 dimensi
n m y N un subconjunto. Entonces, N es subvariedad de M si y solamente si para 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 aplicaci
on f := (f1 , . . . , fmn ) : M Rmn , la aplicaci
on tangente
mn
asociada Ta f : Ta M T0 R
es suprayectiva (submersi
on), donde 0
Rnm es el origen de coordenadas.
Demostraci
on. Aunque no lo demostraremos, la prueba se basa en el Teorema del
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 identidades 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 familia 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 algebraicamente 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 algebraicamente 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 elementos 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:
X
a X11 , Xnn .
f :=
||d

Entonces, podemos asociar a cada f K[X1 , . . . , Xn ] una aplicacion

f : Kn K,
mediante
(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 cardinal 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.


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

Observacio
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 extension 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.

1.4. DOMINIOS, PRIMOS, MAXIMALES, VARIEDADES

21

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).
n 1.4.5. Sea R uno cualquiera de los anillos antes descritos (i.e. R =
Proposicio
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.
Demostraci
on. 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.

n 1.4.6. N
Observacio
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.
Demostraci
on. Vease el curso de Variable Compleja.

podemos establecer, de manera sencilla, algunas propiedades basicas de la transformacion de ideales en objetos geometriocs dada mediante VX .
n 1.4.8. Con las anteriores notaciones, si R es uno cualquiera de los anillos
Proposicio
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.


1. NOCIONES BASICAS

22

(4). La intersecci
on de una familia cualquiera {V (ai ) : i I} de tales tipos de
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).
Demostraci
on. Es un mero ejercicio de comprobacion a partir de las definiciones. 
n 1.4.9 (Topologa de Zariski). de la anterior proposicion de infiere que
Observacio
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 u
nica 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.

n 1.4.5 (Divisores de cero, Dominio de Integridad). En un anillo

Definicio
(R, +, ) se dice que un elemento x R es un divisor de cero si existe otro elemento 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 contradicci
on.

n 1.4.11. Para evitar confusiones, insistamos en que las condiciones ser
Observacio
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.

1.4. DOMINIOS, PRIMOS, MAXIMALES, VARIEDADES

23

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:
n 1.4.12. Sea K = R C, sea X Kn un abierto conexo y sea a un ideal
Proposicio
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.
Demostraci
on. Es un duro resultado de Geometra Analtica que no reproduciremos
aqu.

n 1.4.7 (Ideales Primos y Maximales). Sea R un anillo:
Definicio
(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 u
nico elemento.
(4). Los anillos para los cuales Spm(R) = Spec(R) se denominan anillos de dimensi
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 inclusi
on .
(6). Los dominios de integridad tales que todos sus ideales sean principales se
denominan Dominios de Ideales Principales o, simpemente, dominios principales. 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 priProposicio
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.


1. NOCIONES BASICAS

24

Demostraci
on. Para la primera de las afirmaciones observese que xy p es equivalente
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 transformaci
on
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 identificados 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/b es dominio de integridad si y solamente si

R/a

/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 significa b Spm(R) si y solamente si b/a Spm(R/a.

1.4. DOMINIOS, PRIMOS, MAXIMALES, VARIEDADES

25

La identificaci
on entre los ideales de R/a y los ideales en R que contienen a a ya fue
discutida en la Observaci
on 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.
n 1.4.15 (Contracci
Proposicio
on 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.
Demostraci
on. 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:
n 1.4.16. Asumiendo el Axioma de Zorn, todo anillo R posee al menos un
Proposicio
ideal maximal (i.e. Spm(R) 6= ).
Demostraci
on. Para demostrarlo, consideremos el conjunto I(R) de todos los ideales
a
on y tendremos el conjunto parcialmente ordenado
/ R. Ordenemos I(R) con la inclusi
(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.


1. NOCIONES BASICAS

26

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, entonces, existe un ideal maximal m Spm(R), tal que a m. Adicionalmente, existir
a p Spec(R) tal que a m.
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 acabar sin citar un ejemplo m
as 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.


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

: 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 diferenciable (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 solamente si f (y) = 0 y tiene sentido considerar el conjunto VPn (K) (f ) Pn (K).
Mas a
un, llamaremos variedad proyectiva Kdefinible a todo subjconjunto 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 homogeneos como funciones sobre un espacio proyectivo. Sin embargo, s podemos 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 mismo 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 fucni
on est
a 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 divisible por la caracterstica de K) se verifica la siguiente identidad (Identidad de Leibnitz):
n
X
1
f
.
f :=
Xi
d
Xi
i=0

Concluir que todo polinomio homogeneo f (cuyo grado no es divisible por la caracterstica 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
polinomio y f as la funci
on polinomial definida por f . Entonces, si f (x) = 0, x K n ,
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.1.
2.2.
2.3.

Introducci
on
El anillo producto y el TCR
Interpretaci
on del Teorema Chino de los Restos en el caso
R=Z
2.3.1. En relaci
on con el problema de Sun Tzu.
2.3.2. Una Aplicaci
on en computacion: Calculo del Determinante por
Algoritmos Modulares.
2.3.2.1. La B
usqueda de un Buen N
umero Primo.
2.3.2.2. Test de Primalidad.
2.3.2.3. Combinando el Teorema de Densidad de los N
umero Primos y los
Tests de Primalidad.
2.3.2.4. La Estrategia Final
2.3.3. Secretos Compartidos.
2.4. El teorema Chino de los Restos en el caso R := k[X].
2.4.1. Eliminaci
on Univariada Clasica.
2.4.1.1. Mutiplicar por un polinomio.
2.4.2. El Teorema Chino de los Restos en R = k[X] y la Forma Canonica
de Jordan.
2.4.2.1. El
algebra k[X]/(f ).
2.4.3. Teora del Endomorfismo y el Maximo Com
un Divisor en k[X].

2.1.

29
29
32
34
35
37
37
38
39
39
39
40
41
43
43
47

Introducci
on

En esta Secci
on recordaremos el teorema Chino de los Restos y algunas de sus aplicaciones 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. Reaparece, 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

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

( ri=1 Ri )
(2.2.1)
((x1 , . . . , xr ), (y1 , . . . , yr )) 7 (x1 + y1 , . . . , xr + yr ),
y
(2.2.2)

Q
Q
Q
( ri=1 Ri ) ( ri=1 Ri )

( ri=1 Ri )
((x1 , . . . , xr ), (y1 , . . . , yr )) 7 (x1 y1 , . . . , xr yr ).
29

30

2. T. CHINO RESTOS

Se verifican las propiedades siguientes:

Q
(1). El conjunto ( ri=1 Ri , +, ) es un anillo conmutativo
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 Q
elemento de la forma (x1 , . . . , xr ) con alg
un xi = 0, es un divisor
de cero de ri=1 Ri .
Q
Al anillo ri=1 Ri se le denomina anillo producto de los anillos en la familia {Ri : i
I}.
Q
Demostraci
on. Para comprobar que ( ri=1 Ri , +, ) es un anillo conmutativo con unidad,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 . Verificar que es anillo con la operaci
on 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:
ker() =

ni=1 ai

n
Y

ai .

i=1

(3). induce un isomorfismo de anillos:

(2.2.4)

e:

Qn
R/ (ni=1 ai )
i=1 (R/ai )
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:
Q
i : R Rn := ni=1 R
(2.2.5)
x 7 (x, x, . . . , x).
y
Qn
Qn
n
(2.2.6)
i=1 i : R
i=1 (R/ai ) ,
donde i : R R/ai es la proyecci
on canonica. A partir de aqu, probemos las propiedades descritas.
Comencemos considerando
Q unos elementos especiales. Para cada i {1, . . . , n}, consideremos el emento ei ni=1 (R/ai ) dado mediante:
ei := (i,1 + a1 , i,2 + a2 , . . . , i,n + an )

n
Y
i=1

donde


i,j :=

1,
si i = j
0, en caso contrario

(R/ai ) ,

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
que
Qn tiene un 1. Consideremos ahora un elemento cualquiera := (x1 +a1 , . . . , xn +an )
i=1 R/ai . Se tiene la siguiente identidad:
(2.2.7)

:=

n
X

(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, analogamente, se har
a 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
n
Y
Y
(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 ).
Q
Como yj aj , para Q
todo j 2, entonces ni=2 yi aj , para todos j 2 y,
para todo j 2.
por tanto, z1 + aj = ni=2 yi + aj = 0 + aj , Q
De
el producto ni=2 (1 xi ) obtendremos z1 =
Pn
Qn otro lado, desarrollando
i=2 xi hi (x2 , . . . , xn ), donde
i=2 (1 xi ) = 1 +
hi (x2 , . . . , xn ) =

n
Y

(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,
P
por tanto, ni=2 xi hi (x2 , . . . , xn ) a1 . Hemos concluido que z1 = 1 + h, con
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 n
ucleo 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
n
n
Y
\
ai =
ai .
i=1

i=1

Q
T
Hay un contenido claro por las definiciones de los propios ideales ni=1 ai ni=1 ai ,
luego solo queda por probar el recproco. Hagamos la prueba por induccion. Comencemos 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,

32

2. T. CHINO RESTOS

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.
Q
Q
Consideremos ahora el elementos z1 := ni=2 yi b1 = ni=2 ai . De otro lado, como el
la prueba del epimorfismo, tendremos que
n
n
Y
X
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
n
n
Y
\
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 formulaci
on m
as 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 divisi
on 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
n
umeros enteros positivos tales que n, m 2, y sea h = gcd(m, n) su m
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 com
un divisor es 1.
Demostraci
on. Los alumnos ya han estudiado que Z es un dominio de ideales principales 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 ahora := 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 intersecci
on a := ni=1 (ni ) es el ideal generado por el mnimo com
un m
ultiplo m :=
mcm(n1 , . . . , nr ).
Q
Q
El ideal producto b := ri=1 (ni ) es el ideal (N ), generado por el producto N := ri=1 ni .
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 ).
Q
De otro lado, por la definici
on del ideal producto, el ideal ri=1 (ni ) es el ideal generado
por los productos de los generadores y, por tanto, el ideal generado por N .
La u
ltima de las afirmaciones es consecuencia inmediata del apartado (2) the Teorema
Chino de los Restos. Efectivamente,
si ni es una familia cuyos elementos son dos a
Qr
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

34

2. T. CHINO RESTOS

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
umer n
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:
Qr
e : Z/ (N )

i=1 (Z/(ni ))
(2.3.1)
x + (N ) 7 (x + (n1 ), x + (n2 ), . . . , x + (nr )).
Demostraci
on. Es una trasliteraci
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

Q
y definamos z1 := 3i=2 yi = (10)(21) = 210.
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
un n
umero x Z tal que
x mod (11) = x1

m
od (11), x

m
od (5) = x2

mod (5), x

mod (7) = x3

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.

mod (7).

 DEL TEOREMA CHINO DE LOS RESTOS EN EL CASO R = Z

2.3. INTERPRETACION

35

(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 paquetes de software simb
olico comerciales como Maple, Mathematica y otros. Aqu ejemplificamos 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
Lineal, 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 n
umeros enteros que aparecen
k
2
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 diversas alternativas. Algunas hacen modificaciones del algoritmo de Gauss (con b
usquedas 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:

(2.3.2)

v1 := v1
v2 := v2 2,1 v1 ,
2,1 =
..
.
P

vi := vi i1
j=1 i,j vj , i,j :=

hv2 ,v1 i
hv1 ,v1 i
hvi ,vj i
hvj ,vj i

n 2.3.5. En las notaciones anteriores, v1 , . . . , vn una base de Rn . Sean

Proposicio

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.
Demostraci
on. Son meras comprobaciones, la segunda propiedad implicando la primera.

Continuaremos con un cl
asico, conocido como Desigualdad de Hadamard.
1Aunque parece que el m
etodo de c
alculo 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 d
onde public
o sus resultados.

36

2. T. CHINO RESTOS

n 2.3.6 (Desigualdad de Hadamard). Sea A Mn (C) una matriz con

Proposicio
coordenadas complejas. Sean v1 , . . . , vn Cn los vectores dados por sus columnas. Entonces,
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

..
..
det(A1 A1 )det
.
.
hvn , v1 i
Como hvi , vj i = 0 para i 6= j, tendremos

|det(A1 )|2 =

n
Y

hv1 , vn i

..
.
.

hvn , vn i

||vi ||2 .

i=1

Finalmente, usando la Proposici

on anterior,
|det(A)|2 = |det(A1 )|2 =

n
Y

||vi ||2

i=1

|
Y

|vi ||2 .

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 .
Demostraci
on. Obvio.

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
e :=

x
x 2M

si 0 x M 1
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.


 DEL TEOREMA CHINO DE LOS RESTOS EN EL CASO R = Z

2.3. INTERPRETACION

37

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 N
umeros. 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
cuando

Dadas dos funciones f, g : R R, escribiremos f (g)

f (x)
=1
g(x)
Observese que f (g) g (f ).
Definamos la funci
on : N N dada por (x) es el cardinal del conjunto
de n
umeros primos p tales que 2 p x.
limx

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
n 2.3.10. Una descripci
Observacio
on mas precisa, nos dira: (Li(x)) donde
Z x
dt
Li(x) :=
lnt
2
2.3.2.2. Test de Primalidad. Se trata de un problema clasico tanto en Matematicas como en Inform
atica.
Problema 2.3.2 (PRIMES). Dado un n
umero natural n N, decidir si n es primo.
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 n
umero n es
primo hay que realizar n operaciones elementales (operaciones bit). Se dice que es un
algoritmo exponencial o ineficiente porque el n
umero 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 composici
on 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 n
umero 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.

38

2. T. CHINO RESTOS

Lema 2.3.11. Sea n N un nmero entero dado. Supongamos n > 2. Las siguientes
propiedades son equivalentes :
(1). n N es un n
umero 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.
n 2.3.12. Dado un n
Proposicio
umero natural H N se pueden hallar n
umeros naturales 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 n
umeros n1 , . . . , nr son coprimos dos a dos.
(4). Se verifica la siguiente desigualdad:
H

r
Y

ni .

i=1

EL n
umero de operaciones elementales (bit) necesarias para calcularlos est
a acotado
O(1)
2
por log2 (H) log2 (log2 (H)).
Demostraci
on. Elijamos un n
umero entero positivo k N. Por el Teorema de Densidad de los n
umeros primos, tenemos:
2k

22k
(22k ).
2k

Ademas, sean 2 := p1 p2 p2k los n

umeros primos menores que 22k . Entonces,
k

2k

2
Y

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].

2.3.2.4.

39

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 (logaritmo) 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) n
umeros enteros n1 , . . . , nr con r = 2(bn log(H)c+
1) tales que
Q
N := ri=1 ni > 2H n ,
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) m
od ni , para cada i, 1 i r.
Aplicando el Teorema Chino de los Restos, hallar
e 1 (d1 + (n1 ), d2 + (n2 ), . . . , dr + (nr )).
D m
od N :=
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
n
umero 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 comaximales. 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.

40

2. T. CHINO RESTOS

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
eucldea, existir
an q, r k[X] tales que
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 m
aximo com
un divisor es 1.
Demostraci
on. La demostraci
on es analoga al caso R = Z, aunque vamos a se
nalar los
peque
nos 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),
el resto de la divisi
on de a por g. Claramente, deg() deg(g) 1 y consideremos
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
max{deg(h), deg(f )} = m
ax{deg(h), deg() + deg(f )} deg() + deg(f ).
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 Identidad de Bezout anterior son los tratamientos de Bezout, Sturm y Sylvester de la Eliminacion 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 m
aximo com
un divisor de f y g, deg(h) 1.

2.4. EL TEOREMA CHINO DE LOS RESTOS EN EL CASO R := k[X].

41

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 raz
on 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 implicaci
on, 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
2
d
monomios {1, X, X , . . . , X }. Ahora consideremos un polinomio no nulo f := am X m +
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:
n 2.4.4. La aplicaci
Proposicio
on f : k[X]m k[X]m+d es una aplicaci
on lineal 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
.
..
..
..
.

.
.
.
.

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

0
adm+2
0
.
..
..
..
..
.
.
.
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 ,

42

2. T. CHINO RESTOS

donde
ck :=

a i zj .

i+j=k

Escrita esta expresi

on en
expresion, tendremos:

a0
a1
.
.
.

am

am+1
.
.
.

ad
0

.
..
0

forma matricial (suponiendo d m por simplicidad de la

0
a0
..
.

..
.

am1
am
..
..
.
.
ad1
ad

..
..
.
.
0

0
0
..
.

c0
c1
..
.

a 0 z0
cm

a1 z1 cm+1

.. z2 = ..

.
. .
..

adm . cd
c

adm+1
zm
d+1

adm+2
cd+2

..
...
.
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 m
aximo 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.
Demostraci
on. Comencemos considerando la aplicacion lineal siguiente:
(2.4.1)

Sf,g : k[X]m1 k[X]n1 k[X]n+m1

(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 lineal) 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 u
ltimo 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, supongamos 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)

2.4. EL TEOREMA CHINO DE LOS RESTOS EN EL CASO R := k[X].

43

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 m
aximo com
un divisor de dos polinomios f y g es el
grado del polinomio de menor grado en Im(Sf,g ).
Demostraci
on. Es consecuencia inmediata de lo argumentado.

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

onica
de Jordan. En la discusi
on 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:
Qr
e : k[Z]/ (g)

i=1 (k[X]/(fi ))
(2.4.3)
x + (g) 7 (x + (f1 ), x + (f2 ), . . . , x + (fr )).
e es isomrofismo de espacios vectoriales sobre k.
Adem
as,
Demostraci
on. De nuevo, es el enunciado exacto del Teorema Chino de los Restos de
Secciones anteriores.

n
n1
2.4.2.1. El
algebra k[X]/(f ). Vamos a considerar f := X + an1 X
+ +
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 matriz MX Mn (k), de X en la base anterior, es, justamente, la matriz

44

2. T. CHINO RESTOS

compa
nera de f , esto es,

MX

0
1

:= C(f ) = 0

..
.

0 0
0 0
1 0
0 1
.. . .
.
.

0 0

..
.

a0
a1
a2
a3
..
.

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, justamente,
Mg := g(MX ) = g(C(f )).
Demostraci
on. Todas son propiedades de mera comprobacion. En todo caso, lo esencial 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 divisi
on 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 endomorfismo) sobre k[X]/(f ) es un mero ejercicio de comprobacion. Para hallar la matriz MX ,
basta con hallar las im
agenes:
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
X (X n1 + (f )) = X n + (f ) =

n1
X

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 .

2.4. EL TEOREMA CHINO DE LOS RESTOS EN EL CASO R := k[X].

45

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).

n 2.4.9. Sea k un elemento en un cuerpo k y consideremos el polinomio

Proposicio
m
onico f = (X )n . Consideremos el anillo cociente k[X]/(f ). Se tiene:
(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

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 u
nica
(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

46

2. T. CHINO RESTOS

que es base.
Para la afirmaci
on (2), observemos la siguiente cadena:
X (1 + (f ))
X ((X ) + (f ))

X (X )2 + (f )

=
=
=

((X ) + (f

)) + (1 + (f ))
2
(X ) + (f )
+ ((X ) + (f ))

(X )3 + (f ) + (X )2 + (f )
..
.

=
=
=

v2 + v1
v3 + v2
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

la caja de Jordan J(, n).

sea jutsmante


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.
n 2.4.10. Sea f k[X] un polinomio m
Proposicio
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:
r
Y
f (X) :=
(X i )mi .
i=1

Consideremos:
e : k[X]/(f ) Qr (k[X]/(X i )mi ) el isomorfismo de anillos del
Sea
i=1
e es tambien un isomorfismo de
Teorema Chino de los Restos. Entonces,
kespacios vectoriales.
En k[X]/(f ) la base monomial := {1 + (f ), X + (f ), X 2 + (f ), . . . , X n1 +
(f )}.
Q
En el espacio vectorial producto ri=1 (k[X]/(X i )mi ), la base inducida
(m )
por las bases i i en cada uno de los espacios vectoriales k[X]/(X i )mi .
e en las bases y .
Y sea M la matriz del isomorfismo
Entonces, se tiene:

J(1 , m1 )
0

0
J(2 , m2 )

C(f ) := M1
..
..
..

.
.
.
0
0

0
0
..
.

M .

J(r , mr )

En paricular, C(f ) posee forma can

nica 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.
Demostraci
on. Observse que si i 6= j , entonces, (X i )k y (X j )s son co
e un isomorfismo se sigue del
maximales para k, s 1. Por tanto, el hecho de ser
Teorema Chino de los Restos. De otro lado, tenemos el siguiente diagrama:
e

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

k[X]/(f )
e

(i)
i=1 X

Qr

Qr

i=1 (k[X]/(X

i )mi )

2.4. EL TEOREMA CHINO DE LOS RESTOS EN EL CASO R := k[X].

Este diagrama es conmutativo, donde

producto de los endomorfimos

(i)
i=1 X

Qr

47

es el endomorfismo dado mediante el

(i)

X : k[X]/(X i )mi k[X]/(X i )mi .

La conmutatividad del diagrama nos dice que
e 1

X =

r
Y

!
(i)
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 .
Q
(i)
En particular, la matriz M ( ri=1 X ) en la base producto es la suma diagonal de las
(i)
matrices M (X ), es decir,

J(1 , m1 )
0

0
r

Y
0
J(2 , m2 )
0

(i)
M ( X ) =
.
..
..
..
..

.
.
.
.
i=1

J(r , mr )

Traduciendo la conmutatividad del diagrama a matrices, esto significa

!
r
Y
(i)
e 1 M
e
M (X ) = M ()

M (),
X

i=1

es decir

J(1 , m1 )
0

0
J(
,
m
)

2
2

C(f ) = M1
..
..
.
..

.
.
0
0

que es la propiedad buscada.

0
0
..
.

M ,

J(r , mr )


n 2.4.11 (La forma can

Observacio
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 c
omo 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 polinomio 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 :


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

48

2. T. CHINO RESTOS

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
aximo n
umero natural k N tal que (X )k | g en
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 a
un, 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

h()
0

h()
h(J(, m)) =
..
..
..
.
.
.

..
.

0
0
0
..
.

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.

n 2.4.13 (Grado del m
Proposicio
aximo com
un divisor de dos polinomios).
Dados dos polinomiso f, g k[X] supongamos que f es m
onico. Entonces, el grado d
del m
aximo com
un 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
f (X) :=

r
Y

(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
J(2 , m2 )
0

C(f ) = P 1
P.
..
..
..

.
.

.
0

J(r , mr )

2.4. EL TEOREMA CHINO DE LOS RESTOS EN EL CASO R := k[X].

49

Entonces,

g(J(1 , m1 ))
0

0
g(J(
, m2 ))
2

g(C(f )) = P 1
..
.
..

.
0
0

0
0
..
.

P.

g(J(r , mr ))

Como P es una matriz regular, el rango de la matriz g(C(f ))

g(J(1 , m1 ))
0

0
g(J(
,
m
))

2
2

rank(g(C(f )) = rank
..
.
..

viene dado por:

0
r
X
0

rank(g(J(i , mi ))).
=
..

.
i=1
g(J(r , mr ))

Ahora, usando el Lema anterior, tendremos:

r
X
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
r
Y
g = p(X) (X i )i ,
i=1

un divisor de g y f
donde p(i ) 6= 0 para todo i y i = ordi (g). El maximo com
vendra dado por la igualdad
r
Y
h(X) :=
(X i )mn{mi ,i } .
i=1

Luego
deg(h) =

r
X

mn{mi , i }.

i=1

Pero, notese que

mi mn{mi , i } = max{0, mi i }.
Por tanto,
deg(h) =

r
X
i=1

mn{mi , i } =

r
X

mi

i=1

r
X

max{0, mi i } = deg(f ) rank(g(C(f ))),

i=1

como se pretende en el enunciado.

n 2.4.14. En el caso de la que la caracterstica de los cuerpos k y K es cero,

Observacio
podemos describir con detalle la matriz g(J(, m)) mediante las derivadas sucesivas

g()
0
0

g 0 ()
g()
0

1
00 ()
0 ()

g
g
g()

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

..
.

.
.
.
.
1
1
1
(m1) ()
(m2) ()
(m3) () g()
g
g
g
(m1)!
(m2)!
(m3)!
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.1.
3.2.
3.2.1.
3.2.2.
3.3.
3.3.1.
3.3.2.
3.4.
3.4.1.
3.4.2.
3.4.3.
3.4.4.
3.4.5.

Introducci
on
Local, Localizaci
on
Anillos Locales y Semi-locales: Germenes de Funciones
Localizaci
on
Ideal asociado a una variedad: radical y radical de Jacobson
Ideal de un Objeto Geometrico
Radical y Radical de Jacobson
Funciones vs Objetos
El Lenguaje de las Categoras.
Categoras
Functores y Equivalencias Naturales
Variaci
on de un primer tema clasico: El Teorema de StoneCech
Variaci
on de un segundo tema clasico: El Lema de Urysohn y el
Teorema de Extensi
on de Tietze.
3.4.6. Variaci
on de un tercer tema clasico: Extension de funciones en
Variedades Diferenciables
3.5. Cuestiones y Problemas

3.1.

51
51
51
53
55
55
56
59
59
59
60
62
63
63
64

Introducci
on

En este Captulo avanzaremos un poco mas las nociones esenciales del curso. Nos adentraremos 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.
3.2.1.

Local, Localizaci
on

Anillos Locales y Semi-locales: G

ermenes de Funciones.

n 3.2.1 (Anillo local). Un anillo R se denomina local si posee un u

Definicio
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:
f :=

r
Y

(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}.
n 3.2.1. Como comentario general, el estudio local de funciones y objetos
Observacio
geometricos, coincide con el estudio de anillos locales (de funciones, por ejemplo).


3.2. LOCAL, LOCALIZACION

n 3.2.2.
Proposicio

53

(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 conjunto 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.
n 3.2.3 (Localizaci
Proposicio
on de anillos). Con las notaciones anteriores, el conjunto S 1 R posee una estructura natural de anillo con las operaciones siguientes:
+ : S 1 R S 1 R
S 1 R,
(x/s, x0 /s0 ) 7 (s0 x + sx0 )/ss0 ,

: S 1 R S 1 R S 1 R
(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.
Demostraci
on. Es un mero ejercicio de comprobacion.

Si R es un dominio de integridad y S := R \ {0}, entonces

Ejemplo 3.2.7.
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 fracciones 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.

 AVANZADAS
3. UN POCO MAS

54

Si f R es un elemento que no es nilpotente en R, podemos considerar la

localizaci
on de R por el sistema multiplicativo Sf = {f n : n N}. Al
1
anillo Sf R se le denotar
a por Rf . Por ejemplo, en el caso R = Z, Zp es la
localizaci
on con denominadores en el conjunto {pn : n N}.
n 3.2.4. Si R es un dominio de integridad y S es un sistema multiplicativo
Observacio
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
olo hay dos elementos. Compruebese.
la localizacion (Z/6Z)(2) s
Podemos dar una caracterizaci
on en forma de propiedad universal de la localizacion de
anillos:
n 3.2.5 (Caracterizaci
Proposicio
on mediante propiedad Universal). Sea f : R R0
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.
Demostraci
on. Omitimos la prueba dado que apenas si usaremos este enunciado. 
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 .
n 3.2.6 (Localizaci
Proposicio
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
(m/s, m0 /s0 )

S 1 M,
7 (s0 m + sm0 )/ss0 ,

S 1 R : S 1 R S 1 M
(x/s, m/s0 )

S 1 m
7 xm/ss0 .

Al S 1 Rm
odulo S 1 M se le denomina localizaci
on de M en S.
Demostraci
on. Es un mero ejercicio de comprobacion.

n 3.2.7. Del mismo modo denotaremos por Mp a todo S 1 M , donde M

Observacio
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
dimensi
on 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

3.3.
3.3.1.

55

Ideal asociado a una variedad: radical y radical de Jacobson

Ideal de un Objeto Geom
etrico.

n 3.3.1 (Ideal asociado a un subconjunto). Con las notaciones anterioDefinicio

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 }.
n 3.3.1. Es obvio que es un ideal. Obviamente en cada caso hemos de
Observacio
especificar el anillo sobre el que trabajamos. Los ideales respectivos son distintos, obviamente, 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 coincidir
an.
Usualmente se omiten los subndices (escribiremos I(F )) y se sobreentiende el anillo
por el contexto.
n 3.3.2. Con las anteriores notaciones, sean X el conjunto, R el anillo de
Proposicio
funciones. Se verifican las propiedades siguientes:
(1). Si F G son dos subconjuntos de X, I(G) I(F ).
(2). I(X)
T = R.
S = 0, I()
(3). I( iI Fi ) = iI I(Fi ).
(4). Adem
as, la clausura en la topologa de Zariski de cualquier subconjunto viene
dada mediante:
Z
F = V (I(F )).
Demostraci
oS
n. 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) obtendremos 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 alg
un interes en su prueba. Recordemos
la topologa de Zariski, descrita en la Observacion 1.4.9 del Captulo anterior. En particular, 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:
(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
las afirmaciones de la Proposici
on 1.4.8 anterior, concluiremos V (I(F )) V (a), por
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

n 3.3.4 (Nullstellens
Observacio
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,
a 7 V (a),

I : Z
I
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 caracterizaci
on 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 caracterizaron 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. Caracterizaciones 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.

n 3.3.5 (Definici
Proposicio
on de Nilradical). El conjunto 0 de todos
los elementos 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.
Demostraci
on. 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
(x + y)

n+m

n+m
X

cn+m,k xk y n+mk = 0,

i=0

donde cn+m,k es o bien el n

umero combinatorio
de grupo abeliano de R.

n+m
k

n 3.3.6. Sea R un anillo, entonces

Proposicio
\

0 :=

o 0 dependiendo de la estructura


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,
n
1
n
1
p
p
x
x p y, como
6 p, concluiremos que x p. Habremos probado
p esTprimo y x
as el contenido 0 pSpec(R) p.
T
Para el otro contenido, supongamos f pSpec(R) p y supongamos que f no es nilpotente. 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 contracci
on 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.


Definici
on 3.3.2 (Radical de un ideal). Para un ideal a en un anillo R, denotaremos
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}.

n 3.3.3. Los ideales tales que a = a se denominan ideales radicales del

Definicio
anillo R.
Ejemplo 3.3.4.
En el caso de los anillos R := Z, K[X], K[X], los ideales primos son los ideales principales generados por elementos irreducibles (f ). En
estos mismo casos, consideremos f R un elemento irreducible
p y consideremos el ideal (f n ) generado por una potencia de f . Entonces, (f n ) = (f ).
1
En dominios de ideales principales, si f := pn1p
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 radicales. 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:
n 3.3.9 (Propiedades del Radical). Sea a, b dos ideales de un anillo R.
Proposicio
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.

n 3.3.6 (Radical de Jacobson). Sea a un ideal de un anillo R. Llamaremos
Definicio
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
n 3.3.10. Sea NR = J (0) el radical de Jacobson de un anillo R. Se tiene:
Proposicio
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.

n 3.3.7 (Cociente de Ideales). Dados a, b dos ideales de un anillo R, su
Definicio
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:
n 3.3.11 (Propiedades del Cociente de Ideales). Sea a, b, c ideales de
Proposicio
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),

(4). (i aP
i : b) = i (ai : b),
(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 introducido 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

Homologica 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
transformaci
on:
: 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 noci
on de categoras.
(1). La Categora de los Espacios Topol
ogicos (T ): Los objetos Obj T son
los espacios topol
ogicos, los morfismos HomT (X, Y ) := C 0 (X, Y ) son las funciones 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 conmutativos 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. Comencemos, definiendo algunos tipos elementales de morfismos.
n 3.4.3 (Tipos elementales de Morfismos). Dados dos objetos X, Y en
Definicio
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 analticas, 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).
n 3.4.4 (Functor Covariante). Sea C y D dos categoras, con objetos Obj C
Definicio
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 transformaci
on con dos ingredientes:
Una aplicaci
on F : Obj C Obj D , y
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) .
n 3.4.5 (Functor Contravariante). Sea C y D dos categoras, con objetos
Definicio
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 aplicaci
on 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)),

3.4. FUNCIONES VS OBJETOS

61

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. Consideremos 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, funci
on 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
aplicaci
on 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 functor 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
adelante. A la combinaci
on de los dos se le denomina, usualmente, bifunctor HomR (, ).
(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.
n 3.4.8 (Equivalencia Natural entre Functores Covariantes). Sea C y
Definicio
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 )
G(Y
)
Y
n 3.4.9 (Equivalencia Natural entre Functores Contravariantes). Se
Definicio
define de manera an
aloga al caso covariante, teniendo en cuenta la condicion de contravariantes.
n 3.4.10 (Equivalencia Natural entre Categoras). Dos categoras C y D
Definicio
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 cl
asico 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
topol
ogicos compactos de Hausdorff y f : X Y es una funci
on continua tal que C 0 (f )
0
0
es isomorfismo de R
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 R
algebras de la forma C 0 (X), donde X es una espacio tpol
ogico compacto.
1V
eanse, 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.

3.4. FUNCIONES VS OBJETOS

63

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, conocimiento.
3.4.5. Variaci
on de un segundo tema cl
asico: El Lema de Urysohn y el
Teorema de Extensi
on de Tietze.
n 3.4.11 (Espacio Topol
Definicio
ogico 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 compactos 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
dos cerrados en X, existe una funci
on f C 0 (X) tal que f (X) [0, 1] y se tiene:
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 topol
ogico normal X. Entonces, para cada f C 0 (F ) existe una funci
on
continua C 0 (X) tal que
|F = f.
Una interpretaci
on 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 equivalente del Teorema de Tietze:
Teorema 3.4.5 (Teorema de Extensi
on de TietzeUrysohn). Con las anteriores notaciones, 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.
n 3.4.13 (Espacio topol
Definicio
ogico paracompacto). Un espacio topologico se denomina 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= }) < .

 AVANZADAS
3. UN POCO MAS

64

n 3.4.14 (Partici
Definicio
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

Se dice que una partici

on de la unidad {i : i I} C 0 (X) esta subordinada a un
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 particiones 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 ).
n 3.4.8. El Teorema 1.4.1 es consecuencia de la existencia de particiones
Observacio
de unidad en variedades paracompactas.
n 3.4.15 (Funciones lisas en un subespacio). Sea F un cerrado en una vaDefinicio
riedad diferenciable M , una funci
on 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 a
un, el siguiente es un isomorfismo de anillos:
C (F )
= C (M )/I(F ).
3.5.

Cuestiones y Problemas

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.

3.5. CUESTIONES Y PROBLEMAS

65

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 aspecto notacional: Sea R un anillo, p Spec(R) y f R. Denotemos mediante f (p) la clase
f + p R/p. N
otese 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 u
nica 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 biyecci
on 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 aplicaci
on 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, cu
al 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 triangulables 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.1.
4.2.
4.3.
4.4.
4.4.1.
4.4.2.
4.5.
4.5.1.
4.5.2.
4.6.
4.6.1.
4.6.2.
4.7.

Introducci
on
Diagramas Conmutativos, Complejos y Sucesiones Exactas
El Bifunctor HomR (, ), localizaci
on, y propiedades locales
Anillos y M
odulos Noetherianos
Condici
on de cadena ascendente para submodulos e ideales
El Teorema de la Base de Hilbert
Descomposici
on Primaria
Un par de resultados tecnios peliminares: NAK y otros
Descomposic
on Primaria: Teorema de LaskerNoether
Temas Opcionales
Snake Lemma
Libres, Proyectivos, Inyectivos y Planos (Opcional)
Cuestiones y Problemas

4.1.

67
68
71
75
75
77
79
79
81
86
86
86
87

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 generaliza la factorizaci
on a traves de al descomposicion primaria de ideales, fue probado

D. Hilbert, Uber
theorie der Algebraischen Formen. Math. Ann. 36 (1890), 473534.
Noether, Idealtheorie in Ringbereichen, Math. Annalen 83 (1921) 2466.
3V
eanse, por ejemplo, sus contribuciones en:
1

2E.

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 anillos 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.
n 4.2.1 (Grafo orientado). Un grafo orientado es un par G := (V, E),
Definicio
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 sucesi
on 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 aplicaci
on que asigna a cada arista (1 , 2 ) un elemento
A(1 , 2 ) F .
n 4.2.1. Usualmente, en Combinatoria, se tratan los grafos G := (V, E)
Observacio
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.
Es decir, toda relaci
on de orden sobre un conjunto V , define un grafo orientado (V, ).
Recprocamente todo grafo orientado permite definir una relacion sobre el conjunto de
sus vertices que no siempre es relaci
on de orden salvo que a
nadamos 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 .
n 4.2.2 (Diagrama en la categora de Rm
Definicio
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.

n 4.2.3. Usualmente se usan los smbolos o  para representar la conNotacio

mutatividad de una diagrama. Asa la propiedad que define la conmutatividad de un
diagrama se puede escribir mediante el dibujo siguiente:

N2

f2

fn3

Nn2

fn2

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 algunos 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
on can
onica y sea i : Imf (f ) N la inclusion de la
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

3
M/L (M/N )/(L/N )

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 inclusi
on, tenemos que N1 N2 es submodulo de N1 y, por
tanto, tenemos la proyecci
on 1 : N1 N1 /(N1 N2 ) y, finalmente, N2 es
subm
odulo de N1 + N2 con lo que tenemos la proyeccion 2 : N1 + N1
(N1 + N2 )/N2 . El Tercer Teorema de Isomorfa afirma que existe un u
nico
isomorfismo de Rm
odulos ei : N1 /(N1 N2 ) (N1 + N2 )/N2 haciendo

70

4. NOETHERIANOS

conmutativo el siguiente diagrama:

i
N1

N1 + N2

2
N1 /(N1 N2 ) (N1 + N2 )/N2
ei

n 4.2.5 (Complejos de Rm
Definicio
odulos). Se denomina complejo de Rmodulos a todo diagrama dado como una secuencia (sub-indicada por Z o N, seg
un el caso)
de modulos y morfismos:
di+1
di+2
di
M ,
C := Mi Mi+1
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+1
di+2
di
M ,
C := Mi Mi+1
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
notaci
on 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 inclusi
on y g es la proyeccion. Clarmente Z
6 2Z (Z/2Z),
=
porque Z es libre de torsi
on y 2Z (Z/2Z) tiene torsion.
5La terminologa viene de la Topolog Algebraica y los morfismos frontera inducidos por triangulaciones, 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:
f
i

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
d
di+2
di
i+1
M ,
C := Mi Mi+1
i+2
entonces C es exacto si y solamente si para cada i, la sucesi
on exacta corta siguiente
es exacta:
di
ki
Ci := 0 ker(di ) Mi ker(di+1 ) 0,
donde ki es la inclusi
on can
onica.
Demostraci
on. Si la sucesi
on C es exacta, entonces Im(di ) = ker(di+1 ) para cada i.
Claramente, Im(ki ) = ker(di ) por definicion, as que Ci es una sucesion exacta corta.
El recproco es igualmente obvio.

n 4.2.8 (Functores exactos). Un functor F de la categora de Rmodulos
Definicio
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

n 4.3.1. Dados Rm
Proposicio
odulos M y N , los functores HomR (M, ) y HomR (, N )
son exactos a izquierda.
Demostraci
on. Hagamos la prueba para HomR (M, ) y dejamos el otro como Ejercicio. 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 implica 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 ). Adem
as, 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
f (m)
m
7
s
s .
Se tiene:
n 4.3.2. El functor S 1 es un functor covariante exacto de la categora de
Proposicio
Rm
odulos. En particular, si N y P son subm
odulos de un Rm
odulo M , se tiene:
1
1
1
S (N + P ) = S N + S P ,
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.
Demostraci
on. 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 queda solamente analizar la exactitud como functor. Para ello, consideremos una sucesion
exacta de Rm
odulos:
0 M
Tenemos la sucesi
on siguiente:
0 S 1 M

M M 00

0,

S 1 f
S 1 g
S 1 M S 1 M 00 )

Comencemos observando que ker(S 1 f ) = 0. Para ello, si

m
s

0,

S 1 M 0 es tal que

m
f (m)
)=
= 0,
s
s
es porque existe t S tal que t(f (m) s0) = 0, es decir, f (tm) = 0 y, como f es
0
inyectiva, tm = t(m1 s0) = 0 o lo que es lo mismo m
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 )
1
1
ker(S 1 g). Supongamos ahora m
s ker(S g) S M . Esto significa que
S 1 f (

S 1 g(

m
g(m)
)=
= 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:
f (n)
tm
m
n
)=
=
=
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
1
S 1 g( ms ) = g(m)
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 ).

S 1 f (

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
otese que si S a 6= , entonces
de S 1 R generado por { a1 : a a}. N
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 Propo0
sicion. La propiedad (3) tiene un poco mas de interes. Tomemos xs , xs0 S 1 R tales
que
x x0
xx0
y
=
= S 1 p,
0
0
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.
c
1
1 es
Entonces, sy
s q (por ser ideal) e y q = p. Con ello, es claro que S p = q y S
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
un la definci
on, existe t S, tal que t(xs0 x0 ) = 0. Pero tx0 p0 , con lo que
concluimos txs = (ts)x p0 y ts S, ts 6 p0 . Por tanto, x p0 y tenemos probado uno
de los contenidos.

n 4.3.4. Tambien se podra haber descrito la prueba anterior observando
Observacio
el isormofismo de S 1 Rm
odulos :
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 m
as, 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 est
an en biyecci
on con los ideales primos de R contenidos en p.
Por u
ltimo, 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.
n 4.3.1 (Localizaci
Definicio
on en un primo). Al anillo local Rp se le denomina
localizaci
on de R en p y, para cada Rmodulo M , llamaremos al Rp modulo Mp , la
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:
n 4.3.6 (Ser cero es una propiedad local). Las siguientes propiedades
Proposicio
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 siguiente:
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 contradicci
on.



4.4. ANILLOS Y MODULOS
NOETHERIANOS

4.4.

75

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 relaci
on. Supongamos que R satisface la siguiente propiedad:
a X, b X, aRb.
Entonces, existe una sucesi
on {xn : n N} X de tal modo que xn Rxn+1 , n N.
n 4.4.1 (M
Proposicio
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 subm
odulos 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.
Demostraci
on.
(1) (2): N
otese que si tenemos una cadena ascendente:
N0 N1 N2 Nm ,
S
la uni
on N := iN Ni M es tambien un submodulo de M y, por (1),
ser
a finitamente generado. Una coleccion finita {n1 , . . . , nr } de generadores
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 siguiente. 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 =
on sobre X, concluiremos que existe una cadena
/ como la relaci
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. Supongamos, 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

n 4.4.2. Usualmente la prueba de la equivalencia entre estas tres propiedaObservacio

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:
n 4.4.3 (Anillo Noetheriano). Sea R un anillo. Las siguientes propieProposicio
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 inclusi
on.
En particular, todo anillo que satisface una cualquiera de esas propiedades equivalentes
posee al menos un ideal maximal.
n 4.4.2. Se tienen las nociones siguientes:
Definicio
(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 mismo, esto es, si satisface una cualquiera de las propiedades equivalentes descritas 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 neotherianos (todos sus subespacios son finitamente generados).
Los grupos abelianos libres finitamente generados son noetherianos: sus submodulos 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

4.4.2.

77

El Teorema de la Base de Hilbert.

n 4.4.4. Dada una sucesi

Proposicio
on exacta corta de Rm
odulos:
f
g
0
0 M M M 00 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.

n 4.4.5. Si R es un anillo noetheriano, entonces un Rm

Proposicio
odulo es noetheriano si y solamente si es finitamente generado como Rm
odulo.
Demostraci
on. Es claro que si M es un Rmodulo noetheriano es finitamente generado (todos sus subm
odulos lo son). Por tanto, solo hay que probar el recproco.
As, sea M un Rm
odulo finitamente generado, suponiendo que R es noetheriano. Supongamos 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 hip
otesis 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.

n 4.4.6. Sea S un sistema multiplicativo de un anillo R. Si R es neotProposicio
heriano, tambien es neotheriano su localizaci
on S 1 R. En particular, para cada ideal
primo p Spec(R) se un anillo noetheriano, la localizaci
on Rp es anillo local noetheriano.
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 := m
ax{n1 , . . . , np } el maximo de esos grados y consideremos
la intersecci
on aN := a R[X]N , donde R[X]N son los polinomios en R[X] de grado
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 . Supongamos 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:
h1 := h

p
X
i=1

i X mni fi .

 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,
no puede existir ning
un h a \ (F ) y a = (F ), concluyendo que a es finitamente
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 ].
Demostraci
on. Obvio por inducci
on.

Todos los anillos de polinomios con coeficientes en un cuerpo

Ejemplo 4.4.4.
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 principales 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 anillos.
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 n
umero 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:
V = V (a) =

s
[

V (fi ).

i=1

4.5.

Descomposici
on Primaria

4.5.1. Un par de resultados t

ecnios peliminares: NAK y otros. Comenzaremos 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 generado, N
odulo de M y a un ideal de R contenido en el radical de Jacobson
p un subm
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
Ahora recordemos la Proposici
on 3.3.10. Como xi,i a J (0) estan en el radical de
Jacobson de R, tenemos que (1 xi,i ) R es una unidad en R. Tomando, i = 1,
concluiremos que
X
xi,j mj ,
x1 = (1 x1,1 )1
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 Rm
odulo. En particular, el cardinal mnimo de sistemas de generadores de M
como Rm
odulo coincide con la dimensi
on de M/mM como R/mespacio vectorial.
Demostraci
on. 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/mM ) / (N + mM/mM ) = 0,
M/ (N + mM ) =
entonces M = N + mM y, por el Lema de Nakayama. M = N . El resto de las afirmaciones 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
un i.
i=1 ai . Entonces, p ai para alg

 PRIMARIA
4.5. DESCOMPOSICION

81

(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 .
Demostraci
on. Ver las referencias indicadas.

4.5.2. Descomposic
on Primaria: Teorema de LaskerNoether. Probaremos aqu el Teorema de LaskerNoether sobre la existencia de descomposicion primaria
en anillos y m
odulos noetherianos. Comencemos con unas nociones preliminares.
n 4.5.1. Sea M un Rm
Definicio
odulo.
(1). Para cada elemento a R, denotaremos por a,M : M M a la homotecia de raz
on 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 composici
on 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.
Demostraci
on.
Prueba de la afirmaci
on (1): Notese que a,R/q es nilpotente si y solamente si
n
existe un 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).
En conclusi
on, a,R/q es nilpotente si y solamente si existe n N tal que
n
an + q = a,R/q
(1 + q) = 0 + q.

Esto u
ltimo es equivalente a que exista n N tal que an q y tenemos la
equivalencia de la afirmaci
on (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 hip
otesis 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).

n 4.5.5. Si N es un subm
Proposicio
odulo primario de un Rm
odulo 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

Demostraci
on. En primer lugar es f
acil 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
b,M/N son nilpotentes. Existir
an exponentes r, s N, r, s 1 tales que
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.

n 4.5.6. Sean N1 , . . . , Ns subm
Proposicio
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
0. Sea n0 ; = m
ax{n1 , . . . , ns }. Veamos que a,M/N
0. Pues si m + N
i
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
0, tendremos que ani m
i
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

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

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 potencias 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
4.5. DESCOMPOSICION

83

Kespacio vectorial de dimensi

on 2, con base {1 + a, Y + a}. Ahora para cada elemento
f k[X, Y ] nos interesa su clase m
odulo 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 generalizacion de la factorizaci
on u
nica a cualquier anillo noetheriano. Pero necesitamos
avanzar mas para interpretar el resultado y su significado geometrico.
n 4.5.3 (Descomposici
Definicio
on Primaria). Sea M un Rmodulo y N un submodulo 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.
n 4.5.4 (Subm
Definicio
odulo 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.
n 4.5.8. Si M es un Rm
Proposicio
odulo noetheriano, todo subm
odulo irreducible
es primario.
Demostraci
on. 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
r
M/N dada por los n
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).

n
Es claro que si m+N Im()ker(), entonces, m+N = (m0 +N ) = a,M/N
(m0 +N )
n
2n
y 0 + N = (m + N ) = a,M/N
(m + N ) = a,M/N
(m0 + N ). Por tanto, m0 + N
2n
n
n
ker(a,M/N
) = K2n = Kn = ker(a,M/N
). Por tanto, m+N = (m0 +N ) = a,M/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
n
nulo. Pero = a,M/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 noetheriano, entonces todo subm
odulo propio posee una descomposici
on primaria irredundante.
Demostraci
on. Probaremos, primer lugar, la siguiente afirmacion:
(4.5.2)

Para todo subm

odulo N de M , con N
/ M,
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
,
1

2,
podemos
concluir
que
N

6
M, 1 i 2. Pero si N1 y N2 no
i
i
/
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:
(4.5.3)

Para todo subm

odulo N de M , con N
/ M,
N es intersecci
on finita de subm
odulos primarios de M .

Nos queda por probar la existencia de descomposicion primaria irredundante de acuerdo 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}.
Por la afirmaci
on descrita en (4.5.3), tenemos que NN 6= , con lo que existe un mnimo
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 Proposicion 4.5.6, el subm
odulo N0 := N1 N2 es tambien un submodulo primario de M y
tendremos:
N = N0 N3 . . . Nr ,
con lo que r 1 NN , contradiciendo la minimalidad de r. Concluimos as que,
necesariamente, pi =
6 pj , para todo i 6= j y habremos concluido que la descomposicion

 PRIMARIA
4.5. DESCOMPOSICION

85

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 .
n 4.5.11. En particular, todos los ideales radicales de anillos noetherianos
Observacio
(como k[X1 , . . . , Xn ]) son intersecci
on finita de ideales primos.
n 4.5.12. El anterior resultado admite una interpretacion inmediata en
Observacio
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 afirmaci
on:

(4.5.5)

Si R es un dominio de ideales principales, para todo f R,

existen u R , unidad; elementos primos f1 , . . . , fs R,
y n
umeros naturales n1 , . . . , ns nN, con ni 1, para 1 i s, tales que
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
principales, existir
a fi R elemento primo tal que (fi ) = pi . De otro lado, qi = (gi )

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,
(f ) := q1 q2 =

s
Y
i=1

f1n1

Como f y
u Rn tal que

fsns

qi =

s
Y

(fini ) = (f1n1 fsns ).

i=1

generan el mismo ideal en R, ha de existir un elemento unidad

f = uf1n1 fsns .

n 4.5.13. Veremos m
Observacio
as adelante, tras probar el Teorema del Ideal Principal 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 definicion de la suceci
on exacta larga de Homologa de Toplog Algebraica:
n 4.6.1 (Snake Lemma). Consideremos un diagrama de Rm
Proposicio
odulos y morifmos como el siguiente, en el que las filas son sucesiones exactas cortas:
0 M 0 M
f0

0 N 0 N

M 00 0
f

f 00
00
N
0

Entonces, existe un morfismo de Rm

odulos d : ker(f 00 ) Coker(f 0 ) tal que la
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.
n 4.6.1 (Proyectivos, Inyectivos, Planos). Sea M un Rmodulo. Se definen
Definicio
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 cualquiera:
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:
n 4.6.3. Un Rm
Proposicio
odulo P es proyectivo si y solamente si es sumando directo de un Rm
odulo libre.
O tambien
n 4.6.4. Un Rm
Proposicio
odulo 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:

4.7. CUESTIONES Y PROBLEMAS

87

n 4.6.6 (Criterio de Baer). Una Rm

Proposicio
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.
4.7.

Cuestiones y Problemas

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 exactos 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 siguientes:
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
p denominado cuerpo de los n
un cuerpo Q
umeros padicos.
La bola cerrada de centro 0 y radio 1 en Q con respecto al valor absoluto
p (0, 1) es el anillo local Z(p) cuyo ideal maximal (que denotaremos
p
adico B
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
p
adico.
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 m
odulo M se dice libre si existe un conjunto I y una coleccion
{Mi : i I} de Rm
odulos, cada uno isomorfo a R, de tal modo que M
= iI Mi .
Probar que un Rm
odulo es finitamente generado si y solamente si es (isomorfo) a un
cociente de un Rm
odulo libre de la forma Rn .
Problema 4.7.8 (HamiltonCayley para m
odulos libres finitamente generados). Probar que dado un enformismo : Rn Rn , de un modulo libre finitamente 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 siguiente:
(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 modulos 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 Nakayama (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, AddisonWesley 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. Buchsbaum. 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 Verlag, 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. SpringerVerlag, Berlin, 1995.
[Ma, 80] H. Matsumura,Commutative Algebra (2nd. Edition), Benjamin/Cummings, 1980.
Commutative Ring Theory. Cambridge Studies in advanced Math. 8, Cambridge
[Ma, 89]
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.