Académique Documents
Professionnel Documents
Culture Documents
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 2015
ii
Prólogo v
2. Ext 67
2.1. Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.2. Propiedades básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3. Tor 87
3.1. Definición y propiedades básicas . . . . . . . . . . . . . . . . . . . . . 87
3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.3. Tor y módulos planos . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.4. Módulos planos y matrices . . . . . . . . . . . . . . . . . . . . . . . . 99
3.5. Torsión de un módulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
3.6. Tor y torsión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
iii
iv CONTENIDO
Bibliografı́a 146
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érvemos 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)
d
ker(t1 ) −
→ ker(t2 ) −
→ ker(t3 ) −
→ coker(t1 ) −
→ coker(t2 ) −
→ coker(t3 ),
donde d(k3 ) := h−1 −1
1 t2 f2 (k3 ) + Im(t1 ), con k3 ∈ ker(t3 ). Además, si f1 es inyectivo,
entonces ker(t1 ) −
→ ker(t2 ) es inyectivo, y si h2 es sobreyectivo, entonces coker(t2 ) −
→
coker(t3 ) es sobreyectivo.
Demostración. En el siguiente diagrama los homomorfismos li son las inyecciones,
los ji son los homomorfismos canónicos y coker(ti ) = Ni /Im(ti ), i = 1, 2, 3:
g1 g2 d
ker(t1 ) −−−→ ker(t2 ) −−−→ ker(t3 ) −−−→ · · ·
l l l
y1 y2 y3
f1 f2
M1 −−−→ M2 −−−→ M3 −−−→ 0
t t t
y1 y2 y3
h
1 h2
0 −−−→ N1 −−−→ N2 −−−→ N3
j j j
y1 y2 y3
d p1 p2
· · · −−−→ coker(t1 ) −−−→ coker(t2 ) −−−→ coker(t3 )
Notemos que las tres columnas del diagrama anterior son exactas. Debemos definir
los homomorfismos gi , pi , 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
1.1. SUCESIONES EXACTAS 9
0 −→ 2Z −→ Z −→ Z2 −→ 0,
al aplicar el funtor HomZ (Z2 , −) (véase [19]) 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
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
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 [19]), 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.7 consideraremos los módulos inyectivos.
Teorema 1.2.2. Sea P un A-módulo. Entonces las siguientes condiciones son equi-
valentes:
1.2. MÓDULOS PROYECTIVOS 11
(i) P es proyectivo.
Pp
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
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
⊕Pi
6
µi πi
?
t
Pi
g
h
?
M f
- N
⊕Pi
g
?
M f
- N
1.2. MÓDULOS PROYECTIVOS 13
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 = A(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 .
Para los módulos proyectivos f.g. es posible dar una caracterización matricial.
f g
Definición 1.2.10. Una sucesión exacta corta 0 → M1 −
→ M2 −
→ M3 → 0 es
hendida si g es un homomorfismo hendido.
f g
Proposición 1.2.11. La sucesión exacta 0 → M1 −
→ M2 −
→ M3 → 0 es hendida si,
y sólo si, f es hendido.
f g
Corolario 1.2.12. 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 → M → 0
0 → K2 → Qn → Qn−1 → · · · → Q1 → N → 0
con Pi , Qi proyectivos, 1 ≤ i ≤ n, y M ∼
= N , entonces
K1 ⊕ Qn ⊕ Pn−1 ⊕ Qn−2 ⊕ · · · ∼
= K2 ⊕ Pn ⊕ Qn−1 ⊕ Pn−2 ⊕ · · ·
ΦM : M → M ∗∗ , ΦM (m)(ϕ) := ϕ(m), ϕ ∈ M ∗ , m ∈ M .
es biyectivo, es decir, M ∗∗ ∼
= M.
f ∗∗ g ∗∗
0 → M1∗∗ −−→ M2∗∗ −−→ M3∗∗ → 0,
g 0∗∗ f 0∗∗
0 → M3∗∗ −−→ M2∗∗ −−→ M1∗∗ → 0.
(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).
1.4. PRODUCTO TENSORIAL 21
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.
22 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
(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).
(k) 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 [15] para la noción de soporte de un elemento de una suma directa
externa. Para z = 0 se tiene que β(0) := 0.
1.4. PRODUCTO TENSORIAL 23
HomC (B MA ⊗A NC ,D LC ) ∼
= HomA (B MA , HomC (A NC ,D LC )) . (1.4.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 [14] 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 [14]); 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 [27], 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
26 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
−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.
Corolario 1.5.4. Sea A un anillo que posee anillo de fracciones a derecha respecto
del sistema multiplicativo S. Si A0 es un anillo con homomorfismo g : A → A0 tal
que g(S) ⊆ A∗0 y A0 también cumple la propiedad universal, entonces A0 ∼
= AS −1 .
Demostración. Basta aplicar dos veces la propiedad universal tanto a A0 como a
AS −1 para construir homomorfismos h : AS −1 → A0 y h0 : A0 → AS −1 tales que
sus compuestas dan las aplicaciones idénticas.
Proposición 1.5.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.
aA ( aA ⊕ saA ( aA ⊕ saA ⊕ s2 aA ( · · · ,
lo cual es una contradicción ya que A es noetheriano a derecha.
m a m·c
s
· t
:= tu
, con au = sc, c ∈ A, u ∈ S.
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
1.6. MÓDULO DE FRACCIONES 35
Proposición 1.6.3. Sea A un anillo que posee anillo de fracciones a derecha res-
pecto del sistema multiplicativo S. Entonces,
f1 f2
0 −→ M1 −→ M2 −→ M3 −→ 0,
Corolario 1.6.4. Sea A un anillo que posee anillo de fracciones a derecha respec-
to del sistema multiplicativo S. Entonces, S −1 : M odA → M odAS −1 es un funtor
covariante, aditivo y exacto.
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
pp
p pp
pp
g 00
p p p g0
pp
pp
? +
M S −1 ⊗RS −1 N S −1
(i) M = 0.
(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 ).
40 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
Teorema 1.7.1. Sea N un A-módulo. Entonces las siguientes condiciones son equi-
valentes:
(i) N es inyectivo.
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
1.7. MÓDULOS INYECTIVOS 41
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.7.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.
42 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
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 pp
6 Ip p t p p
g p p pp
p p pp
M f
- L
N
6
g
I ι
- A
1.7. MÓDULOS INYECTIVOS 43
N
p
6Ip p h
g pp
pp
I ι
- A
N
6
g
M f
- L
(i) N es inyectivo.
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 .
Proposición 1.7.8. Sea A un anillo. Entonces las siguientes condiciones son equi-
valentes:
(i) A es semisimple.
h
(α1 )θ1 f (m) = θ1h (f (m) ⊗ 1) = hf (m) (1);
por otro lado
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) 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
p g
pp
?
Q - Q0
f
1.7. MÓDULOS INYECTIVOS 49
(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
P f
?
M - M 00
t
p
P
p pp
s h p
−1
p p
p pp
?
M t
- M 00
50 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
HomA (B MA ,C NA ) ⊗B LD ∼
= HomA (HomB (B LD ,B MA ),C NA ).
Proposición 1.8.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ódulo izquierdo plano. En
particular, si D es un dominio de Ore a derecha, entonces Qr (D) es un D-módulo
izquierdo plano.
Teorema 1.8.3. Sea N un A-módulo. Entonces las siguientes condiciones son equi-
valentes:
(i) N es plano.
1.8. MÓDULOS PLANOS 51
A
i(N ⊗ B) ⊗f
(N ⊗A B) ⊗B M1 −−−− −−→ (N ⊗A B) ⊗B M2
↓ ↓
N ⊗A (B ⊗B M1 ) N ⊗A (B ⊗B M2 )
↓ ↓
i ⊗f
N
N ⊗A M1 −− −→ N ⊗A M2
Se tiene entonces que i(N ⊗A B) ⊗f es inyectivo, y por lo tanto, N ⊗A B es B-plano.
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
L i∈C (iNi ⊗f ) L
i∈C (N i ⊗ M 1 −−−−−−−
) − → i∈C (Ni ⊗ M2 ) es inyectivo, y en consecuencia cada ho-
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
L i∈C (iNi ⊗f ) L
i∈C (N i ⊗LM 1 ) −
− −−−−−−→ L i∈C (Ni ⊗ M2 ) es inyectivo, y por lo tanto, el homo-
morfismo ( i∈C Ni ) ⊗ M1 → ( i∈C Ni ) ⊗ M2 es inyectivo.
(i) N es plano.
HomR (M, N ) ⊗R L ∼
= HomR (M, N ⊗R L).
q0 p0
0 −−−−→ HomR (M, N ⊗R L) −−−−→ HomR (Rs , N ⊗ L) −−−−→ HomR (Rr , N ⊗R L)
HomR (MR , NR ) ∼
= HomA (M ⊗R A, NA )
Puesto que las dos flechas verticales de la derecha son isomorfismos, entonces la
primera es también un isomorfismo.
La siguiente propiedad es dual a la proposición 1.6.8.
Proposición 1.8.11. Sean R un anillo conmutativo, S un sistema multiplicativo de
R, M un R-módulo de presentación finita y N un R-módulo arbitrario. Entonces,
se tiene el RS −1 -isomorfismo
HomR (M, N )S −1 ∼
= HomRS −1 (M S −1 , N S −1 ).
Demostración. HomR (M, N )S −1 ∼ = HomR (M, N ) ⊗R RS −1 , pero como RS −1 es R-
plano, por la proposición 1.8.9 se obtiene el R-isomorfismo HomR (M, N )⊗R RS −1 ∼ =
−1 −1
HomR (M, N S ); podemos ahora aplicar la proposición 1.8.10 con A := RS y
obtenemos el R-isomorfismo HomR (M, N )S −1 ∼ = HomR (M S −1 , N S −1 ), pero según
la proposición 1.6.3 (vi), este es un RS −1 -isomorfismo.
M0 := 0,
P0
g
?
Q - Q0
f
Q0
p
6 Ip p t
g pp
pp
P0 ι
- P
P
pp
h p p
p t
pp
?
Q - Q0
f
Corolario 1.9.22. Sea R un DI. R es un DD si, y sólo si, cada R-módulo divisible
en inyectivo.
1.10. Ejercicios
f h g
1. Sea M1 − → M2 − → M3 −
→ M4 exacta. Demuestre que f es sobreyectiva si, y sólo
si, g es inyectiva.
(i) Si las dos últimas filas son exactas, entonces la primera fila es exacta.
(ii) Si las dos primeras filas son exactas, entonces la última fila es exacta.
64 CAPÍTULO 1. ELEMENTOS BÁSICOS DE ÁLGEBRA HOMOLÓGICA
0 → K1 → Pn → Pn−1 → · · · → P3 → P2 ⊕ Q1 → ker(f1 ) ⊕ Q1 → 0
0 → K2 → Qn → Qn−1 → · · · → Q3 → Q2 ⊕ P1 → ker(g1 ) ⊕ P1 → 0.
7. Demuestre las propiedades (a) - (f); (i), (j,) (l), (q) y (r) de la sección 1.3.
Q Q
8. 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.
9. Demuestre que Q ⊗Z Q ∼
= Q.
10. Sea R → B un homomorfismo de anillos conmutativos y sean M, N dos R-
módulos. Demuestre que
(M ⊗R N ) ⊗R B ∼
= (M ⊗R B) ⊗B (N ⊗R B).
0 → M → E1 → L1 → 0,
0 → N → E2 → L2 → 0,
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
[16]) 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)
67
68 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 ) −−−−−−→ · · ·
donde las filas son complejos. Entonces se inducen los homomorfismos de grupos
α∗
ExtiA (M 0 , N )(Q) = ker(gi+1
∗
)/Im(gi∗ ) −→
i ∗
ker(fi+1 )/Im(fi∗ ) = ExtiA (M, N )(P )
definidos por
2.1. DEFINICIÓN 69
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
).
70 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 [19]).
2.1. DEFINICIÓN 71
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.
72 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 73
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 75
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).
76 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 77
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.7.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
80 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 [16]). 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 83
por ejemplo,
De otra parte, puesto que Q es Z-inyectivo (corolario 1.7.6), 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 [16]). 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 85
?
M f
- N
2.4. Ejercicios
1. Calcule:
(i) Ext1A (Mn (A), N ), donde A es un anillo, Mn (A) es el anillo de matrices
cuadradas de tamaño n × n, n ≥ 1, y N es un A-módulo derecho.
(ii) Ext1A (M, Mn (A)), donde A es un anillo tal que AA es inyectivo y M es
un A-módulo derecho.
2. Realice la demostración de la parte (i) del teorema 2.2.1.
3. Realice la demostración del teorema 2.2.5.
4. Demuestre la siguiente generalización del teorema 2.2.5. Sean R un anillo con-
mutativo noetheriano y B una R-álgebra conmutativa plana. Entonces, para
cada i ≥ 0 y cualesquiera R-módulos M y N , con M f.g., se tiene el B-
isomorfismo
86 CAPÍTULO 2. EXT
ExtiR (M, N ) ⊗R B ∼
= ExtiB (M ⊗R B, N ⊗R B).
7. Sean
fi+1 fi f1 f0
· · · → Pi+1 −−→ Pi −
→ Pi−1 → · · · → P1 −
→ P0 −
→ M → 0.
gi+1 gi g1 g0
· · · → Qi+1 −−→ Qi −
→ Qi−1 → · · · → Q1 −
→ Q0 −
→ M → 0.
dos resoluciones proyectivas del módulo M . Sean Kn := ker(fn ), Kn0 := ker(gn ),
n ≥ 0. Demuestre que Kn y Kn0 son proyectivamente equivalentes (sugerencia:
utilice el lema 1.2.14).
9. 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.9.21).
π∗ ι∗
0 −→ ExtiA (M, L) −→
i
ExtiA (N, L) −
→i
ExtiA (K, L) −→ 0.
Capı́tulo 3
Tor
y
T or0A (M, N ) := M ⊗A 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).
87
88 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;
90 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 [33], teoremas 6.3.8
y 6.3.9).
Terminamos esta sección con la siguiente generalización de la proposición 1.6.8.
3.2. EJEMPLOS 91
donde las flechas verticales son isomorfismos (véase la proposición 1.6.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
En efecto, consideremos la resolución proyectiva de N , 0 −
→K − → P → N → 0,
entonces iM ⊗ fi = 0 para i ≥ 2, luego T oriA (M, N ) = 0, para cada i ≥ 2 y cada
A-módulo N . En particular,
92 CAPÍTULO 3. TOR
Por ejemplo,
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.
Por ejemplo,
donde las flechas verticales son los isomorfismos naturales, 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: en
efecto, sea z ∈ (I ∩ J)/IJ con z ∈ I ∩ J, entonces z ∈ I y z ∈ J = Im(f1 ), de donde
z = f1 (y), con y ∈ F1 , luego y ∈ ker(g1 ) y α(y) = f1 (y) = z.
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; luego 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,
(
0, m = 0, 1 o n = 0, 1
T or1Z (Zm , Zn ) =
Zd , m ≥ 2, n ≥ 2, con d := m.c.d.(m, n).
La última igualdad se justifica de la siguiente manera: (hmi ∩ hni)/(hmihni) =
hm.c.m(m, n)i/hmni ∼= Zd .
94 CAPÍTULO 3. TOR
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,
de donde Im(iF ⊗ ι) = ker(iF ⊗ fi ). Pero nótese que Im(iF ⊗ ι) = Im(iF ⊗ fi+1 ),
luego T oriA (F, N ) = 0.
(ii)⇒(iii)⇒(iv)⇒(v): evidentes.
ι
(v)⇒(iv): sea I un ideal izquierdo de A; consideremos la sucesión exacta 0 → I − →
π
A− → A/I → 0; aplicamos la sucesión exacta larga y obtenemos la porción exacta 0 →
i ⊗ι i ⊗ι
T or1A (F, A/I) → F ⊗ I −F−→ F ⊗ A, si probamos que F ⊗ I −F−→ F ⊗ A es inyectivo,
entonces T or1A (F, A/I) = 0. Sea z := f1 ⊗a1 +· · ·+ft ⊗at ∈ ker(iF ⊗ι); consideremos
ι0
el ideal izquierdo I0 := ha1 , . . . , at } y la inclusión I0 −
→ A, con ι0 := ι|I0 ; notemos
3.3. TOR Y MÓDULOS PLANOS 95
Sea L00 /L0 ∼ = A/I, con I un ideal izquierdo de A, consideremos la sucesión exacta
0 → L → L00 → L00 /L0 → 0, de la sucesión exacta larga resulta la porción exacta
0
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.
Ejemplo 3.3.2. Puesto que Q es Z-plano, entonces T oriZ (Q, N ) = 0 para i ≥ 1 y
cada grupo abeliano N , y de manera particular,
T oriZ (Q, Q) = T oriZ (Q, R) = T oriZ (Q, C) = 0, para i ≥ 1.
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.3, F es plano.
f g
Proposición 3.3.5. 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
z = z1 · a1 + · · · + zm · am , con zi ∈ Z, ai ∈ A, 1 ≤ i ≤ m.
⇐): sea I un ideal izquierdo de A, por la proposición 3.3.5, basta demostrar que
f (K)∩F I = f (K)I. La inclusión f (K)I ⊆ f (K)∩F I es trivial; sea f (x) ∈ f (K)∩F I
con x ∈ K, en particular f (x) ∈ F I, luego If (x) ⊆ I, y en consecuencia, KIf (x) ⊆
KI, pero por la hipótesis x ∈ KIf (x) , de donde x ∈ KI, luego f (x) ∈ f (K)I.
Definimos
x0i := xi − hr [f (xi )] ∈ K, 1 ≤ i ≤ r − 1.
Por inducción, existe
(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 105
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 )
108 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 109
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 )
110 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 111
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),
112 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.6.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.
5. Calcule:
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[x ,...,x ]
= T ori 1 n (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 ) = ∞.
Observación 4.1.2. (i) Nótese que para un módulo no nulo todas las resoluciones
proyectivas son no nulas. En cambio, el módulo nulo puede tener resoluciones no
iP 0
nulas y la nula: 0 → P −→ P −→ 0 → 0, con P cualquier proyectivo no nulo, y
0
0 → 0 → 0 → 0. Si P es proyectivo no nulo, entonces 0 → P −→ 0 → 0 no es exacta.
115
116 CAPÍTULO 4. DIMENSIONES DE MÓDULOS Y ANILLOS
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 es natural definir pd(0) := −1.
(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.
(ii) ExtkA (M, N ) = 0, para cada A-módulo N y k ≥ n + 1.
(iii) Extn+1
A (M, N ) = 0, para cada A-módulo N .
Extn+1 n n−1 1
A (M, N ) = ExtA (ker(f0 ), N ) = ExtA (ker(f1 ), N ) = · · · = ExtA (ker(fn−1 ), N ).
en la cual
Qi := Pi+1 , gi := fi+1 , i ≥ 0.
Por lo tanto,
Extn+1 ∗ ∗ ∗ ∗ n
A (M, N ) = ker(fn+2 )/Im(fn+1 ) = ker(gn+1 )/Im(gn ) = ExtA (ker(f0 ), N ).
fn fn−1 f1 f0
· · · → Pn −→ Pn−1 −−→ Pn−2 → · · · → P1 −
→ P0 −
→ M → 0.
fn fn−1 f1 f0
0 → Kn−1 −→ 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 →
00
N → 0, aplicamos la sucesión exacta larga y obtenemos
fn fn−1 f1 f0
· · · → Pn −→ Pn−1 −−→ Pn−2 → · · · → P1 −
→ P0 −
→ M → 0.
α
→ N 0 es un homo-
Además, Ext1A (Kn−2 , N ) = ExtnA (M, N ); por lo tanto, si N −
morfismo sobreyectivo, entonces resulta el siguiente diagrama conmutativo con filas
exactas:
HomA (Pn−1 , N ) −−−→ HomA (Kn−1 , N ) −−−→ ExtnA (M, N ) −−−→ 0
α∗ α∗ ∗
y P y K yαn
HomA (Pn−1 , N 0 ) −−−→ HomA (Kn−1 , N 0 ) −−−→ ExtnA (M, N 0 ) −−−→ 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
(i) id(N ) ≤ n.
(iii) Extn+1
A (M, N ) = 0, para cada A-módulo M .
de N , Im(fn ) es inyectivo.
(i) fd(M ) ≤ n.
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MÓDULO 119
de M , ker(fn−1 ) es plano.
· · · → Extm+1
A (M 0 , N ) −
→ Extm+2
A (M 00 , N ) −
→ Extm+2
A (M, N ) → · · ·
M 00 ∼
= M serı́a proyectivo. Consideremos dos casos posibles:
Caso 1. pd(M 0 ) = ∞, debemos ver que pd(M 00 ) = ∞. Supongamos lo con-
trario, sea pd(M 00 ) = m, entonces Extm+1A (M 00 , N ) = 0 para cada módulo N , luego
0 0
Extm A (M , N ) = 0, es decir, pd(M ) ≤ m − 1, falso.
120 CAPÍTULO 4. DIMENSIONES DE MÓDULOS Y ANILLOS
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
· · · → 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.
4.1. DIMENSIONES PROYECTIVA, INYECTIVA Y PLANA DE UN MÓDULO 121
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
· · · → ExtnA (M, K) → ExtnA (M, F ) → ExtnA (M, N ) → Extn+1
A (M, K) → · · · .
122 CAPÍTULO 4. DIMENSIONES DE MÓDULOS Y ANILLOS
Por hipótesis y con el toerema 4.1.3 se tiene que ExtnA (M, F ) = 0 = Extn+1
A (M, K),
n
entonces ExtA (M, N ) = 0, para cada N , en consecuencia pd(M ) ≤ n − 1, lo cual es
falso.
Proposición 4.1.10. Sea {Mi }i∈C una familia de A-módulos. Entonces,
L
pd( i∈C Mi ) = sup{pd(Mi )}i∈C .
Demostración. Consideremos dos casos posibles. L
(i) sup{pd(MLi )}i∈C = ∞, veamos que pd( i∈Cm+1 = ∞. Supongamos lo con-
Mi )L
trario, sea pd( i∈C MQ i ) := m < ∞, entonces ExtA ( i∈C Mi , N ) = 0 para cada
módulo N , luego 0 = i∈C Extm+1 A (M i , N ) = 0, de donde Extm+1
A (Mi , N ) = 0 para
cada N y cada i, esto indica que pd(Mi ) ≤ m para cada i, luego sup{pd(Mi )}i∈C ≤
m, falso. L
(ii) Sea sup{pd(M i )} i∈C := m < ∞. Probemos entonces que pd( Li∈C Mi ) = m:
se tieneL m+1
L ∼ Q m+1
ExtA ( i∈C Mi , N ) = i∈C ExtA (Mi , N ) = 0, luego pd( i∈C Mi ) ≤ m;
sea pd( i∈C Mi ) := n, hemos L entonces demostrado Q que nn+1≤ m.
n+1
Si tiene que ExtA ( i∈C Mi , N ) = 0 = i∈C ExtA (Mi , N ), por lo tanto
n+1
ExtA (Mi , N ) = 0 para cada i y cada N , por lo tanto, pd(Mi ) ≤ n, con lo cual
sup{pd(Mi )}i∈C ≤ n, es decir, m ≤ n, luego m = n.
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. (i) 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 [18]).
124 CAPÍTULO 4. DIMENSIONES DE MÓDULOS Y ANILLOS
Demostración. Esto se sigue del hecho que todo módulo proyectivo es plano.
A
T orn+1 (A/I, L) ∼
= T or1A (A/I, Kn−1 ),
luego T or1A (A/I, Kn−1 ) = 0. Aplicamos el teorema 3.3.1 y obtenemos que Kn−1 es
plano, con lo cual se tiene la resolución plana
f1 f0
0 → Kn−1 → Pn−1 → · · · → P1 −
→ P0 −
→ L → 0,
en consecuencia fd(L) ≤ n para cada módulo L. Por lo tanto, wgld(A) ≤ n.
La prueba por el lado izquierdo es análoga.
Ejemplo 4.4.3. Sea n ≥ 2, recordemos que Zn es semisimple si, y sólo si, n es libre
de cuadrados (véase [18]). En este caso se tiene que gld(Zn ) = wgld(Zn ) = 0.
R/I
p
6 Ip p
f p pg
pp
pp
J/I ι
- R/I
128 CAPÍTULO 4. DIMENSIONES DE MÓDULOS Y ANILLOS
Se tiene entonces que A es regular de von Neumann a derecha si, y sólo si,
wgld(A) = 0, y por lo tanto, A es regular de von Neumann a derecha si, y sólo si, A
es regular de von Neumann a izquierda.
Teorema 4.5.3. Sea A un anillo. Entonces las siguientes condiciones son equiva-
lentes:
(i) wgld(A) ≤ 1.
(v) Para cada A-módulo derecho M y cada A-módulo izquierdo N , T or2A (M, N ) =
0.
L ⊗R F = 0 ⇔ L = 0.
Por ejemplo, todo módulo libre no nulo es fielmente plano. Una caracterización
de los módulos fielmente planos se presenta en la siguiente proposición.
Proposición 4.6.4. Sea R F plano. Entonces, las siguientes condiciones son equi-
valentes:
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.
Para los anillos de fracciones ninguno de los dos teoremas anteriores aplica, pero
se tiene el siguiente resultado.
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,
casi todo i se tiene β > βi = Kdim(g(Mi )/g(Mi+1 )), luego β > βi > αi − 1, es decir,
β > βi ≥ αi para casi todo i. Esto concluye la demostración.
Proposición 4.7.10. Sea M 6= 0 un A-módulo tal que Kdim(M ) existe. Sea f ∈
EndA (M ) inyectivo. Entonces, Kdim(M ) ≥ Kdim(M/Im(f )) + 1.
Demostración. Como M 6= 0, Kdim(M ) ≥ 0; sabemos que α := Kdim(M/Im(f ))
existe. Si α = −1 no hay algo que demostrar; sea pues α ≥ 0. Consideremos la cadena
M ⊇ Im(f ) ⊇ Im(f 2 ) ⊇ · · · , se tiene que Im(f i )/Im(f i+1 ) ∼
= M/Im(f ) para cada
i i+1
i, es decir, Kdim(Im(f )/Im(f )) = Kdim(M/Im(f )) = α, luego Kdim(M ) > α,
es decir, Kdim(M ) ≥ α + 1 = Kdim(M/Im(f )) + 1.
Definición 4.7.11. Sean M 6= 0 un módulo y α ≥ 0.
(i) Se dice que M es α-crı́tico si Kdim(M ) = α y para cada submódulo no nulo
N de M se tiene que Kdim(M/N ) < α.
0 = M0 M1 · · · Mn = M
α := rKdim(A) ≥ rKdim(A/N ) := β.
4.8. DIMENSIÓN DE KRULL DE UN ANILLO 143
Resta ver que γ ≥ α: como A es noetheriano a derecha existe una colección fini-
ta de ideales primos minimales, no necesariamente distintos, P1 , . . . , Pn tales que
P1 · · · Pn = 0 (en realidad la colección de primos minimales de A es finita, véase la
proposición 4.8.10). Por la proposición 4.8.5, para cada 1 ≤ i ≤ n se tiene que
Veamos que con esto podemos completar la demostración de γ ≥ α; con tres casos
particulares que examinemos podremos más adelante inducir una prueba general y
completar la demostración: si n = 1, entonces P1 = 0 y entonces Kdim(A/0)A =
rKdim(A/P1 ), es decir, rKdim(A) = rKdim(A/P1 ); si n = 2, entonces P1 P2 = 0, por
lo probado arriba resulta Kdim[(P1 /P1 P2 )A ] ≤ rKdim(A/P2 ), es decir, Kdim(P1 )A ≤
rKdim(A/P2 ), además Kdim[(A/P1 )A ] = rKdim(A/P1 ), luego por el teorema 4.7.5,
de donde
4.9. Ejercicios
1. Demuestre la proposición 4.1.7.
[4] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[5] M. Fontana, J.A. Huckaba and I.J. Papick, Prüfer Domains, Marcel
Dekker, New York, 1997.
[6] Gallego, C. and Lezama, O., Gröbner bases for ideals of σ−P BW extensions,
Comminications in Algebra, 39 (1), 2011, 50-75.
[10] Kaplansky, I., On the dimension of rings and modules, X, Nagoya Math. J,
13, 1958.
146
BIBLIOGRAFÍA 147
[17] Lezama, O., Cuadernos de Álgebra, No. 4: Álgebra lineal, SAC2 , Departa-
mento de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2.
[18] Lezama, O., Cuadernos de Álgebra, No. 6: Anillos y módulos, SAC2 , Depar-
tamento de Matemáticas, Universidad Nacionalde Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2
[20] Lezama, O., Cuadernos de Álgebra, No. 9: Álgebra no conmutativa, SAC2 , De-
partamento de Matemáticas, Universidad Nacionalde Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2
[22] Li, H., Noncommutative Gröbner Bases and Filtered-Graded Transfer, Lecture
Notes in Mathematics, Vol. 1795, Springer, 2002.
[24] Quillen, D., Proyective modules over polynomial rings, Invent. Math., 36,
1976, 167-171.
[29] Serre, J. P., Faisceaux algébriques cohérents, Ann. Math., 61, 1955, 191-278.
[31] Suslin, A.A., Proyective modules over polynomial rings are free, Soviet Math.
Dokl., 17, 1976, 1160-1164.
[32] Suslin, A.A., On the structure of the special linear group over polynomial
rings, Math. USSR-Izv. 11, 1977, 221-238.