Professional Documents
Culture Documents
No. 8
Algebra
homol
ogica
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2014
ii
Contenido
Pr
ologo
iv
1. Elementos b
asicos de
algebra homol
ogica
1.1. Sucesiones exactas . . . . . . . . . . . . .
1.2. Modulos proyectivos . . . . . . . . . . . .
1.3. Producto tensorial . . . . . . . . . . . . .
1.4. Anillo de fracciones . . . . . . . . . . . . .
1.5. Modulo de fracciones . . . . . . . . . . . .
1.6. Modulos inyectivos . . . . . . . . . . . . .
1.7. Modulos planos . . . . . . . . . . . . . . .
1.8. Anillos hereditarios . . . . . . . . . . . . .
1.9. Ejercicios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
1
1
9
15
23
29
36
46
51
58
.
.
.
.
61
61
67
76
79
.
.
.
.
.
.
.
81
81
85
88
93
94
96
108
2. Ext
2.1.
2.2.
2.3.
2.4.
3. Tor
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
3.7.
Definicion . . . . .
Propiedades basicas
Ejemplos . . . . . .
Ejercicios . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4. Dimensiones de m
odulos y anillos
4.1. Dimensiones proyectiva, inyectiva y plana de un modulo . . . . . . .
4.2. Dimension global de un anillo . . . . . . . . . . . . . . . . . . . . .
4.3. Dimension global debil de un anillo . . . . . . . . . . . . . . . . . .
iii
109
. 109
. 116
. 118
iv
CONTENIDO
4.4.
4.5.
4.6.
4.7.
4.8.
4.9.
Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
120
122
123
126
132
137
138
Pr
ologo
La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales
temas de esta rama de las matematicas, y pretende servir de material para preparar
los examenes de admision y de candidatura de los programas colombianos de doctorado en matematicas. Los primeros cinco cuadernos cubren el material basico de
los cursos de estructuras algebraicas y algebra lineal de los programas de maestra;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
examenes de candidatura, a saber: anillos y modulos; categoras; algebra homologica;
algebra no conmutativa; algebra conmutativa y geometra algebraica. Cada cuaderno
es fruto de las clases dictadas por el autor en la Universidad Nacional de Colombia
en los u
ltimos 25 a
nos, y estan basados en las fuentes bibliograficas consignadas en
cada uno de ellos, como tambien en el libro Anillos, M
odulos y Categoras, publicado por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya
edicion esta totalmente agotada (vease [13]). Un material similar, pero mucho mas
completo que el presentado en estas diez publicaciones, es el excelente libro de Serge
Lang, Algebra, cuya tercera edicion revisada ha sido publicada por Springer en el
2004 (vease [12]). Posiblemente el valor de los Cuadernos de
algebra sea su presentacion ordenada y didactica, as como la inclusion de muchas pruebas omitidas
en la literatura y suficientes ejemplos que ilustran la teora. Los cuadernos son:
1.
2.
3.
4.
5.
Grupos
Anillos
Modulos
Algebra
lineal
Cuerpos
6. Anillos y modulos
7. Categoras
8. Algebra
homol
ogica
9. Algebra
no conmutativa
10. Algebra
conmutativa y geometra algebraica
vi
PROLOGO
Captulo 1
Elementos b
asicos de
algebra
homol
ogica
Presentamos en este primer captulo las construcciones basicas del algebra homologica como son los complejos y las sucesiones exactas, el producto tensorial de bimodulos, los anillos y los modulos de fracciones no conmutativos. Haremos ademas una
introduccion a los modulos proyectivos, inyectivos y planos.
1.1.
Sucesiones exactas
Definici
on 1.1.1. Una sucesion o cadena de homomorfismos de A-m
odulos de la
forma
f1
f0
f1
C : M1 M0 M1 M2
es un complejo si Im(fi ) ker(fi+1 ) para cada i Z. La sucesi
on se dice exacta
si Im(fi ) = ker(fi+1 ) para cada i Z. El m
odulo cociente
ker(fi+1 )/Im(fi )
se denomina el i-
esimo m
odulo de homologa del complejo C.
Son particularmente importantes las sucesiones exactas finitas. Por ejemplo,
f
g
notese que la sucesion M1 M2 M3 0 es exacta si, y solo si, Im(f ) =
f
(1.1.1)
(1.1.2)
0 HomA (M3 , N )
HomA (M2 , N ) HomA (M1 , N )
es exacta para cada A-modulo N . Veamos entonces que g es sobreyectivo: en calidad
de N escogemos a M3 /Im(g) y sea j : M3 M3 /Im(g) el homomorfismo canonico.
Entonces, g (j) = jg = 0 (en efecto, jg(x) = g(x) = 0); pero como g es inyectiva
entonces j = 0, es decir, para cada x M3 se tiene que x = 0, es decir, x Im(g),
y de esta forma M3 = Im(g).
Veamos ahora que Im(f ) = ker(g): notese en primer lugar que Im(g ) ker(f ),
luego para cada h HomA (M3 , N ) se tiene que f g (h) = 0, es decir, hgf = 0,
hagamos entonces N = M3 y h = iM3 la identica de M3 , entonces gf = 0, con lo
cual Im(f ) ker(g). Ahora tomemos N = M2 /Im(f ) y sea j : M2 M2 /Im(f )
la canonica. Entonces, f (j) = jf = 0, es decir, j ker (f ) Im(g ), luego
existe un homomorfismo t HomA (M3 , N ) tal que j = g (t) = tg. Por tanto,
Im(f ) = ker(j) ker(g).
Definici
on 1.1.3. Una sucesion exacta finita de la forma
f
0 M1 M2 M3 0
se dice que es una sucesi
on exacta corta. Dos sucesiones exactas cortas
f
0 M1 M2 M3 0
y
0 N1 N2 N3 0
se dicen equivalentes si existen A-isomorfismos h, k, l tales que el siguiente diagrama conmuta:
f
0 M1
M2
M3 0
h
k
l
a
b
0 N1
N2
N3 0
f
Proposici
on 1.1.4. Sea 0 M1 M2 M3 0 una sucesi
on exacta
corta. Entonces, esta sucesion es equivalente a la sucesi
on
0 ker(g) M2 M2 / ker(g) 0
donde es la inclusion y j es el homomorfismo can
onico.
An
Am
M 0,
(1.1.3)
0K
Am
M 0,
donde K es un A-modulo finitamente generado.
(iii) Existen un entero m 1 y un A-subm
odulo finitamente generado K de Am
tales que M
= Am /K.
Demostracion. (i) (ii): tomando K := ker(g) = Im(f ) en (1.1.3) se obtiene la
sucesion exacta corta deseada, con K generado por n elementos.
(ii) (i): sea K generado por n elementos, entonces se tiene el homomorfismo
f0
natural sobreyectivo An
K que envia la base canonica de An en los generadores
0
de K; tomando f := f resulta la exactitud de (1.1.3).
(ii) (iii): tenemos que M
= Am / ker(g) = Am /Im()
= Am /K.
(iii) (ii): sea : M Am /K un isomorfismo, entonces esta implicacion
resulta evidente tomamdo como a la inclusion de K en Am y g := j, donde
j : Am Am /K es el homomorfismo canonico.
f0
g0
An
Am
M 0
As
Ar
M 0
dos presentaciones finitas de M con matrices F y F 0 , respectivamente. Entonces
existen matrices P Mrm (A) y Q Msn (A) tales que P F = F 0 Q.
Demostracion. Sea {ei }m
onica de Am y sea xi := g(ei ) M . Como
i=1 la base can
0
g es sobreyectivo, existen z1 , . . . , zm Ar tales que g 0 (zi ) = xi . Definimos el Ahomomorfismo p : Am Ar por p(ei ) := zi , 1 i m. Notemos entonces que
iM g = g 0 p, luego Im(pf ) ker(g 0 ) = Im(f 0 ). Sea {e0j }nj=1 la base canonica de An ,
definimos entonces el A-homorfismo q : An As por q(e0j ) := yj , con yj As tal que
pf (e0j ) = f 0 (yj ). Resulta, pf = f 0 q. Calculando las matrices de los homomorfismos
p, f, f 0 , q en las bases canonicas se obtiene el resultado.
Definici
on 1.1.9. Sea M un A-m
odulo; una resoluci
on libre de M es una sucesi
on exacta en la forma
fn+1
fn
fn1
f2
f1
f0
R : Mn Mn1
M1
M0
M 0,
M (en calidad de M0 podemos tomar el A-modulo libre A(M ) con una base de
cardinalidad igual a la de M , y como f0 elegimos la funcion que envia la base
canonica de A(M ) en los elementos de M , vease [15]). Sea K0 := ker(f0 ), entonces
f1
M1
t
y1
h
f2
M2
t
y2
h
f3
M3
t
y3
h
f4
M4
t
y4
M5
t
y5
1
2
3
4
N1
N2
N3
N4
N5
entonces,
(i) Si t2 y t4 son sobreyectivos y t5 es inyectivo, entonces t3 es sobreyectivo.
(ii) Si t2 y t4 son inyectivos y t1 es sobreyectivo, entonces t3 es inyectivo.
(iii) Si t1 , t2 , t4 , t5 son isomorfismos, entonces t3 es un isomorfismo.
Demostracion. (i) Sea n3 N3 , entonces existe m4 M4 tal que t4 (m4 ) = h3 (n3 ),
luego h4 (t4 (m4 )) = h4 (h3 (n3 )) = 0 = t5 f4 (m4 ), de donde m4 ker(f4 ) = Im(f3 ).
Por tanto, existe m3 M3 tal que f3 (m3 ) = m4 , de donde t4 (f3 (m3 )) = t4 (m4 ) =
h3 (n3 ), y en consecuencia h3 (t3 (m3 )) = h3 (n3 ). Esto u
ltimo indica que n3 t3 (m3 )
ker(h3 ) = Im(h2 ), luego existe n2 N2 tal que n3 t3 (m3 ) = h2 (n2 ), es decir, n3 =
t3 (m3 ) + h2 (n2 ). Pero existe m2 M2 tal que t2 (m2 ) = n2 , de donde n3 = t3 (m3 ) +
h2 (t2 (m2 )) = t3 (m3 ) + t3 (f2 (m2 )) = t3 (m3 + f2 (m2 )), es decir, t3 es sobreyectivo.
(ii) Sea m3 M3 tal que t3 (m3 ) = 0, entonces h3 (t3 (m3 )) = 0 = t4 (f3 (m3 )), y por
tanto, m3 ker(f3 ) = Im(f2 ). Existe entonces m2 M2 tal que f2 (m2 ) = m3 , de
donde t3 (f2 (m2 )) = 0 = h2 (t2 (m2 )), y de esta manera t2 (m2 ) ker(h2 ) = Im(h1 ),
luego t2 (m2 ) = h1 (n1 ), con n1 N1 . Existe m1 M1 tal que t1 (m1 ) = n1 , y
por tanto t2 (m2 ) = h1 (t1 (m1 )) = t2 (f1 (m1 )), es decir, m2 = f1 (m1 ), con lo cual,
m3 = f2 (f1 (m1 )) = 0. Esto significa que t3 es inyectivo.
(iii) Esta parte es consecuencia directa de las dos anteriores.
0 M1
f
y
f2
M2
yh
f1
M3 0
g
y
f2
0 N1 N2 N3 0
entonces,
(i) Si f y g son sobreyectivos, entonces h es sobreyectivo.
(ii) Si f y g son inyectivos , entonces h es inyectivo.
(iii) Si f, g son isomorfismos, entonces h es un isomorfismo.
Demostracion. Consecuencia directa del lema anterior.
Lema 1.1.13 (Lema de la serpiente). Sup
ongase que el siguiente diagrama de
A-m
odulos y homomorfismos es conmutativo y las filas son exactas
f1
M1
t
y1
f2
M2
t
y2
M3 0
t
y3
1
2
0 N1
N2
N3
ker(t1 )
ker(t2 )
ker(t3 )
coker(t1 )
coker(t2 )
coker(t3 ),
1
donde d(k3 ) := h1
as, si f1 es inyectivo,
1 t2 f2 (k3 ) + Im(t1 ), con k3 ker(t3 ). Adem
entonces ker(t1 )
ker(t2 ) es inyectivo, y si h2 es sobreyectivo, entonces coker(t2 )
coker(t3 ) es sobreyectivo.
g1
ker(t1 )
l
y1
M1
t
y1
N1
j
y1
f1
p1
g2
ker(t2 )
l
y2
M2
t
y2
N2
j
y2
f2
p2
ker(t3 )
l
y3
M3
t
y3
N3
j
y3
Notemos que las tres columnas del diagrama anterior son exactas. Debemos definir
los homomorfismos gi , ki , i = 1, 2, y probar que la sucesion
g1
g2
p1
p2
ker(t1 )
ker(t2 )
ker(t3 )
coker(t1 )
coker(t2 )
coker(t3 ),
es exacta. Dividiremos la prueba en varios pasos.
Paso 1. Sea k1 ker(t1 ), entonces t1 (k1 ) = 0 y h1 t1 (k1 ) = 0 = t2 f1 (k1 ), luego
f1 (k1 ) ker(t2 ). De igual manera, sea k2 ker(t2 ), entonces t2 (k2 ) = 0 y h2 t2 (k2 ) =
0 = t3 f2 (k2 ), es decir, f2 (k2 ) ker(t3 ). Esto permite definir g1 y g2 en la siguiente
forma
g1 (k1 ) := f1 (k1 ), g2 (k2 ) := f2 (k2 ).
Notemos entonces que gi es la restriccion de fi a ker(ti ), i = 1, 2; ademas, f1 l1 = l2 g1
y f2 l2 = l3 g2 . Es claro que si f1 es inyectivo, entonces g1 es inyectivo.
Paso 2. Los homomorfismos p1 , p2 se definen en forma natural, es decir,
p1 (n1 ) := h1 (n1 ), p2 (n2 ) := h2 (n2 ),
con ni := ni + Im(ti ), ni Ni , hi (ni ) := h(ni ) + Im(ti+1 ), i = 1, 2. Observemos
que p1 j1 = j2 h1 y p2 j2 = j3 h2 . Es claro que si h2 es sobreyectivo, entonces p2 es
sobreyectivo.
Paso 3. d esta bien definida: sea k3 ker(t3 ) M3 , entonces existe m2 M2
tal que f2 (m2 ) = k3 , de donde t3 f2 (m2 ) = t3 (k3 ) = 0 = h2 t2 (m2 ), lo cual indica
que t2 (m2 ) ker(h2 ) = Im(h1 ). Por tanto, existe n1 N1 tal que t2 (m2 ) = h1 (n1 );
entonces definimos
d(k3 ) := n1 = n1 + Im(t1 ), con h1 (n1 ) = t2 (m2 ) y f2 (m2 ) = k3 .
1
Esta definicion puede escribirse tambien en la forma d(k3 ) := h1
1 t2 f2 (k3 )+Im(t1 ).
Si m02 M2 es tal que f2 (m02 ) = k3 = f2 (m2 ), entonces m2 m02 ker(f2 ) = Im(f1 ),
luego m2 m02 = f1 (m1 ), con m1 M1 ; ademas, t3 f2 (m02 ) = t3 (k3 ) = 0 = h2 t2 (m02 ),
de donde t2 (m02 ) ker(h2 ) = Im(h1 ), y en consecuencia existe n01 N1 tal que
t2 (m02 ) = h1 (n01 ). Restando resulta t2 (m2 ) t2 (m02 ) = h1 (n1 ) h1 (n01 ), es decir,
t2 (m2 m02 ) = h1 (n1 n01 ) = t2 (f1 (m1 )) = h1 t1 (m1 ), pero como h1 es inyectiva,
entonces n1 n01 = t1 (m1 ) Im(t1 ). Esto demuestra que d esta bien definida.
Paso 4. Im(g1 ) = ker(g2 ): sea g1 (k1 ) Im(g1 ), con k1 ker(t1 ), entonces
g2 g1 (k1 ) = g2 (f1 (k1 )) = f2 (f1 (k1 )) = 0, es decir, Im(g1 ) ker(g2 ). Sea ahora
k2 ker(g2 ), con k2 ker(t2 ), entonces g2 (k2 ) = 0 = f2 (k2 ), luego k2 ker(f2 ) =
Im(f1 ), de donde k2 = f1 (k1 ), con k1 M1 . Si mostramos que k1 ker(t1 ), entonces
k2 = g1 (k1 ) Im(g1 ), con lo cual ker(g2 ) Im(g1 ). Tenemos, h1 t1 (k1 ) = t2 f1 (k1 ) =
t2 (k2 ) = 0, pero como h1 es inyectiva, entonces t1 (k1 ) = 0.
Paso 5. Im(g2 ) = ker(d) : sea k3 = g2 (k2 ) Im(g2 ), con k2 ker(t2 ) M2 ;
seg
un vimos arriba g2 (k2 ) = f2 (k2 ), luego en la difinicion de d podemos tomar
m2 := k2 , y entonces t2 (m2 ) = 0 = h1 (n1 ), pero como h1 es inyectivo entonces
1.2. MODULOS
PROYECTIVOS
1.2.
M
odulos proyectivos
El teorema 1.1.2 indica que los operadores HomA (P, ) y HomA (, N ) preservan
la exactitud de sucesiones por la izquierda, cualesquiera que sean los modulos P y
N . Consideremos ahora la sucesion exacta
0 2Z Z Z2 0,
al aplicar el funtor HomZ (Z2 , ) (vease [18]) resulta la sucesion
HomZ (Z2 , 0) HomZ (Z2 , 2Z) HomZ (Z2 , Z) HomZ (Z2 , Z2 ) HomZ (Z2 , 0),
10
HomZ (0, Z2 ) HomZ (Z2 , Z2 ) HomZ (Z, Z2 ) HomZ (2Z, Z2 ) HomZ (0, Z2 ),
es decir,
i
Z
0 Z2
Z2 Z2 0
la cual no es exacta en el u
ltimo Z2 . Entonces, en general, si N es un A-modulo, el
funtor HomA (, N ) no preserva la exactitud a derecha.
Definici
on 1.2.1. Un A-modulo P es proyectivo si HomA (P, ) preserva la exactitud a derecha. Se dice que un A-m
odulo N es inyectivo si HomA (, N ) preserva
la exactitud a derecha.
As pues, P es proyectivo si, y solo si, HomA (P, ) envia sucesiones exactas
cortas en sucesiones exactas cortas, y de igual manera, N es inyectivo si, y solo
si, HomA (, N ) envia sucesiones exactas cortas en sucesiones exactas cortas. En
el lenguaje de las categoras y los funtores (vease [18]), P es proyectivo si, y solo
si, HomA (P, ) es un funtor exacto y N es inyectivo si, y solo si, HomA (, N ) es
un funtor exacto. A continuacion estudiaremos algunas propiedades de los modulos
proyectivos. En la seccion 1.6 consideraremos los modulos inyectivos.
Teorema 1.2.2. Sea P un A-m
odulo. Entonces las siguientes condiciones son equivalentes:
(i) P es proyectivo.
(ii) Para cada homomorfismo sobreyectivo f y cada homomorfismo g, existe un
homomorfismo h tal que el siguiente diagrama conmuta:
P
p
pp
h p p
g
pp
p
?
- N
M
f
1.2. MODULOS
PROYECTIVOS
11
?
- N
Pi
g
?
- N
12
buscada es h := ti : Pi M .
Pi
6
i i
?
Pi
h
f
?
- N
En efecto, f h = f ti = gi i = g.
) Tengamos en cuenta ahora en el siguiente diagrama:
Pi
g
?
- N
Pi
g
?
- N
?
hi
Pi
g
h
?
- N
M
f
1.2. MODULOS
PROYECTIVOS
13
14
Definici
on 1.2.8. Una sucesion exacta corta 0 M1
M2
M3 0 es hendida si g es un homomorfismo hendido.
f
Proposici
on 1.2.9. La sucesion exacta 0 M1
M2
M3 0 es hendida si, y
s
olo si, f es hendido.
Demostracion. ): supongamos que g es un homomorfismo hendido, es decir, existe
un homomorfismo g 0 : M3 M2 tal que gg 0 = iM3 , resulta M2 = ker(g) Im(g 0 ) =
Im(f ) Im(g 0 ) (vease [15]). Definimos f 0 : M2 M1 por f 0 (m2 ) := m1 , donde
m2 = f (m1 ) + z, con m1 M1 y z Im(g 0 ). Como f es inyectivo entonces f 0
esta bien definido. Es claro que f 0 es un homomorfismo y ademas f 0 f = iM1 .
): supongamos que f es hendido, entonces existe un homomorfismo f 0 : M2
M1 tal que f 0 f = iM1 , se tiene ademas que M2 = Im(f ) ker(f 0 ); sea m3 M3 ,
existe m2 M2 tal que g(m2 ) = m3 , m2 tiene una representacion u
nica en la forma
0
0
m2 = f (m1 ) + k2 , con m1 M1 y k2 ker(f ). Definimos g : M3 M2 por
g 0 (m3 ) := k2 . Veamos que g 0 esta bien definido: sea m02 M2 tal que g(m02 ) = m3 y
m02 = f (m01 ) + k20 , con m01 M1 y k20 ker(f 0 ). Se tiene que m2 m02 ker(g) =
Im(f ), luego k2 k20 ker(f 0 ) Im(f ) = 0, es decir, k2 = k20 . Es obvio que g 0 es un
homomorfismo, ademas gg 0 = iM3 .
f
Corolario 1.2.10. Si 0 M1
M2
M3 0 es una sucesi
on exacta hendida,
0
0
g
f
entonces M2
on 0 M3
M2
M1 0 es exacta hendida,
= M1 M3 y la sucesi
donde g 0 , f 0 son tales que gg 0 = iM3 y f 0 f = iM1 .
Demostracion. En la demostracion de la proposicion 1.2.9 vimos que si la sucesion
f
g
exacta 0 M1
M2
M3 0 es hendida, entonces M2 = Im(f ) Im(g 0 ),
luego M2
= M1 M3 ya que f y g 0 son inyectivos. Ademas, la prueba mencionada
g0
f0
muestra tambien que se tiene la sucesion 0 M3
M2
M1 0 con gg 0 = iM3
y f 0 f = iM1 . Luego, g 0 es inyectivo y f 0 es sobreyectivo. Resta ver que Im(g 0 ) =
ker(f 0 ). Con la notacion de la demostracion de la proposicion 1.2.9 tenemos que
f 0 g 0 (m3 ) = f 0 (k2 ) = 0, es decir, Im(g 0 ) ker(f 0 ). Finalmente, sea k2 ker(f 0 ),
entonces k2 = 0 + k2 Im(f ) ker(f 0 ), luego m3 := g(k2 ) es tal que g 0 (m3 ) = k2 ,
es decir, ker(f 0 ) Im(g 0 ).
Lema 1.2.11 (Lema de Schanuel). Dadas dos sucesiones exactas
0 K1 P1 M 0,
0 K2 P2 M 0,
donde P1 , P2 son proyectivos, entonces K1 P2
= K2 P 1 .
15
q
p
i
y
y
yM
f2
g2
0 K2 P2 M 0
donde el homomorfismo q se define de la siguiente manera: tenemos que Im(pf1 )
ker(g2 ) = Im(f2 ), luego dado k1 K1 , pf1 (k1 ) = f2 (k2 ), con k2 K2 ; entonces
definimos q(k1 ) := k2 . q esta bien definida ya que f2 es inyectiva; es claro que q es
un homomorfismo.
1.3.
Producto tensorial
16
realizada para el Hom en [14]. El caso particular del producto tensorial de modulos
sobre anillos conmutativos, y el estudio correspondiente de funciones multilineales
y tensores, se puede consultar en [16].
Sea A un anillo y sean M, N A-modulos a derecha e izquierda, respectivamente.
Consideremos el Z-modulo libre F := Z(M N ) , con base X := {x (1)}xM N ,
donde x es la inyeccion canonica de la suma directa externa. Por simplicidad en la
notacion identificaremos la base X de F con el conjunto M N . Consideremos el
Z-submodulo S F , S := hS1 S2 S3 i, donde
S1 := {(m + m0 , n) (m, n) (m0 , n) | m, m0 M, n N },
S2 := {(m, n + n0 ) (m, n) (m, n0 ) | m M, n, n0 N },
S3 := {(m a, n) (m, a n) | m M, n N, a A}.
Sea M A N := F/S el Z-modulo cociente correspondiente. Este objeto se conoce
como el producto tensorial de M por N . La clase (m, n) del elemento (m, n) de F
se denota por m n.
Algunas propiedades del Z-modulo construido son las siguientes:
(1) La funcion t : M N M A N definida por t(m, n) := m n es bilineal
y balanceada, es decir,
(i) t(m + m0 , n) = t(m, n) + t(m0 , n).
(ii) t(m, n + n0 ) = t(m, n) + t(m, n0 ).
(iii) t(m.a, n) = t(m, a.n).
Las propiedades anteriores de la funcion t se pueden escribir tambien de la
siguiente manera:
(m + m0 ) n = m n + m0 n,
m (n + n0 ) = m n + m n0 ,
m a n = m a n.
(2) 0 n = 0, m 0 = 0, (m) n = (m n), m (n) = (m n).
(3) Cada elemento f de M A N se puede representar en la forma m1 n1 +
+ mr nr . Esta representacion no es u
nica: en Z2 Z Z3 se tiene que
1 2 = 2 1 = 0.
El producto tensorial se caracteriza con la siguiente propiedad universal.
17
- M N
p
pp
pp
p
p
pp
pp h
p
p
?+
L
El homomorfismo h viene dado por:
18
g2
Si N1 N2 N3 0 es exacta, entonces
g1
g2
M N3 0 es exacta.
M N1 M
M N2 M
f1
f2
Si M1 M2 M3 0 es exacta, entonces
f1 i
f2 i
M1 N N M2 N N M3 N 0 es exacta.
(g) M y N no son, en general, exactos a izquierda:
f
jiZ
0 Z Z2 2 Z Z2 2 Z2 Z2 , es decir,
0
iZ
2
0 Z2 Z2
Z2 no es exacta.
19
(h)
(i) (B MA A NC ) C LD
=
(A NC C LD ) (B D-isomorfismo).
B MA
Mi y N :=
iC
Nj . Consideremos las
jD
inyecciones canonicas
i : M i M
j : Nj N
y su producto tensorial
i
j : M i
Nj M N ;
i j
M i Nj
L
-
ij
(Mi
Nj )
(i,j)CD
(z) :=
(i
j ) (zij ) ,
(i,j)sop(z)
con z := (zij )
(Mi
Mj ), zij Mi
Mj y sop(z) el soporte de
(i,j)CD
20
M N
pp
pp
p
pp
+
- M N
p
pp
pp
(Mi
Nj )
(i,j)CD
N
N
N
con 0 ((mi ) , (nN
nj ) y ((mi ) (nj )) := (mi nj ). Notese que el
j )) := (mi
soporte de (mi nj ) es finito ya que esta inculido en el producto cartesiano
de los soprtes de (mi ) y (nj ). Es facil probar que 0 es bilineal y balanceada.
Ademas, claramente es un B Chomomorfismo.
Paso 3. Veamos que = iM N . Sea w N
M N , puesto que es un
homomorfismo se puede asumir que w = (mi ) (nj ). Entonces,
N
N
(w) = ((mi ) (nj )) = ((mi nj ))
P
N
N
=
(i j ) (mi nj )
N
(i,j)sop mi
(i,j)sop mi
nj
N i (mi )
j (nj )
nj
i (mi )
isop(mi )
= (mi )
j (nj )
jsop(nj )
(nj ) = w.
(Mi Mj ), zij
(i,j)IJ
Mi Mj . Si z = 0, entonces
P (0) = 0. Sea z 6= 0, entonces z es una suma
finita de la forma z =
ij (zij ); puesto que y ij son homomorfismos
(i,j)sop(z)
21
(1.3.1)
22
HomA (B MA ,C NA ) B LD
= HomA (HomB (B LD ,B MA ),C NA ).
Demostracion. Notemos en primer lugar que la funcion h0 : HomA (M, N )
L HomA (HomB (L, M ), N ) definida por
h0 (f, l) := h0(f,l) , con h0(f,l) : HomB (L, M ) N , h0(f,l) (g) := f (g(l)),
donde f HomA (M, N ), g HomB (L, M ), cumple las siguientes condiciones: h0(f,l) es un A-homomorfismo y h0 es bilineal y B-balanceada. En efecto,
h0(f,l) (g1 +g2 ) = f [(g1 +g2 )(l)] = f [g1 (l)+g2 (l)] = f (1 (l))+f (g2 (l)) = h0(f,l) (g1 )+
h0(f,l) (g2 ); h0(f,l) (g a) = f [(g a)(l)] = f [g(l) a] = f [g(l)] a = h0(f,l) (g) a;
h0 (f1 + f2 , l) = h0(f1 +f2 ,l) , h0(f1 +f2 ,l) (g) = (f1 + f2 )(g(l)) = f1 (g(l)) + f2 (g(l)) =
h0(f1 ,l) (g) + h0(f2 ,l) (g), es decir, h0 (f1 + f2 , l) = h0 (f1 , l) + h0 (f2 , l); h0 (f, l1 + l2 ) =
h0(f,l1 +l2 ) , h0(f,l1 +l2 ) (g) = f [g(l1 +l2 )] = f (g(l1 ))+f (g(l2 )) = h0(f,l1 ) (g)+h0(f,l2 ) (g),
es decir, h0 (f, l1 + l2 ) = h0 (f, l1 ) + h0 (f, l2 ). Finalmente, h0 (f b, l) = h0(f b,l) ,
h0(f b,l) (g) = (f b)[g(l)] = f [b g(l)] = f [g(b l)] = h0(f,bl) (g), es decir,
h0 (f b, l) = h0 (f, b l).
Por la propiedad del producto tensorial, h0 induce un homomorfismo de grupos
abelianos he0 : HomA (M, N ) L HomA (HomB (L, M ), N ) definido por
he0 (f l) := h0(f,l) . Observemos que he0 es un C-homomorfismo. En efecto, he0 [c
(f l)] = he0 [(c f ) l] = h0
, h0
(g) = (c f )[g(l)] = c f [g(l)] =
(cf,l)
c[h0(f,l) (g)]
[c h0(f,l) ](g)
(cf,l)
23
1
1
un isomorfismo si, y solo si, he0 y he00 son isomorfismos. Esto completa la
prueba.
24
1.4.
Anillo de fracciones
25
b
t
:=
ac+bd
,
u
:=
ac
,
tu
A
AS 1 , a 7 .
(1.4.1)
1
es un homomorfismo de anillos ya que (a + b) = a+b
= a1 + 1b = (a) + (b),
1
(ab) = ab
= a1 1b = (a)(b), (1) = 11 ; sea s S, entonces (s) = 1s y 1s 1s = 11 ,
1
es decir, (S) (AS 1 ) ; sea a S tal que (a) = 01 , entonces a1 = 01 y existen
26
A
AS 1
g
p
pp
p
p
pp h
p
p
?
A0
h es definido por h( as ) := g(a)g(s)1 . Adem
as, si g es inyectivo, entonces h es
tambien inyectivo.
Demostracion. La prueba se puede consultar en [13].
Corolario 1.4.4. Sea A un anillo que posee anillo de fracciones a derecha respecto
del sistema multiplicativo S. Si A0 es un anillo con homomorfismo g : A A0 tal
que g(S) A0 y A0 tambien cumple la propiedad universal, entonces A0
= AS 1 .
Demostracion. Basta aplicar dos veces la propiedad universal tanto a A0 como a
AS 1 para construir homomorfismos h : AS 1 A0 y h0 : A0 AS 1 tales que
sus compuestas dan las aplicaciones identicas.
Teorema 1.4.5. Sea A un anillo que posee anillo de fracciones a derecha respecto
del sistema multiplicativo S. Si A0 es un anillo con homomorfismo g : A A0
que satisface las condiciones (i)-(iv) de la definici
on 1.4.1. Entonces existe un u
nico
1
isomorfismo h : AS A0 tal que h = g.
Demostracion. Seg
un la proposicion 1.4.3, existe un u
nico homomorfismo de anillos
h que cumple h = g. Resta ver que h es un isomorfismo: si h( as ) = 0, entonces
g(a) = 0 y existe u S tal que au = 0, es decir, as = 01 , esto muestra que h es
inyectivo. Sea x A0 , entonces x se puede representar en la forma x = g(a)g(s)1 ,
a A, s S. Entonces, x = h( as ) y h es pues sobreyectivo.
Resulta conveniente preguntar bajo que condicion un anillo A se puede sumergir
en AS 1 (en caso de que este u
ltimo exista). La respuesta a esta pregunta y su
prueba son como en el caso conmutativo (vease [14]).
27
Proposici
on 1.4.6. Sean A un anillo, S un subconjunto multiplicativo de A y B
un anillo de fracciones a derecha de A respecto de S. Entonces,
(i) es inyectivo si, y solo si, S no posee divisores de cero a derecha.
(ii) es biyectivo si, y solo si, S A .
Demostracion. Ejercicio para el lector.
Proposici
on 1.4.7. Sea A un anillo que posee anillo de fracciones a derecha respecto del sistema multiplicativo S. Si A se puede sumergir en AS 1 , es decir, si
es inyectivo, entonces AS 1 es el menor anillo que contiene a A en el cual todos los
elementos de S son invertibles.
Demostracion. Consecuencia directa de la propiedad universal.
Observaci
on 1.4.8. (i) Es claro a partir de las definiciones y propiedades vistas
anteriormente como definir y caracterizar un anillo de fracciones a izquierda.
Ademas, todas las propiedades estudiadas en la presente seccion son tambien validas
por el lado izquierdo (veanse por ejemplo las proposiciones 1.4.12, 1.4.13 y 1.4.14
mas adelante)
Se tiene la siguiente propiedad interesante: sean A un anillo y S un subconjunto
multiplicativo de A tales que AS 1 y S 1 A existen. Entonces, AS 1
= S 1 A. En
1
0
1
efecto, sean : A AS y : A S A los homomorfismos canonicos, entonces
seg
un la proposicion 1.4.3 (y la correspondiente afirmacion por el lado izquierdo)
existen homomorfismos h : AS 1 S 1 A y h0 : S 1 A AS 1 tales que h = 0
y h0 0 = , es decir, (hh0 ) 0 = 0 , (h0 h) = , por unicidad en la proposicion
mencionada (y su correspondiente afirmacion a izquierda), hh0 = iS 1 A y h0 h =
iAS 1 .
(ii) Queremos ahora mostrar que la construccion del anillo AS 1 generaliza el caso conmutativo: en primer lugar las condiciones (i) y (ii) del teorema 1.4.2 se cumplen
trivialmente en el caso de un anillo conmutativo R y un subconjunto multiplicativo
S. Consideremos tambien la relacion de equivalencia que define las fracciones de
RS 1 , es decir, (a, s) (b, t) si, y solo si, existe u S tal que atu = bsu, luego
si hacemos c := tu y d := su se obtiene que (a, s) (b, t). Recprocamente, si
(a, s) (b, t), entonces existen c, d R tales que ac = bd y sc = td S, luego
at(dt) = at(sc) = acts = bdts = bs(dt), con dt S, es decir, (a, s) (b, t). Con
respecto a las operaciones tenemos lo siguiente: puesto que st = ts S, entonces
a
+ bt = at+bs
, lo cual corresponde al caso conmutativo. Analogamente, como bs = sb,
s
st
entonces as bt = ab
= ab
.
ts
st
Un caso particular muy importante de localizacion conmutativa es cuando S :=
R P , con P un ideal primo de R; en esta situacion el anillo de fracciones se denota
por RP y es un anillo local (vease [14]).
28
29
30
1.5.
M
odulo de fracciones
m
s
a
t
n
t
:=
:=
mc+nd
,
u
mc
,
tu
con u := sc = td S
con au = sc, c A, u S.
M
M S 1
m
m 7 .
1
es un homomorfismo de A-modulos derechos con n
ucleo
ker() = {m M |m u = 0, para alg
un u S}.
Notese que ms = 0 si, y solo si, m ker(): en efecto, si ms = 01 , entonces ms 1s = 01 1s ,
es decir, m1 = 01 , luego existen c, d A tales que m c = 0 d y 1c = 1d S. Resulta,
m c = 0, con c S, es decir, m ker(f ). La afirmacion recproca se prueba en
forma analoga.
Proposici
on 1.5.1 (Propiedad universal). Sea A un anillo que posee anillo de
fracciones a derecha respecto del sistema multiplicativo S. Para cada AS 1 -m
odulo a
derecha N y cada A-homomorfismo g : M N existe un u
nico AS 1 -homomorfismo
h : M S 1 N tal que el siguiente diagrama conmuta:
M
g
Mp S 1
pp
p
p
p ph
p
pp
?
N
as, si g es inyectivo, entonces h es tambien
h es definido por h( ms ) := g(m) 1s . Adem
inyectivo.
1.5. MODULO
DE FRACCIONES
31
(1.5.1)
k
X
i=1
m i ai
1
si
s1
1 s1
1 s1
1 s1
x
= m 1 a1
+ m 2 a2
+ + m k ak
1
s1 1
s2 1
sk 1
0
0
1
a
a
= m1 a1 + m2 a2 02 + + mk ak 0k
1
s2
sk
1
1
1
= m1 a1 + m2 a002 0 + + mk a00k 0 ,
1
s2
sk
si continuamos de esta manera encontramos s S y m M tales que x 1s = m 11 ,
es decir, x = m 1s . El isomorfismo (1.5.1) identifica precisamente ms con m 1s .
Otras propiedades relacionadas con los modulos de fracciones son las siguientes.
Proposici
on 1.5.3. Sea A un anillo que posee anillo de fracciones a derecha respecto del sistema multiplicativo S. Entonces,
(i) Si la siguiente sucesion de A-m
odulos derechos es exacta
f1
f2
0 M1 M2 M3 0,
entonces la sucesion de AS 1 -m
odulos derechos
f1 i
f2 i
0 M1 S 1 M2 S 1 M3 S 1 0,
es tambien exacta, con i := iAS 1 .
32
Mp S 1
p
pp
p
p
pp h
p
pp
?
MAS 1
donde es el A-homomorfismo canonico y g se define por g(m) := m, es decir, g es
la funcion identica. Notese que g es un A-homomorfismo : g es claramente adidtivo,
g(m a) = g(m a1 ) = m a1 = g(m) a. La propiedad universal de M S 1 garantiza
la existencia del AS 1 -homomorfismo h dado por h( ms ) := g(m) 1s = m 1s . Veamos
1.5. MODULO
DE FRACCIONES
33
n
t
:=
mt+ns m
, s
st
a
t
:=
ma
.
st
34
A R RS 1
= AS 1 .
Demostracion. A R RS 1 como anillo corresponde al producto tensorial de las
R-algebras A y RS 1 (vease [16]). La funcion g : A A R RS 1 definida por
g(a) := a 1 es un homomorfismo de anillos y satisface g(S) (A R RS 1 ) .
La proposicion 1.4.3 induce un homomorfismo de anillos h : AS 1 A R RS 1
dado por h( as ) := g(a)g(s)1 = (a 1)(1 1s ) = a 1s . Por otro lado, la funcion
f 0 : A RS 1 AS 1 definida por f 0 (a, rs ) := ar
es bilineal y R-balanceada, luego
s
existe un homomorfismo de grupos abelianos f : A R RS 1 AS 1 definido por
f (a rs ) := ar
. Notese que hf = iARS 1 y f h = iAS 1 , luego h es un isomomorfismo
s
de anillos.
Veamos que ademas h es un homomorfismo de A-modulos izquierdos: h(a0 as ) =
0
0
h( a1 as ) = h( asa ) = a0 a 1s = a0 (a 1s ) = a0 h( as ).
Proposici
on 1.5.8. Sean R un anillo conmutativo, S un sistema multiplicativo de
R y M, N modulos sobre R. Entonces,
(M R N ) S 1
= M S 1 RS 1 N S 1 .
Demostracion. En el siguiente diagrama conmutativo
M S 1 N S 1
h0
p
ppp
p
p
pp
- M S 1 1 N S 1
RS
ppp
p
p
p
ppp
ppp
h
(M R N )S 1
, h( ms nr ) := mn
, t y h0 son bilineales y RS 1 t( ms , nr ) := ms nr , h0 ( ms , nr ) := mn
sr
sr
balanceadas, luego por la propiedad universal del producto tensorial, h queda bien
definida y es un RS 1 -homomorfismo.
De otra parte, se tiene el siguiente diagrama conmutativo
M N
g 00
t0
- M R N
pp
pp
p
pp
p
pp
p p g0
p
p
pp
? +
M S 1 RS 1 N S 1
con t0 (m, n) := m n, g 00 (m, n) := m1 n1 , g 0 (m n) := m1 n1 , t0 y g 00 bilineales y Rbalanceadas, luego g 0 (m n) := m1 n1 esta bien definida y es un R-homomorfismo.
Seg
un la proposicion 1.5.1, existe un RS 1 -homomorfismo g : (M R N )S 1
M S 1 RS 1 N S 1 definido por g( zs ) := g 0 (z) 1s , con z M R N . Se puede probar
facilmente que hg = i(M N )S 1 , gh = iM S 1 N S 1 .
1.5. MODULO
DE FRACCIONES
35
36
Proposici
on 1.5.12. Sean R un anillo conmutativo, P un ideal maximal de R y
M un R-modulo. Entonces,
(i) MP /P RP MP es un R/P -espacio vectorial.
(ii) M/P M
= MP /P RP MP (R/P -isomorfismo).
(iii) Si M es proyectivo de rango constante n, entonces dimR/P (M/P M ) = n.
Demostracion. (i) Recordemos que la estructura de R/P -espacio para M/P M viene
dada por m r := m r. De manera similar, MP /P RP MP es un espacio vectorial
. Sin embargo, se tiene el
sobre el cuerpo RP /P RP con el producto ms ar := ma
sr
m
.
1
1.6.
M
odulos inyectivos
Esta seccion es en cierto sentido dual de la seccion 1.2. Recordemos que un A-modulo
N es inyectivo si HomA (, N ) preserva la exactitud a derecha.
Teorema 1.6.1. Sea N un A-m
odulo. Entonces las siguientes condiciones son equivalentes:
(i) N es inyectivo.
1.6. MODULOS
INYECTIVOS
37
(ii) Para cada homomorfismo inyectivo f y cada homomorfismo g, existe un homomorfismo h tal que el siguiente diagrama conmuta:
N
g
p
6Ip p
p hp
pp
p
- L
p
6Ip p
iN
p hp
f
pp
p
- M
- L
38
pp
pp
N0
g
pp
p ph
pp
p
pp
pp
pp
- L
Ni
p
6Kp p
pp
pp
Ni
g
pp
p pt
pp
p
pp
pp
pp
- L
con f inyectivo. Considerando la proyeccion canonica i obtenemos un homomorfismo i t tal que i tf = g: en efecto, tf = i g, de donde i tf = i i g = g.
): Consideremos los homomorfismos
Ni
i
p
6Kp p
pp
pp
p
Ni p p pti
p
p p ppp
6 Ip t p
g
p p pp
p p pp
M
L
f
1.6. MODULOS
INYECTIVOS
39
- A
p
6Ip p
pp
pp
- A
- L
40
41
1.6. MODULOS
INYECTIVOS
conmutativo:
M
Ni
iC
6
0
N1 Nm
p
6Ip p
pp g
pp
f0
pp
pp
I
A
inclusion I
A es hendido, lo cual implica que I es sumando directo de A. Esto
establece que A es semisimple.
La prueba de (i)(iii) es similar.
Una propiedad homologica muy importante relacionada con los modulos inyectivos dice que todo A-modulo se puede sumergir en un modulo inyectivo. Para la
demostracion necesitamos algunos preliminares.
Definici
on 1.6.8. Sea M un A-m
odulo; M es divisible si para cada elemento
a A que no sea divisor de cero se cumple que M a = M .
Algunas propiedades elementales de los modulos divisibles se presentan a continuacion.
Proposici
on 1.6.9. Sea A un anillo. Entonces
42
43
1.6. MODULOS
INYECTIVOS
y1
y2
HomZ (Z LA A A,Z GZ )
1
y
HomZ (Z LA ,Z GZ )
HomZ (Z MA A A,Z GZ )
2
y
f0
HomZ (Z MA ,Z GZ )
44
hf
(2 )2 (m) = 2hf (m 1) = (hf )m (1), pero (hf )m = (hf )(m) = h(f (m)) = hf (m) ,
luego (hf )m (1) = hf (m) (1).
Teorema 1.6.15. Todo modulo se puede sumergir en un m
odulo inyectivo.
Demostracion. Sea M un A-modulo a derecha; consideremos a M como Z-modulo a
derecha, entonces existe un grupo abeliano inyectivo G tal que M se puede sumergir
l
en G, M
G, y por la proposicion 1.6.10, G es Z-divisible. Seg
un la proposicion
1.6.14, HomZ (A AZ ,Z GZ ) es un A-modulo derecho inyectivo; se tiene la aplicacion
f
M
HomZ (A AZ ,Z GZ ), m 7 fm , con fm : A G, fm (a) := l(m a).
fm es obviamente un homomorfismo de grupos abelianos; veamos que f es un Ahomomorfismo de modulos derechos: claramente f (m + m0 ) = f (m) + f (m0 ), ademas
para x A se tiene que f (m x) = fmx y para a A resulta fmx (a) = l((m x)
a) = l(m (xa)), pero [(fm ) x](a) = fm (xa) = l(m (xa)), y esto demuestra que
f (m x) = f (m) x.
Por u
ltimo, probemos que f es inyectivo: si f (m) = 0, entonces fm = 0, luego
fm (1) = 0 = l(m), por lo tanto, m = 0.
Corolario 1.6.16. Sean A un anillo y N un A-m
odulo. Las siguientes condiciones
son equivalentes:
(i) N es inyectivo.
(ii) Cada sucesion exacta 0 N M L 0 es hendida.
(iii) Cada sucesion exacta 0 N M L 0, con L cclico, es hendida.
Demostracion. . (i)(ii): Evidente.
(ii)(iii): Evidente.
(iii)(i): Sea I un ideal derecho de A y sea g : I N un A-homomorfismo.
Entonces el siguiente diagrama es conmutativo
0 I
g
y
q
A A/I 0
p
i
y
y A/I
h
0 N S A/I 0
donde S es la suma fibrada de g y , es decir, S := (N A)/K, con K :=
{(g(x), (x))|x I}, q(n) := (n, 0), p(a) := (0, a), h((n, a)) := a. Por la hipotesis,
1.6. MODULOS
INYECTIVOS
45
pp
h p p
g
pp
p
?
- Q0
Q
f
(ii) Q es inyectivo si, y solo si, para cada homomorfismo inyectivo f , con P proyectivo, y cada homomorfismo g, existe un homomorfismo h tal que el siguiente
diagrama conmuta:
Q
p
6 Ip p h
pp
pp
0
P
P
?
- M 00
46
p
y
0 M 0
i 0
yM
s
y
M 00 0
q
y
0 M 0 Q Q00 0
Por hipotesis existe un homomorfismo h : P Q tal que jh = qp. Veamos que
Im(h) Im(s): en efecto, sea x P , entonces jh(x) = qp(x) = j(s(m)), con
p(x) = t(m), luego h(x)s(m) ker(j) = Im(s), de donde h(x)s(m) = (s)(m0 ),
es decir, h(x) = s(m m0 ). Se tiene entonces el siguiente diagrama conmutativo, lo
cual prueba que P es proyectivo:
P
p
pp
1
p
s h p
p
pp
p
p
?
- M 00
M
t
47
1.7. MODULOS
PLANOS
1.7.
M
odulos planos
i f
N
N
0 N M1
N M2
N (M2 /f (M1 )) 0 es exacta, por lo tanto
iN f es un homomorfismo inyectivo.
(ii)(i): teniendo en cuenta la hipotesis y que N es siempre exacto a derecha,
entonces esta implicacion es evidente.
(ii)(iii): esta implicacion es obvia.
(iii)(ii): sea M1
M2 un homomorfismo inyectivo y sea u := n1 m1 + +nt
mt ker(iN f ), con mi M1 , ni N, 1 i t. Consideremos los submodulos
f0
48
Proposici
on 1.7.4. Sea A
B un homomorfismo de anillos y N un A-m
odulo
plano. Entonces N A B es un B-m
odulo plano.
f
Demostracion. Si M1
M2 es un homomorfismo inyectivo de modulos a izquierda
sobre B, entonces se tiene el siguiente diagrama conmutativo, donde las flechas
verticales son isomorfismos y iN f es por hipotesis inyectivo:
i(N
B) f
A
(N A B) B M1
(N A B) B M2
N A (B B M1 )
N A (B B M2 )
N A M1
i f
N A M2
Demostraci
on. ): sea M1
L
LM2 un homomorfismo inyectivo, entonces el homomorfismo ( iC Ni )M1 ( iC Ni )M2 es inyectivo. Entonces el homomorfismo
L
L
iC (iN f ) L
i iC (Ni M2 ) es inyectivo, y en consecuencia cada hoiC (Ni M1 )
iN f
momorfismo Ni M1 i Ni M2 es inyectivo.
f
): sea M1
M2 un homomorfismo inyectivo, entonces para cada i C,
iN f
1.7. MODULOS
PLANOS
49
Proposici
on 1.7.8. Sean R un anillo conmutativo y N un R-m
odulo. Entonces las
siguientes condiciones son equivalentes:
(i) N es plano.
(ii) NP es RP -plano para cada ideal primo P .
(iii) Np es RP -plano para cada ideal maximal P .
Demostracion. (i)(ii): consecuencia directa de la proposicion 1.7.4.
(ii)(iii): evidente.
f
P
(M1 )P NP
(M2 )P NP
h1
h2
g
(M1 N )P
(M2 N )P
1
, h2 ( ms22 nr22 ) :=
donde h1 , h2 son isomorfismos definidos por h1 ( ms11 nr11 ) := ms11n
r1
m2 n2
, y g por construccion es definido como g := h2 (fP iNP )h1 1 . Notese entonces
s2 r2
que g es un homomorfismo inyectivo y coincide con (f iN )P para cada maximal
P . Seg
un la proposicion 1.5.10, f iN es inyectivo, luego N es plano.
- HomR (M, N ) R L
pp
ppp
p
p
pp
ppp
p
p
ppp
ppp
p
p
HomR (M, N R L)
donde (h, l) := h l, (h, l) := h,l , h,l (m) := h(m) l es bilineal y R-balanceada,
y (h l) := h,l es un R-homomorfismo. Notemos que si M es libre de dimension
finita, entonces es un R-isomorfismo. En efecto,
50
HomR (Rs , N ) R L
= HomR (R, N )s R L
= N s R L
= (N R L)s ,
donde este isomorfismo compuesto viene definido por
(h l) := (h(e1 ) l, . . . , h(es ) l),
con h HomR (Rs , N ) y {ei }si=1 la base canonica de Rs . De manera similar,
HomR (Rs , N R L)
= HomR (R, N R L)s
= (N R L)s ,
donde este isomorfismo compuesto viene definido por
(g) := (g(e1 ), . . . , g(es )), con g HomR (Rs , N R L).
Pero notese que 1 = : en efecto, (h l) = (h,l ) = (h,l (e1 ), . . . , h,l (es )) =
(h(e1 ) l, . . . , h(es ) l) = (h l).
Sea Rr Rs M 0 una presentacion finita de M , se tiene entonces la
sucesion exacta 0 HomR (M, N ) HomR (Rs , N ) HomR (Rr , N ), pero como L
es plano resulta la sucesion exacta 0 HomR (M, N )R L HomR (Rs , N )R L
HomR (Rr , N ) R L y se tiene el siguiente diagrama conmutativo con filas exactas:
0 HomR (M, N ) R L HomR (Rs , N ) R L HomR (Rr , N ) R L
y
y
y
0 HomR (M, N R L) HomR (Rs , N L) HomR (Rr , N R L)
Puesto que las dos flechas verticales de la derecha son isomorfismos, entonces por
el lema de los cinco es tambien un isomorfismo.
Proposici
on 1.7.10. Sean R un anillo conmutativo, A una R-
algebra y M un Rm
odulo de presentacion finita. Entonces, para cada A-m
odulo derecho N se tiene el
R-isomorfismo
HomR (MR , NR )
= HomA (M R A, NA )
Demostracion. Puesto que R es un anillo conmutativo entonces M tiene tambien
estructura de R-modulo a izquierda, con lo cual M R A es un R A-bimodulo y
en consecuencia HomA (M R A, NA ) es un R-modulo a derecha.
Si M es R-libre de dimension finita, entonces se tiene el isomorfismo pedido: en
efecto,
HomR (Rr , NR )
= (NR )r , HomA (Rr R A, NA )
= HomA (R Ar , NA )
= (NR )r .
A
HomR (M, N )
y
y
Puesto que las dos flechas verticales de la derecha son isomorfismos, entonces la
primera es tambien un isomorfismo.
51
1.8.
Anillos hereditarios
Una tarea clasica en algebra homologica es investigar clases de anillos para los cuales
los modulos proyectivos coinciden con los libres (vease el teorema 1.3.3). Probaremos
que para dominios de ideales principales (DIP s), los modulos proyectivos y los
libres coinciden. Esta tarea puede ser abordada de una manera bastante general a
traves de los llamados anillos hereditatrios que estudiaremos en la presente seccion.
Iniciamos con el caso conmutativo y estudiaremos al final los anillos hereditarios no
conmutativos.
Proposici
on 1.8.1. Sea R un dominio de integridad (DI). Entonces, cada R-m
odulo proyectivo es sin torsion.
Demostracion. En efecto, sea M un modulo proyectivo, entonces M es sumando
directo de un R-modulo libre, es decir, M es un submodulo de un modulo libre F .
Sea X una base de F y supongamos que m M es un elemento de torsion, es decir,
existe 0 6= r R tal que m r = 0. Existen elementos x1 , . . . , xt X y r1 , . . . , rt R
tales que m = x1 r1 + + xt rt , luego r1 r = = rt r = 0, de donde ri = 0 para
cada 1 i t, es decir, m = 0.
Corolario 1.8.2. Sean R un DIP y M un R-m
odulo proyectivo finitamente generado. Entonces M es libre.
Demostracion. En efecto, por la proposicion 1.8.1 sabemos que M es un modulo sin
torsion, pero como R es un DIP , M resulta libre (vease [15]).
Corolario 1.8.3. Sean K un cuerpo y M un m
odulo proyectivo finitamente generado sobre K[x]. Entonces M es libre.
Demostracion. Puesto que K[x] es un DIP , basta aplicar el corolario 1.8.2.
52
Veremos mas adelante que la finitud es una condicion superflua en los dos corolarios anteriores (vease el corolario 1.8.18).
Definici
on 1.8.4. Sea R un anillo conmutativo, R es hereditario (AH) si cada
ideal de R es proyectivo. Si R es adem
as un dominio de integridad, entonces se dice
que R es un dominio de Dedekind (DD).
Ejemplo 1.8.5. (i) Todo DIP es un DD.
(ii) Sean
K1 , K2 cuerpos. Entonces, K1 K2 es un AH pero no es un DD.
(iii) Z[ 5] no es un DIP . En efecto, Z[ 5] no es un DF U ya que 9 presenta
por lomenos
distintas
dosfactorizaciones
en producto de irreducibles: 9 = 3 3 =
2 + 5 2 5 . Esto hace que Z[ 5] no sea un DIP . En [23] se demuestra
53
n
P
i i | i I, i J, n 1}.
i=1
54
Es claro que esta operacion es asociativa y que IJ = JI; ademas el neutro de este
producto es R.
(ii) Sea I I(R), entonces II 1 = R = I 1 I, es decir, cada elemento de I(R)
tiene inverso.
n
P
(iii) Puesto que II 1 = R, entonces 1 = i i , con i I, i I 1 , luego si
i=1
n
P
i (i ), pero cada i R,
i=1
entonces I = h1 , . . . , n i.
Teorema 1.8.12. Sea R un DI e I R un ideal no nulo de R. I es invertible si,
y s
olo si, I es proyectivo.
Demostracion. ): sea I R un ideal invertible, entonces 1 =
n
P
i i , con i
i=1
i=1
k ()
K {0}, luego 1 =
n
P
k k . Notese que h1 , . . . , n i es un
k=1
55
Definici
on 1.8.14. Un anillo A es hereditario a derecha si cada ideal derecho
es proyectivo.
Observaci
on 1.8.15. Compare la definicion anterior con el corolario 1.6.7.
Teorema 1.8.16 (Kaplansky). Sean A un anillo hereditario a derecha y M un
A-m
odulo derecho libre. Entonces, cada subm
odulo N de M es isomorfo a una suma
directa de ideales derechos de A, y en consecuencia, N es proyectivo.
Demostracion. (i) Si M = 0 el resultado se tienePtrivialmente. Sea M 6= 0 y sea
X := {x }K una base de M ; sabemos que M = K {x i. Puesto que el lema
de Zorn implica el principio de buena ordenacion, podemos suponer que K es un
conjunto bien ordenado, es decir, cada subconjunto de K tiene primer elemento, y
ademas que K es totalmente ordenado. Para cada K definimos
P
M :=
{x i,
<
M+1 :=
{x i = M {x i,
M0 := 0,
donde 0 el primer elemento de K. Sea N M ; cada elemento z N M+1 admite
una representacion u
nica en la forma z = u + x a, donde u M . Definimos
: N M+1 A por (z) := a; notese que es un A-homomorfismo y su
imagen es un ideal derecho de A, redefinimos entonces : N M+1 Im ( ) y
este homomorfismo es sobreyectivo; puesto que Im ( ) es proyectivo entonces N
M+1 = ker ( ) N , donde
N
= Im ( ). Pero ker ( ) = N M . P
P
Probemos que N = K N . En primer lugar
P veamos que N = K N :
puesto que para cada K, N N , entonces K N N ; supongamos que
no se alcanza la igualdad. Para cada z N M = K M+1 , existe tal que
z M+1 ; sea z elP
menor tal que z Mz +1 ; suponemos entonces que existen
z N tales que z
/ K N , escojamos uno de tales z con la condicion de que z
sea mnimo. Entonces, z N Mz +1 , por lo tanto, z = uP+ v, donde u N Mz
y v PNz . Se sigue entonces que u = z v N , pero u
/ K N (de lo contrario
z K N ), pero como
P u Mz , entonces u < z , lo cual es contradictorio. Se
tiene entonces que N = K N .
Para terminar, veamos que la suma es directa: supongamos que 0 = v1 + +vn ,
con vi Ni y podemos asumir que 1 < < n . Entonces, v1 + + vn1 =
vn Nn (N Mn ) = 0. De manera recurrente encontramos que c1 = =
0 = c n .
As pues, N es isomorfo a una suma directa de ideales de R. Como cada ideal es
proyectivo, entonces N es proyectivo.
Corolario 1.8.17. Sea A un AH y sea M un A-m
odulo proyectivo. Entonces,
56
X
HomZ (ZN , Z), (n (1)) := n , n : ZN Z, n [(fi )] := fn .
Notese que n es efectivamente un Z-homomorfismo. induce un Z-homomorfismo,
tambien denotado por ,
57
Z(N)
HomZ (ZN , Z).
Vamos a demostrar que es biyectivo. Sea z := k1 n1 (1) + + km nm (1) ker(),
entonces k1 n1 + + km nm = 0, y por lo tanto, para cada (fi ) ZN se tiene que
k1 fn1 + + km fnm = 0. Tomemos entonces (fi ) tal que fn1 = 1 y fj = 0 para
j 6= n1 , resulta k1 = 0. De igual manera se prueba que k2 = = km = 0, es decir,
z = 0. Para concluir el ejemplo veamos que es sobreyectivo. Sea h HomZ (ZN , Z);
necesitamos un elemento z Z(N) tal que (z) = h. Con la notacion anterior, se debe
tener que k1 n1 + +km nm = h, donde m, kj y nj deben ser calculados, 1 j m.
Para cada (fi ) ZN , se debe cumplir que (k1 n1 + + km nm )[(fi )] = h[(fi )], es
(1)
(1)
(1)
decir, k1 fn1 + +km fnm = h[(fi )]. Como antes, sea (fi ) ZN con fn1 = 1 y fj =
(1)
0 para j 6= n1 . Entonces k1 = h[(fi )]; as pues, dado h, si conocemos n1 , entonces
k1 esta unvocamente determinado. Lo mismo podemos decir para k2 , . . . , km . Solo
resta calcular m y n1 , . . . , nm a partir de h.
Concluimos esta seccion con otra caracterizacion de los anillos hereditarios no
conmutativos, y como corolario, otra caracterizacion de los dominios de Dedekind.
Teorema 1.8.21 (Cartan-Eilenberg). Sea A un anillo. Entonces las siguientes
condiciones son equivalentes:
(i) A es hereditario a derecha.
(ii) Cada submodulo de un modulo proyectivo es proyectivo.
(iii) Cada cociente de un modulo inyectivo es inyectivo.
Demostracion. (i)(ii): esto es el contenido del corolario 1.8.17 (ii).
(ii)(i): AA es libre, y por lo tanto, proyectivo; sea I un ideal derecho de A,
entonces I es proyectivo.
(iii)(ii): sean P un modulo proyectivo y P 0 un submodulo de P ; debemos
completar el siguiente diagrama con un homomorfismo h0 : P 0 Q, donde f es
sobreyectivo y se puede asumir que Q es inyectivo (teorema 1.6.17 (i)):
P0
g
- Q0
58
pp
h p p
t
pp
p
?
- Q0
Q
f
1.9.
Ejercicios
f
1. Sea M1
M2 M3
M4 exacta. Demuestre que f es sobreyectiva si, y solo
si, g es inyectiva.
2. Demuestre la parte (ii) del teorema 1.1.2.
3. Demuestre el lema 1.2.12.
4. Demuestre el corolario 1.3.2.
5. Demuestre las propiedades (a) - (f); (h), (i), (k), (m), (p) y (q) de la seccion
1.3.
1.9. EJERCICIOS
59
Q
Q
6. Ilustre con un ejemplo que M A ( j Nj ) j (M A Nj ). Por ejemplo,
considere A := Z, M := Q, Nj := Zpj , con p irreducible, j 1.
7. Demuestre que Q Z Q
= Q.
8. Sean A un anillo, P un A-modulo proyectivo e I un ideal bilatero propio de
A. Demuestre que P/P I es un A/I-modulo proyectivo.
9. Sean A un anillo y M un A-modulo; un recubrimiento proyectivo, tambien
denominado, envolvente proyectiva de M , es un homomorfismo sobreyectivo f : P M , con P proyectivo y ker(f ) peque
no en P (un submodulo
N de un modulo L es peque
no si para cada submodulo K de L se cumple
N +K = L si, y solo si, K = L). Demuestre que dos recubrimientos proyectivos
de M son isomorfos.
10. Demuestre la proposicion 1.4.6.
11. Demuestre la proposicion 1.5.1.
12. Demuestre el corolario 1.5.2.
13. Demuestre el isomorfismo (1.5.1).
14. Demuestre la proposicion 1.5.10.
15. Sean R un anillo conmutativo y S1 S2 subconjuntos multiplicativos de R.
Demuestre que para cada R-modulo M se tiene el isomorfismo (M S11 )S21
=
1
1
1
M S2 = (M S2 )S1 .
16. Sean A un anillo primo y S un subconjunto multiplicativo de A tal que AS 1
existe. Demuestre que AS 1 es tambien un anillo primo.
17. Demuestre la proposicion 1.6.9.
18. Demuestre la parte (ii) del toerema 1.6.17.
19. Demuestre la afirmacion de la observacion 1.6.18.
20. Sean M, N modulos inyectivos. Demuestre que M/N es inyectivo.
21. Sean R un anillo conmutativo, N un R-modulo inyectivo y A una R-algebra.
Demuestre que HomR (A, N ) es un A-modulo inyectivo.
22. Dadas dos sucesiones exactas
0 M E1 L1 0,
0 N E2 L2 0,
60
Captulo 2
Ext
Este captulo esta dedicado al estudio de una tecnica que extiende el Hom (vease
[15]) y resulta muy u
til para el analisis de propiedades homologicas de anillos y
modulos. Como siempre, vamos a suponer que A es un anillo no necesariamente
conmutativo y, salvo que se advierta lo contrario, los modulos seran considerados a
derecha.
2.1.
Definici
on
Sean M un A-modulo y F0 el A-modulo libre canonico con una base {em }mM
de cardinalidad igual a la de M , entonces existe un homomorfismo sobreyectivo
f0 : F0 M , definido por f0 (em ) := m, m M . Si consideramos el n
ucleo de f0 ,
entonces podemos construir el modulo libre F1 y el correspondiente homomorfismo
sobreyectivo f10 : F1 ker(f0 ), de tal forma que obtenemos la sucesion exacta
f1
f0
F1
F0
M 0,
donde f1 := lf10 y l es la inclusion de ker(f0 ) en F0 . Podemos repetir esta construccion
para F1 y continuar de esta forma para obtener la sucesion exacta
fi+1
fi
f1
f0
Fi+1 Fi
Fi1 F1
F0
M 0.
(2.1.1)
Hemos demostrado que todo A-modulo M tiene al menos una sucesion exacta como
en (2.1.1) con modulos libres Fi , i 0. Esto tambien muestra que M tiene al menos
una sucesion exacta con modulos proyectivos Pi en la siguiente forma
fi+1
fi
f1
f0
Pi+1 Pi
Pi1 P1
P0
M 0.
(2.1.2)
0
1
0 HomA (M, N )
HomA (P0 , N )
HomA (P1 , N )
61
(2.1.3)
62
CAPITULO 2. EXT
(2.1.4)
fi
f1
f0
gi+1
gi
g1
g0
(P ) : Pi+1 Pi P1 P0 M 0
(2.1.5)
(Q) : Qi+1 Qi Q1 Q0 M 0 0
fi
f1
f0
gi+1
gi
g1
g0
Pi+1 Pi P1 P0
i+1 y
i y
1 y
0 y
M 0
Qi+1 Qi Q1 Q0 M 0 0
Aplicamos HomA ( , N ) y resulta el siguiente diagrama conmutativo
g0
g1
g2
f0
f1
f2
y
0y
1y
2y
0 HomA (M, N ) HomA (P0 , N ) HomA (P1 , N ) HomA (P2 , N )
ker(fi+1
)/Im(fi ) = ExtiA (M, N )(P )
ExtiA (M 0 , N )(Q) = ker(gi+1
)/Im(gi )
definidos por
63
2.1. DEFINICION
i (h) := i (h) = hi , i 1,
donde h ker(gi+1
) HomA (Qi , N ). Notemos que hi ker(fi+1
); ademas, i
esta bien definida y es un homomorfismo de grupos abelianos. Se observa entonces
que ExtiA (M 0 , N ) parece depender de la resolucion (Q), ExtiA (M, N ) de la resolucion (P) y i de i . Debemos mostrar que estos objetos son independientes de las
resoluciones y de los homomorfismos i .
Paso 2. Fijemos la resolucion (P) para M y la resolucion (Q) para M 0 ; probemos
que el homomorfismo entre ExtiA (M 0 , N )(Q) y ExtiA (M, N )(P ) no depende de i .
Para esto vamos a demostrar primero que si = 0, entonces i = 0 para cada
i 1. En efecto, puesto que g0 0 = 0, entonces Im(0 ) ker(g0 ) = Im(g1 ), y por
la proyectividad de P0 existe un homomorfismo d0 : P0 Q1 tal que g1 d0 = 0 .
Tenemos 1 d0 f1 HomA (P1 , Q1 ), entonces g1 (1 d0 f1 ) = g1 1 g1 d0 f1 =
0 f1 0 f1 = 0, por lo tanto, Im(1 d0 f1 ) ker(g1 ) = Im(g2 ). Existe entonces
un homomorfismo d1 : P1 Q2 tal que g2 d1 = 1 d0 f1 . Se tiene entonces que
1 = g2 d1 + d0 f1 , y podemos continuar de esta misma manera para definir un
homomorfismo di : Pi Qi+1 tal que
i = gi+1 di + di1 fi , i 1.
De esta relacion resulta
i = di gi+1
+ fi di1
y para h ker(gi+1
) se tiene que
= di (gi+1
(h)) + fi (di1 (h))
= 0 + fi (di1 (h))
= fi (di1 (h)),
fi
f1
f0
gi+1
gi
g1
g0
Pi+1 Pi P1 P0
i+1 y0i+1
i y0i
1 y01
0 y00
M 0
Qi+1 Qi Q1 Q0 M 0 0
0
es decir, para cada i 0, i fi+1 = gi+1 i+1 y i0 fi+1 = gi+1 i+1
, ademas, f0 = g0 0
0
y f0 = g0 0 . De estas relaciones se desprende que
g0 (0 00 ) = 0 = 0f0
0
).
(i i0 )fi+1 = gi+1 (i+1 i+1
64
CAPITULO 2. EXT
fi
f1
f0
gi+1
gi
g1
g0
fi+1
fi
f1
f0
gi+1
gi
g1
g0
Pi+1 Pi P1 P0 M 0
i+1 y
i y
1 y
0 y
iM y
Qi+1 Qi Q1 Q0 M 0
i+1 y
iM y
i y
1 y
0 y
Pi+1 Pi P1 P0 M 0
i+1 y
i y
1 y
0 y
iM y
Qi+1 Qi Q1 Q0 M 0
Tenemos entonces
i
i
ExtiA (M, N )(Q)
ExtiA (M, N )(P )
ExtiA (M, N )(Q)
(i i )
i
ExtiA (M, N )(Q)
65
2.1. DEFINICION
M odA A Ab
M 7 ExtiA (M, N )
i
M
M 0 7 ExtiA (M 0 , N )
ExtiA (M, N )
ker(fi+1
)/Im(fi ) = ExtiA (M, N )
ExtiA (M 0 , N ) = ker(gi+1
)/Im(gi )
definido por
i (h) = hi ,
donde h ker(gi+1
). Notemos que si = iM , entonces podemos tomar la misma
resolucion proyectiva para M de tal forma que para cada i, i = iPi , y entonces
fi
f1
f0
M 0
gi+1
gi
g1
g0
M 0 0
hi+1
Pi+1 Pi P1 P0
i+1 y
i y
1 y
0 y
Qi+1 Qi Q1 Q0
i+1 y
i y
1 y
0 y
1
0
Li+1 Li i L1
L0
M 00 0
66
CAPITULO 2. EXT
Observaci
on 2.1.4. (i) Si M es un B A bimodulo y N es un C A bimodulo,
entonces ExtiA (M, N ) es un C B-bimodulo, para cada i 0. En particular, si
R es un anillo conmutativo y M, N son R-modulos, entonces ExtiR (M, N ) es un
R-modulo, para cada i 0.
(ii) La teora covariante de los funtores extiA (M, ) se construye de manera
similar, en este caso la construccion se realiza por medio de resoluciones inyectivas de
un A-modulo N y se puede demostrar que para cada i 0 y cualesquiera A-modulos
M y N se tiene ExtiA (M, N )
= extiA (M, N ) (isomorfismo de grupos abelianos, o de
bimodulos, seg
un sea el caso; vease [31]). Veamos solo la parte correspondiente al
paso 1 de la demostracion del teorema 2.1.2. Sea N un A-modulo, entonces existe un
f0
A-modulo inyectivo L0 y un A-homomofismo inyectivo N
L0 (teorema 1.6.15);
consideremos el modulo cociente L0 /Im(f0 ), entonces existe un modulo inyectivo
l
L1 y un homomorfimso inyectivo L0 /Im(f0 )
L1 ; si j : L0 L0 /Im(f0 ) es el
f0
f1
L1 ,
homomorfismo canonico entonces resulta la sucesion exacta 0 N
L0
donde f1 := lj. Podemos continuar de la misma manera y obtener una resolucion
inyectiva para N :
f0
f1
fi+1
fi
0N
L0
L1 Li1
Li Li+1
Sea M un A-modulo, aplicamos HomA (M, ) y obtenemos el complejo
(f0 )
(f1 )
Si N
N 0 es un A-homomorfismo, entonces construimos para N y para N 0 resoluciones inyectivas
f0
f1
fi
fi+1
g0
g1
gi
gi+1
y
(K) : 0 N 0 K0 Ki1 Ki Ki+1
p
6Ip p 0
g0
pp
pp
- L0
N
f0
67
p
6 Ip p
pp
p p 1
pp
pp
pp
L0 / ker(f1 )
L
0
f1
f1
fi
fi+1
g0
g1
gi
gi+1
i1
i+1
i
0
y
y
y
y
y
(K) : 0 N 0 K0 Ki1 Ki Ki+1
(f1 )
(f2 )
(g0 )
(g1 )
(g2 )
(0 ) y
(1 ) y
(2 ) y
y
(K) : 0 HomA (M, N 0 ) HomA (M, K0 ) HomA (M, K1 ) HomA (M, K2 )
extiA (M, N )(L) = ker(fi+1 ) /Im(fi ) ker((gi+1 ) )/Im((gi ) ) = extiA (M, N 0 )(K)
definda por
(i ) (h) := (i ) (h) = i h, i 1.
El resto de la construccion de los grupos extiA (M, N ) se realiza en forma analoga a
como vimos en la demostracion del teorema 2.1.2.
2.2.
Propiedades b
asicas
0K
N
M 0
(2.2.1)
68
CAPITULO 2. EXT
(i)
i+1
1
0 Ext0A (M, L) Ext0A (N, L)
Ext0A (K, L)
1
1
2
Ext1A (N, L)
Ext1A (K, L)
Ext1A (M, L)
2
2
3
Ext2A (M, L)
Ext2A (N, L)
Ext2A (K, L)
i
i
ExtiA (M, L)
ExtiA (N, L)
ExtiA (K, L)
g
i+1
g
i+1
i+1
Exti+1
Exti+1
A (M, L) ExtA (N, L)
A (K, L)
(ii)
i+1
1
0 Ext0A (L, K)
Ext0A (L, N )
Ext0A (L, M )
2
1
1
Ext1A (L, K)
Ext1A (L, N )
Ext1A (L, M )
2
2
3
Ext2A (L, K)
Ext2A (L, N )
Ext2A (L, M )
i
i
ExtiA (L, K)
ExtiA (L, N )
ExtiA (L, M )
i+1
i+1
i+1
Exti+1
Exti+1
A (L, N ) ExtA (L, M )
A (L, K)
fi
f1
f0
Pi+1 Pi
Pi1 P1
P0
L 0,
(2.2.2)
K
f1
K
f2
N
f0
N
f1
N
f2
M
f0
M
f1
M
f2
0
1
2
y
y
y
y
0 HomA (L, N ) HomA (P0 , N ) HomA (P1 , N ) HomA (P2 , N )
0
1
2
y
y
y
y
0 HomA (L, M ) HomA (P0 , M ) HomA (P1 , M ) HomA (P2 , M )
Veamos la construccion de 1 :
1
HomA (L, M ) = Ext0A (L, M )
h 7 1 (h) := h0
(2.2.3)
(2.2.4)
2.2. PROPIEDADES BASICAS
69
f1
f0
P2 P1
0
yh
P0
00
yh
L 0
yh
(2.2.5)
0 K N M 0
Notese que efectivamente h0 ker(f2K ). Para concluir este paso inicial veamos que
1 esta bien definida, es decir, no depende de los homomorfismos h00 , h0 que hacen el
diagrama anterior conmmutativo: sean h00 , g 00 : P0 N tales que h00 = hf0 = g 00 ,
y de la misma manera, sean h0 , g 0 : P1 K tales que h0 = h00 f1 , g 0 = g 00 f1 .
Entonces, (h0 g 0 ) = (h00 g 00 )f1 , la idea es demostrar que h0 = g 0 , es decir, que
h0 g 0 Im(f1K ). Debemos entonces construir t HomA (P0 , K) tal que h0 g 0 =
f1K (t) = tf1 . Como h00 = g 00 , entonces Im(h00 g 00 ) ker() = Im(), se tiene
entonces el siguiente diagrama conmutativo
P0
p
pp
p
t pp
h00 g 00
p
p
pp
?
- Im()
K
1
HomA (L, N )
HomA (L, M )
sea h Im( ), entonces existe p HomA (L, N ) tal que h = p, definimos h00 :=
pf0 , luego hf0 = pf0 = h00 ; ademas, h00 f1 = pf0 f1 = 0 = 0. Se tiene entonces que
el diagrama (2.2.5) es conmutativo con h0 := 0, de donde 1 (h) = h0 = 0 = 0, es
decir, Im( ) ker(1 ).
Sea ahora h ker(1 ), entonces h HomA (L, M ) y 1 (h) = h0 = 0, de donde h0
Im(f1K ) ker(f2K ) HomA (P1 , K), existe t HomA (P0 , K) tal que h0 = f1K (y), es
decir, h0 = tf1 ; ademas, se tienen las condiciones del diagrama (2.2.5). Necesitamos
definir un homomorfismo p : L N tal que p = h, con lo cual tendramos
h = (p) Im( ); sea x L, existe u P0 tal que f0 (u) = x, definimos
p(x) := (h00 t)(u). Se prueba facilmente que p esta bien definida; finalmente,
p(x) := (h00 t)(u) = h00 (u) t(u) = hf0 (u) = h(x).
70
CAPITULO 2. EXT
Paso 2. Im(1 ) = ker(1 ): de manera mas general definamos primero los homomorfismos i :
i
K
N
ker(fi+1
)/Im(fiK ) = ExtiA (L, K)
h0 7 i (h0 ) := i (h0 ) = h0
(2.2.6)
K
N
K
con h0 ker(fi+1
) HomA (Pi , K). Notemos que fi+1
(h0 ) = h0 fi+1 = fi+1
(h0 ) = 0,
N
es decir, h0 ker(fi+1
). Se prueba facilmente que i esta bien definida.
0
Sean h, h definidas por medio del diagrama (2.2.5) tales que h0 = 1 (h), entonces
1 (h0 ) = h0 pero h0 = h00 f1 , es decir, h0 Im(f1N ), luego, 1 (h0 ) = 0. Hemos
probado que Im(1 ) ker(1 ).
Veamos ahora que ker(1 ) Im(1 ): sea h0 ker(1 ), con h0 ker(f2K ), entonces 1 (h0 ) = 0 y f2K (h0 ) = 0, luego h0 Im(f1N ) y h0 f2 = 0, existe pues
h00 HomA (P0 , N ) tal que h0 = h00 f1 . Estamos pues en la situacion del diagrama (2.2.5), pero falta precisamente definir h : L M ; sea x L, entonces existe
u P0 tal que f0 (u) = x, definimos h(x) := h00 (u); es facil probar que h es un homomorfismo bien definido, y ademas por el diagrama (2.2.5) se tiene que 1 (h) = h0 ,
es decir, h0 Im(1 ).
Paso 3. Para cada i 1, Im(i ) = ker(i ): los homomorfismos i se definen en
forma analoga a como hicimos en (2.2.6):
i
N
M
ker(fi+1
)/Im(fiN ) = ExtiA (L, N )
(2.2.7)
g 7 i (g) := i (g) = g
N
M
con g ker(fi+1
) HomA (Pi , N ). Notemos que fi+1
(g) = gfi+1 = 0, es decir,
M
g ker(fi+1 ). Se prueba facilmente que i esta bien definida. Veamos que Im(i )
ker(i ): i (i (h0 )) = h0 = 0.
N
ker(i ) Im(i ): sea g ker(i ), con g ker(fi+1
) HomA (Pi , M ); resulta
N
i (g) = 0 = g y tambien fi+1 (g) = gfi+1 = 0. Tenemos g Im(fiM ), luego existe
K
h HomA (Pi1 , M ) tal que g = hfi . Buscamos un homomorfismo h0 ker(fi+1
)
0
N
0
HomA (Pi , K) tal que i (h ) = g, es decir, tal que h g Im(fi ) HomA (Pi , N ).
Como Pi1 es proyectivo existe t HomA (Pi1 , N ) tal que t = h:
Pi1
p
pp
t pp
h
p
pp
?
- M
N
Notemos que Im(gtfi ) Im(): sea (gtfi )(x) Im(gtfi ), luego (gtfi )(x) =
g(x) tfi (x) = hfi (x) hfi (x) = 0, es decir, (g tfi )(x) ker() = Im(). Se
2.2. PROPIEDADES BASICAS
71
pp
h0 p p
gtfi
pp
p
?
- N
K
M
K
K
ker(fi+1
)/Im(fiM ) = ExtiA (L, M ) Exti+1
A (L, K) = ker(fi+2 )/Im(fi+1 )
h 7 i+1 (h) := h0 ,
(2.2.8)
M
donde h0 se define de la siguiente manera: h ker(fi+1
) HomA (Pi , M ), debemos
0
K
definir un homomorfismo h ker(fi+2 ) HomA (Pi+1 , K); como Pi es proyectivo
existe h00 que hace el siguiente diagrama conmutativo
Pi
p
pp
h00 p p
h
p
pp
?
- M
N
tenemos ademas que hfi+1 = 0 luego Im(h00 fi+1 ) ker() = Im(); como Pi+1 es
proyectivo resulta el siguiente diagrama conmutativo
Pi+1
p
pp
p
0
h pp
h00 fi+1
p
p
pp
?
- Im()
K
K
K
Notemos que h0 ker(fi+2
): fi+2
(h0 ) = h0 fi+2 , sea z Pi+2 , entonces h0 fi+2 (z) =
h00 fi+1 fi+2 (z) = 0, pero es inyectiva, luego h0 fi+2 (z) = 0, es decir, h0 fi+2 = 0.
As pues, h0 esta definida con las siguientes condiciones: h0 = h00 fi+1 y h00 = h.
Para demostrar que i+1 esta bien definida podemos repetir exactamente la misma prueba que hicimos en el paso 0, a continuacion del diagrama (2.2.5), cuando demostramos que 1 esta bien definida, basta cambiar 1 por i + 1, es decir,
tomando i = 0. Veamos que Im(i ) ker(i+1 ): sea g como en (2.2.7), tenemos
i+1 (i (g)) = i+1 (g); puesto que g = g y 0 = gfi+1 , entonces h00 := g y
72
CAPITULO 2. EXT
h0 := 0 cumplen las dos condiciones para definir i+1 , luego i+1 (g) = 0, es decir,
i+1 i = 0.
M
ker(i+1 ) Im(i ): sea h ker(i+1 ), con h ker(fi+1
) HomA (Pi , M ),
0
K
0
entonces i+1 (h) = 0 = h , donde h ker(fi+2 ) HomA (Pi+1 , K), por lo tanto,
K
K
h Im(fi+1
) y existe t HomA (Pi , K) tal que h0 = fi+1
(t); resulta h0 = tfi+1 ,
00
ademas, por la defincicion de i+1 , existe h HomA (Pi , N ) tal que h00 = h y
K
h0 = h00 fi+1 . Debemos construir un homomorfismo g ker(fi+1
) HomA (Pi , N )
tal que i (g) = h, luego g debe cumplir las condiciones g = h y gfi+1 = 0, es
decir, las condiciones g h = fiM (u) = ufi con alg
un u HomA (Pi1 , M ) y
00
gfi+1 = 0. Definimos g := h t y se tiene que g h = (h00 t) h =
h00 t h = h 0 h = 0 = 0h, luego podemos tomar u := 0; ademas,
gfi+1 = (h00 t)fi+1 = h00 fi+1 tfi+1 = h0 h0 = 0.
Paso 5. Para cada i 1, Im(i+1 ) = ker(i+1 ): sean h, h0 y h00 con las condiN
ciones del paso 4; entonces, i+1 (i+1 (h)) = h0 , pero notemos que h0 = fi+1
(h00 )
N
Im(fi+1
), es decir, h0 = 0. Esto demuestra que Im(i+1 ) ker(i+1 ).
Para concluir la demostracion del teorema veamos que ker(i+1 ) Im(i+1 ):
K
sea h0 ker(i+1 ), con h0 ker(fi+2
) HomA (Pi+1 , K), entonces i+1 (h0 ) = 0, es
0
N
0
decir, h Im(fi+1 ) y h fi+2 = 0, luego h0 = h00 fi+1 , con h00 HomA (Pi , N ).
M
Necesitamos un homomorfismo h ker(fi+1
) HomA (Pi , M ) tal que h00 = h; con
esto se cumpliran las condiciones del paso 4 y tendramos que i+1 (h) = h0 , es decir,
h0 Im(i+1 ). Definimos h := h00 , se cumple pues en forma trivial la condicion
M
requerida y ademas fi+1
(h00 ) = h00 fi+1 = h0 = 0.
Teorema 2.2.2. Sea P un A-m
odulo. Entonces las siguientes condiciones son equivalentes:
(i) P es proyectivo.
(ii) Para cada modulo N y cada i 1 se tiene que ExtiA (P, N ) = 0.
(iii) Para cada modulo N , Ext1A (P, N ) = 0.
Demostracion. (i)(ii): si P es proyectivo, entonces se tiene la resolucion proyectiva
0
P
0
P
P 0,
0 HomA (P, N )
HomA (P, N )
HomA (0, N ) ,
y de esta forma ExtiA (P, N ) = 0, para cada i 1.
(ii)(iii): evidente.
(iii)(i): consideremos una sucesion exacta
0K
L
M 0,
73
1
0 HomA (P, K)
HomA (P, L)
HomA (P, M )
Ext1A (P, K) ,
0 HomA (P, K)
HomA (P, L)
HomA (P, M ) 0
0K
P
M 0. Aplicamos el teorema 2.2.1 (i) y obtenemos la sucesion
exacta
1
1
0 HomA (M, N ) HomA (P, N )
HomA (K, N )
Ext1A (M, N )
e1
2
Ext1A (P, N )
Ext1A (K, N )
pero como N es inyectivo, entonces es sobreyectivo y como P es proyectivo entonces Ext1A (P, N ) = 0. Se tiene entonces la siguiente porcion exacta
1
0 HomA (M, N ) HomA (P, N )
HomA (K, N )
Ext1A (M, N ) 0,
luego Ext1A (M, N )
= HomA (K, N )/ ker(1 ) = HomA (K, N )/HomA (K, N ) = 0. La
prueba se completa mediante induccion sobre i: supongamos que ExtjA (M, N ) = 0
para cada 1 j i y cada A-modulo M, entonces
i+1 =0
g
i+1
i+1
0 = ExtiA (K, N ) Exti+1
A (M, N ) ExtA (P, N ) = 0
es decir, Exti+1
A (M, N ) = 0.
(ii)(iii): evidente.
(iii)(iv): evidente.
(iv)(i): probaremos que N es inyectivo mediante el teorema de Baer (vease el
teorema 1.6.4). Sea I un ideal derecho de A y sea g : I N un A-homomorfismo
j
74
CAPITULO 2. EXT
1
1
0 HomA (A/I, N )
HomA (A, N )
HomA (I, N )
Ext1A (A/I, N )
Ext1A (A, N ) ,
0 HomA (A/I, N )
HomA (A, N )
HomA (I, N ) 0,
luego es sobreyectivo y por lo tanto existe g 0 : A N tal que (g 0 ) = g, es decir,
g 0 = g y as g se puede extender a todo A.
Teorema 2.2.4. Para cada i 0 se tiene que
M
Y
Y
ExtiA (
Mr ,
Ns )
ExtiA (Mr , Ns ).
=
Demostracion. Dividimos
on en dos pasos.
Q la demostraci
Q
i
i
s
s
0 Ns
Es
Ls 0
Q
Q
Y
Y
s Y
s s
0
Ns
Es s
Ls 0,
puesto que Es y
(s)
1
(s )
Q
( s s )
Ns )
HomA (M,
Q
( s s )
Es ) HomA (M,
s
Q
(s )
HomA (M, Ns )
Ls )
ExtA (M,
s
Q
(s )
HomA (M, Es )
Ns ) 0
s
Q (s)
1
HomA (M, Ls )
ExtA (M, Ns ) 0,
f
g
y
y
yh
Q
Q
(s )
s HomA (M, Es )
(s)
1
s HomA (M, Ls )
Ext1A (M, Ns ) 0
0 Exti1
Ls ) ExtiA (M, Ns ) 0
A (M,
y
y
Q
Q
i
0 s Exti1
A (M, Ls )
s ExtA (M, Ns ) 0,
75
con := 1 . L
Q
Paso 2. ExtiA ( r Mr , N )
= r ExtiA (Mr , N ), para cada i 0. Para i = 0
esta es la propiedad correspondiente de HomA . Sea i = 1; para cada Mr existe Pr
proyectivo y una sucesion exacta en la forma
0 Kr P r M r 0
y a partir de esta resultan las siguientes suceciones exactas:
L
L
L
0 r Kr r Pr r Mr 0,
1
Y
r
HomA (Mr , N )
Y
r
HomA (Pr , N )
HomA (Kr , N )
ExtA (Mr , N ) 0,
como en el paso anterior, se tiene entonces el diagrama conmutativo con filas exactas,
f 0 , g 0 los isomorfismos del Hom y h0 definido por sobreyectividad:
L
L
L
HomA ( r Pr , N ) HomA ( r Kr , N ) Ext1A ( r Mr , N ) 0
f 0
g0
0
y
y
yh
Q
Q
Q
1
r HomA (Pr , N )
r HomA (Kr , N )
r ExtA (Mr , N ) 0
El lema de los cinco garantiza que h0 es un isomorfismo. El resto de la demostracion
se hace como en el paso anterior mediante induccion.
Concluimos esta seccion con el siguiente teorema relacionado con la proposicion
1.7.11.
Teorema 2.2.5. Sean R un anillo conmutativo noetheriano y S un sistema multiplicativo de R. Entonces, para cada i 0 y cualesquiera R-m
odulos M, N , con M
1
f.g., se tiene el RS -isomorfismo
ExtiR (M, N )S 1
= ExtiRS 1 (M S 1 , N S 1 ).
Demostracion. La demostracion se puede realizar por induccion sobre i. Para i = 0
el resultado corresponde a la proposicion 1.7.11 ya que al ser M f.g. sobre el anillo
noetheriano R, entonces M es de presentacion finita.
Veamos ahora la prueba para i = 1. Usando nuevamente que M es f.g. y que R
es noetheriano se tiene la sucesion exacta de R-modulos
0KF M 0
con F libre de bases finitas y K f.g. Puesto que el funtor S 1 es exacto, entonces
resulta la sucesion exacta de RS 1 -modulos
0 KS 1 F S 1 M S 1 0;
76
CAPITULO 2. EXT
notese que F S 1 es RS 1 -libre. Estas dos sucesiones exactas inducen las siguientes
sucesiones exactas largas
1
0 HomR (M, N ) HomR (F, N ) HomR (K, N )
Ext1R (M, N ) ,
0 HomRS 1 (M S 1 , N S 1 ) HomRS 1 (F S 1 , N S 1 )
HomRS 1 (KS 1 , N S 1 ) Ext1RS 1 (M S 1 , N S 1 ) .
Nuevamente, como S 1 es exacto, de la primera se obtiene la siguiente sucesion
exacta de RS 1 -modulos
S 1
1
0 HomR (M, N )S 1 HomR (F, N )S 1 HomR (K, N )S 1
Ext1R (M, N )S 1 .
Teniendo en cuenta que F y F S 1 son libres, extraemos de las dos sucesiones anteriores las siguientes porciones exactas, y donde el diagrama resulta conmutativo:
HomR (F, N )S 1
yf
HomR (K, N )S 1
g
y
1 S 1
1
Ext1
0
R (M, N )S
yh
1
HomRS 1 (F S 1 , N S 1 ) HomRS 1 (KS 1 , N S 1 ) Ext1
0
R (M, N )S
f, g son los isomorfismos de la proposicion 1.7.11 (notese que F, K son de presentacion finita) y h se define mediante la sobreyectividad de 1 S 1 . Puesto que f, g
son isomorfismos, entonces h es tambien un isomorfismo.
Para completar la demostracion, de las sucesiones exactas largas se tiene el diagrama
0
ExtiR (K, N )S 1
1
Exti+1
R (M, N )S
1
0 ExtiRS 1 (KS 1 , N S 1 ) Exti+1
, N S 1 ) 0
RS 1 (M S
donde el isomorfismo vertical de la izquierda es por el paso de induccion y el isomorfismo vertical de la derecha es por construccion invirtiendo isomorfismo horizontal
superior y componiendo con los otros dos isomorfismos.
2.3.
Ejemplos
77
2.3. EJEMPLOS
0
1
HomA (M, N )
HomA (P, N )
HomA (ker(), N ) 0 , luego fi = 0
para i 2 y entonces ExtiA (M, N ) = 0 para i 2. Notemos que Ext1A (M, N ) =
HomA (ker(), N )/Im(f1 ), pero no podemos conlucir nada especial en el caso i = 1.
En particular,
f0
0
fismo canonico y f1 (a) := x a, se obtiene el complejo 0 HomA (A/{xi, N )
1
HomA (A, N )
HomA (A, N ) 0 , con lo cual ExtiA (A/{xi, N ) = 0 para
i 2. Veamos el caso i = 1:
sea g Im(f1 ), entonces existe h HomA (A, N ) tal que g = hf1 , definimos
: Im(f1 ) N por (g) := hf1 (1). La funcion esta bien definida ya que si
g = hf1 = h0 f1 , entonces hf1 (1) = h0 f1 (1); es claramente aditiva; sea a A,
entonces g a = (hf1 ) a, luego [(hf1 ) a](1) = (hf1 (1)) a, es decir, (g a) = (g) a.
Ademas, es inyectiva ya que si (g) := hf1 (1) = 0, entonces g(a) = (hf1 )(a) =
(hf1 )(1 a) = (hf1 )(1) a = 0 para cada a A, es decir, g = 0. Por u
ltimo, notemos
78
CAPITULO 2. EXT
?
- N
2.4. EJERCICIOS
79
como F es proyectivo y A es hereditario a derecha, entonces K es proyectivo (teorema 1.8.21) y existen K 0 y F1 libre tales que K K 0 = F1 , luego 0 = Ext1A (P, F1 ) =
Ext1A (P, K) Ext1A (P, K 0 ), de donde Ext1A (P, K) = 0. Se obtiene entonces la suce(f )
sion exacta 0 HomA (P, K) HomA (P, F ) HomA (P, N ) 0; en consecuencia, existe h0 HomA (P, F ) tal que f h0 = g, es decir, el siguiente diagrama
es conmutativo, con h := h0
P
h
?
- N
2.4.
Ejercicios
80
CAPITULO 2. EXT
fi+1
fi
f1
f0
Pi+1 Pi
Pi1 P1
P0
M 0.
gi+1
gi
g1
g0
Qi+1 Qi
Qi1 Q1
Q0
M 0.
dos resoluciones proyectivas del modulo M . Sean Kn := ker(fn ), Kn0 := ker(gn ),
n 0. Demuestre que Kn y Kn0 son proyectivamente equivalentes (sugerencia:
utilice el lema 1.2.12).
7. Enuncie y demuestre el ejercicio anterior para resoluciones inyectivas.
8. Muestre que las propiedades de los dos ejercicios anteriores no son siempre
ciertas para resoluciones planas (sugerencia: considere el Z-modulo Q/Z y
utilice el teorema 1.8.21).
9. Sean M, N modulos inyectivamente equivalentes. Demuestre que para cada
modulo L y n 1, ExtnA (L, M )
= ExtnA (L, N ).
Captulo 3
Tor
Estudiamos ahora la extension del producto tensorial y algunas propiedades basicas
similares a las consideradas en el captulo anterior para el Ext. Recordemos que A
representa un anillo no necesariamente conmutativo.
3.1.
Definici
on y propiedades b
asicas
fi
f1
f0
Pi+1 Pi
Pi1 P1
P0
N 0;
(3.1.1)
iM f1
iM f0
M A Pi+1 M A Pi M A P1 M A P0 M A N 0.
(3.1.2)
y
T or0A (M, N ) := M N .
La definicion anterior parece depender de la resolucion proyectiva elegida para
N . Sin embargo, se tiene la siguiente propiedad.
Teorema 3.1.2. Para cada i 0, el grupo T oriA (M, N ) es independiente de la
resoluci
on proyectiva (3.1.1).
81
82
CAPITULO 3. TOR
T orA (M,
i Ab
N 7 T oriA (M, N )
i
i
M
N
N 0 7 T oriA (M, N )
T oriA (M, N 0 )
iM f1
iM f0
iM gi
iM g1
iM g0
(P ) : M Pi M P1 M P0 M N 0
iM i y
iM 1 y
iM 0 y
iM y
(Q) : M Qi M Q1 M Q0 M N 0 0
Se define entonces
i
i
M
T oriA (M, N ) = ker(iM fi )/Im(iM fi+1 )
z 7 (iM i )(z)
83
Y PROPIEDADES BASICAS
3.1. DEFINICION
0K
N
M 0
induce la sucesion exacta de grupos abelianos
i+1 iL
i+1 iL
i+1
A
A
A
T ori+1
(K, L) T ori+1
(N, L) T ori+1
(M, L)
i
i
i
L
L
i
T oriA (K, L)
T oriA (N, L)
T oriA (M, L)
1
1
L
L
1
T or1A (K, L)
T or1A (N, L)
T or1A (M, L)
L
L
T or0A (K, L)
T or0A (N, L)
T or0A (M, L) 0.
0K
N
M 0
induce la sucesion exacta de grupos abelianos
iL i+1
iL i+1
i+1
A
A
A
T ori+1
(L, K) T ori+1
(L, N ) T ori+1
(L, M )
i
i
i
i
L
T oriA (L, K)
T oriA (L, N ) L
T oriA (L, M )
1
1
L
1
T or1A (L, K)
T or1A (L, N ) L
T or1A (L, M )
L
T or0R (L, K) L T or0R (L, N )
T or0R (L, M ) 0.
fi
f1
f0
Pi+1 Pi
Pi1 P1
P0
L 0;
84
CAPITULO 3. TOR
iK fi+2
iK fi+1
i fi
iN fi+2
iN fi+1
i fi
iM fi+2
iM fi+1
K
K Pi+1 K Pi
iPi+1 y
iPi y
N
N Pi+1 N Pi
iPi+1 y
iPi y
fi
M Pi+1 M Pi M
y
y
0
las filas son complejos y las columnas son exactas ya que cada Pi es plano. Se tiene
entonces que
i+1
A
T ori+1
(M, L) = ker(iM fi+1 )/Im(iM fi+2 ) T oriA (K, L) = ker(iK fi )/Im(iK fi+1 )
z 7 z 0
85
3.2. EJEMPLOS
fi
M Pi+1 M Pi M
M Pi1 .
Por lo tanto,
T oriA (M, N )S 1 = [ker(iM fi )/Im(iM fi+1 )]S 1
(M Pi )S 1
(M Pi1 )S 1
(i
1 fi S
1 )
M S 1 Pi S 1 MS M S 1 Pi1 S 1
donde las flechas verticales son isomorfismos (vease la proposicion 1.5.8). En efecto,
se tiene que
mp
mfsi (p)
s
y
y
m
s
p
1
m
s
fi (p)
1
3.2.
Ejemplos
f0
P N 0,
En efecto, consideremos la resolucion proyectiva de N , 0
K
entonces iM fi = 0 para i 2, luego T oriA (A, N ) = 0, para cada i 1 y cada
A-modulo N . En particular,
86
CAPITULO 3. TOR
f0
y
y
g
M
donde las flechas verticales son los isomorfismos naturales, luego g(m) := m x.
Resulta, ker(iM f1 ) = ker(g) = {m M |m x = 0} y entonces
T or1A (M, A/hx}) = {m M |m x = 0}.
Resultados analogos a los anteriores se tienen por supuesto para T oriA (A/{xi, M )
con i 0 y M un A-modulo izquierdo arbitrario.
En particular, para cada grupo abeliano M se tiene que
(
M/M n,
i = 0, n 2
T oriZ (M, Zn ) =
{m M |m n = 0}, i = 1, n 2.
87
3.2. EJEMPLOS
Por ejemplo,
T or0Z (Zm , Zn ) = Zm Zn = Zm /Zm n = Zd , m, n 2, con d := m.c.d.(m, n).
El siguiente ejemplo presenta otra propiedad interesante del T or.
Ejemplo 3.2.3. Sean A un anillo, I un ideal derecho y J un ideal izquierdo de A.
Entonces
T or1A (A/I, A/J)
= (I J)/IJ.
f2
f1
iA/I f1
iA/I f1
y
y
y
F2 /IF2
g2
F1 /IF1
g1
A/I
donde las flechas verticales son los isomorfismos naturales, luego g2 (x) = f2 (x),
x F2 y g1 (y) := f1 (y), y F1 . Se obtiene entonces que T or1A (A/I, A/J)
=
ker(g1 )/Im(g2 ) y definimos la aplicacion
ker(g1 )
(I J)/IJ, (y) := f1 (y).
Notemos que esta bien definido: en efecto, si y ker(g1 ), entonces f1 (y) = 0, de
donde f1 (y) Im(f1 ) = J y f1 (y) I, es decir, f1 (y) I J; ademas, si y = 0,
entonces y IF1 , luego y = a1 y1 + + at yt , con ai I y yi F1 , 1 i t, por
lo tanto, f1 (y) = a1 f1 (y1 ) + + at f1 (yt ) IJ, es decir, fi (y) = 0. Es claro que
es un homomorfismo de grupos, ademas, es sobreyectivo ya que si z I J,
entonces z J = Im(f1 ), de donde z = f1 (y), con y F1 , luego (y) = f1 (y).
Veamos ahora que ker() = Im(g2 ): sea y Im(g2 ), entonces y = g2 (x), con
x F2 , se tiene entonces que (y) = (g2 (x)) = (f2 (x)) = f1 (f2 (x)) = 0, es
decir, y ker(), hemos pues probado que Im(g2 ) ker(). Sea ahora y ker(),
con y F1 , entonces (y) = f1 (y) = 0, de donde f1 (y) IJ; resulta entonces
f1 (y) = a1 z1 + + at zt , con ai I y zi J = Im(f1 ), 1 i t; de aqui
obtenemos que y (a1 y1 + + at yt ) ker(f1 ) = Im(f2 ), con yi F1 , luego
y = a1 y1 + + at yt + f2 (x), con x F2 , y esto indica que y = f2 (x) = g2 (x)
Im(g2 ).
Por ejemplo,
88
CAPITULO 3. TOR
(
0, m = 0, 1 o n = 0, 1
T or1Z (Zm , Zn ) =
Zd , m 2, n 2, con d := m.c.d.(m, n).
La u
ltima igualdad se justifica de la siguiente manera: (hmi hni)/(hmihni) =
hm.c.m(m, n)i/hmni
= Zd .
Ejemplo 3.2.4. Con los resultados de los ejemplos anteriores podemos calcular
T or0Z (M, N ) y T or1Z (M, N ), con M, N grupos abelianos f.g. Por ejemplo,
(Z2 Z6 Z10 ) Z (Z12 Z18 )
= (Z12 )2 (Z18 )2 Z26 Z22
= Z62 Z24 Z43 Z29 ,
T orZ (Z2 Z6 Z10 , Z12 Z18 )
= Z2 Z2
= Z4 Z2 .
1
3.3.
Tor y m
odulos planos
Presentamos ahora otras caracterizaciones de los modulos planos por medio del T or.
Teorema 3.3.1. Sea F un A-m
odulo derecho. Entonces las siguientes condiciones
son equivalentes:
(i) F es plano.
(ii) Para cada A-modulo N y cada i 1, T oriA (F, N ) = 0.
(iii) Para cada A-modulo N , T or1A (F, N ) = 0.
(iv) T or1A (F, A/I) = 0, para cada ideal izquierdo I de A.
(v) T or1A (F, A/I) = 0, para cada ideal izquierdo f.g. I de A.
El teorema es tambien valido en el segundo argumento.
Demostracion. (i)(ii): considerando una resolucion proyectiva de N y tensorizando por F resulta el complejo
iF fi+1
i fi
i f0
F
F Pi+1 F Pi
Pi1 F P0 F F N 0,
y se tiene entonces que T oriA (F, N ) = ker(iF fi )/Im(iF fi+1 ); como F es plano,
fi
i fi
F
0 F Im(fi+1 ) F F Pi
F Im(fi ) 0,
3.3. TOR Y MODULOS
PLANOS
89
I
A
A/I 0; aplicamos la sucesion exacta larga y obtenemos la porcion
i
i
exacta 0 T or1A (F, A/I) F I F F A, si probamos que F I F F A
es inyectivo, entonces T or1A (F, A/I) = 0. Sea z := f1 a1 + + ft at ker(iF );
0
consideremos el ideal izquierdo ha1 , . . . , at } y la inclusion I0
A, con 0 := |I0 ;
notemos que z ker(iF 0 ) y consideremos la sucesion exacta 0 I0 A
A/I0 0, resulta entonces la porcion exacta T or1A (F, A/I0 ) F I0 F A,
iF 0
pero por la hipotesis (v), T or1A (F, A/I0 ) = 0, luego F I0
F A es inyectivo,
de donde z = 0.
90
CAPITULO 3. TOR
(ii))(iii): evidente.
(iii))(i): sea I un ideal izquierdo f.g. del anillo A; aplicamos el teorema 3.1.6
a la sucesion exacta 0 I
A A/I 0, con la inclusion, y obtenemos la
porcion exacta
i
Demostracion. (i)(ii): si I
A es la inclusion, entonces resulta el homomorfismo
iF
compuesto F A I F A A
F , donde es el isomorfismo natural definido por
(m a) := m a. Si F es plano entonces el homomorfismo compuesto := (iF )
F I F F A
l
FI
F
donde l : F I F es la inclusion. Entonces, ker(iF )
un el
= ker(l) = 0. Seg
corolario 3.3.2, F es plano.
f
Proposici
on 3.3.4. Sea F un A-m
odulo plano y 0 K
F
M 0 una
sucesi
on exacta de A-modulos. Entonces las siguientes condiciones son equivalentes:
(i) M es plano.
(ii) f (K) F I = f (K)I para cada ideal izquierdo I de A.
(iii) f (K) F I = f (K)I para cada ideal izquierdo f.g. I de A.
91
gi
I
I
sucesion exacta K A I
F A I
M A I 0; seg
un la proposicion 3.3.3 se
tiene el isomorfismo F : F A I F I, F (f i) := f i; ademas, K : K A I KI,
K (k i) := k i es sobreyectivo. Se tiene el siguiente diagrama exacto conmutativo:
f i
gi
I
I
K A I
F A I
K y
F y
KI
M A I
F I/f (K)I 0
FI
M
F I/f (K)I M A I
M I F I/(F I f (K));
92
CAPITULO 3. TOR
Demostracion. Sea 0 K
Am
M 0 una presentacion finita de M ; si
probamos que esta sucesion es hendida, entonces Am
= K M , es decir, M es
proyectivo.
Puesto que K es f.g., entonces basta demostrar por induccion sobre r que dados
x1 , . . . , xr K existe un homomorfismo h : Am K tal que h[f (xi )] = xi para cada
1 i r. Con esto, elegimos un sistema finito de generadores de K y encontramos
un homomorfismo h : Am K tal que hf = iK , es decir, la sucesion de arriba es
hendida.
r = 1: sea x K y sea {ej }m
onica de Am , entonces f (x) =
j=1 la base can
e1 a1 + + em am . Sea I := ha1 , . . . , am }; como M es plano, x KI (lema 3.3.5),
y se tiene la representacion x = k1 s1 + + kt st , con kl K, sl I, 1 l t.
Pero cada sl es de la forma sl = bl1 a1 + + blm am , luego
x = k1 (b11 a1 + + b1m am ) + + kt (bt1 a1 + + btm am )
= (k1 b11 + + kt bt1 ) a1 + + (k1 b1m + kt btm ) am .
Definimos
kj0 := k1 b1j + + kt btj ; h : Am K, ej 7 kj0 , 1 j m.
Notemos que h(f (x)) = x.
Supongamos que ya hemos probado lo anunciado para r 1 elementos de K y
sean x1 , . . . , xr K; seg
un el primer paso de la induccion, existe hr : Am K tal
que hr [f (xr )] = xr . Definimos
x0i := xi hr [f (xi )] K, 1 i r 1.
Por induccion, existe
h0 : Am K tal que h0 [f (x0i )] = x0i para 1 i r 1;
definimos
h : Am K por h(z) := hr (z) + h0 [z f (hr (z))], z Am .
Resulta entonces
93
3.4. MODULOS
PLANOS Y MATRICES
3.4.
M
odulos planos y matrices
f0
L
At
N 0, f0 (ei ) := ni , 1 i t y L libre,
i
f1
f0
M
M
resulta entonces la sucesion exacta M A L
M A At
M A N 0 y
m1 e1 + + mt et ker(iM f0 ) = Im(iM f1 ); existen entonces elementos
m01 , . . . , m0s M y l1 , . . . , ls L tales que m1 e1 + + mt et = (iM f1 )(m01
l1 + + m0s ls ), con lj L, 1 j s. En consecuencia, m1 e1 + + mt et =
m01 f1 (l1 ) + + m0s f1 (ls ) = m01 (a11 e1 + + at1 et ) + + m0s (a1s e1 +
+ ats et ) = (m01 a11 + + m0s a1s ) e1 + + (m01 at1 + + m0s ats ) et ,
pero se tiene el isomorfismo M t
= M A At definido por
M t M A At
M A At M t
(m1 , . . . , mt ) 7 m1 e1 + + mt et m (a1 , . . . , at ) 7 (m a1 , . . . , m at )
luego m1 mt = m01 m0s F T con F := [aij ] Mts (A). Ademas, para
cada j, f1 (lj ) = (a1j , . . . , atj ) Im(f1 ) = ker(f0 ), luego 0 = f0 (a1j , . . . , atj ) =
T
a1j f0 (e1 )+ +atj f0 (et ) = a1j n1 + +atj nt = 0, es decir, F T n1 nt = 0.
): m1 n1 + + mt nt = (m01 a11 + + m0s a1s ) n1 + + (m01 at1 + +
m0s ats )nt = m01 (a11 n1 + +at1 nt )+ +m0s (a1s n1 + +ats nt ) = 0.
94
CAPITULO 3. TOR
3.5.
Torsi
on de un m
odulo
DE UN MODULO
3.5. TORSION
95
96
CAPITULO 3. TOR
3.6.
Tor y torsi
on
D M od
M 7 T (M )
D M od
M
N 7 T (f ) := f |T (M )
Ademas, T or1D (Q/D, ) y T son naturalmente equivalentes. En particular,
T or1D (Q/D, M )
= T (M ).
(v) Para cada D-modulo M se tiene la siguiente sucesi
on exacta
0 T (M ) M Q M Q/D M 0.
(vi) Sea M un D-modulo. M es de torsi
on si, y s
olo si, Q M = 0.
(vii) Si N es un D-modulo de torsi
on, entonces T oriD (M, N ) es de torsi
on para
cada D-modulo M e i 0.
(viii) T oriD (M, N ) es de torsion para i 1 y cualesquiera D-m
odulos M y N .
97
0D
Q
Q/D 0
se obtiene entonces la sucesion exacta larga
i
li
M
1
M
T or1D (Q, M )
T or1D (Q/D, M )
D M M
Q M
Q/D M 0
1
0 T or1D (Q/D, M )
D M 0,
Por (ii) el primer grupo es nulo y T or1D (Q/D, V ) = 0 ya que V es D-plano por ser
suma directa de copias del D-modulo plano Q. As pues, T or1D (Q/D, M ) = 0.
Veamos entonces la prueba de la propiedad enunciada antes. Existe un D-modulo
inyectivo N y un homomorfismo inyectivo : M N ; consideremos la composicion
M
N
N/T (N ).
Como M es sin torsion, entonces j es inyectiva: en efecto, si j(m) = (m) = 0,
entonces (m) T (N ) y existe d 6= 0 en D tal que d (m) = 0, es decir, (dm) = 0
98
CAPITULO 3. TOR
p
p
p
(x + y) = x + y
q
q
q
p r p
x = (rqx0 ) = p(rx0 ) = (pr)x0
q s
q
99
zi =
p1
(i)
s1
(i)
1 + +
pr
(i)
sr
r .
- G(X)
F (f )
G(f )
?
0
F (X )
?
- G(X 0 )
X 0
100
CAPITULO 3. TOR
Si f : M M 0 es un D-homomorfismo, entonces F (f ) = T (f ) : T (M ) T (M 0 );
notemos que si l : T (M ) M y l0 : T (M 0 ) M 0 son las inclusiones, entonces l0 T (f ) = f l: en efecto, si m T (M ), entonces f l(m) = f (l(m)) = f (m);
l0 T (f )(m) = l0 (f (m)) = f (m). G(f ) = T or1D (Q/D, f ) = 1 f1 . Debemos entonces
encontrar isomorfismos M y M 0 tal que el siguiente diagrama sea conmutativo
T (M )
- T or D (Q/D, M )
1
T (f )
1f1
?
0
T (M )
?
- T or D (Q/D, M 0 )
1
M 0
T (M )
T (f )
- T or D (Q/D, T (M ))
1
il1
- T or D (Q/D, M )
1
iT (f )1
?
0
T (M )
?
- T or D (Q/D, T (M 0 ))
1
if1
?
- T or D (Q/D, M 0 )
1
il10
101
- T
2
s2
- T
1
l2
?
- M2
h2
?
- M1
?
- M0
2
h1
?
- M0
h0
?
- M
f0
h01
h00
?
- M0
0
?
- M0
l10
l00
l0
- T0
1
s01
s00
- T0
0
- 0
l20
s02
- 0
- T0
2
?
- M0
1
- T (M )
l0
f1
h02
s0
- T
0
l1
f2
s1
- T (M 0 )
- 0
- 0
Entonces
- Q/D T2
is2
- Q/D T1
?
- Q/D M1
ih2
if2
?
- Q/D M 0
2
ih02
?
- Q/D M 0
1
- Q/D T 0
2
T or1D (Q/D, T (M ))
ker(i s1 )
Im(i s2 )
?
- Q/D M0
ih1
ih01
?
- Q/D M 0
0
- Q/D T 0
1
il1
il00
is01
- T or D (Q/D, M )
1
ker(i h1 )
Im(i h2 )
- 0
il10
is02
- 0
if0
il20
- 0
il0
if1
- Q/D T0
il1
il2
?
- Q/D M2
is1
- Q/D T 0
0
if1
- 0
- T or D (Q/D, M 0 )
1
ker(i h01 )
Im(i h02 )
102
CAPITULO 3. TOR
donde
ker(i s1 )
Im(i s2 )
il1
ker(i h1 )
Im(i h2 )
- (i l )(t)
1
ker(i h1 )
Im(i h2 )
if1
ker(i h01 )
Im(i h02 )
- (i f )(m)
1
ker(i s01 )
Im(i s02 )
il10
ker(i h01 )
Im(i h02 )
- (i l0 )(u)
1
u
Tambien,
s2
- T2
- T1
T (f )2
?
- T0
2
s1
T (f )1
s02
?
- T0
1
s0
- T0
T (f )0
s01
?
- T0
0
s00
- T (M )
- 0
T (f )
?
- T (M 0 )
- 0
implica
- Q/D T2
is2
- Q/D T1
iT (f )2
?
- Q/D T 0
2
is1
- Q/D T0
iT (f )1
is02
?
- Q/D T 0
1
- 0
iT (f )0
is01
?
- Q/D T 0
0
- 0
103
luego
T or1D (Q/D, T (M ))
iT (f )1
- T or D (Q/D, T (M 0 ))
1
ker(i s1 )
Im(i s2 )
ker(i s01 )
Im(i s02 )
- (i T (f ) )(t)
1
la sucesion exacta 0 D
Q
Q/D 0:
0
0
0
?
- D T2
?
- D T1
?
- Q T2
?
- Q T1
- D T (M )
iT0
iT1
iT2
?
- D T0
?
- Q T0
iT2
iT1
iT0
?
- Q/D T2
?
- Q/D T1
?
- Q/D T0
- D T (M )
- D T (M )
104
CAPITULO 3. TOR
105
0 T (M )
M
M/T (M ) 0
aplicamos la sucesion exacta larga
D
il1
pero T or2D (Q/D, M/T (M )) y T or1D (Q/D, M/T (M )) son nulos, entonces i l1 es
un isomorfismo. De manera analoga, i l10 es un isomorfismo.
Veamos entonces la conmutatividad del rectangulo: Sea t T or1D (Q/D, T (M ))
con t ker(i s1 ) Q/D T1 , entonces (i l1 )(t) = (i l1 )(t), luego
(i f1 )((i l1 )(t)) = (i f1 )((i l1 )(t))
= (i f1 l1 )(t),
106
CAPITULO 3. TOR
T or1 (D, M ) T or1 (Q, M ) T or1 (Q/D, M ) T or0 (D, M ) T or0 (Q, M ) T or0 (Q/D, M ) 0
ahora, como T or1D (Q, M ) = 0, entonces aplicando (iv) queda la siguiente porcion
exacta
0 T (M ) M Q M Q/D M 0.
(vi) Parte (v) de la Proposicion 1.5.3. Otra manera: como vimos en (i), si M es de
torsion entonces Q M = 0. Recprocamente, si Q M = 0, entonces S01 M = 0,
con S0 := D {0}, luego m1 = 0 para cada m M , es decir, dado m M existe
d 6= 0 tal que d m = 0.
(vii) Haremos induccion sobre i. Para i = 0, T or0D (M, N ) = M N . Dado n N ,
existe a 6= 0 en D tal que an = 0, entonces
a(m n) = am n = ma n = m an = 0.
As pues, T or0D (M, N ) es de torsion.
i = 1: Para M se tiene siempre una sucesion exacta de la forma
0LP M 0
con P proyectivo, entonces aplicamos la sucesion exacta larga con N y tenemos la
siguiente porcion exacta
0 T or1D (M, N ) L N P N M N 0.
Por lo probado en el caso i = 0, tenemos que L N es de torsion, pero como
T or1D (M, N ) L N , entonces T or1D (M, N ) es de torsion. Supongamos inductivamente que T oriD (M, N ) es de torsion para todo D-modulo M . Consideremos
nuevamente la sucesion exacta larga:
D
D
D
T ori+1
(L, N ) T ori+1
(L, P ) T ori+1
(M, N ) T oriD (L, N )
107
D
pero T ori+1
(L, P ) = 0, entonces tenemos la siguiente porcion exacta
D
0 T ori+1
(M, N ) T oriD (L, N )
D
entonces T ori+1
(M, N ) T oriD (L, N ) es de torsion.
(viii) Induccion sobre i. i = 1: Comenzamos asumiendo que N es sin torsion,
seg
un (v) se tiene la siguiente sucesion exacta:
0 N Q N Q/D N 0
es exacta, donde Q N es un Q-espacio; ademas,
Q/D N = T or0D (Q/D, N )
es de torsion ya que Q/D es de torsion (parte (vii)). Por tanto, aplicamos la sucesion
exacta larga
T or2D (M, Q/D N ) T or1D (M, N ) T or1D (M, Q N ) T or1D (M, Q/D N )
Seg
un (vii), T or2D (M, Q/D N ) es de torsion pues Q/D N es de torsion y ademas
D
T or1 (M, Q N ) = 0 pues Q N es D-plano por ser un Q-espacio, es decir, es suma
directa de copias de Q. Entonces T or1D (M, N ) es cociente del modulo de torsion
T or2D (M, Q/D N ), de donde, T or1D (M, N ) es de torsion.
Ahora supongamos que N es arbitrario, consideremos la sucesion
0 T (N ) N N/T (N ) 0
resulta entonces la sucesion exacta larga
T or1D (M, T (N ))
T or1D (M, N )
T or1D (M, N/T (N ))
donde Im() e Im() son de torsion, esto implica que T or1D (M, N ) es de torsion.
En efecto, se tiene en general la siguiente propiedad: si L/P es de torsion y P es
de torsion, entonces L es de torsion: l L, entonces existe a 6= 0 tal que al = 0, es
decir, al P , entonces existe b 6= 0 tal que bal = 0.
Para terminar, suponemos que T oriD (M, N ) es de torsion para cualesquiera
M, N . Entonces,
D
D
D
T ori+1
(L, N ) T ori+1
(L, P ) T ori+1
(M, N ) T oriD (L, N )
108
3.7.
CAPITULO 3. TOR
Ejercicios
R[x1 ,...,xn ]
(M R R[x1 , . . . , xn ], B).
Captulo 4
Dimensiones de m
odulos y anillos
Aplicaremos en este captulo las tecnicas consideradas en los anteriores para estudiar algunas de las dimensiones de modulos y anillos usadas con mayor frecuencia
en algebra homologica, y en general, en algebra tanto conmutativa como no conmutativa.
4.1.
Definici
on 4.1.1. Sea M un A-m
odulo no nulo.
(i) Se dice que la resolucion proyectiva
fn+1
fn
f1
f0
Pn+1 Pn Pn1 P1
P0
M 0
(4.1.1)
110
fn
f1
f0
P0
M 0.
Pn Pn1 Pn2 P1
de M , ker(fn1 ) es proyectivo.
(v) El funtor ExtnA (M, ) es exacto a derecha.
Demostracion. Para n = 1, M = 0 y el teorema se cumple trivialmente. Supongamos entonces que M 6= 0 y n 0.
(i)(ii): por hipotesis M tiene una resolucion proyectiva de la forma
fn
fn1
f1
f0
0 Pn Pn1 Pn2 P1
P0
M 0,
y para cada modulo N se obtiene entonces el complejo
f1
fn
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MODULO
111
fn1
f1
f0
Pn Pn1 Pn2 P1
P0
M 0.
de M ; sea Kn1 := ker(fn1 ), entonces es claro que para cada modulo N se tiene
n1
n
1
Extn+1
A (M, N ) = ExtA (ker(f0 ), N ) = ExtA (ker(f1 ), N ) = = ExtA (Kn1 , N ),
fn1
f1
f0
Pn Pn1 Pn2 P1
P0
M 0.
de M ; por hipotesis Kn1 := ker(fn1 ) es proyectivo, entonces se obtiene la resolucion proyectiva finita
fn
fn1
f1
f0
fn1
f1
f0
Pn Pn1 Pn2 P1
P0
M 0.
de M y la siguiente porcion exacta: 0 Kn1 Pn1 Kn2 0, con
Kn1 := ker(fn1 ), Kn2 := ker(fn2 ). Sea N un modulo, de la sucesion exacta larga
estractamos la porcion HomA (Pn1 , N ) HomA (Kn1 , N ) Ext1A (Kn2 , N )
Ext1A (Pn1 , N ), pero como Pn1 es proyectivo entonces se obtiene la sucesion exacta
HomA (Pn1 , N ) HomA (Kn1 , N ) Ext1A (Kn2 , N ) 0.
y P
y K
yn
HomA (Pn1 , N 0 ) HomA (Kn1 , N 0 ) ExtnA (M, N 0 ) 0
112
f1
f2
fn+1
fn
0N
E0
E1
En1 En En+1 .
de N , Im(fn ) es inyectivo.
(v) El funtor ExtnA ( , N ) es exacto a derecha.
Demostracion. Ejercicio para el lector.
Los grupos T or pueden definirse usando resoluciones planas tal como se hizo con
resoluciones proyectivas, mostrando tambien la independencia de la resolucion plana
elegida. Puesto que todo modulo proyectivo es plano, entonces las dos definiciones
coinciden (vease [24], Teorema 7.5). Mediante resoluciones planas se tiene un teorema
analogo a los anteriores para la dimension plana.
Teorema 4.1.5. Sean M un A-m
odulo y n 1. Entonces las siguientes condiciones son equivalentes:
(i) fd(M ) n.
(ii) T orkA (M, N ) = 0, para cada A-m
odulo izquierdo N y k n + 1.
A
(iii) T orn+1
(M, N ) = 0, para cada A-m
odulo izquierdo N .
fn1
f1
f0
Pn Pn1 Pn2 P1
P0
M 0.
de M , ker(fn1 ) es plano.
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MODULO
113
114
n+1
0
00
(iii) Por hipotesis, Extn+1
odulo N ;
A (M , N ) = 0 = ExtA (M , N ) para cada m
de la sucesion exacta larga resulta
n+1
n+1
00
0
Extn+1
A (M , N ) ExtA (M, N ) ExtA (M , N ) ,
luego Extn+1
A (M, N ) = 0, es decir, pd(M ) n.
(iv) Seg
un (iii) se tiene que pd(M ) n; puesto que pd(M 0 ) = n, exite un Amodulo N0 tal que ExtnA (M 0 , N0 ) 6= 0 (de lo contrario pd(M 0 ) n 1). Se tiene la
sucesion exacta larga
00
ExtnA (M, N0 )
ExtnA (M 0 , N0 )
Extn+1
,
A (M , N0 )
00
n
pero Extn+1
A (M , N0 ) = 0 y entonces es sobreyectivo. Resulta ExtA (M, N0 ) 6= 0,
de donde pd(M ) n, es decir, pd(M ) = n.
(v) Si pd(M 0 ) > pd(M ), entonces pd(M ) es finita; sea m := pd(M ), seg
un (i)
00
0
00
0
pd(M ) pd(M ) + 1. Supongamos que pd(M ) < pd(M ) + 1, entonces pd(M 00 )
es finita. Sea m00 := pd(M 00 ), entonces para cada k m00 + 1 y cada modulo N se
tiene que ExtkA (M 00 , N ) = 0, luego de la sucecion exacta larga
00
ExtkA (M 00 , N ) ExtkA (M, N ) ExtkA (M 0 , N ) Extk+1
A (M , N ) ,
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MODULO
115
116
4.2.
Dimensi
on global de un anillo
Definici
on 4.2.1. Sea A un anillo, la dimensi
on global proyectiva a derecha
de A se denota por rpgld(A), y se define por
rpgld(A) := sup{pd(M )| M es un A-m
odulo a derecha}.
En forma similar se define la dimensi
on global inyectiva a derecha de A
y se denota por rigld(A).
Teorema 4.2.2. Sea A un anillo. Entonces, rpgld(A) = rigld(A).
Demostracion. Consideremos dos casos. Asumamos que rpgld(A) = . Debemos
ver que rigld(A) = , pero supongamos lo contrario, sea rigld(A) := n < ,
entonces para cada modulo N se tiene que id(N ) n con lo cual para cada modulo
M se obtiene que Extn+1
A (M, N ) = 0, esto garantiza que pd(M ) n, de donde
rpgld(A) n, falso.
Supongamos ahora que rpgld(A) := n < . Sea M un A-modulo arbitrario, entonces pd(M ) n y para cada modulo N se tiene que Extn+1
A (M, N ) = 0. Entonces,
id(N ) n, con lo cual rigld(A) n. Sea rigld(A) := m, tenemos pues demostrado
que m n. Se tiene tambien que id(N ) m para cada modulo N , luego para cada
modulo M resulta Extm+1
(M, N ) = 0, es decir, pd(M ) m, luego rpgld(A) m,
A
es decir, n m, de donde n = m.
De este resultado se tiene entonces la siguiente definicion.
Definici
on 4.2.3. Sea A un anillo, la dimensi
on global a derecha de A se
define por rgld(A) := rpgld(A) = rigld(A).
GLOBAL DE UN ANILLO
4.2. DIMENSION
117
f1
fn
fn+1
0N
E0
E1 En1 En En+1
y sea Hn := Im(fn ), entonces
n1
n
1
Extn+1
A (A/I, N ) = ExtA (A/I, H1 ) = ExtA (A/I, H2 ) = = ExtA (A/I, Hn ),
luego Ext1A (A/I, Hn ) = 0, es decir, Ext1A (M, Hn ) = 0 para cada modulo cclico M .
Aplicamos el teorema 2.2.3 y obtenemos que Hn es inyectivo. Resulta entonces la
resolucion inyectiva
f0
f1
fn
0N
E0
E1 En1 Hn 0,
luego id(N ) n para cada modulo N . Por el teorema 4.2.2, rgld(A) n.
Concluimos esta seccion con algunas aplicaciones del teorema de Auslander.
Ejemplo 4.2.5. Sea A un anillo. Entonces, A es semisimple a derecha si, y solo si,
rgld(A) = 0 si, y solo si, A es semisimple a izquierda si, y solo si, lgld(A) = 0. Basta
probar la afirmacion por el lado derecho ya que un anillo es semisimple a derecha
si, y solo si, es semisimple a izquierda (vease [17]).
): sea I un ideal derecho de A; si I = A, entonces A/I = 0 y entonces
pd(A/I) = 1. Sea I 6= A, entonces A
= I A/I y A/I resulta proyectivo, por lo
tanto, pd(A/I) = 0. El teorema de Auslander garantiza que rgld(A) = 0.
): sea I un ideal derecho de A; si I = A, entonces A es sumando directo
de A. Sea I 6= A, entonces A/I 6= 0 y en consecuencia pd(A/I) = 0, luego A/I
118
4.3.
Dimensi
on global d
ebil de un anillo
La dimensi
on global d
ebil a derecha de un anillo, notada rwgld(A), se define
por
rwgld(A) := sup{fd(M )| M es un A-modulo a derecha}.
En forma similar, y por medio de modulos a izquierda, se define la dimension global
debil a izquierda del anillo A. Se tiene sin embargo la siguiente propiedad.
Teorema 4.3.1. Sea A un anillo. Entonces, rwgld(A) = lwgld(A).
Demostracion. Consideremos dos casos. Asumamos ahora que rwgld(A) = . Debemos ver que lwgld(A) = , pero supongamos lo contrario, sea lwgld(A) := n < ,
entonces para cada modulo izquierdo N se tiene que fd(N ) n con lo cual para cada
A
modulo derecho M se obtiene que T orn+1
(M, N ) = 0, esto garantiza que fd(M ) n,
de donde rwgld(A) n, falso.
GLOBAL DEBIL
4.3. DIMENSION
DE UN ANILLO
119
fn
f1
f0
Pn+1 Pn Pn1 P1
P0
L0
y sea Kn1 := ker(fn1 ), entonces
A
T orn+1
(A/I, L)
= T or1A (A/I, Kn1 ),
luego T or1A (A/I, Kn1 ) = 0. Aplicamos el teorema 3.3.1 y obtenemos que Kn1 es
plano, con lo cual se tiene la resolucion plana
f1
f0
0 Kn1 Pn1 P1
P0
L 0,
en consecuencia fd(L) n para cada modulo L. Por lo tanto, wgld(A) n.
La prueba por el lado izquierdo es analoga.
120
4.4.
Dimensi
on global de anillos noetherianos
121
p
6 Ip p
J/I
p pg
pp
pp
- R/I
122
4.5.
A continuacion se caracterizan los anillos con dimension global debil 1. Comencemos con los de dimension cero.
Definici
on 4.5.1. Un anillo A es regular de von Neumann a derecha si cada
A-m
odulo derecho es plano.
Se tiene entonces que A es regular de von Neumann a derecha si, y solo si,
wgld(A) = 0, y por lo tanto, A es regular de von Neumann a derecha si, y solo si, A
es regular de von Neumann a izquierda.
Ejemplo 4.5.2. Todo anillo semisimple A es regular de von Neumann ya que A es
artiniano y por lo tanto 0 = gld(A) = wgld(A).
Teorema 4.5.3. Sea A un anillo. Entonces las siguientes condiciones son equivalentes:
(i) wgld(A) 1.
(ii) Cada submodulo de un A-m
odulo plano es plano.
(iii) Cada ideal derecho de A es plano.
(iv) Cada ideal izquierdo de A es plano.
(v) Para cada A-modulo derecho M y cada A-m
odulo izquierdo N , T or2A (M, N ) =
0.
Demostracion. (i) (ii): sea M un A-modulo plano y sea M 0 un submodulo de
M ; como wgld(A) 1, fd(M/M0 ) 1. Consideremos la resolucion plana de M/M 0
f0
M 00 M
M/M 0 0; seg
un el teorema 4.1.5, ker(f0 ) es plano, es decir,
0
M es plano.
(ii) (iii): puesto que AA es plano, entonces cada ideal derecho de A es plano.
(iii) (i): sea I un ideal derecho de A, por hipotesis I es plano y se tiene la
resolucion plana 0 I A A/I 0, luego fd(A/I) 1, y por el teorema 4.3.4,
wgld(A) 1.
(i)(iv): la prueba es analoga a la anterior pero usando la version derecha del
teorema 4.3.4.
(i)(v): si wgld(A) 1, entonces fd(M ) 1 para cada modulo M , luego
2
T orA
(M, N ) = 0 para cada modulo izquierdo N . Recprocamente, la condicion en
(v) dice que wgld(A) 1.
Ejemplo 4.5.4. Sea R un dominio de integridad; se dice que R es un dominio de
Pr
ufer si cada ideal f.g. de R es proyectivo. En [25] se prueba que R es un dominio
de Pr
ufer si, y solo si, wgld(R) 1 (vease tambien [4]).
4.6.
123
Dimensi
on global y extensiones de anillos
124
(i)
RF
es fielmente plano
125
126
4.7.
Dimensi
on de Krull de un m
odulo
DE KRULL DE UN MODULO
4.7. DIMENSION
127
128
Mi /Mi+1
(Mi + N )/(Mi+1 + N )
mi 7 m
fi
con ker(fi )
ltima afirmacion: si
= (Mi N )/(Mi+1 N ). Veamos la prueba de esta u
mi Mi N , entonces fi (mi ) = m
fi = e
0 y definimos
gi
Mi N
ker(fi ), mi 7 mi .
gi es claramente un A-homomofismo, ademas es sobreyectivo porque si mi ker(fi ),
entonces m
fi = e
0, de donde mi = mi+1 + n, con mi Mi , mi+1 Mi+1 , n N , luego
n = mi mi+1 Mi N y de esta manera gi (n) = n = mi . Ahora observemos
que ker(gi ) = Mi+1 N pues si mi ker(gi ), entonces mi N y mi = 0, de donde
mi Mi+1 , es decir, mi Mi+1 N .
Con lo probado se tiene que Kdim(ker(fi )) < para casi todo i y tambien
que Kdim[(Mi /Mi+1 )/(ker(fi ))] = Kdim[(Mi + N )/(Mi+1 + N )] < . Aplicamos
induccion y encontramos que para casi todo i
DE KRULL DE UN MODULO
4.7. DIMENSION
129
130
DE KRULL DE UN MODULO
4.7. DIMENSION
131
132
4.8.
Dimensi
on de Krull de un anillo
Definici
on 4.8.1. Sea A un anillo. rKdim(A) := Kdim(AA ), si esta u
ltima existe.
Ejemplo 4.8.2. En forma analoga se define la dimension de Krull de A a izquierda.
Parece ser un problema todava abierto si la dimension de Krull a derecha de un
anillo A coincide siempre con su dimension de Krull a izquierda, en caso que ambas
existan (vease [6]). Mostramos en este ejemplo un anillo con dimension de Krull
a derecha pero que no tiene dimension de Krull a izquierda: sea A el subanillo de
M2 (R) definido por
Q R
A :=
,
0 R
notemos que AA es artiniano (y por lo tanto noetheriano), pero A A no es artiniano (tampoco noetheriano), vease [17]. Luego rKdim(A)
= 0 y lKdim(A) 6= 0. En
P
realidad notemos que lKdim(A) no existe: A A i=1 Asi , con
0 xi
si :=
, {xi }i1 R linealmente independiente sobre Q;
0 0
notemos que para cada i, Asi
= As1 . Resulta entonces en A A la cadena descendente
M1 ) M2 ) M3 ) , con
M1 :=As1 As2 As3 As4
M2 :=As2 As4 As6 As8
M3 :=As4 As8 As12 As16
..
.
y que satisface Mi /Mi+1
= M1 para cada i 1. Esto implica que la dimension de
Krull de A A no esta definida. En efecto, sea M un modulo que contiene una cadena
de submodulos M1
M2
tal que Mi /Mi+1
= M1 para cada i. Entonces M no
tiene dimension de Krull: supongamos que lKdim(M ) ; sea lKdim(M1 ) := ;
M1 6= 0 ya que se tiene la cadena de submodulos propios anunciada, luego 0 y
por la proposicion 4.7.2, lKdim(Mi /Mi+1 ) < para cada casi todo i 2, lo cual es
una contradiccion ya que Mi /Mi+1
= M1 para cada i.
Proposici
on 4.8.3. Sean A un anillo e I un ideal bil
atero propio de A. Si rKdim(A)
existe, entonces, rKdim(A/I) existe y rKdim(A/I) rKdim(A).
DE KRULL DE UN ANILLO
4.8. DIMENSION
133
Demostracion. Seg
un el teorema 4.7.5, Kdim[(A/I)A ] existe. Puesto que los A/Isubmodulos de A/I coinciden con sus A-submodulos, rKdim(A/I) existe y se tiene
que rKdim(A/I) = Kdim((A/I)A/I ) = Kdim[(A/I)A ] Kdim(AA ) = rKdim(A).
Proposici
on 4.8.4. Sean A un anillo noetheriano a derecha y M un A-m
odulo f.g.
Entonces, Kdim(M ) rKdim(A).
Demostracion. Por el teorema 4.7.8, Kdim(M ) y rKdim(A) estan definidas. Existe t 1 tal que M
= At /N , con N un submodulo de At , y por el corolario
4.7.6, Kdim(At ) = Kdim(AA ) = rKdim(A). Por el teorema 4.7.5, Kdim(M ) =
Kdim(At /N ) Kdim(At ) = rKdim(A).
Proposici
on 4.8.5. Sea : R A un homomorfismo de anillos noetherianos a
derecha tal que R A es fielmente plano. Si MR es un m
odulo f.g., entonces Kdim(M )
Kdim(M R A). En particular, rKdim(R) rKdim(A).
Demostracion. En primer lugar observemos que MR y (M R A)A son modulos
noetherianos, luego las dimensiones Kdim(M ) y Kdim(M R A) existen. Consideremos los retculos de submodulos de M y M R A; sean M1 M2 submodulos
de M , entonces se tiene la inclusion canonica M1 , M2 , y como R A es plano,
entonces la aplicacion M1 A , M2 A es inyectiva. Pero puede ocurrir que
M1 A = 0 = M2 A y la aplicacion anterior continue siendo inyectiva, pero
como R A es fielmente plano tal situacion no se presenta. As pues podemos aplicar
la proposicion 4.7.9 y obtenemos el resultado.
Teorema 4.8.6. Sean A un anillo noetheriano a derecha y S un subconjunto multiplicativo de A tal que AS 1 existe. Entonces,
rKdim(AS 1 ) rKdim(A).
Demostracion. Seg
un la proposicion 1.4.14 las dos dimensiones involucradas existen
y existe una funcion que preserva la inclusion estricta entre los ideales derechos
de AS 1 y los ideales derechos de A. El teorema es entonces consecuencia de la
proposicion 4.7.9.
Sea rad(A) el nilradical de A, conocido tambien como el radical primo de
A, y definido como la interseccion de todos los ideales primos de A (vease [17]). La
dimension de Krull de A y la de su anillo cociente A/rad(A) coniciden en el caso
noetheriano. Para demostrarlo debemos probar un par de resultados clasicos.
Proposici
on 4.8.7. Sea A un anillo y sea P un ideal primo. Entonces P contiene
un ideal primo minimal.
134
DE KRULL DE UN ANILLO
4.8. DIMENSION
135
136
de donde
rKdim(A) = Kdim(AA ) = max{Kdim(P1 P2 )A , Kdim(A/P1 P2 )A }
= max{Kdim(P1 P2 )A ,
max{Kdim[(P1 /P1 P2 )A ], Kdim[((A/P1 P2 )/P1 /P1 P2 )A ]}}
max{rKdim(A/P3 ), rKdim(A/P2 ), rKdim(A/P1 )}.
As pues, si P1 Pn = 0 podemos aplicar induccion:
rKdim(A) = Kdim(AA ) = max{Kdim(P1 Pn1 )A , Kdim(A/P1 Pn1 )A }
max{rKdim(A/Pn ), rKdim(A/Pn1 ), . . . , rKdim(A/P1 )}.
Corolario 4.8.10. Sea A un anillo noetheriano a derecha. Entonces, existe un primo minimal P en A tal que rKdim(A) = rKdim(A/P ).
Demostracion. Consecuencia directa del teorema 4.8.9 y de la proposicion 4.8.8.
Veremos enseguida que la dimension de Krull de un producto finito de anillos
noetherianos a derecha es menor que el maximo de las dimensiones de los factores.
Proposici
on 4.8.11. Sea A un anillo noetheriano a derecha y sean I1 , . . . , In ideales
bil
ateros propios de A tales que I1 I2 In = 0. Entonces,
rKdim(A) max{rKdim(A/Ii )}ni=1 .
Demostracion. Consideremos los productos Pi := I1 Ii y los cocientes Pi1 /Pi ,
1 i n, con P0 := A. Notemos que Pi1 /Pi es un A/Ii -modulo, por la proposicion
4.8.4 se tiene que
Kdim((Pi1 /Pi )A ) = Kdim((Pi1 /Pi )A/Ii ) rKdim(A/Ii ).
Entonces,
max{Kdim((Pi1 /Pi )A )}ni=1 max{rKdim((A/Ii )}ni=1 := k.
Consideremos la siguiente sucesion exacta de A-modulos:
0 Pn1 Pn2 Pn2 /Pn1 0;
seg
un el teorema 4.7.5, Kdim(Pn2 ) = max{Kdim(Pn1 ), Kdim(Pn2 /Pn1 )} k
(notese que Pn1 = Pn1 /Pn ). De manera similar, se tiene la sucecion exacta
0 Pn2 Pn3 Pn3 /Pn2 0,
y entonces Kdim(Pn3 ) = max{Kdim(Pn2 ), Kdim(Pn3 /Pn2 )} k. Continuando
de esta manera llegamos a
4.9. EJERCICIOS
137
0 P1 P0 P0 /P1 0,
con lo cual rKdim(A) = Kdim(P0 ) = max{Kdim(P1 ), Kdim(P0 /P1 )} k.
Teorema 4.8.12. Sea A := A1 An un producto finito de anillos noetherianos
a derecha. Entonces, rKdim(A) max{Kdim(Ai )}ni=1 .
Demostracion. Basta demostrar la afirmacion para n = 2. Notemos que I1 :=
(A1 , 0) := {(a1 , 0)|a1 A1 } es un ideal bilatero propio de A; lo mismo se tiene
para I2 . Ademas, se tienen los isomorfismos de anillo A/I1
= A2 , A/I2
= A1 . La
afirmacion del corolario es entonces consecuencia de la proposicion anterior.
4.9.
Ejercicios
Bibliografa
[1] Bell, A., Notes on Localizations in Noncommutative Noetherian Rings, Depar
tamento de Algebra
y Fundamentos, Universidad de Granada, Espa
na, 1989.
29
[2] Dixmier, J., Enveloping Algebras, GSM 11, AMS, 1996.
[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[4] M. Fontana, J.A. Huckaba and I.J. Papick, Pr
ufer Domains, Marcel
Dekker, New York, 1997. 122
[5] Gallego, C. and Lezama, O., Gr
obner bases for ideals of P BW extensions,
to appear in Comminications in Algebra, 39, 2011, 126 .
[6] Goodearl, K. and Warfield, R. Jr., An Introduction to Noncommutative
Noetherian Rings, London Mathematical Society, ST 61, 2004. 129, 132
[7] Humphreys, J. E., Introduction to Lie Algebras and Representation Theory,
GTM 9, Springer, 1980.
[8] Jategaonkar, A. V., A counter-example in ring theory and homological algebra,
J. Algebra, 12, 1969. 137
[9] Kaplansky, I., On the dimension of rings and modules, X, Nagoya Math. J,
13, 1958. 137
[10] Kunz, E., Introduction to Commutative Algebra and Algebraic Geometry,
Birkhauser, 1991.
[11] Lam, T.Y., Serres Problem on Projective Modules , Springer Monographs in
Mathematics, Springer, 2006.
[12] Lang, S., Algebra, Springer, 2004. iv
[13] Lezama, O. and Villamarn, G., Anillos, M
odulos y Categoras, Facultad
de Ciencias, Universidad Nacional de Colombia, 1994. iv, 21, 25, 26
138
BIBLIOGRAFIA
139
140
BIBLIOGRAFIA
[28] Stenstr
om, B., Rings of Quotients: An Introduction to Methods of Ring Theory, Springer, 1975.
[29] Suslin, A.A., Proyective modules over polynomial rings are free, Soviet Math.
Dokl., 17, 1976, 1160-1164.
[30] Suslin, A.A., On the structure of the special linear group over polynomial
rings, Math. USSR-Izv. 11, 1977, 221-238.
[31] Vermani, L.R., An Elementary Approach to Homological Algebra, Chapman
& Hall/CRC, Monographs and Surveys in Pure and Applied Mathematics 130,
2003. 66, 84
[32] Weibel, C., An Introduction to Homological Algebra, Cambridge University
Press, 1997.