Documentos de Académico
Documentos de Profesional
Documentos de Cultura
No. 8
Algebra homologica
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2014
ii
Prologo iv
2. Ext 61
2.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.2. Propiedades basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3. Tor 81
3.1. Definicion y propiedades basicas . . . . . . . . . . . . . . . . . . . . . 81
3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.3. Tor y modulos planos . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.4. Modulos planos y matrices . . . . . . . . . . . . . . . . . . . . . . . . 93
3.5. Torsion de un modulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.6. Tor y torsion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
iii
iv CONTENIDO
Bibliografa 138
Prologo
v
vi PROLOGO
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
jolezamas@unal.edu.co
Captulo 1
Presentamos en este primer captulo las construcciones basicas del algebra homologi-
ca como son los complejos y las sucesiones exactas, el producto tensorial de bimodu-
los, los anillos y los modulos de fracciones no conmutativos. Haremos ademas una
introduccion a los modulos proyectivos, inyectivos y planos.
ker(fi+1 )/Im(fi )
1
2 CAPITULO 1. ELEMENTOS BASICOS DE ALGEBRA HOMOLOGICA
f g
(i) La sucesion M1 M2 M3 0 es exacta si, y solo si, para todo
A-modulo N la sucesion de Z-modulos
g f
0 HomA (M3 , N ) HomA (M2 , N ) HomA (M1 , N )
es exacta.
f g
(ii) La sucesion 0 M1 M2 M3 es exacta si, y solo si, para todo
A-modulo P la sucesion de Z-modulos
f g
0 HomA (P, M1 ) HomA (P, M2 ) HomA (P, M3 )
es exacta.
Demostracion. Presentamos la prueba de la parte (i). La demostracion de (ii) es
similar.
f
): en primer lugar notese que si M1
M2 es un A-homomorfismo y N es un
A-modulo, entonces se tiene el homomorfismo de grupos abelianos
f
HomA (M2 , N ) HomA (M1 , N )
definido por
f (h) := hf, (1.1.1)
donde h HomA (M2 , N ). Observese que f invirtio el sentido de la flecha f (en la
prueba de (ii) el homomorfismo f se define por
f (h) := f h, (1.1.2)
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 d 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 .
Esta definicion puede escribirse tambien en la forma d(k3 ) := h1 1
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 ;
segun 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 9
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),
0 0 0 Z2 0
0 2Z Z Z2 0
obtenemos
10 CAPITULO 1. ELEMENTOS BASICOS DE ALGEBRA HOMOLOGICA
HomZ (0, Z2 ) HomZ (Z2 , Z2 ) HomZ (Z, Z2 ) HomZ (2Z, Z2 ) HomZ (0, Z2 ),
es decir,
i 0
0 Z2
Z
Z2 Z2 0
la cual no es exacta en el ultimo Z2 . Entonces, en general, si N es un A-modulo, el
funtor HomA (, N ) no preserva la exactitud a derecha.
Definicion 1.2.1. Un A-modulo P es proyectivo si HomA (P, ) preserva la exac-
titud a derecha. Se dice que un A-modulo 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-modulo. Entonces las siguientes condiciones son equi-
valentes:
(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
pp
g
p
?
M f
- N
f
(iii) Cada homomorfismo sobreyectivo M P es hendido.
f
Demostracion. (i)(ii): consideremos la sucesion exacta 0 ker(f ) M
N 0, como P es proyectivo, entonces se tiene la siguiente sucesion exacta
f
0 HomR (P, ker(f )) HomR (P, M ) HomR (P, N ) 0
con lo cual f es sobreyectivo y entonces (ii) se cumple.
g f
(ii)(i): sea 0 L M N 0 una sucesion exacta. Teniendo en
cuenta (ii) y que HomR (P, ) es exacto a izquierda, resulta entonces que
1.2. MODULOS PROYECTIVOS 11
g f
0 HomR (P, L) HomR (P, M ) HomR (P, N ) 0
es exacta y P es entonces proyectivo.
f
(ii)(iii): sea M P un homomorfismo sobreyectivo, y consideremos el ho-
momorfismo identico iP : P P , segun (ii) existe un homomorfismo h : P M
tal que f h = iP . Esto garantiza que f es hendido.
(iii)(ii): sea L := {(m, p) M P | f (m) = g(p)} y consideremos las funciones
M : L M , M (m, p) := m, P : L P , P (m, p) := p. Notese que P es
sobreyectivo y ademas gP = f M . Por la condicion (iii), existe un homomorfismo
t : P L tal que P t = iP . Definimos h := M t, y entonces f h = f M t = gP t =
g.
Pi
g
?
M f
- N
Pi
i
?
Pi
g
?
M f
- N
buscada es h := ti : Pi M .
Pi
6
i i
?
t
Pi
g
h
?
M f
- N
En efecto, f h = f ti = gi i = g.
) Tengamos en cuenta ahora en el siguiente diagrama:
Pi
g
?
M f
- N
Pi
i
?
Pi
g
?
M f
- N
i : M A
x 7 i (x) := ai .
P P P
Notese que x = ()(x) = iC (fi ai ) = iI xi ai = iI xi i (x).
): sea F = R(C) el modulo libre cuya base tiene cardinalidad igual a la del
conjunto C, y sea {fi }iC una base de F ; definimos :PF M por (fi ) := xi ,
entonces es sobre. Sea : M F definido porP (x) := iC fi P
i (x), es entonces
un A-homomorfismo y se tiene que ()(x) = iC (fi i (x)) = iC xi i (x) = x,
es decir, = iM .
f g
Definicion 1.2.8. Una sucesion exacta corta 0 M1
M2
M3 0 es hen-
dida si g es un homomorfismo hendido.
f g
Proposicion 1.2.9. La sucesion exacta 0 M1
M2
M3 0 es hendida si, y
solo si, f es hendido.
f g
Corolario 1.2.10. Si 0 M1 M2 M3 0 es una sucesion exacta hendida,
g0 f0
entonces M2 = M1 M3 y la sucesion 0 M3 M2
M1 0 es exacta hendida,
donde g 0 , f 0 son tales que gg 0 = iM3 y f 0 f = iM1 .
0 K1 P1 M 0,
0 K2 P2 M 0,
0 K1 Pn Pn1 P1 P0 M 0
0 K2 Qn Qn1 Q1 Q0 N 0
con Pi , Qi proyectivos, 0 i n, y M
= N , entonces
K1 Qn Pn1 Qn2
= K2 Pn Qn1 Pn2
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
(m + m0 ) n = m n + m0 n,
m (n + n0 ) = m n + m n0 ,
m a n = m a n.
b (m n) = (b m) n,
(m n) c = m (n c).
18 CAPITULO 1. ELEMENTOS BASICOS DE ALGEBRA HOMOLOGICA
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 j
0 Z Z Z2 , f (k) := 2k, y j es el canonico. Entonces,
f iZ jiZ
0 Z Z2 2 Z Z2 2 Z2 Z2 , es decir,
2 0 iZ
0 Z2 Z2 Z2 no es exacta.
1.3. PRODUCTO TENSORIAL 19
(h) B MA A
= B MA ,(B A-isomorfismo). El isomorfismo viene dado por ma 7
m a. Similarmente, A A NC = A NC (A C-isomorfismo). El isomorfismo
se define por a n 7 a n.
(i) (B MA A NC ) C LD
= B MA (A NC C LD ) (B D-isomorfismo).
(j) Sea {Mi }iC una familia de B A-bimodulos y {Nj }jD una familia de A C-
bimodulos. Entonces se tiene el B C-isomorfismo
( M i ) ( Nj )
L L L
= i,j (Mi Nj ).
L L
Demostracion. Paso 1. Sean M := Mi y N := Nj . Consideremos las
iC jD
inyecciones canonicas
i : M i M
j : Nj N
y su producto tensorial
N N
i j : M i Nj M N ;
M N
3
6
i j
L N
M i Nj - (Mi Nj )
ij (i,j)CD
L N N
con z := (zij ) (Mi Mj ), zij Mi Mj y sop(z) el soporte de
(i,j)CD
z, vease [14] para la nocion de soporte de un elemento de una suma directa
externa. Para z = 0 se tiene que (0) := 0.
20 CAPITULO 1. ELEMENTOS BASICOS DE ALGEBRA HOMOLOGICA
HomC (B MA A NC ,D LC )
= HomA (B MA , HomC (A NC ,D LC )) . (1.3.1)
f : M A N L, f (m n) := fm (n),
fm : N L, fm := f (m), m M, f HomA (M, HomC (N, L)) .
En [13] se prueba en forma detallada que f es un C-homomorfismo bien
definido y es un DB-homomorfismo. Sea f tal que (f ) = 0, entonces para
cada m M y cada n n resulta fm (n) = 0, es decir, fm = 0 para cada m,
luego f = 0. Esto demuestra que es inyectiva. Sea t HomC (M A N, L),
definimos f : M HomC (N, L) por f (m) := fm , con fm : N L dada por
fm (n) := t(m n). Se puede demostrar que fm es un C-homomorfismo y que
f es un A-homomorfismo (vease [13]); ademas es claro que (f ) = t, es decir,
es sobreyectiva. Esto completa la demostracion.
HomB (B MA A NC ,B LD )
= HomA (A NC , HomB (B MA ,B LD )).
La prueba es similar a la del literal (l) (vease tambien [25], teorema 2.11).
HomA (B MA ,C NA ) B LD
= HomA (HomB (B LD ,B MA ),C NA ).
pero
HomA (HomB (L L0 , M ), N )
= HomA (HomB (L, M ) HomB (L0 , M ), N )
=
1 1
he0 h 00
HomA (HomB (L, M ), N ) HomA (HomB (L0 , M ), N )
f
es decir, el isomorfismo e
h del caso libre F es suma directa de los homomorfismos
1 1
0
h yh
e e00 correspondientes a los modulos L y L0 , respectivamente; pero e
h es
1.3. PRODUCTO TENSORIAL 23
1 1
un isomorfismo si, y solo si, he0 y he00 son isomorfismos. Esto completa la
prueba.
A(X) A(Y )
= A(XY ) .
m n = 0 m = 0 o n = 0.
Concluimos esta seccion con un teorema clasico del algebra conmutativa el cual
podemos probar en general para anillos locales no conmutativos.
(ii) (S) B
(a)(s)1 , con a A, s S.
Proposicion 1.4.7. Sea A un anillo que posee anillo de fracciones a derecha res-
pecto 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.
Notemos que la condicion (i) del teorema 1.4.2 en este caso se cumple trivialmente.
Si se satisface la condicion de Ore a derecha, entonces el anillo de fracciones AS01
existe y se denomina el anillo total de fracciones a derecha de A (tambien se
le conoce como el anillo clasico de fracciones a derecha de A o anillo de
Goldie a derecha de A). Se acostumbra a denotar por Qr (A). As pues, si Qr (A)
existe, entonces A se puede sumergir en Qr (A) y este ultimo es el menor anillo que
contiene a A en el cual todos los elementos de S0 son invertibles. En forma analoga
se define el anillo total de fracciones a izquierda de A y se denota por Ql (A).
Si tanto Qr (A) como Ql (A) existen, entonces Qr (A) = Ql (A) y este anillo se denota
simplemente por Q(A), y se le conoce como el anillo total de fracciones de A.
aA ( aA saA ( aA saA s2 aA ( ,
M S 1
= M A AS 1 , (1.5.1)
k
X 1
x= m i ai
i=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
f1 f2
0 M1 M2 M3 0,
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 s
es bilineal y R-balanceada, luego
existe un homomorfismo de grupos abelianos f : A R RS 1 AS 1 definido por
f (a rs ) := ars
. Notese que hf = iARS 1 y f h = iAS 1 , luego h es un isomomorfismo
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 ).
Proposicion 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
t - M S 1 1 N S 1
M S 1 N S 1 RS
p p ppp
p
ppp
h0 p ppp
p p ppp h
? pp
(M R N )S 1
t( ms , nr ) := ms nr , h0 ( ms , nr ) := mn
sr
, h( ms nr ) := mn
sr
, t y h0 son bilineales y RS 1 -
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
t0 - M R N
M N
pp
p pp
p pp
g 00 pp
p p p g0
p
pp
? +
M S 1 RS 1 N S 1
(ii) M/P M
= MP /P RP MP (R/P -isomorfismo).
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
sobre el cuerpo RP /P RP con el producto ms ar := ma
sr
. Sin embargo, se tiene el
siguiente isomorfismo de cuerpos R/P = RP /P RP dado por a 7 a1 . Esto convierte
a MP /P RP MP en un R/P -espacio con el producto dado por ms a := ms a1 := ma
s
.
(ii) Se tiene el R/P -isomomorfismo
M/P M
= MP /P RP MP , m 7 m
1
.
(iii) Puesto que M es proyectivo de rango constante n respecto de R, entonces
MP es libre de dimension n respecto de RP ; notese que si {z1 , . . . , zn } es una base
de MP respecto de RP , entonces {z1 , . . . , zn } es una base de MP /P RP MP respec-
to de RP /P RP , luego n = dimRP /P RP (MP /P RP MP ) = dimR/P (MP /P RP MP ) =
dimR/P (M/P M ).
Teorema 1.6.1. Sea N un A-modulo. Entonces las siguientes condiciones son equi-
valentes:
(i) N es inyectivo.
1.6. MODULOS INYECTIVOS 37
N
p
6Ip p
g p hp
pp
p
M f
- L
f
(iii) Cada homomorfismo inyectivo N M es hendido.
N
p
6Ip p
iN p hp
pp
p
N f
- M
N
6
g
M f
- L
N 0 N 00
p
6Kp p
pp
pp
? pp
N0 p ph
pp
6 p pp
g pp
pp
M f
- L
Q
Proposicion 1.6.3. Sea {Ni }iC una familia de A-modulos. Entonces, iC Ni es
inyectivo si, y solo si, cada Ni es inyectivo.
Q
Demostracion. ): Puesto Ni es inyectivo se tiene el diagrama conmutativo
Y
Ni
p
6Kp p
i pp
pp
pp
Ni p pt
pp
6 p pp
g pp
pp
M f
- L
Ni
p
6Kp p
i pp
pp
p p
Ni p p pti
Y
p
p p ppp
6 Ip t p
g p p pp
p p pp
M f
- L
1.6. MODULOS INYECTIVOS 39
N
6
g
I
- A
N
p
6Ip p h
g pp
pp
I
- A
N
6
g
M f
- L
g0 (x a) = n0 a, para cada a I.
Sea L00 := L0 + {xi; notemos que Im(f ) L00 L, ademas, la aplicacion h00 : L00
N definida por h00 (l0 +xa) := g0 (l0 )+n0 a, l0 L0 , a A, es un homomorfismo bien
definido: en efecto, si l0 +xa = l00 +xa0 , entonces l0 l00 = xa0 xa = x(a0 a) L0
y podemos aplicar g0 de tal forma que g0 (l0 ) g0 (l00 ) = n0 (a0 a) ya que a0 a I,
es decir, g0 (l0 ) + n0 a = g0 (l00 ) + n0 a0 . El homomorfismo h00 satisface h00 f = g ya que
si z M , entonces f (z) L0 , de donde h00 (f (z)) = h00 (f (z) + 0) = g0 (f (z)) = g(z).
Hemos entonces encontrado (L00 , h00 ) S tal que L0 L00 y h00 |L0 = g0 , luego
(L0 , g0 ) (L00 , h00 ), pero esto contradice la escogencia de (L0 , g0 ).
conmutativo:
M
Ni
iC
6
0
N1 Nm
p
6Ip p
pp g
f0 pp
pp
pp
I
- A
con f 0 (x) := f (x), x I. Puesto que g = f 0 , entonces (0 g) = 0 f 0 = f .
Corolario 1.6.7. Sea A un anillo. Entonces las siguientes condiciones son equiva-
lentes:
(i) A es semisimple.
Una propiedad homologica muy importante relacionada con los modulos inyec-
tivos dice que todo A-modulo se puede sumergir en un modulo inyectivo. Para la
demostracion necesitamos algunos preliminares.
hf
(2 2 f )(h) = 2 2 (hf ) = 2 [2hf ] = (2 )2 ,
luego para m M se tiene que
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).
(i) N es inyectivo.
(i) P es proyectivo si, y solo si, para cada homomorfismo sobreyectivo f , con
Q inyectivo, y cada homomorfismo g, existe un homomorfismo h tal que el
siguiente diagrama conmuta:
P
pp
h p p
pp
g
p
?
Q - Q0
f
(ii) Q es inyectivo si, y solo si, para cada homomorfismo inyectivo f , con P proyec-
tivo, y cada homomorfismo g, existe un homomorfismo h tal que el siguiente
diagrama conmuta:
Q
p
6 Ip p h
g pp
pp
0
P -
f
P
?
M - M 00
t
P
p
y
t
0 M 0 M M 00 0
i 0 s q
yM y y
s j
0 M 0 Q Q00 0
Pp
p pp
s h p
1
pp
p
p p
?
M - M 00
t
HomA (B MA ,C NA ) B LD
= HomA (HomB (B LD ,B MA ),C NA ).
f
L ): sea M1
Demostracion. LM2 un homomorfismo inyectivo, entonces el homo-
morfismo ( iC Ni )M1 ( iC Ni )M2 es inyectivo. Entonces el homomorfismo
L
iC (iN f ) L
i iC (Ni M2 ) es inyectivo, y en consecuencia cada ho-
L
iC (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
el homomorfismoLNi M1 i Ni M2 es inyectivo, luego el homomorfismo
iC (iN f ) L
M1 ) i L
L
iC (Ni L iC (Ni M2 ) es inyectivo, y por lo tanto, el homo-
morfismo ( iC Ni ) M1 ( iC Ni ) M2 es inyectivo.
Corolario 1.7.6. Todo modulo libre es plano.
Demostracion. Segun el teorema 1.7.3 AA es plano, luego, de acuerdo con la propo-
sicion anterior, el modulo libre A(X) es plano.
Corolario 1.7.7. Todo modulo proyectivo es plano.
Demostracion. Consecuencia directa de la proposicion 1.7.5.
Concluimos esta introduccion a la teora de modulos planos mostrando otras
propiedades para el caso particular sobre anillos conmutativos. La primera dice que
la condicion ser planoes local-global (vease la parte final de la seccion 1.4)
1.7. MODULOS PLANOS 49
p p ppp
?
HomR (M, N R L)
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.
Proposicion 1.7.10. Sean R un anillo conmutativo, A una R-algebra y M un R-
modulo de presentacion finita. Entonces, para cada A-modulo 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
Sea Rr Rs M 0 una presentacion finita de M , se tiene entonces el siguiente
diagrama conmutativo con filas exactas:
0 HomR (M, N ) HomR (Rs , N ) HomR (Rr , N )
y y y
0 HomR (M R A, N ) HomA (As , N ) HomA (Ar , N )
Puesto que las dos flechas verticales de la derecha son isomorfismos, entonces la
primera es tambien un isomorfismo.
1.8. ANILLOS HEREDITARIOS 51
Veremos mas adelante que la finitud es una condicion superflua en los dos coro-
larios anteriores (vease el corolario 1.8.18).
:N R
v 7 rn .
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
(iii) Puesto que II 1 = R, entonces 1 = i i , con i I, i I 1 , luego si
P
i=1
n
P
es un elemento cualquiera de I se tiene que = i (i ), pero cada i R,
i=1
entonces I = h1 , . . . , n i.
M0 := 0,
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
?
Q - Q0
f
Q0
p
6 Ip p t
g pp
pp
P0
- P
58 CAPITULO 1. ELEMENTOS BASICOS DE ALGEBRA HOMOLOGICA
P
pp
h p p
p pp t
?
Q - Q0
f
Corolario 1.8.22. Sea R un DI. R es un DD si, y solo si, cada R-modulo divisible
en inyectivo.
1.9. Ejercicios
f g
1. Sea M1 M2 M3
M4 exacta. Demuestre que f es sobreyectiva si, y solo
si, g es inyectiva.
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 sobreyec-
tivo f : P M , con P proyectivo y ker(f ) pequeno en P (un submodulo
N de un modulo L es pequeno 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 CAPITULO 1. ELEMENTOS BASICOS DE ALGEBRA HOMOLOGICA
0 M D0 D1 Dn1 Dn L1 0
0 N E0 E1 En1 En L2 0
con Di , Ei inyectivos, 0 i n, y M
= N , demuestre que
L1 En Dn1 En2
= L2 Dn En1 Dn2
Ext
Este captulo esta dedicado al estudio de una tecnica que extiende el Hom (vease
[15]) y resulta muy util 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. Definicion
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 nucleo 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)
Sea ahora N un A-modulo cualquiera, entonces se obtiene el complejo
0 f 1 f
0 HomA (M, N ) HomA (P0 , N ) HomA (P1 , N ) (2.1.3)
61
62 CAPITULO 2. EXT
gi+1 gi g1 g0
(Q) : Qi+1 Qi Q1 Q0 M 0 0
gi+1 gi g1 g0
Qi+1 Qi Q1 Q0 M 0 0
Aplicamos HomA ( , N ) y resulta el siguiente diagrama conmutativo
g0
g1
g2
0 HomA (M 0 , N ) HomA (Q0 , N ) HomA (Q1 , N ) HomA (Q2 , N )
y
0y 1y 2y
f0
f1
f2
0 HomA (M, N ) HomA (P0 , N ) HomA (P1 , N ) HomA (P2 , N )
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 resolu-
cion (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
i (h) = (di gi+1
)(h) + (fi di1 )(h)
= di (gi+1
(h)) + fi (di1 (h))
= 0 + fi (di1 (h))
= fi (di1 (h)),
esto indica que i (h) Im(fi ), y de esta manera i = 0.
Pasamos ahora a considerar el homomorfismo : M M 0 . Supongamos que
tenemos dos colecciones de homomorfismos i , i0 tal que el siguiente diagrama con-
muta
fi+1 fi f1 f0
Pi+1 Pi P1 P0 M 0
i+1 y0i+1 i y0i 1 y01 0 y00
y
gi+1 gi g1 g0
Qi+1 Qi Q1 Q0 M 0 0
es decir, para cada i 0, i fi+1 = gi+1 i+1 y i0 fi+1 = gi+1 i+1
0
, ademas, f0 = g0 0
0
y f0 = g0 0 . De estas relaciones se desprende que
g0 (0 00 ) = 0 = 0f0
(i i0 )fi+1 = gi+1 (i+1 i+1
0
).
64 CAPITULO 2. EXT
fi+1 fi f1 f0
Pi+1 Pi P1 P0 M 0
i+1 y i y 1 y 0 y
iM y
gi+1 gi g1 g0
Qi+1 Qi Q1 Q0 M 0
i+1 y
i y
1 y
0 y
iM y
fi+1 fi f1 f0
Pi+1 Pi P1 P0 M 0
i+1 y i y 1 y 0 y
iM y
gi+1 gi g1 g0
Qi+1 Qi Q1 Q0 M 0
Tenemos entonces
ExtiA (M, N )(Q)
i
ExtiA (M, N )(P )
i
ExtiA (M, N )(Q)
(i i )
ExtiA (M, N )(Q) ExtiA (M, N )(Q)
y ademas,
i
ExtiA (M, N )(Q)
i
ExtiA (M, N )(Q) ,
Segun el teorema anterior, para definir y calcular el grupo ExtiA (M, N ) podemos
utilizar resoluciones libres como en (2.1.1) en lugar de resoluciones proyectivas. Es
decir, una resolucion libre para M basta para calcular ExtiM (M, N ). Presentamos a
continuacion una interpretacion de los grupos Ext desde el punto de vista funtorial
(vease [18]).
2.1. DEFINICION 65
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
M0
i = iExtiA (M,N ) . De igual forma, si M M 00 es una composicion de ho-
momorfismos, entonces veamos que para cada i 0, ()i = i i : se tiene el
diagrama
fi+1 fi f1 f0
Pi+1 Pi P1 P0 M 0
i+1 y i y 1 y 0 y
y
gi+1 gi g1 g0
Qi+1 Qi Q1 Q0 M 0 0
i+1 y
i y
1 y
0 y
y
hi+1 h h h
Li+1 Li i L1
1 0
L0 M 00 0
El homomorfismo induce morfismos i := ()i : Pi Li que satisfacen i fi+1 =
hi+1 i+1 , pero para este mismo homomorfismo la coleccion de morfismos i :=
i i tambien satisface esta condicion. En efecto, i fi+1 = i i fi+1 = i gi+1 i+1 =
hi+1 i+1 i+1 = hi+1 i+1 . Por lo tanto, tal y como vimos en la demostracion del
teorema 2.1.2, los homomorfismos inducidos por estas dos colecciones son iguales,
es decir, i = i , luego ()i = i = i i = i i . Todo lo anterior muestra que
ExtiA ( , N ) es un funtor contravariante.
66 CAPITULO 2. EXT
g0 g1 gi gi+1
(K) : 0 N 0 K0 Ki1 Ki Ki+1
K0
p
6Ip p 0
g0 pp
pp
N - L0
f0
2.2. PROPIEDADES BASICAS 67
K1
p
6 Ip p
pp
0 p p 1
pp
pp
pp
L0 / ker(f1 ) - L 1
f1
(i)
0 Ext0A (M, L) Ext0A (N, L)
Ext0A (K, L)
1
e
Ext1A (M, L)
1
Ext1A (N, L)
1
Ext1A (K, L)
2
f
e
Ext2A (M, L)
2
Ext2A (N, L)
2
Ext2A (K, L)
3
f
e e i+1
ExtiA (M, L)
i
ExtiA (N, L)
i
ExtiA (K, L)
g
i+1 g
i+1
Exti+1 i+1
A (M, L) ExtA (N, L) Exti+1
A (K, L)
(ii)
0 Ext0A (L, K)
Ext0A (L, N )
Ext0A (L, M )
1
Ext1A (L, K)
1
Ext1A (L, N )
1
Ext1A (L, M )
2
Ext2A (L, K)
2
Ext2A (L, N )
2
Ext2A (L, M )
3
i+1
ExtiA (L, K)
i
ExtiA (L, N )
i
ExtiA (L, M )
i+1 i+1
Exti+1
A (L, K) Exti+1 i+1
A (L, N ) ExtA (L, M )
Veamos la construccion de 1 :
HomA (L, M ) = Ext0A (L, M )
1
Ext1A (L, K) = ker(f2K )/Im(f1K ) (2.2.3)
h 7 1 (h) := h0 (2.2.4)
2.2. PROPIEDADES BASICAS 69
f2 f1 f0
P2 P1 P0 L 0
0
yh
00
yh
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
p pp
t pp
p h00 g 00
p
pp
?
K - Im()
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 homo-
morfismos i :
K
ker(fi+1 )/Im(fiK ) = ExtiA (L, K)
i
ExtiA (L, N ) = ker(fi+1
N
)/Im(fiN )
(2.2.6)
h0 7 i (h0 ) := i (h0 ) = h0
con h0 ker(fi+1K
) HomA (Pi , K). Notemos que fi+1N
(h0 ) = h0 fi+1 = fi+1
K
(h0 ) = 0,
es decir, h0 ker(fi+1
N
). 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 ), en-
tonces 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 diagra-
ma (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 ho-
momorfismo 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):
N
ker(fi+1 )/Im(fiN ) = ExtiA (L, N )
i
ExtiA (L, M ) = ker(fi+1
M
)/Im(fiM )
(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
i (g) = 0 = g y tambien fi+1 (g) = gfi+1 = 0. Tenemos g Im(fiM ), luego existe
N
Pi1
p
t pp
pp
p h
pp
?
N
- M
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
Pi
pp
h0 p p
p pp gtfi
?
K
- N
Pi
p
h00 p p
pp
p h
pp
?
N
- M
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
p pp
h pp
0
p h00 fi+1
p
pp
?
K - Im()
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 0 K
entonces i+1 (h) = 0 = h , donde h ker(fi+2 ) HomA (Pi+1 , K), por lo tanto,
h Im(fi+1 K
) y existe t HomA (Pi , K) tal que h0 = fi+1 K
(t); resulta h0 = tfi+1 ,
ademas, por la defincicion de i+1 , existe h HomA (Pi , N ) tal que h00 = h y
00
Teorema 2.2.2. Sea P un A-modulo. Entonces las siguientes condiciones son equi-
valentes:
(i) P es proyectivo.
e1 2
Ext1A (P, N )
Ext1A (K, N )
pero como N es inyectivo, entonces es sobreyectivo y como P es proyectivo en-
tonces 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
0 = ExtiA (K, N ) Exti+1 i+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
y consideremos la sucesion exacta 0 I A A/I, con j el homomorfismo
canonico. Se tiene entonces la sucesion exacta larga
74 CAPITULO 2. EXT
j 1
0 HomA (A/I, N )
HomA (A, N )
HomA (I, N )
Ext1A (A/I, N )
1 f
Ext1A (A, N ) ,
pero como A/I es cclico, entonces entonces Ext1A (A/I, N ) = 0 y se obtiene la
porcion exacta
j
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
Ns )
M Y Y
ExtiA ( Mr , = ExtiA (Mr , Ns ).
Demostracion. Dividimos
Q la demostracion en dos pasos.
i Q i
Paso 1. ExtA (M, s Ns ) = s ExtA (M, Ns ), para cada i 0. Para i = 0 esta
propiedad corresponde al HomA (vease [15]). Consideremos entonces que i = 1.
Cada modulo Ns se puede sumergir en un modulo inyectivo Es ; sea Ls := Es /Ns ,
resultan entonces las sucesiones exactas
s s
0 Ns
Es Ls 0
Q Q
s s s Y
Y Y
0 Ns Es s Ls 0,
s s s
Q
puesto que Es y s Es son inyectivos resultan las sucesiones exactas
(s)
(s ) (s ) 1 1
0 HomA (M, Ns ) HomA (M, Es ) HomA (M, Ls ) ExtA (M, Ns ) 0
( s s )
Q Q
Y ( s s ) Y Y 1
Y
0 HomA (M, Ns )
HomA (M, Es ) HomA (M, Ls )
ExtA (M, Ns ) 0
s s s s
Q (s)
1
Q Q
Y (s ) Y (s ) Y Y 1
0 HomA (M, Ns ) HomA (M, Es )
HomA (M, Ls ) ExtA (M, Ns ) 0,
s s s s
con := 1 . L
Paso 2. ExtiA ( r Mr , N )
= r ExtiA (Mr , N ), para cada i 0. Para i = 0
Q
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
0 HomA (Mr , N ) HomA (Pr , N ) HomA (Kr , N ) ExtA (Mr , N ) 0
1
M M M M
0 HomA ( Mr , N ) HomA ( Pr , N ) HomA ( Kr , N ) ExtA ( Mr , N ) 0
r r r r
1
Y Y Y Y
0 HomA (Mr , N ) HomA (Pr , N ) HomA (Kr , N ) ExtA (Mr , N ) 0,
r r r r
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:
HomA ( r Pr , N ) HomA ( r Kr , N ) Ext1A ( r Mr , N ) 0
L L L
f 0 g0 0
y y yh
1
Q Q Q
r HomA (Pr , N ) r HomA (Kr , N ) r ExtA (Mr , N ) 0
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
0 HomR (M, N )S 1 HomR (F, N )S 1 HomR (K, N )S 1
1
Ext1R (M, N )S 1 .
Teniendo en cuenta que F y F S 1 son libres, extraemos de las dos sucesiones ante-
riores las siguientes porciones exactas, y donde el diagrama resulta conmutativo:
1 S 1
HomR (F, N )S 1 HomR (K, N )S 1 Ext1
R (M, N )S
1
0
g
yf
y yh
2.3. Ejemplos
Presentaremos a continuacion algunos casos particulares encaminados a calcular
ExtiZ (M, N ), donde M es un grupo abeliano f.g. y N es un grupo abeliano arbitrario.
Ejemplo 2.3.1. Si F es un A-modulo libre, entonces ExtiA (F, N ) = 0 para cada
i 1 y cada A-modulo N . En particular,
ExtiA (A, N ) = 0, para cada i 1 y cada A-modulo N .
2.3. EJEMPLOS 77
por ejemplo,
De otra parte, puesto que Q es Z-inyectivo (corolario 1.6.5), entonces ExtiZ (M, Q) =
0 para i 1 y cada grupo abeliano M , y de manera particular,
Ext1Z (Zm , N )
= N/(N m), m 2.
Ejemplo 2.3.4. Con los resultados de los ejemplos anteriores podemos ya calcular
Ext1Z (M, N ), con M un grupo abeliano f.g. y N un grupo abeliano arbitrario: en
efecto, M es de la forma M = Zr Zm1 Zmt , con r 0 (el rango de M )
y mj 2, 1 j t (sus factores invariantes, vease [15]). Con el teorema 2.2.4
podemos concluir que
Este ejemplo tambien permite ilustrar que ExtiA (M, N ) ExtiA (N, M ). Por ejem-
plo, Ext1Z (Z, Zn ) = 0 pero Ext1Z (Zn , Z)
= Zn .
P
g
?
M f
- N
(f )
0 HomA (P, K) HomA (P, F ) HomA (P, N ) Ext1A (P, K)
2.4. EJERCICIOS 79
?
M f
- N
2.4. Ejercicios
1. Realice la demostracion de la parte (i) del teorema 2.2.1.
ExtiR (M, N ) R B
= ExtiB (M R B, N R B).
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).
Tor
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
resolucion proyectiva (3.1.1).
81
82 CAPITULO 3. TOR
iM gi iM g1 iM g0
(Q) : M Qi M Q1 M Q0 M N 0 0
Se define entonces
i
T oriA (M, N ) = ker(iM fi )/Im(iM fi+1 )
M i
T oriA (M, N 0 ) = ker(iM gi )/Im(iM gi+1 )
z 7 (iM i )(z)
A i+1 iL A i+1 iL
A i+1
T ori+1 (K, L) T ori+1 (N, L) T ori+1 (M, L)
i i
T oriA (K, L)
i L
T oriA (N, L)
i L
T oriA (M, L)
i
i i
T or1A (K, L)
1 L
T or1A (N, L)
1 L
T or1A (M, L)
1
i i
T or0A (K, L)
L
T or0A (N, L)
L
T or0A (M, L) 0.
A iL i+1 A iL i+1
A i+1
T ori+1 (L, K) T ori+1 (L, N ) T ori+1 (L, M )
i i
T oriA (L, K)
L i
T oriA (L, N ) L
i
T oriA (L, M )
i
i i
T or1A (L, K)
L 1
T or1A (L, N ) L
1
T or1A (L, M )
1
i i
T or0R (L, K) L T or0R (L, N )
L
T or0R (L, M ) 0.
fi+1 fi f1 f0
Pi+1 Pi
Pi1 P1
P0
L 0;
84 CAPITULO 3. TOR
iN fi+2 iN fi+1
N i fi
N Pi+1 N Pi
iPi+1 y iPi y
iM fi+2 iM fi+1 i fi
M Pi+1 M Pi M
y y
0 0
las filas son complejos y las columnas son exactas ya que cada Pi es plano. Se tiene
entonces que
A i+1
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
Ns )
M M M
T oriA ( Mr , = T oriA (Mr , Ns ).
Demostracion. Ideas similares a las de la demostracion del teorema 2.2.4 pueden ser
usadas en este caso. La prueba se deja al lector (vease tambien [31], teoremas 6.3.8
y 6.3.9).
Terminamos esta seccion con la siguiente generalizacion de la proposicion 1.5.8.
3.2. EJEMPLOS 85
donde las flechas verticales son isomorfismos (vease la proposicion 1.5.8). En efecto,
se tiene que
mp
s
mfsi (p)
y y
m p m fi (p)
s
1
s
1
3.2. Ejemplos
Ejemplo 3.2.1. Sea A un anillo hereditario a derecha y sean M un A-modulo
derecho y N un A-modulo izquierdo. Entonces, T oriA (M, N ) = 0 para cada i 2.
f1 f0
K
En efecto, consideremos la resolucion proyectiva de N , 0 P N 0,
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
Por ejemplo,
De otra parte, puesto que Q es Z-plano, entonces T oriZ (Q, N ) = 0 para i 1 y cada
grupo abeliano N , y de manera particular,
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.
3.2. EJEMPLOS 87
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
Consideremos la siguiente resolucion libre de A/J: F2
F1 A A/J
0, con Fi libre para i 1 y el homomorfismo canonico en el cociente; tensorizando
iA/I f2 iA/I f1
por A/I obtenemos el complejo A/I A F2 A/I A F1 A/I A
iA/I
A A/I A A/J 0, luego T or1A (A/I, A/J) = ker(iA/I f1 )/Im(iA/I f2 ).
Se tiene el diagrama conmutativo
iA/I f2 iA/I f1
A/I A F2 A/I A F1 A/I A A
y y y
g2 g1
F2 /IF2 F1 /IF1 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).
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,
(i) F es plano.
y se tiene entonces que T oriA (F, N ) = ker(iF fi )/Im(iF fi+1 ); como F es plano,
fi
de la sucesion exacta 0 Im(fi+1 )
Pi
Im(fi ) 0 se obtiene la sucesion
exacta
i F i fi
0 F Im(fi+1 ) F F Pi F Im(fi ) 0,
3.3. TOR Y MODULOS PLANOS 89
T or1A (F, L00 /L0 ) F L0 F L00 , de donde, por la hipotesis (iv), la funcion
F L0 F L00 es inyectiva.
Corolario 3.3.2. Sea F un A-modulo. Entonces las siguientes condiciones son
equivalentes:
(i) F es plano.
(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
0 T or1A (F, A/I) F A I F F A A.
Segun la hipotesis y el teorema 3.3.1, F es plano.
(i) F es plano.
(ii) Para cada ideal izquierdo I de A la funcion F A I
F I dada por ma 7 ma
es un isomorfismo.
(iii) Para cada ideal izquierdo f.g. I de A la funcion F A I
F I dada por
m a 7 m a es un isomorfismo.
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 )
es inyectivo y su imagen es F I, luego la funcion F A I F I es un isomorfismo.
(ii)(iii): evidente.
(iii)(i): Consideremos el siguiente diagrama conmutativo
i
F I F F A
l
FI
F
donde l : F I F es la inclusion. Entonces, ker(iF )
= ker(l) = 0. Segun el
corolario 3.3.2, F es plano.
f g
Proposicion 3.3.4. Sea F un A-modulo plano y 0 K F M 0 una
sucesion exacta de A-modulos. Entonces las siguientes condiciones son equivalentes:
(i) M es plano.
If i I gi
K A I F A I M A I 0
y
K y
F y
KI FI F I/f (K)I 0
1 M 1
F I/f (K)I M A I
M I F I/(F I f (K));
f g
Lema 3.3.5. Sea 0 K F M 0 una sucesion exacta de A-modulos, donde
F es libre con base Z. Sea z F y
z = z1 a1 + + zm am , con zi Z, ai A, 1 i m.
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; segun 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
3.4. MODULOS PLANOS Y MATRICES 93
(i) M es plano.
(ii) M es libre.
(iii) M es proyectivo.
T or1D (Q/D, M )
= M.
T or1D (Q/D, M ) = 0.
T or1D (Q/D, M )
= T (M ).
0 T (M ) M Q M Q/D M 0.
0 T or1D (Q/D, M )
1
D M 0,
T or1D (Q/D, M )
= M.
(ii) Consideremos nuevamente la sucesion exacta larga de (i):
T oriD (D, M ) T oriD (Q, M ) T oriD (Q/D, M ) T ori1
D
(D, M )
0 T oriD (Q/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
j
M
N
N/T (N ).
p
x := p x0
q
p p0 p0
p
+ 0 x = x + 0 x.
q q q q
luego
p r p
x = (rqx0 ) = p(rx0 ) = (pr)x0
q s q
3.6. TOR Y TORSION 99
{X : F (X) G(X)}XOb(B)
F (f ) G(f )
? ?
X 0
0 - G(X 0 )
F (X )
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, en-
tonces 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
M
T (M ) - T or D (Q/D, M )
1
T (f ) 1f1
? ?
M 0
0 - T or D (Q/D, M 0 )
T (M ) 1
il1
T (M ) - T or D (Q/D, T (M )) - T or D (Q/D, M )
1 1
T (f ) iT (f )1 if1
? ? ?
0 0 - T or D (Q/D, T (M 0 )) - T or D (Q/D, M 0 )
T (M ) 1 1
il10
s2 s1 s0
- T
2
- T
1
- T
0
- T (M ) - 0
l2 l1 l0 l
? ? ? ?
h2 h1 h0
- M2 - M1 - M0 - M - 0
f2 f1 f0 f
Entonces
is2 is1
- Q/D T2 - Q/D T1 - Q/D T0 - 0
? ? ?
ih2 ih1
- Q/D M2 - Q/D M1 - Q/D M0 - 0
ih02 ih01
? ? ?
- Q/D M 0 - Q/D M 0 - Q/D M 0 - 0
2 1 0
6 6 6
il20 il10 il00
is02 is01
- Q/D T 0 - Q/D T 0 - Q/D T 0 - 0
2 1 0
il1 if1
T or1D (Q/D, T (M )) - T or D (Q/D, M ) - T or D (Q/D, M 0 )
1 1
? ? ?
ker(i s1 ) -
ker(i h1 ) -
ker(i h01 )
Im(i s2 ) Im(i h2 ) Im(i h02 )
102 CAPITULO 3. TOR
donde
ker(i s1 ) il1
-
ker(i h1 )
Im(i s2 ) Im(i h2 )
t - (i l )(t)
1
ker(i h1 ) if1
-
ker(i h01 )
Im(i h2 ) Im(i h02 )
m - (i f )(m)
1
u - (i l0 )(u)
1
Tambien,
s2 s1 s0
- T2 - T1 - T0 - T (M ) - 0
T (f )2 T (f )1 T (f )0 T (f )
implica
is2 is1
- Q/D T2 - Q/D T1 - Q/D T0 - 0
iT (f )2 iT (f )1 iT (f )0
is02 is01
? ? ?
- Q/D T 0 - Q/D T 0 - Q/D T 0 - 0
2 1 0
3.6. TOR Y TORSION 103
luego
iT (f )1
T or1D (Q/D, T (M )) - T or D (Q/D, T (M 0 ))
1
? ?
ker(i s1 ) -
ker(i s01 )
Im(i s2 ) Im(i s02 )
t - (i T (f ) )(t)
1
0 0 0
? ? ?
- D T2 - D T1 - D T0 - D T (M )
? ? ?
- Q T2 - Q T1 - Q T0 - D T (M )
? ? ?
- Q/D T2 - Q/D T1 - Q/D T0 - D T (M )
? ? ?
0 0 0
de donde (is1 )(t ) ker(iT0 ) = Im(iT0 ), con lo cual (is1 )(t ) = (iT0 )(t0 )
104 CAPITULO 3. TOR
T (M ) 1 (t) := s0 (t0 )
con t = ( iT1 )(t ), t QT1 y (is1 )(t ) = 1t0 con t0 T0 . De forma analoga,
0 := 101 1
T (M 0 ) .
T (M 0 ) 10 (i T (f )1 ) = T (f )T (M ) 1 .
u := (i T (f )1 )(t ) Q T10 .
3.6. TOR Y TORSION 105
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
0 D Q Q/D 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
0 T or1D (M, N ) L N P N M N 0.
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,
segun (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 )
Segun (vii), T or2D (M, Q/D N ) es de torsion pues Q/D N es de torsion y ademas
T or1D (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 )
3.7. Ejercicios
1. Demuestre el teorema 3.1.2.
T ornA (M, L)
= T ornA (N, L).
T oriR (M, N ) R B
= T oriB (M R B, N R B).
T oriR (M, B)
R[x1 ,...,xn ]
= T ori (M R R[x1 , . . . , xn ], B).
Aplicaremos en este captulo las tecnicas consideradas en los anteriores para estu-
diar algunas de las dimensiones de modulos y anillos usadas con mayor frecuencia
en algebra homologica, y en general, en algebra tanto conmutativa como no conmu-
tativa.
(ii) Se dice que M tiene dimension proyectiva finita si M tiene al menos una
resolucion proyectiva finita. Si este no es el caso, se dice que la dimension
proyectiva de M es infinita y se escribe pd(M ) = .
(iv) pd(0) := 1.
Observacion 4.1.2. (i) Notese que para un modulo no nulo todas las resoluciones
proyectivas son no nulas. En cambio, el modulo nulo puede tener resoluciones no
iP 0
nulas y la nula: 0 P P 0 0, con P cualquier proyectivo no nulo, y
109
110 CAPITULO 4. DIMENSIONES DE MODULOS Y ANILLOS
0
0 0 0 0. Si P es proyectivo no nulo, entonces 0 P 0 0 no es exacta.
Esto hace que no podamos definir la dimension proyectiva de modulo nulo como
igual a cero, en cambio si definimos la longitud de la resolucion nula como igual a
1, entonces el numeral (iv) en la definicion anterior tiene sentido.
(ii) A partir de esta definicion es claro que un A-modulo no nulo P es proyectivo
si, y solo si, pd(P ) = 0. De manera completamente analoga se define la dimension
inyectiva de un modulo M a traves de resoluciones inyectivas, y se denota por
id(M ). Se tiene entonces que un A-modulo no nulo N es inyectivo si, y solo si,
id(N ) = 0. De igual manera, usando resoluciones planas del modulo M , se define la
dimension plana y se denota por fd(M ). Se tiene en este caso que M no nulo es
plano si, y solo si, fd(M ) = 0.
(iii) Puesto que todo modulo proyectivo es plano, entonces fd(M ) pd(M ).
Algunas caracterizaciones de estas dimensiones en terminos de los grupos Ext y
T or se presentan a continuacion.
Teorema 4.1.3. Sean M un A-modulo y n 1. Entonces las siguientes condi-
ciones son equivalentes:
(i) pd(M ) n.
(iii) Extn+1
A (M, N ) = 0, para cada A-modulo N .
de M , ker(fn1 ) es proyectivo.
fn 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
Extn+1 n n1 1
A (M, N ) = ExtA (ker(f0 ), N ) = ExtA (ker(f1 ), N ) = = ExtA (Kn1 , N ),
fn fn1 f1 f0
Pn Pn1 Pn2 P1
P0
M 0.
de donde pd(M ) n.
(iii)(v): consideremos una sucesion exacta de A-modulos 0 N 0 N
N 00 0, aplicamos la sucesion exacta larga y obtenemos
ExtnA (M, N 0 ) ExtnA (M, N ) ExtnA (M, N 00 ) Extn+1 0
A (M, N ) = 0,
fn fn1 f1 f0
Pn Pn1 Pn2 P1
P0
M 0.
(iii) Extn+1
A (M, N ) = 0, para cada A-modulo M .
de N , Im(fn ) es inyectivo.
de M , ker(fn1 ) es plano.
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MODULO 113
Extm+1
A (M 0 , N )
Extm+2
A (M 00 , N )
Extm+2
A (M, N )
luego Extn+1
A (M, N ) = 0, es decir, pd(M ) n.
(iv) Segun (iii) se tiene que pd(M ) n; puesto que pd(M 0 ) = n, exite un A-
modulo N0 tal que ExtnA (M 0 , N0 ) 6= 0 (de lo contrario pd(M 0 ) n 1). Se tiene la
sucesion exacta larga
ExtnA (M 0 , N0 )
ExtnA (M, N0 )
Extn+1 00
A (M , N0 )
,
pero Extn+1 00 n
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 ), segun (i)
pd(M 00 ) pd(M 0 ) + 1. Supongamos que pd(M 00 ) < pd(M 0 ) + 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
pd(M ) < pd(M 0 ) m0 = max{m, m00 }, lo cual solo es posible si m0 = m00 , de donde
pd(M 0 ) pd(M 00 ) < pd(M 0 ) + 1, es decir, pd(M 0 ) = pd(M 00 ) = m00 , y por (iv),
pd(M ) = m00 , pero esto es falso ya que pd(M ) < pd(M 0 ).
(vi) Si pd(M 0 ) = o pd(M 00 ) = , entonces pd(M ) . Supongamos en-
tonces que pd(M 0 ) y pd(M 00 ) son ambas finitas y sea m := max{pd(M 0 ), pd(M 00 )};
para cualquier A-modulo N se tiene que
Extm+1
A (M 00 , N ) Extm+1
A (M, N ) Extm+1
A (M 0 , N ) ,
resulta Extm+1
A (M, N ) = 0, y por lo tanto pd(M ) m.
Versiones analogas de las propiedades presentadas en la proposicion anterior se
pueden establecer para las dimensiones inyectiva y plana. En particular podemos
enunciar las siguientes.
Demostracion. (i) Para cada A-modulo izquierdo L se tiene la sucesion exacta larga
A
T orn+1 (M 0 , L) T orn+1
A A
(M, L) T orn+1 (M 00 , L) ,
pero T orn+1A
(M 0 , L) = 0 = T orn+1 A
(M 00 , L), luego T orn+1
A
(M, L) = 0, de donde
fd(M ) n.
(ii) Por (i) se tiene que fd(M ) n; existe un A-modulo izquierdo L0 para el cual
T ornA (M 0 , L0 ) 6= 0; con la sucesion exacta larga del T or se tiene
A
T orn+1 (M 00 , L0 ) T ornA (M 0 , L0 ) T ornA (M, L0 ) ,
A
con T orn+1 (M 00 , L0 ) = 0, y como T ornA (M 0 , L0 ) 6= 0 entonces T ornA (M, L0 ) 6= 0. Esto
garantiza que fd(M ) n, luego fd(M ) = n.
Demostracion. Supongamos que ExtnA (M, F ) = 0 para cada modulo libre F ; sea N
un A-modulo arbitrario, entonces N
= F/K, con F libre; se tiene la sucesion exacta
0 K F F/K 0; aplicamos la sucesion exacta larga y obtenemos
Por hipotesis y con el toerema 4.1.3 se tiene que ExtnA (M, F ) = 0 = Extn+1
A (M, K),
entonces ExtnA (M, N ) = 0, para cada N , en consecuencia pd(M ) n 1, lo cual es
falso.
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.
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 CAPITULO 4. DIMENSIONES DE MODULOS Y ANILLOS
Ejemplo 4.2.7. Sea A un anillo. Entonces, A es hereditario a derecha si, y solo si,
rgld(A) 1. En particular, si R es un dominio de integridad, R es un dominio de
Dedekind si, y solo si, gld(R) 1.
): sea I un ideal derecho de A, entonces I es proyectivo; si A/I es proyectivo,
pd(A/I) = 0, pero si A/I no es proyectivo, aplicamos la proposicion 4.1.6 a la
sucesion exacta 0 I A A/I 0 y obtenemos que pd(A/I) = pd(I) + 1 = 1.
Por el teorema de Auslander, rgld(A) 1.
): sea I 6= 0 un ideal derecho de A, como A es proyectivo aplicamos nuevamente
la proposicion 4.1.6 y obtenemos que I y A/I son proyectivos o pd(A/I) = pd(I) +
1. En el primer caso I es proyectivo y hemos terminado. Para el segundo caso
recordemos que gld(A) 1, luego por el teorema de Auslander pd(A/I) 1, es
decir, pd(I) 0, pero como I 6= 0, entonces pd(I) = 0 e I resulta proyectivo.
En particular, si R es un dominio de ideales principales, entonces rgld(R) = 1
ya que R no es semisimple. Por ejemplo, gld(Z) = 1 = gld(K[x]), K un cuerpo.
R/I
p
6 Ip p
f p pg
pp
pp
J/I
- R/I
Corolario 4.6.5. Sea R F plano. Entonces, R F es fielmente plano si, y solo si, para
cada modulo simple MR , M F 6= 0.
Demostracion. ): evidente.
): sea J un ideal maximal derecho de R, entonces R/J es un R-modulo sim-
ple, luego (R/J) R F = F/JF 6= 0, es decir, JF 6= F . El resultado es entonces
consecuencia de la proposicion anterior.
Definicion 4.7.1. Sea A un anillo. Para cada ordinal 1 se definen las si-
guientes clases K de A-modulos:
(i) K1 := {0}.
4.7. DIMENSION DE KRULL DE UN MODULO 127
(ii) Se asume que la clase K esta definida para cada < y se define K de
la siguiente manera: M K si, y solo si, para
S cada cadena de submodulos
M0 M1 de M se tiene que Mi /Mi+1 < K , para casi todo i.
(iii) Si M
= M 0 , entonces M K si, y solo si, M 0 K .
Se dice que la dimension de Krull de M existe, o que esta definida, si existe tal
que M K , y en tal caso se escribe Kdim(M ) . El menor tal que M K
se denomina la dimension de Krull de M y se escribe Kdim(M ) = . Si para
cada , M / K , entonces se dice que M no tiene dimension de Krull.
Proposicion 4.7.2. Sean 0 y M un modulo. Entonces, Kdim(M ) si, y
solo si, para cada cadena descendente M0 M1 de submodulos de M se tiene
que Kdim(Mi /Mi+1 ) < , para casi todo i.
Demostracion. ): sea Kdim(M ) , entonces para casi todo i, Mi /Mi+1
S
< K , y para esos valores de i se tiene que Kdim(Mi /Mi+1 ) esta definida y
Kdim(Mi /Mi+1 ) < .
): la condicion impuesta indica que para casi todo i los cocientes Mi /Mi+1
tienen dimension de Krull, digamos,
S Kdim(Mi /Mi+1 ) := i < , luego Mi /Mi+1
Ki , de donde Mi /Mi+1 < K , es decir, M K , o en forma equivalente,
Kdim(M ) .
La siguiente proposicion establece que la dimension de Krull de un modulo M
mide que tan cerca esta M de ser artiniano.
Proposicion 4.7.3. Kdim(M ) = 0 si, y solo si, M 6= 0 y M es artiniano.
Demostracion. ): M 6= 0 ya que de lo contrario Kdim(M ) = 1; sea M0
M1 una cadena descendente de submodulos de M , entonces por la proposicion
anterior, para casi todo i, Kdim(Mi /Mi+1 ) < 0, es decir, Mi /Mi+1 = 0, luego la
cadena se estabiliza.
): como M 6= 0, M / K1 ; puesto que cada cadena descendente de submodulos
de M se estabiliza, entonces M K0 , es decir, Kdim(M ) = 0.
Ejemplo 4.7.4. (i) Kdim(ZZ ) = 1: ya que ZZ no es artiniano, entonces Kdim(ZZ )
1. Sea hm0 i hm1 i una cadena de ideales de Z; para cada i, hmi i/hmi+1 i es
artiniano, luego hmi i/hmi+1 i K0 , y entonces Kdim(ZZ ) = 1.
(ii) Puesto que Zp es artiniano Kdim(Zp ) = 0, notemos que Zp no es un
Z-modulo noetheriano.
Teorema 4.7.5. Sean N M modulos. Entonces, Kdim(M ) existe si, y solo si,
Kdim(N ) y Kdim(M/N ) existen. En tal caso,
pero esto significa que Kdim(M ) . Esto completa la prueba del teorema.
Demostracion. Segun el teorema 4.7.5, Kdim[(A/I)A ] existe. Puesto que los A/I-
submodulos 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).
rKdim(AS 1 ) rKdim(A).
:= rKdim(A) rKdim(A/N ) := .
Resta ver que : como A es noetheriano a derecha existe una coleccion fini-
ta de ideales primos minimales, no necesariamente distintos, P1 , . . . , Pn tales que
P1 Pn = 0 (en realidad la coleccion de primos minimales de A es finita, vease la
proposicion 4.8.8). Por la proposicion 4.8.4, para cada 1 i n se tiene que
Veamos que con esto podemos completar la demostracion de ; con tres casos
particulares que examinemos podremos mas adelante inducir una prueba general y
completar la demostracion: si n = 1, entonces P1 = 0 y entonces Kdim(A/0)A =
rKdim(A/P1 ), es decir, rKdim(A) = rKdim(A/P1 ); si n = 2, entonces P1 P2 = 0, por
lo probado arriba resulta Kdim[(P1 /P1 P2 )A ] rKdim(A/P2 ), es decir, Kdim(P1 )A
rKdim(A/P2 ), ademas Kdim[(A/P1 )A ] = rKdim(A/P1 ), luego por el teorema 4.7.5,
de donde
4.9. Ejercicios
1. Demuestre la proposicion 4.1.7.
[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[4] M. Fontana, J.A. Huckaba and I.J. Papick, Prufer Domains, Marcel
Dekker, New York, 1997. 122
[5] Gallego, C. and Lezama, O., Grobner bases for ideals of P BW extensions,
to appear in Comminications in Algebra, 39, 2011, 126 .
[9] Kaplansky, I., On the dimension of rings and modules, X, Nagoya Math. J,
13, 1958. 137
138
BIBLIOGRAFIA 139
[16] Lezama, O., Cuadernos de Algebra, No. 4: Algebra lineal, SAC2 , Departa-
mento de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2. 5, 15, 23, 33
[17] Lezama, O., Cuadernos de Algebra, No. 6: Anillos y modulos, SAC2 , Depar-
tamento de Matematicas, Universidad Nacionalde Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 23, 41, 95, 117, 118, 120, 132, 133
[20] Li, H., Noncommutative Grobner Bases and Filtered-Graded Transfer, Lecture
Notes in Mathematics, Vol. 1795, Springer, 2002.
[22] Quillen, D., Proyective modules over polynomial rings, Invent. Math., 36,
1976, 167-171.
[27] Serre, J. P., Faisceaux algebriques coherents, Ann. Math., 61, 1955, 191-278.
140 BIBLIOGRAFIA
[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.