Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebrahomologica PDF
Algebrahomologica PDF
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
Pr
ologo 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
Pr
ologo
v
vi
PROLOGO
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
jolezamas@unal.edu.co
Captulo 1
Elementos b
asicos de
algebra
homol
ogica
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 s
olo si, para todo
A-modulo N la sucesion de Z-m
odulos
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 s
olo si, para todo
A-modulo P la sucesion de Z-m
odulos
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
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),
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 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 exac-
titud 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 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 , seg un (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
on 1.2.8. Una sucesion exacta corta 0 M1
Definici M2
M3 0 es hen-
dida si g es un homomorfismo hendido.
f g
Proposici on 1.2.9. La sucesion exacta 0 M1
M2
M3 0 es hendida si, y
s
olo si, f es hendido.
f g
Corolario 1.2.10. Si 0 M1 M2 M3 0 es una sucesi
on exacta hendida,
g 0 f 0
entonces M2 = M1 M3 y la sucesi on 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.
Proposici on 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 cl asico 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 u ltimo 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 ( ,
1.5. M
odulo de fracciones
Vamos ahora a estudiar los modulos de fracciones en el caso general no conmutativo
que nos ocupa. Sea A un anillo y sea S un subconjunto multiplicativo de A tal que
AS 1 existe, sea M un A-modulo a derecha, entonces el m odulo de fracciones a
derecha de M respecto de S puede ser definido y construido en forma analoga a
como vimos para los anillos. Veamos las ideas generales, los detalles de las pruebas
los dejamos al lector. En M S definimos la relacion por
(m, s) (n, t) si, y solo si, existen c, d A tales que m c = n d y sc = td S.
Se puede verificar que es una relacion de equivalencia, la clase de (m, s) se denota
por ms y el conjunto de todas las clases por M S 1 . Este ultimo tiene estructura de
1
AS -modulo a derecha respecto de las siguientes operaciones:
m n mc+nd
s
+ t
:= u
, con u := sc = td S
m a mc
s
t
:= tu
, con au = sc, c A, u S.
El homomorfismo canonico : A AS 1 dota a M S 1 de estructura natural de
A-modulo derecho y la funcion canonica
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 -
Mp S 1
p pp
p
g
p p ph
pp
?
N
h es definido por h( ms ) := g(m) 1s . Adem
as, si g es inyectivo, entonces h es tambien
inyectivo.
1.5. MODULO DE FRACCIONES 31
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,
entonces la sucesion de AS 1 -m
odulos derechos
f1 i f2 i
0 M1 S 1 M2 S 1 M3 S 1 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 ).
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
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
Proposici
on 1.5.12. Sean R un anillo conmutativo, P un ideal maximal de R y
M un R-modulo. Entonces,
(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 ).
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.
(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
Proposici
on 1.6.2. Cada sumando directo de un m
odulo inyectivo es inyectivo.
38 CAPITULO 1. ELEMENTOS BASICOS
DE ALGEBRA
HOMOLOGICA
N 0 N 00
p
6Kp p
pp
pp
? pp
N0 p ph
pp
6 p pp
g pp
pp
M f
- L
Q
Proposici on 1.6.3. Sea {Ni }iC una familia de A-m
odulos. 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.
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 .
Proposici
on 1.6.9. Sea A un anillo. Entonces
42 CAPITULO 1. ELEMENTOS BASICOS
DE ALGEBRA
HOMOLOGICA
Proposici
on 1.6.14. Sean A un anillo y G un grupo abeliano inyectivo (=divisible).
Entonces HomZ (A, G) es un A-modulo derecho inyectivo.
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 ).
1.7. M
odulos planos
Hemos visto que A N y N A son funtores exactos a derecha pero no siempre
son exactos a izquierda. Se tiene entonces la siguiente nueva clase de modulos.
Definicion 1.7.1. Un A-modulo N es plano si N A preserva exactitud a izquier-
odulos izquierdos 0 M1 M2
da, es decir, para cada sucesion exacta de A-m
M3 0, la sucesion de grupos abelianos 0 N A M1 N A M2 N A M3 0
es tambien exacta.
De manera similar se define la nocion de A-modulo izquierdo plano.
Proposici on 1.7.2. Sea A un anillo que posee anillo de fracciones a derecha respec-
to del sistema multiplicativo S. Entonces, AS 1 es un A-m odulo izquierdo plano. En
particular, si D es un dominio de Ore a derecha, entonces Qr (D) es un D-m odulo
izquierdo plano.
Demostracion. Esto es una consecuencia directa de la proposicion 1.5.3.
En forma analoga, si S 1 A existe, entonces S 1 A es un A-modulo derecho plano.
Teorema 1.7.3. Sea N un A-m
odulo. Entonces las siguientes condiciones son equi-
valentes:
(i) N es plano.
f
DemostraciLon. ): sea M1 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. Seg un 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-
m
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
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 .
Proposici
on 1.8.9. Sea R un dominio de integridad y K su cuerpo de fracciones.
Proposici
on 1.8.11. Sean R y K como antes.
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
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 ) 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 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 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)
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
2.2. Propiedades b
asicas
Pasamos ahora a demostrar uno de los teoremas centrales y de frecuente aplicacion
de la tecnica Ext.
Teorema 2.2.1 (Sucesi
on exacta larga). La sucesi
on exacta de A-m
odulos
0K
N
M 0 (2.2.1)
induce las siguientes sucesiones exactas de grupos abelianos, donde L es un A-m
odulo
fijo cualquiera:
68 CAPITULO 2. EXT
(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
(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 demostraci on 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
3.1. Definici
on y propiedades b
asicas
Sea N un A-modulo a izquierda y consideremos una resolucion proyectiva de N en
la siguiente forma
fi+1 fi f1 f0
Pi+1 Pi
Pi1 P1
P0
N 0; (3.1.1)
sea ahora M un A-modulo derecho, al tensorizar por M se obtiene el complejo
iM fi+1 iM f1 iM f0
M A Pi+1 M A Pi M A P1 M A P0 M A N 0.
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
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,
3.3. Tor y m
odulos planos
Presentamos ahora otras caracterizaciones de los modulos planos por medio del T or.
(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-m
odulo. Entonces las siguientes condiciones son
equivalentes:
(i) F es plano.
on 0 F A I F A A es exacta.
(ii) Para cada ideal izquierdo I de A, la sucesi
on 0 F A I F A A es
(iii) Para cada ideal izquierdo f.g. I de A, la sucesi
exacta.
Demostracion. (i))(ii): evidente a partir de la definicion de modulo plano.
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
0 T or1A (F, A/I) F A I F F A A.
Seg
un la hipotesis y el teorema 3.3.1, F es plano.
(i) F es plano.
on F A I
(ii) Para cada ideal izquierdo I de A la funci F I dada por ma 7 ma
es un isomorfismo.
on F A I
(iii) Para cada ideal izquierdo f.g. I de A la funci 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. Seg
un el
corolario 3.3.2, F es plano.
f g
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.
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 sucesi
on exacta de A-m
odulos, 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
un el primer paso de la induccion, existe hr : Am K tal
sean x1 , . . . , xr K; seg
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
3.4. M
odulos planos y matrices
En esta seccion veremos un teorema de caracterizacion matricial de los modulos
planos debido a Orlando Villamayor.
Proposicion 3.4.1. Sean A un anillo, M un A-m odulo derecho, m1 , . . . , mt M
y N := hn1 , . . . , nt } un A-modulo izquierdo f.g. Entonces,
m1 n1 + + mt nt = 0 existen m01 , . . . , m0s M y F = [aij ] Mts (A)
T
tales que m1 mt = m01 m0s F T y F T n1 nt = 0.
3.5. Torsi
on de un m
odulo
Estudiaremos en esta seccion la torsion para modulos sobre dominios de Ore.
Definici
on 3.5.1. Sea D un dominio de Ore a derecha y M un D-m
odulo, el con-
junto
T (M ) := {m M |m d = 0, para alg
un d D {0}}
es llamado el subm odulo de torsi
on de M y sus elementos se denominan los
elementos de torsi on de M . M es de torsi
on si T (M ) = M y M es sin
torsion si T (M ) = 0.
El hecho que T (M ) es un D-submodulo de M es una consecuencia de la condicion
de Ore a derecha. En efecto, para m1 , m2 T (M ) y d1 , d2 D veamos que m1
d1 + m2 d2 T (M ): existen p1 , p2 D {0} tales que m1 p1 = 0 y m2 p2 = 0;
por la condicion de Ore aplicada a los elementos d1 , p1 y d2 , p2 , existen r1 , r2 D y
s1 , s2 D {0} tales que d1 s1 = p1 r1 , d2 s2 = p2 r2 ; ahora aplicamos nuevamente la
condicion de Ore a s1 , s2 y encontramos elementos no nulos t1 , t2 tales que s1 t1 = s2 t2 ,
resulta entonces que (m1 d1 + m2 d2 ) s1 t1 = m1 (d1 s1 )t1 + m2 (d2 s2 )t2 =
(m1 p1 ) r1 t1 + (m2 p2 ) r2 t2 = 0, con s1 t1 6= 0.
DE UN MODULO
3.5. TORSION 95
(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,
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 )
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).
Dimensiones de m
odulos y anillos
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 dimensi on proyectiva finita si M tiene al menos una
resolucion proyectiva finita. Si este no es el caso, se dice que la dimensi
on
proyectiva de M es infinita y se escribe pd(M ) = .
on proyectiva finita de M }.
pd(M ) := mn{n|n es la longitud de una resoluci
(iv) pd(0) := 1.
Observaci on 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 dimensi on
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
dimensi on 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.
odulo y n 1. Entonces las siguientes condi-
Teorema 4.1.3. Sean M un A-m
ciones son equivalentes:
(i) pd(M ) n.
(iii) Extn+1
A (M, N ) = 0, para cada A-m
odulo 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-m
odulo 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 ) pd(M ) + 1. Supongamos que pd(M ) < pd(M ) + 1, entonces pd(M 00 )
00 0 00 0
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.
Proposici on 4.1.9. Sea M un A-m odulo no nulo tal que pd(M ) = n 1. Entonces
existe un A-modulo libre F tal que ExtnA (M, F ) 6= 0.
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.
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
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.
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
4.4. Dimensi
on global de anillos noetherianos
Teorema 4.4.1. Sea A un anillo. Entonces,
(i) Si A es noetheriano a derecha, entonces wgld(A) = rgld(A).
o . En el
Corolario 4.4.6. Sea R un anillo autoinyectivo. Entonces, gld(R) = 0
primer caso R es semisimple.
R/I
p
6 Ip p
f p pg
pp
pp
J/I
- R/I
4.6. Dimensi
on global y extensiones de anillos
Sea : R A un homomorfismo de anillos, en esta seccion revisaremos la relacion
entre las dimensiones de los anillos R y A. Los resultados que probemos podran por
lo tanto ser aplicados al caso particular en el cual es inyectivo, es decir, cuando A
es una extensi on de R.
Para comenzar debemos observar que no siempre rgld(R) rgld(A) ni tampoco
rgld(A) rgld(R).
Ejemplo 4.6.1. (i) Z Q, con gld(Z) = 1 y gld(Q) = 0.
(ii) Tenemos el homomorfismo canonico Z Z4 con gld(Z) = 1 y gld(Z4 ) = .
Proposicion 4.6.2. Sea : R A un homomorfismo de anillos y MA un m
odulo.
Entonces,
(i) pd(MR ) pd(MA ) + pd(AR ).
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.
4.7. Dimensi
on de Krull de un m
odulo
Mostramos a continuacion los principales resultados de la teora de dimension de
Krull de modulos y anillos. El desarrollo lo haremos para el caso de modulos a
derecha, pero desde luego que todos los resultados son tambien validos a izquierda.
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}.
DE KRULL DE UN MODULO
4.7. DIMENSION 127
(ii) Se asume que la clase K esta definida para cada < y se define K de
la siguiente manera: M K si, y s olo si, para
S cada cadena de subm
odulos
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 s
olo si, M 0 K .
Se dice que la dimension de Krull de M existe, o que est
a definida, si existe tal
que M K , y en tal caso se escribe Kdim(M ) . El menor tal que M K
se denomina la dimensi on de Krull de M y se escribe Kdim(M ) = . Si para
cada , M / K , entonces se dice que M no tiene dimension de Krull.
Proposici on 4.7.2. Sean 0 y M un m odulo. Entonces, Kdim(M ) si, y
olo si, para cada cadena descendente M0 M1 de subm
s odulos 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.
Proposici olo si, M 6= 0 y M es artiniano.
on 4.7.3. Kdim(M ) = 0 si, y s
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 m odulos. Entonces, Kdim(M ) existe si, y s
olo si,
Kdim(N ) y Kdim(M/N ) existen. En tal caso,
pero esto significa que Kdim(M ) . Esto completa la prueba del teorema.
on 4.7.7. Sea M 6= 0 un m
Proposici odulo 0 6= N
odulo tal que para cada subm
M , Kdim(M/N ) . Entonces, Kdim(M ) + 1.
Proposicion 4.7.10. Sea M 6= 0 un A-m odulo tal que Kdim(M ) existe. Sea f
EndA (M ) inyectivo. Entonces, Kdim(M ) Kdim(M/Im(f )) + 1.
on 4.7.11. Sean M 6= 0 un m
Definici odulo y 0.
un 0.
(ii) Se dice que M es crtico si es -crtico para alg
DE KRULL DE UN MODULO
4.7. DIMENSION 131
0 = M 0 M1 Mn = M
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 arti-
niano (tampoco noetheriano), vease [17]. Luego rKdim(A)
P = 0 y lKdim(A) 6= 0. En
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/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).
Proposici
on 4.8.8. Sea A un anillo noetheriano a derecha. Entonces
(i) Existe una coleccion finita P1 , . . . , Pn de ideales primos minimales (no nece-
sariamente distintos) tales que P1 Pn = 0.
Demostracion. (i) Probemos primero que existe una coleccion finita de ideales pri-
mos P10 , . . . , Pn0 tales que P10 Pn0 = 0. Supongamos contrariamente que cada pro-
ducto finito de ideales primos de A es no nulo (en particular, el ideal nulo no es
primo). Sea C la coleccion de ideales bilateros I de A que no contienen productos
finitos de ideales primos (en particular, I no es primo). C 6= ya que 0 C. Como
A es noetheriano a derecha (en realidad basta suponer que la coleccion de bilateros
de A es noetheriana) en C hay elemento maximal I. As pues, en A := A/I cada
producto finito de ideales primos es no nulo, y por la maximalidad de I, en A cada
ideal no nulo contiene al menos un producto finito de ideales primos. En particular,
0 no es primo, por lo tanto, existen ideales no nulos K := K/I y J := J/I tales
que K J = 0 y ademas existen ideales primos P 1 , . . . , P m , Q1 , . . . , Qn en A tales que
DE KRULL DE UN ANILLO
4.8. DIMENSION 135
de donde
0 P1 P0 P0 /P1 0,
con lo cual rKdim(A) = Kdim(P0 ) = max{Kdim(P1 ), Kdim(P0 /P1 )} k.
4.9. Ejercicios
1. Demuestre la proposicion 4.1.7.
[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[5] Gallego, C. and Lezama, O., Gr obner 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
[14] Lezama, O., Cuadernos de Algebra, No. 2: Anillos, SAC2 , Departamen-
to de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 15, 19, 24, 26, 27, 28
[15] Lezama, O., Cuadernos de Algebra, No. 3: Modulos, SAC2 , Departamen-
to de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 6, 14, 51, 56, 61, 74, 78, 82
[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, odulos, SAC2 , Depar-
No. 6: Anillos y m
tamento de Matematicas, Universidad Nacionalde Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 23, 41, 95, 117, 118, 120, 132, 133
[18] Lezama, O., Cuadernos de Algebra, No. 7: Categoras, SAC2 , Departa-
mento de Matematicas, Universidad Nacionalde Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 9, 10, 18, 64, 99
[20] Li, H., Noncommutative Gr obner 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
[28] Stenstr om, B., Rings of Quotients: An Introduction to Methods of Ring The-
ory, 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.