Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebrahomologica PDF
Algebrahomologica PDF
No. 8
Álgebra homológica
Oswaldo Lezama
Departamento de Matemáticas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogotá
30 de junio de 2014
ii
Prólogo iv
2. Ext 61
2.1. Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.2. Propiedades básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3. Tor 81
3.1. Definición y propiedades básicas . . . . . . . . . . . . . . . . . . . . . 81
3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.3. Tor y módulos planos . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.4. Módulos planos y matrices . . . . . . . . . . . . . . . . . . . . . . . . 93
3.5. Torsión de un módulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.6. Tor y torsión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
iii
iv CONTENIDO
Bibliografı́a 138
Prólogo
v
vi PRÓLOGO
Oswaldo Lezama
Departamento de Matemáticas
Universidad Nacional de Colombia
Bogotá, Colombia
jolezamas@unal.edu.co
Capı́tulo 1
Presentamos en este primer capı́tulo las construcciones básicas del álgebra homológi-
ca como son los complejos y las sucesiones exactas, el producto tensorial de bimódu-
los, los anillos y los módulos de fracciones no conmutativos. Haremos además una
introducción a los módulos proyectivos, inyectivos y planos.
ker(fi+1 )/Im(fi )
1
2 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
f g
(i) La sucesión M1 −→ M2 −→ M3 −→ 0 es exacta si, y sólo si, para todo
A-módulo N la sucesión de Z-módulos
g∗ f∗
0 −→ HomA (M3 , N ) −→ HomA (M2 , N ) −→ HomA (M1 , N )
es exacta.
f g
(ii) La sucesión 0 −→ M1 −→ M2 −→ M3 es exacta si, y sólo si, para todo
A-módulo P la sucesión de Z-módulos
f∗ g∗
0 −→ HomA (P, M1 ) −→ HomA (P, M2 ) −→ HomA (P, M3 )
es exacta.
Demostración. Presentamos la prueba de la parte (i). La demostración de (ii) es
similar.
f
⇒): en primer lugar nótese que si M1 −
→ M2 es un A-homomorfismo y N es un
A-módulo, 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 ). Obsérvese que f ∗ invirtió 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 sucesión
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 restricción de fi a ker(ti ), i = 1, 2; además, 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 está 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 definición puede escribirse también en la forma d(k3 ) := h−1 −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 ; además, 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 está bien definida.
Paso 4. Im(g1 ) = ker(g2 ): sea g1 (k1 ) ∈ Im(g1 ), con k1 ∈ ker(t1 ), entonces
g2 g1 (k1 ) = g2 (f1 (k1 )) = f2 (f1 (k1 )) = 0, es decir, Im(g1 ) ⊆ ker(g2 ). Sea ahora
k2 ∈ ker(g2 ), con k2 ∈ ker(t2 ), entonces g2 (k2 ) = 0 = f2 (k2 ), luego k2 ∈ ker(f2 ) =
Im(f1 ), de donde k2 = f1 (k1 ), con k1 ∈ M1 . Si mostramos que k1 ∈ ker(t1 ), entonces
k2 = g1 (k1 ) ∈ Im(g1 ), con lo cual ker(g2 ) ⊆ Im(g1 ). Tenemos, h1 t1 (k1 ) = t2 f1 (k1 ) =
t2 (k2 ) = 0, pero como h1 es inyectiva, entonces t1 (k1 ) = 0.
Paso 5. Im(g2 ) = ker(d) : sea k3 = g2 (k2 ) ∈ Im(g2 ), con k2 ∈ ker(t2 ) ⊆ M2 ;
según vimos arriba g2 (k2 ) = f2 (k2 ), luego en la difinición de d podemos tomar
m2 := k2 , y entonces t2 (m2 ) = 0 = h1 (n1 ), pero como h1 es inyectivo entonces
1.2. MÓDULOS PROYECTIVOS 9
0 −→ 2Z −→ Z −→ Z2 −→ 0,
al aplicar el funtor HomZ (Z2 , −) (véase [18]) resulta la sucesión
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 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
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 último Z2 . Entonces, en general, si N es un A-módulo, el
funtor HomA (−, N ) no preserva la exactitud a derecha.
Definición 1.2.1. Un A-módulo P es proyectivo si HomA (P, −) preserva la exac-
titud a derecha. Se dice que un A-módulo N es inyectivo si HomA (−, N ) preserva
la exactitud a derecha.
Ası́ pues, P es proyectivo si, y sólo si, HomA (P, −) envia sucesiones exactas
cortas en sucesiones exactas cortas, y de igual manera, N es inyectivo si, y sólo
si, HomA (−, N ) envia sucesiones exactas cortas en sucesiones exactas cortas. En
el lenguaje de las categorı́as y los funtores (véase [18]), P es proyectivo si, y sólo
si, HomA (P, −) es un funtor exacto y N es inyectivo si, y sólo si, HomA (−, N ) es
un funtor exacto. A continuación estudiaremos algunas propiedades de los módulos
proyectivos. En la sección 1.6 consideraremos los módulos inyectivos.
Teorema 1.2.2. Sea P un A-módulo. 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
Demostración. (i)⇒(ii): consideremos la sucesión exacta 0 −→ ker(f ) −→ M −→
N −→ 0, como P es proyectivo, entonces se tiene la siguiente sucesión 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 sucesión exacta. Teniendo en
cuenta (ii) y que HomR (P, ) es exacto a izquierda, resulta entonces que
1.2. MÓDULOS 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 idéntico iP : P −→ P , según (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. Nótese que πP es
sobreyectivo y además gπP = f πM . Por la condición (iii), existe un homomorfismo
t : P −→ L tal que πP t = iP . Definimos h := πM t, y entonces f h = f πM t = gπP t =
g.
Pi
g
?
M f
- N
⊕Pi
πi
?
Pi
g
?
M f
- N
buscada es h := tµi : Pi → M .
⊕Pi
6
µi πi
?
t
Pi
g
h
?
M f
- N
⊕Pi
g
?
M f
- N
Pi
µi
?
⊕Pi
g
?
M f
- N
Entonces que para cada i se tiene que (f h) µi = gµi , y por la unicidad en la propiedad
universal se tiene que f h = g. Esto muestra que ⊕Pi es proyectivo.
φi : M → A
x 7→ φi (x) := ai .
P P P
Nótese que x = (ψφ)(x) = i∈C ψ(fi · ai ) = i∈I xi · ai = i∈I xi · φi (x).
⇐): sea F = R(C) el módulo libre cuya base tiene cardinalidad igual a la del
conjunto C, y sea {fi }i∈C una base de F ; definimos ψ :PF → M por ψ(fi ) := xi ,
entonces ψ es sobre. Sea φ : M → F definido porP φ(x) := i∈C fi ·φP
i (x), φ es entonces
un A-homomorfismo y se tiene que (ψφ)(x) = i∈C ψ(fi ·φi (x)) = i∈C xi ·φi (x) = x,
es decir, ψφ = iM .
f g
Definición 1.2.8. Una sucesión exacta corta 0 → M1 −
→ M2 −
→ M3 → 0 es hen-
dida si g es un homomorfismo hendido.
f g
Proposición 1.2.9. La sucesión exacta 0 → M1 −
→ M2 −
→ M3 → 0 es hendida si, y
sólo si, f es hendido.
f g
Corolario 1.2.10. Si 0 → M1 − → M2 − → M3 → 0 es una sucesión exacta hendida,
g0 f0
entonces M2 ∼ = M1 ⊕M3 y la sucesión 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 → Pn−1 → · · · → P1 → P0 → M → 0
0 → K2 → Qn → Qn−1 → · · · → Q1 → Q0 → N → 0
con Pi , Qi proyectivos, 0 ≤ i ≤ n, y M ∼
= N , entonces
K1 ⊕ Qn ⊕ Pn−1 ⊕ Qn−2 ⊕ · · · ∼
= K2 ⊕ Pn ⊕ Qn−1 ⊕ Pn−2 ⊕ · · ·
realizada para el Hom en [14]. El caso particular del producto tensorial de módulos
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-módulos a derecha e izquierda, respectivamente.
Consideremos el Z-módulo libre F := Z(M ×N ) , con base X := {µx (1)}x∈M ×N ,
donde µx es la inyección canónica de la suma directa externa. Por simplicidad en la
notación identificaremos la base X de F con el conjunto M × N . Consideremos el
Z-submódulo 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 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
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 canónico. Entonces,
f ⊗iZ j⊗iZ
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 m⊗a 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 }i∈C una familia de B − A-bimódulos y {Nj }j∈D una familia de A − C-
bimódulos. Entonces se tiene el B − C-isomorfismo
( M i ) ⊗ ( Nj ) ∼
L L L
= i,j (Mi ⊗ Nj ).
L L
Demostración. Paso 1. Sean M := Mi y N := Nj . Consideremos las
i∈C j∈D
inyecciones canónicas
µ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)∈C×D
L N N
con z := (zij ) ∈ (Mi Mj ), zij ∈ Mi Mj y sop(z) el soporte de
(i,j)∈C×D
z, véase [14] para la noción de soporte de un elemento de una suma directa
externa. Para z = 0 se tiene que β(0) := 0.
20 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
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 D−B-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 (véase [13]); además es claro que α(f ) = t, es decir,
α es sobreyectiva. Esto completa la demostración.
HomB (B MA ⊗A NC ,B LD ) ∼
= HomA (A NC , HomB (B MA ,B LD )).
La prueba es similar a la del literal (l) (véase también [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 módulos L y L0 , respectivamente; pero e
h es
1.3. PRODUCTO TENSORIAL 23
−1 −1
un isomorfismo si, y sólo si, he0 y he00 son isomorfismos. Esto completa la
prueba.
A(X) ⊗ A(Y ) ∼
= A(X×Y ) .
m ⊗ n = 0 ⇔ m = 0 ó n = 0.
Concluimos esta sección con un teorema clásico del álgebra conmutativa el cual
podemos probar en general para anillos locales no conmutativos.
(ii) ψ(S) ⊆ B ∗
ψ(a)ψ(s)−1 , con a ∈ A, s ∈ S.
Proposición 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 condición (i) del teorema 1.4.2 en este caso se cumple trivialmente.
Si se satisface la condición de Ore a derecha, entonces el anillo de fracciones AS0−1
existe y se denomina el anillo total de fracciones a derecha de A (también se
le conoce como el anillo clásico 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 último es el menor anillo que
contiene a A en el cual todos los elementos de S0 son invertibles. En forma análoga
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 .
Demostración. A ⊗R RS −1 como anillo corresponde al producto tensorial de las
R-álgebras A y RS −1 (véase [16]). La función 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 proposición 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 función
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
. Nótese que hf = iA⊗RS −1 y f h = iAS −1 , luego h es un isomomorfismo
de anillos.
Veamos que además h es un homomorfismo de A-módulos izquierdos: h(a0 · as ) =
0 0
h( a1 as ) = h( asa ) = a0 a ⊗ 1s = a0 · (a ⊗ 1s ) = a0 · h( as ).
Proposición 1.5.8. Sean R un anillo conmutativo, S un sistema multiplicativo de
R y M, N módulos sobre R. Entonces,
(M ⊗R N ) S −1 ∼
= M S −1 ⊗RS −1 N S −1 .
Demostración. 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 ) := m⊗n
sr
, h( ms ⊗ nr ) := m⊗n
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).
Demostración. (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 := m·a
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 := m·a
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 dimensión n respecto de RP ; nótese 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-módulo. Entonces las siguientes condiciones son equi-
valentes:
(i) N es inyectivo.
1.6. MÓDULOS 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
Proposición 1.6.3. Sea {Ni }i∈C una familia de A-módulos. Entonces, i∈C Ni es
inyectivo si, y sólo si, cada Ni es inyectivo.
Q
Demostración. ⇒): 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. MÓDULOS 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, además, la aplicación h00 : L00 →
N definida por h00 (l0 +x·a) := g0 (l0 )+n0 ·a, l0 ∈ L0 , a ∈ A, es un homomorfismo bien
definido: en efecto, si l0 +x·a = l00 +x·a0 , entonces l0 −l00 = x·a0 −x·a = 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
i∈C
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 homológica muy importante relacionada con los módulos inyec-
tivos dice que todo A-módulo se puede sumergir en un módulo inyectivo. Para la
demostración 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 sólo 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 sólo 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 −
Demostración. →LM2 un homomorfismo inyectivo, entonces el homo-
morfismo ( i∈C Ni )⊗M1 → ( i∈C Ni )⊗M2 es inyectivo. Entonces el homomorfismo
L
i∈C (iN ⊗f ) L
−−−−−i−−→ i∈C (Ni ⊗ M2 ) es inyectivo, y en consecuencia cada ho-
L
i∈C (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
i∈C (iN ⊗f ) L
M1 ) −−−−−−i−−→ L
L
i∈C (Ni ⊗L i∈C (Ni ⊗ M2 ) es inyectivo, y por lo tanto, el homo-
morfismo ( i∈C Ni ) ⊗ M1 → ( i∈C Ni ) ⊗ M2 es inyectivo.
Corolario 1.7.6. Todo módulo libre es plano.
Demostración. Según el teorema 1.7.3 AA es plano, luego, de acuerdo con la propo-
sición anterior, el módulo libre A(X) es plano.
Corolario 1.7.7. Todo módulo proyectivo es plano.
Demostración. Consecuencia directa de la proposición 1.7.5.
Concluimos esta introducción a la teorı́a de módulos planos mostrando otras
propiedades para el caso particular sobre anillos conmutativos. La primera dice que
la condición “ser plano”es local-global (véase la parte final de la sección 1.4)
1.7. MÓDULOS 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 canónica 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 nótese 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 presentación finita de M , se tiene entonces la
sucesión exacta 0 → HomR (M, N ) → HomR (Rs , N ) → HomR (Rr , N ), pero como L
es plano resulta la sucesión 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 también un isomorfismo.
Proposición 1.7.10. Sean R un anillo conmutativo, A una R-álgebra y M un R-
módulo de presentación finita. Entonces, para cada A-módulo derecho N se tiene el
R-isomorfismo
HomR (MR , NR ) ∼= HomA (M ⊗R A, NA )
Demostración. Puesto que R es un anillo conmutativo entonces M tiene también
estructura de R-módulo a izquierda, con lo cual M ⊗R A es un R − A-bimódulo y
en consecuencia HomA (M ⊗R A, NA ) es un R-módulo a derecha.
Si M es R-libre de dimensión 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 presentación 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 también un isomorfismo.
1.8. ANILLOS HEREDITARIOS 51
Veremos más adelante que la finitud es una condición superflua en los dos coro-
larios anteriores (véase el corolario 1.8.18).
φ:N →R
v 7→ rn .
Es claro que esta operación es asociativa y que IJ = JI; además 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 = hα1 , . . . , α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 notación 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 está unı́vocamente determinado. Lo mismo podemos decir para k2 , . . . , km . Solo
resta calcular m y n1 , . . . , nm a partir de h.
Concluimos esta sección con otra caracterización de los anillos hereditarios no
conmutativos, y como corolario, otra caracterización 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 submódulo de un módulo proyectivo es proyectivo.
(iii) Cada cociente de un módulo inyectivo es inyectivo.
Demostración. (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 módulo proyectivo y P 0 un submódulo 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 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
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 sólo si, cada R-módulo divisible
en inyectivo.
1.9. Ejercicios
f g
1. Sea M1 − → M2 → M3 −
→ M4 exacta. Demuestre que f es sobreyectiva si, y sólo
si, g es inyectiva.
5. Demuestre las propiedades (a) - (f); (h), (i), (k), (m), (p) y (q) de la sección
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-módulo proyectivo e I un ideal bilátero propio de
A. Demuestre que P/P I es un A/I-módulo proyectivo.
9. Sean A un anillo y M un A-módulo; un recubrimiento proyectivo, también
denominado, envolvente proyectiva de M , es un homomorfismo sobreyec-
tivo f : P → M , con P proyectivo y ker(f ) pequeño en P (un submódulo
N de un módulo L es pequeño si para cada submódulo K de L se cumple
N +K = L si, y sólo si, K = L). Demuestre que dos recubrimientos proyectivos
de M son isomorfos.
10. Demuestre la proposición 1.4.6.
11. Demuestre la proposición 1.5.1.
12. Demuestre el corolario 1.5.2.
13. Demuestre el isomorfismo (1.5.1).
14. Demuestre la proposición 1.5.10.
15. Sean R un anillo conmutativo y S1 ⊆ S2 subconjuntos multiplicativos de R.
Demuestre que para cada R-módulo M se tiene el isomorfismo (M S1−1 )S2−1 ∼
=
−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 también un anillo primo.
17. Demuestre la proposición 1.6.9.
18. Demuestre la parte (ii) del toerema 1.6.17.
19. Demuestre la afirmación de la observación 1.6.18.
20. Sean M, N módulos inyectivos. Demuestre que M/N es inyectivo.
21. Sean R un anillo conmutativo, N un R-módulo inyectivo y A una R-álgebra.
Demuestre que HomR (A, N ) es un A-módulo inyectivo.
22. Dadas dos sucesiones exactas
0 → M → E1 → L1 → 0,
0 → N → E2 → L2 → 0,
60 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
0 → M → D0 → D1 → · · · → Dn−1 → Dn → L1 → 0
0 → N → E0 → E1 → · · · → En−1 → En → L2 → 0
con Di , Ei inyectivos, 0 ≤ i ≤ n, y M ∼
= N , demuestre que
L1 ⊕ En ⊕ Dn−1 ⊕ En−2 ⊕ · · · ∼
= L2 ⊕ Dn ⊕ En−1 ⊕ Dn−2 ⊕ · · ·
Ext
Este capı́tulo está dedicado al estudio de una técnica que extiende el Hom (véase
[15]) y resulta muy útil para el análisis de propiedades homológicas de anillos y
módulos. Como siempre, vamos a suponer que A es un anillo no necesariamente
conmutativo y, salvo que se advierta lo contrario, los módulos serán considerados a
derecha.
2.1. Definición
Sean M un A-módulo y F0 el A-módulo libre canónico con una base {em }m∈M
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úcleo de f0 ,
entonces podemos construir el módulo libre F1 y el correspondiente homomorfismo
sobreyectivo f10 : F1 −→ ker(f0 ), de tal forma que obtenemos la sucesión exacta
f1 f0
F1 −
→ F0 −
→ M → 0,
donde f1 := lf10 y l es la inclusión de ker(f0 ) en F0 . Podemos repetir esta construcción
para F1 y continuar de esta forma para obtener la sucesión exacta
fi+1 fi f1 f0
· · · → Fi+1 −−→ Fi −
→ Fi−1 → · · · → F1 −
→ F0 −
→ M → 0. (2.1.1)
Hemos demostrado que todo A-módulo M tiene al menos una sucesión exacta como
en (2.1.1) con módulos libres Fi , i ≥ 0. Esto también muestra que M tiene al menos
una sucesión exacta con módulos proyectivos Pi en la siguiente forma
fi+1 fi f1 f0
· · · → Pi+1 −−→ Pi −
→ Pi−1 → · · · → P1 −
→ P0 −
→ M → 0. (2.1.2)
Sea ahora N un A-módulo 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 CAPÍTULO 2. EXT
con f0∗ inyectivo. En efecto, como HomA ( , N ) es exacto a izquierda, entonces f0∗
∗
inyectivo y además fi+1 fi∗ = (fi fi+1 )∗ = 0∗ = 0. Esta última sucesión induce la
siguiente definición.
Definición 2.1.1. Sean M y N dos A-módulos, se definen los grupos abelianos
Ext0A (M, N ) := HomA (M, N ),
∗
(2.1.4)
ExtiA (M, N ) := ker(fi+1 )/Im(fi∗ ), i ≥ 1.
Notemos que la definición (2.1.4) parece depender de la resolución proyectiva
elegida. Sin embargo, se tiene la siguiente propiedad.
Teorema 2.1.2. Para cada i ≥ 0, el grupo ExtiA (M, N ) es independiente de la
resolución proyectiva (2.1.2).
Demostración. Dividimos esta prueba en varios pasos.
α
Paso 1. En primer lugar notemos que si M − → M 0 es un A-homomorfismo,
entonces construimos para M y para M 0 resoluciones proyectivas
fi+1 fi f1 f0
(P ) : · · · −−−−−−→ Pi+1 −−−−−−→ Pi −−−−−−→ · · · −−−−−−→ P1 −−−−−−→ P0 −−−−−−→ M −−−−−−→ 0
αy
(2.1.5)
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 ) −−−−−−→ · · ·
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
, además, α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 CAPÍTULO 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 además,
i∗
ExtiA (M, N )(Q) −
→i
ExtiA (M, N )(Q) ,
Según 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 resolución libre para M basta para calcular ExtiM (M, N ). Presentamos a
continuación una interpretación de los grupos Ext desde el punto de vista funtorial
(véase [18]).
2.1. DEFINICIÓN 65
definido por
αi∗ (h) = hαi ,
∗
donde h ∈ ker(gi+1 ). Notemos que si α = iM , entonces podemos tomar la misma
resolución 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 composición 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 colección de morfismos γi :=
βi αi también satisface esta condición. 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 demostración 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 CAPÍTULO 2. EXT
g0 g1 gi gi+1
(K) : 0 −−−−−−→ N 0 −−−−−−→ K0 −−−−−−→ · · · −−−−−−→ Ki−1 −−−−−−→ Ki −−−−−−→ Ki+1 −−−−−−→ · · ·
K0
p
6Ip p α0
g0 α pp
pp
N - L0
f0
2.2. PROPIEDADES BÁSICAS 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 construcción 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 BÁSICAS 69
f2 f1 f0
P2 −−−→ P1 −−−→ P0 −−−→ L −−−→ 0
0
yh
00
yh
yh (2.2.5)
ι π
0 −−−→ K −−−→ N −−−→ M −−−→ 0
Nótese que efectivamente h0 ∈ ker(f2K ). Para concluir este paso inicial veamos que
θ1 está 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 ; además, 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 ; además, se tienen las condiciones del diagrama (2.2.5). Necesitamos
definir un homomorfismo p : L → N tal que πp = h, con lo cual tendrı́amos
h = π∗ (p) ∈ Im(π∗ ); sea x ∈ L, existe u ∈ P0 tal que f0 (u) = x, definimos
p(x) := (h00 − ιt)(u). Se prueba fácilmente que p está bien definida; finalmente,
πp(x) := π(h00 − ιt)(u) = πh00 (u) − πιt(u) = hf0 (u) = h(x).
70 CAPÍTULO 2. EXT
Paso 2. Im(θ1 ) = ker(ι1 ): de manera más 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 fácilmente que ιi está 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 situación 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 fácil probar que h es un ho-
momorfismo bien definido, y además 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 análoga 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 fácilmente que πi está 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 también fi+1 (g) = gfi+1 = 0. Tenemos πg ∈ Im(fiM ), luego existe
N
Pi−1
p
t pp
pp
p h
pp
?
N π
- M
Notemos que Im(g−tfi ) ⊆ Im(ι): sea (g−tfi )(x) ∈ Im(g−tfi ), luego π(g−tfi )(x) =
πg(x) − πtfi (x) = hfi (x) − hfi (x) = 0, es decir, π(g − tfi )(x) ∈ ker(π) = Im(ι). Se
2.2. PROPIEDADES BÁSICAS 71
Pi
pp
h0 p p
p pp g−tfi
?
K ι
- N
Pi
p
h00 p p
pp
p h
pp
?
N π
- M
tenemos además 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 ,
además, por la defincición de θi+1 , existe h ∈ HomA (Pi , N ) tal que πh00 = h y
00
Teorema 2.2.2. Sea P un A-módulo. 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 porción 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 inducción sobre i: supongamos que ExtjA (M, N ) = 0
para cada 1 ≤ j ≤ i y cada A-módulo 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 (véase el
teorema 1.6.4). Sea I un ideal derecho de A y sea g : I → N un A-homomorfismo
ι j
y consideremos la sucesión exacta 0 → I − → A − → A/I, con j el homomorfismo
canónico. Se tiene entonces la sucesión exacta larga
74 CAPÍTULO 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 cı́clico, entonces entonces Ext1A (A/I, N ) = 0 y se obtiene la
porción 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 ).
Demostración. Dividimos
Q la demostración 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 (véase [15]). Consideremos entonces que i = 1.
Cada módulo Ns se puede sumergir en un módulo 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 sucesión exacta en la forma
0 → Kr → P r → M r → 0
y a partir de ésta 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
nótese 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 sucesión
exacta de RS −1 -módulos
θ 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 continuación 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-módulo libre, entonces ExtiA (F, N ) = 0 para cada
i ≥ 1 y cada A-módulo N . En particular,
ExtiA (A, N ) = 0, para cada i ≥ 1 y cada A-módulo 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, véase [15]). Con el teorema 2.2.4
podemos concluir que
Este ejemplo también 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 demostración 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-módulo Q/Z y
utilice el teorema 1.8.21).
Tor
y
T or0A (M, N ) := M ⊗ N .
La definición anterior parece depender de la resolución 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ón proyectiva (3.1.1).
81
82 CAPÍTULO 3. TOR
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)
ι⊗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 −
→ Pi−1 → · · · → P1 −
→ P0 −
→ L → 0;
84 CAPÍTULO 3. TOR
iN ⊗fi+2 iN ⊗fi+1
N i ⊗fi
· · · −−−−−→ N ⊗ Pi+1 −−−−−→ N ⊗ Pi −− −→ · · ·
π⊗iPi+1 y π⊗iPi y
Ns ) ∼
M M M
T oriA ( Mr , = T oriA (Mr , Ns ).
Demostración. Ideas similares a las de la demostración del teorema 2.2.4 pueden ser
usadas en este caso. La prueba se deja al lector (véase también [31], teoremas 6.3.8
y 6.3.9).
Terminamos esta sección con la siguiente generalización de la proposición 1.5.8.
3.2. EJEMPLOS 85
donde las flechas verticales son isomorfismos (véase la proposición 1.5.8). En efecto,
se tiene que
m⊗p
s
−−−→ m⊗fsi (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-módulo
derecho y N un A-módulo izquierdo. Entonces, T oriA (M, N ) = 0 para cada i ≥ 2.
f1 f0
→K −
En efecto, consideremos la resolución 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-módulo N . En particular,
86 CAPÍTULO 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 análogos a los anteriores se tienen por supuesto para T oriA (A/{xi, M )
con i ≥ 0 y M un A-módulo 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 resolución libre de A/J: · · · → F2 −
→ F1 −→A− → A/J →
0, con Fi libre para i ≥ 1 y π el homomorfismo canónico 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 aplicación
α
ker(g1 ) −
→ (I ∩ J)/IJ, α(y) := f1 (y).
Notemos que α está 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; además, 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, además, α 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 CAPÍTULO 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 sucesión exacta 0 → Im(fi+1 ) −
→ Pi −
→ Im(fi ) → 0 se obtiene la sucesión
exacta
i ⊗ι F i ⊗fi
0 → F ⊗ Im(fi+1 ) −F−→ F ⊗ Pi −− −→ F ⊗ Im(fi ) → 0,
3.3. TOR Y MÓDULOS PLANOS 89
T or1A (F, L00 /L0 ) → F ⊗ L0 → F ⊗ L00 , de donde, por la hipótesis (iv), la función
F ⊗ L0 → F ⊗ L00 es inyectiva.
Corolario 3.3.2. Sea F un A-módulo. 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 sucesión exacta 0 → I − → A → A/I → 0, con ι la inclusión, y obtenemos la
porción exacta
i ⊗ι
0 → T or1A (F, A/I) → F ⊗A I −F−→ F ⊗A A.
Según la hipótesis y el teorema 3.3.1, F es plano.
(i) F es plano.
α
(ii) Para cada ideal izquierdo I de A la función F ⊗A I −
→ F I dada por m⊗a 7→ m·a
es un isomorfismo.
α
(iii) Para cada ideal izquierdo f.g. I de A la función F ⊗A I −
→ F I dada por
m ⊗ a 7→ m · a es un isomorfismo.
ι
Demostración. (i)⇒(ii): si I −
→ A es la inclusión, 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 función 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 inclusión. Entonces, ker(iF ⊗ ι) ∼
= ker(l) = 0. Según el
corolario 3.3.2, F es plano.
f g
Proposición 3.3.4. Sea F un A-módulo plano y 0 → K − → F → − M → 0 una
sucesión exacta de A-módulos. Entonces las siguientes condiciones son equivalentes:
(i) M es plano.
If ⊗i I g⊗i
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ón exacta de A-módulos, 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; según el primer paso de la inducción, existe hr : Am → K tal
que hr [f (xr )] = xr . Definimos
x0i := xi − hr [f (xi )] ∈ K, 1 ≤ i ≤ r − 1.
Por inducción, 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. MÓDULOS 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 sucesión exacta larga de (i):
· · · → T oriD (D, M ) → T oriD (Q, M ) → T oriD (Q/D, M ) → T ori−1
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-módulo plano Q. Ası́ pues, T or1D (Q/D, M ) = 0.
Veamos entonces la prueba de la propiedad enunciada antes. Existe un D-módulo
inyectivo N y un homomorfismo inyectivo φ : M → N ; consideremos la composición
φ 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 TORSIÓN 99
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 ) 1⊗f1
? ?
αM 0
0 - T or D (Q/D, M 0 )
T (M ) 1
α i⊗l1
T (M ) - T or D (Q/D, T (M )) - T or D (Q/D, M )
1 1
T (f ) i⊗T (f )1 i⊗f1
? ? ?
0 α0 - T or D (Q/D, T (M 0 )) - T or D (Q/D, M 0 )
T (M ) 1 1
i⊗l10
donde α y α0 son los isomorfismos de la parte (i), es decir, α = εθ1 , α0 = ε0 θ10 , con
ε : D⊗M → M , ε0 : D⊗M 0 → M 0 los isomorfismos habituales. La idea es demostrar
que i ⊗ l1 y i ⊗ l10 son isomorfismos y0 que los dos rectángulos conmutan, con lo cual
0
αM := i ⊗ l1 α y αM 0 := i ⊗ l1 α .
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
i⊗s2 i⊗s1
··· - Q/D ⊗ T2 - Q/D ⊗ T1 - Q/D ⊗ T0 - 0
? ? ?
i⊗h2 i⊗h1
··· - Q/D ⊗ M2 - Q/D ⊗ M1 - Q/D ⊗ M0 - 0
i⊗h02 i⊗h01
? ? ?
··· - Q/D ⊗ M 0 - Q/D ⊗ M 0 - Q/D ⊗ M 0 - 0
2 1 0
6 6 6
i⊗l20 i⊗l10 i⊗l00
i⊗s02 i⊗s01
··· - Q/D ⊗ T 0 - Q/D ⊗ T 0 - Q/D ⊗ T 0 - 0
2 1 0
i⊗l1 i⊗f1
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 CAPÍTULO 3. TOR
donde
ker(i ⊗ s1 ) i⊗l1
-
ker(i ⊗ h1 )
Im(i ⊗ s2 ) Im(i ⊗ h2 )
t - (i ⊗ l )(t)
1
ker(i ⊗ h1 ) i⊗f1
-
ker(i ⊗ h01 )
Im(i ⊗ h2 ) Im(i ⊗ h02 )
m - (i ⊗ f )(m)
1
u - (i ⊗ l0 )(u)
1
También,
s2 s1 s0
··· - T2 - T1 - T0 - T (M ) - 0
T (f )2 T (f )1 T (f )0 T (f )
implica
i⊗s2 i⊗s1
··· - Q/D ⊗ T2 - Q/D ⊗ T1 - Q/D ⊗ T0 - 0
i⊗s02 i⊗s01
? ? ?
··· - Q/D ⊗ T 0 - Q/D ⊗ T 0 - Q/D ⊗ T 0 - 0
2 1 0
3.6. TOR Y TORSIÓN 103
luego
i⊗T (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 (i⊗s1 )(t∗ ) ∈ ker(π⊗iT0 ) = Im(ι⊗iT0 ), con lo cual (i⊗s1 )(t∗ ) = (ι⊗iT0 )(t0 )
104 CAPÍTULO 3. TOR
εT (M ) θ1 (t) := s0 (t0 )
con t = (π ⊗iT1 )(t∗ ), t∗ ∈ Q⊗T1 y (i⊗s1 )(t∗ ) = 1⊗t0 con t0 ∈ T0 . De forma análoga,
α0 := θ10−1 ε−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 TORSIÓN 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 análoga, i ⊗ l10 es un isomorfismo.
Veamos entonces la conmutatividad del rectángulo: 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 CAPÍTULO 3. TOR
0 → D → Q → Q/D → 0
ahora, como T or1D (Q, M ) = 0, entonces aplicando (iv) queda la siguiente porción
exacta
0 → T (M ) → M → Q ⊗ M → Q/D ⊗ M → 0.
(vi) Parte (v) de la Proposición 1.5.3. Otra manera: como vimos en (i), si M es de
torsión entonces Q ⊗ M = 0. Recı́procamente, si Q ⊗ M = 0, entonces S0−1 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 inducción 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 torsión.
i = 1: Para M se tiene siempre una sucesión exacta de la forma
0→L→P →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 porción 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 torsión.
(viii) Inducción sobre i. i = 1: Comenzamos asumiendo que N es sin torsión,
según (v) se tiene la siguiente sucesión exacta:
0 → N → Q ⊗ N → Q/D ⊗ N → 0
es exacta, donde Q ⊗ N es un Q-espacio; además,
Q/D ⊗ N = T or0D (Q/D, N )
es de torsión ya que Q/D es de torsión (parte (vii)). Por tanto, aplicamos la sucesión
exacta larga
· · · → T or2D (M, Q/D ⊗ N ) → T or1D (M, N ) → T or1D (M, Q ⊗ N ) → T or1D (M, Q/D ⊗ N ) → · · ·
Según (vii), T or2D (M, Q/D ⊗N ) es de torsión pues Q/D ⊗N es de torsión y además
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 módulo de torsión
T or2D (M, Q/D ⊗ N ), de donde, T or1D (M, N ) es de torsión.
Ahora supongamos que N es arbitrario, consideremos la sucesión
0 → T (N ) → N → N/T (N ) → 0
resulta entonces la sucesión exacta larga
α β
· · · → T or1D (M, T (N )) −
→ T or1D (M, N ) −
→ T or1D (M, N/T (N )) → · · ·
donde Im(β) e Im(α) son de torsión, esto implica que T or1D (M, N ) es de torsión.
En efecto, se tiene en general la siguiente propiedad: si L/P es de torsión y P es
de torsión, entonces L es de torsión: 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 torsión 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 capı́tulo las técnicas consideradas en los anteriores para estu-
diar algunas de las dimensiones de módulos y anillos usadas con mayor frecuencia
en álgebra homológica, y en general, en álgebra tanto conmutativa como no conmu-
tativa.
(ii) Se dice que M tiene dimensión proyectiva finita si M tiene al menos una
resolución proyectiva finita. Si este no es el caso, se dice que la dimensión
proyectiva de M es infinita y se escribe pd(M ) = ∞.
109
110 CAPÍTULO 4. DIMENSIONES DE MÓDULOS 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 dimensión proyectiva de módulo nulo como
igual a cero, en cambio si definimos la longitud de la resolución nula como igual a
−1, entonces el numeral (iv) en la definición anterior tiene sentido.
(ii) A partir de esta definición es claro que un A-módulo no nulo P es proyectivo
si, y sólo si, pd(P ) = 0. De manera completamente análoga se define la dimensión
inyectiva de un módulo M a través de resoluciones inyectivas, y se denota por
id(M ). Se tiene entonces que un A-módulo no nulo N es inyectivo si, y sólo si,
id(N ) = 0. De igual manera, usando resoluciones planas del módulo M , se define la
dimensión plana y se denota por fd(M ). Se tiene en este caso que M no nulo es
plano si, y sólo si, fd(M ) = 0.
(iii) Puesto que todo módulo proyectivo es plano, entonces fd(M ) ≤ pd(M ).
Algunas caracterizaciones de estas dimensiones en términos de los grupos Ext y
T or se presentan a continuación.
Teorema 4.1.3. Sean M un A-módulo y n ≥ −1. Entonces las siguientes condi-
ciones son equivalentes:
(i) pd(M ) ≤ n.
(iii) Extn+1
A (M, N ) = 0, para cada A-módulo N .
de M , ker(fn−1 ) es proyectivo.
fn fn−1 f1 f0
· · · → Pn −→ Pn−1 −−→ Pn−2 → · · · → P1 −
→ P0 −
→ M → 0.
de M ; sea Kn−1 := ker(fn−1 ), entonces es claro que para cada módulo N se tiene
Extn+1 ∼ n ∼ n−1 ∼ ∼ 1
A (M, N ) = ExtA (ker(f0 ), N ) = ExtA (ker(f1 ), N ) = · · · = ExtA (Kn−1 , N ),
fn fn−1 f1 f0
· · · → Pn −→ Pn−1 −−→ Pn−2 → · · · → P1 −
→ P0 −
→ M → 0.
de donde pd(M ) ≤ n.
(iii)⇒(v): consideremos una sucesión exacta de A-módulos 0 → N 0 → N →
N 00 → 0, aplicamos la sucesión exacta larga y obtenemos
· · · → ExtnA (M, N 0 ) → ExtnA (M, N ) → ExtnA (M, N 00 ) → Extn+1 0
A (M, N ) = 0,
fn fn−1 f1 f0
· · · → Pn −→ Pn−1 −−→ Pn−2 → · · · → P1 −
→ P0 −
→ M → 0.
Como Pn−1 es proyectivo, entonces αP∗ es sobreyectivo, como ExtnA (M, ) es exac-
∗
to a derecha, entonces αn∗ es sobreyectivo, y entonces es fácil probar que αK es
sobreyectivo. Esto indica que Kn−1 es proyectivo y la sucesión
(iii) Extn+1
A (M, N ) = 0, para cada A-módulo M .
de N , Im(fn ) es inyectivo.
de M , ker(fn−1 ) es plano.
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MÓDULO 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) Según (iii) se tiene que pd(M ) ≤ n; puesto que pd(M 0 ) = n, exite un A-
módulo N0 tal que ExtnA (M 0 , N0 ) 6= 0 (de lo contrario pd(M 0 ) ≤ n − 1). Se tiene la
sucesión 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 ), según (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 módulo N se
tiene que ExtkA (M 00 , N ) = 0, luego de la suceción exacta larga
pd(M ) < pd(M 0 ) ≤ m0 = máx{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 := máx{pd(M 0 ), pd(M 00 )};
para cualquier A-módulo 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 análogas de las propiedades presentadas en la proposición anterior se
pueden establecer para las dimensiones inyectiva y plana. En particular podemos
enunciar las siguientes.
Demostración. (i) Para cada A-módulo izquierdo L se tiene la sucesión 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-módulo izquierdo L0 para el cual
T ornA (M 0 , L0 ) 6= 0; con la sucesión 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.
Demostración. Supongamos que ExtnA (M, F ) = 0 para cada módulo libre F ; sea N
un A-módulo arbitrario, entonces N ∼
= F/K, con F libre; se tiene la sucesión exacta
0 → K → F → F/K → 0; aplicamos la sucesión exacta larga y obtenemos
Por hipótesis 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 módulo cı́clico M .
Aplicamos el teorema 2.2.3 y obtenemos que Hn es inyectivo. Resulta entonces la
resolución inyectiva
f0 f1 fn
0→N −
→ E0 −
→ E1 → · · · → En−1 −→ Hn → 0,
luego id(N ) ≤ n para cada módulo 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 sólo si,
rgld(A) = 0 si, y sólo si, A es semisimple a izquierda si, y sólo si, lgld(A) = 0. Basta
probar la afirmación por el lado derecho ya que un anillo es semisimple a derecha
si, y sólo si, es semisimple a izquierda (véase [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 CAPÍTULO 4. DIMENSIONES DE MÓDULOS Y ANILLOS
Ejemplo 4.2.7. Sea A un anillo. Entonces, A es hereditario a derecha si, y sólo si,
rgld(A) ≤ 1. En particular, si R es un dominio de integridad, R es un dominio de
Dedekind si, y sólo 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 proposición 4.1.6 a la
sucesión 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 proposición 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 sólo si, para
cada módulo simple MR , M ⊗ F 6= 0.
Definición 4.7.1. Sea A un anillo. Para cada ordinal α ≥ −1 se definen las si-
guientes clases Kα de A-módulos:
(ii) Se asume que la clase Kβ está definida para cada β < α y se define Kα de
la siguiente manera: M ∈ Kα si, y sólo si, para
S cada cadena de submódulos
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ólo si, M 0 ∈ Kα .
Se dice que la dimensión de Krull de M existe, o que está 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ón de Krull de M y se escribe Kdim(M ) = α. Si para
cada α, M ∈ / Kα , entonces se dice que M no tiene dimensión de Krull.
Proposición 4.7.2. Sean α ≥ 0 y M un módulo. Entonces, Kdim(M ) ≤ α si, y
sólo si, para cada cadena descendente M0 ⊇ M1 ⊇ · · · de submódulos de M se tiene
que Kdim(Mi /Mi+1 ) < α, para casi todo i.
Demostración. ⇒): 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 ) está definida y
Kdim(Mi /Mi+1 ) < α.
⇐): la condición impuesta indica que para casi todo i los cocientes Mi /Mi+1
tienen dimensión de Krull, digamos,
S Kdim(Mi /Mi+1 ) := αi < α, luego Mi /Mi+1 ∈
Kαi , de donde Mi /Mi+1 ∈ β<α Kβ , es decir, M ∈ Kα , o en forma equivalente,
Kdim(M ) ≤ α.
La siguiente proposición establece que la dimensión de Krull de un módulo M
mide que tan cerca está M de ser artiniano.
Proposición 4.7.3. Kdim(M ) = 0 si, y sólo si, M 6= 0 y M es artiniano.
Demostración. ⇒): M 6= 0 ya que de lo contrario Kdim(M ) = −1; sea M0 ⊇
M1 ⊇ · · · una cadena descendente de submódulos de M , entonces por la proposición
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 ∈ / K−1 ; puesto que cada cadena descendente de submódulos
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-módulo noetheriano.
Teorema 4.7.5. Sean N ⊆ M módulos. Entonces, Kdim(M ) existe si, y sólo si,
Kdim(N ) y Kdim(M/N ) existen. En tal caso,
pero esto significa que Kdim(M ) ≤ α. Esto completa la prueba del teorema.
0 = M 0 M1 · · · Mn = M
Demostración. Según el teorema 4.7.5, Kdim[(A/I)A ] existe. Puesto que los A/I-
submódulos de A/I coinciden con sus A-submódulos, 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).
(i) Existe una colección finita P1 , . . . , Pn de ideales primos minimales (no nece-
sariamente distintos) tales que P1 · · · Pn = 0.
Demostración. (i) Probemos primero que existe una colección 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 colección de ideales biláteros 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 colección de biláteros
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 además existen ideales primos P 1 , . . . , P m , Q1 , . . . , Qn en A tales que
4.8. DIMENSIÓN DE KRULL DE UN ANILLO 135
de donde
0 → P1 → P0 → P0 /P1 → 0,
con lo cual rKdim(A) = Kdim(P0 ) = máx{Kdim(P1 ), Kdim(P0 /P1 )} ≤ k.
4.9. Ejercicios
1. Demuestre la proposición 4.1.7.
[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[4] M. Fontana, J.A. Huckaba and I.J. Papick, Prüfer Domains, Marcel
Dekker, New York, 1997. 122
[5] Gallego, C. and Lezama, O., Gröbner bases for ideals of σ−P BW extensions,
to appear in Comminications in Algebra, 39, 2011, 1–26 .
[9] Kaplansky, I., On the dimension of rings and modules, X, Nagoya Math. J,
13, 1958. 137
138
BIBLIOGRAFÍA 139
[16] Lezama, O., Cuadernos de Álgebra, No. 4: Álgebra lineal, SAC2 , Departa-
mento de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
www.matematicas.unal.edu.co/sac2. 5, 15, 23, 33
[17] Lezama, O., Cuadernos de Álgebra, No. 6: Anillos y módulos, SAC2 , Depar-
tamento de Matemáticas, Universidad Nacionalde Colombia, sede de Bogotá,
www.matematicas.unal.edu.co/sac2 v, 23, 41, 95, 117, 118, 120, 132, 133
[20] Li, H., Noncommutative Gröbner 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 algébriques cohérents, Ann. Math., 61, 1955, 191-278.
140 BIBLIOGRAFÍA
[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.