Uxrvrasroxo Nxcroxxi Atr oxomx or M rxrco

Fxctirxo or Crrxcrxs
ALGUNAS PROPIEDADES BSICAS DE
CLASES PROPIAS
T E S I S
QUE PARA OBTENER EL TTULO DE:
MATEMTICO
PRESENTA:
FERNANDO CORNEJO MONTAO
DIRECTOR DE TESIS:
Dr. FRANCISCO FEDERICO RAGGI CRDENAS
2009
ndice general
ndice general 1
1. Preliminares 5
1.1. Funtores y Clases Propias . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Extensiones Propias . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1. Sucesiones exactas largas inducidas . . . . . . . . . . . . . . 13
1.3. Algunas condiciones de cerradura . . . . . . . . . . . . . . . . . . . 20
1.4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2. Proyectivos Relativos 25
2.1. Clases Propias generadas proyectivamente . . . . . . . . . . . . . . 25
2.2. Clases Propias con sucientes proyectivos . . . . . . . . . . . . . . . 29
3. Teoras de Torsin 35
3.1. Subfuntores de la identidad . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Pureza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3. Pext . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
A. Sucesiones exactas 45
A.1. Sucesiones exactas cortas . . . . . . . . . . . . . . . . . . . . . . . . 45
A.2. Sucesiones exactas largas . . . . . . . . . . . . . . . . . . . . . . . . 50
B. Homologa 55
B.1. Cohomologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
B.2. Resoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Bibliografa 59
1
Introduccin
El concepto de Clase Propia de sucesiones exactas cortas surge principalmente en
dos circunstancias. La primera es el estudio de grupos puros y el intento por generali-
zar ciertas propiedades homolgicas relacionadas a ellos. La segunda es su uso en la
categora de mdulos considerando un cambio de anillos.
Si bien las Clases Propias tienen relacin con E-funtores, el presente trabajo se
basa en la denicin axiomtica dada por Buchsbaum [4]. El objetivo de esta tesis es
estudiar algunos conceptos en Clases Propias para una categora abeliana considerando
el funtor Ext
n
E
(C, A) como el conjunto de clases de congruencia de sucesiones exactas
propias de longitud n, de A a C.
El estudio se divide en tres apartados. En el captulo 1 se dene el grupo Ext
n
E
(C, A),
que es isomorfo al n-simo grupo de cohomologa del complejo Hom(X,A) (con
X C una resolucin proyectiva propia de C), cuando la clase propia tiene sucien-
tes proyectivos. Asimismo, se demuestran varias propiedades de cerradura bajo sumas,
productos y lmites directos.
En el segundo captulo se estudian propiedades de proyectivos relativos a clases
propias, as como la existencia de sucientes proyectivos.
Finalmente, se analizan las clases propias que surgen a partir de una teora de tor-
sin considerando el funtor T que asigna a cada objeto su subobjeto mximo de torsin.
La clase de sucesiones exactas cortas para las cuales todo objeto de torsin es proyec-
tivo es la clase de aquellas sucesiones exactas cortas tal que al aplicarles el radical
idempotente T la sucesin resultante es exacta y escinde. Luego, para una clase de ob-
jetos arbitraria de objetos O cerrada bajo cocientes, se obtiene una teora de torsin
(T , F) y se comparan las
1
(O) y
1
(T ).
Se anexa un apndice donde se demuestra que Ext
n
A
es un bifuntor y que dene
un grupo abeliano. Adems, en el apndice B se enuncian propiedades homolgicas
usadas en el captulo 1.
Este trabajo se basa principalmente en el libro Homology [13], as como en los
artculos Relative homological algebra in categories of modules [16] y Pure Sub-
modules [17].
3
Captulo 1
Preliminares
Los conceptos bsicos que se usan en este documento para denir una clase propia
son detallados en [8].
Sea 7 una categora abeliana con c una clase de sucesiones exactas cortas. c
m
denota la clase de los mono de las sucesiones exactas cortas que estn en c. De la
misma manera c
e
denota la clase de los epi relativos a la clase de sucesiones exactas
cortas mencionada.
Denicin 1. c se llama clase propia si se cumple lo siguiente:
P0 c es cerrada bajo isomorsmos.
P1 (
A
,
C
) : A A C C c para A, C Obj(7).
P2 , c
m
implica c
m
, cuando la composicin tiene sentido.
P2* , c
e
implica c
e
cuando la composicin tiene sentido.
P3 Si c
m
y es mono, entonces c
m
.
P3* Si c
e
y es epi, entonces c
e
.
Los dos primeros axiomas implican que c est determinada por c
m
o por c
e
. Ade-
ms cualquier equivalencia derecha o izquierda de un morsmo propio es propio. Cuan-
do es mono propio y tiene codominio A, la clase de consiste de mono propios y se
llama subobjeto propio de A (tambin se denotar con el smbolo
c
).
Denicin 2. Un morsmo es propio si Nuc y Conuc son propios (o equivalen-
temente, si Im y Coim son propios).
Lema 1. Si c
m
, entonces 1
D
c
m
para cualquier objeto D.
Demostracin. Sea (, ) : A B C exacta propia. Luego, c
e
por hiptesis y

B
c
e
por el axioma P1, donde
B
: B D B es la proyeccin natural en B; por
lo tanto

=
B
c
e
. Adems la sucesin ( 1
D
,

) : A D B D C es
exacta y en consecuencia 1
D
c
m
.
5
6 CAPTULO 1. PRELIMINARES
Proposicin 1. La suma directa de dos sucesiones exactas propias es exacta propia.
Demostracin. Si E
1
= (
1
,
1
), E
2
= (
2
,
2
) son exactas propias, entonces E
1
E
2
es exacta propia pues
1

2
= (
1
1
A
2
)(1
A
1

2
), y con base en lema anterior la
composicin es propia.
Dos sucesiones exactas cortas E = (, ), E

= (

) son congruentes, si existe

un morsmo con =

= . Por el lema del 5, es una equivalencia (es

decir, tiene una inversa izquierda y derecha).
Proposicin 2. Si la sucesin exacta corta propia E = (, ) : A B C escinde
mediante : C B (es decir, = 1
C
), entonces c
m
y E es congruente a la suma
directa: A A C C . Recprocamente, cualquier sucesin congruente a la suma
directa escinde.
Demostracin. La expresin = implica (1 ) = 0 y como es un ncleo
de existe el morsmo tal que = 1 . Adems de = = 0 se
obtiene = 0 y de = = se deduce = 1
A
. Sea =
1
+
2
,
con
1
: A C A,
2
: A C C. Entonces
1
=
1

1
+
2

1
= y
=
1
+
2
=
2
=
2
. As, E es congruente a la suma directa y =

2
+
2

2
=
2
, por consiguiente c
m
.
Si E es congruente a la suma directa, existe el morsmo : A C B con

1
= , =
2
y en consecuencia
2
=
2

2
= . Cancelando se obtiene

2
= 1.
Proposicin 3. c
m
y c
e
son cerradas bajo sumas bradas y productos brados res-
pectivamente.
Demostracin. La demostracin se har para c
e
pues para el caso de c
m
la comproba-
cin es dual. Sean f
i
: M
i
M con i = 1, 2 y f
1
c
e
. Para estos morsmos existe su
producto brado que se obtiene a partir del morsmo p = f
1

1
f
2

2
y de la sucesin
exacta P M
1
M
2
M, con
i
: M
1
M
2
M
i
la proyeccin natural en M
i
,
= Nuc p y

1
=
1
,

2
=
2
.
P
=

2
//

M
2
f
2

M
1
f
1
//
M
(1.1)
Adems existe el siguiente diagrama conmutativo con renglones exactos
K
=
//
h
2
//
P
=

2
// //

M
2
f
2

K
//
h
1
//
M
1
f
1
// //
M
por lo tanto h
2
= (
1

1
+
2

2
)h
2
=
1

1
h
2
+
2

2
h
2
=
1

1
h
2
=
1
h
1
c
m
y del
axioma P3 se tiene h
2
c
m
, lo que implica

2
c
e
.
1.1. FUNTORES Y CLASES PROPIAS 7
Como resultado de la proposicin anterior, no es necesario que en P3 el morsmo
sea mono, ni que en P3

el morsmo sea epi. As, se reemplazarn respectivamente

por las expresiones equivalentes:

P3 Si c
m
, entonces c
m
.

P3

Si c
e
, entonces c
e
.
Proposicin 4. En el diagrama de producto brado (1.1), si f
1
c
m
y f
2
c
e
,
entonces

1
c
m
. El dual tambin es vlido.
Demostracin. Sea g
1
Conuc f
1
. El resultado se deduce de que g
1
f
2
Conuc

2
para
cualquier f
2
no necesariamente epi y si f
2
c
e
se tiene lo que se quera demostrar.
P
=
//

2
//

M
2
= f
2

g
1
f
2
// //
M/M
1
M
1
f
1
// // //
M
g
1
// //
M/M
1

1.1. Funtores y Clases Propias

En esta tesis se denotar por S.E.C. a la familia de todas las sucesiones exactas
cortas en la categora 7.
Lema 2. Si 7, J son categoras abelianas y T : 7 J un funtor aditivo exacto
izquierdo o derecho, covariante o contravariante entonces T
1
(/) es clase propia si
/ lo es.
Demostracin. Sea T un funtor exacto derecho contravariante con c = T
1
(/).
(0) Si / es cerrado bajo isomorsmos, entonces T
1
(/) tambin.
(1) Para (
A
,
C
) : A A C C se tiene
1
T(C)
= T(1
C
) = T(
C
)T(
C
)
1
T(A)
= T(1
A
) = T(
A

A
) = T(
A
)T(
A
)
(2) Supngase : A B, : B D c
m
. Entonces T() = T()T() /
e
por
P2* y del lema del 5 resulta el diagrama conmutativo con renglones y columnas
exactos:
A
=
//

//
B
=

// //
C

A
//

//
D
=

// //
G

D/B D/B
8 CAPTULO 1. PRELIMINARES
Aplicando T se obtiene el diagrama
T(C)
=
//
T()
//
T(B)
=
T()
// //
T(A)
T(G)
T()
OO
OO
=
//
T()
//
T(D)
T()
OO
OO
T()
// //
T(A)
T(D/B)
OO
T()
OO
T(D/B)
OO
T()
OO
luego, (T(), T()) / y c
m
.
(3) Si c
m
y es mono, T() = T()T() /
e
por

P3, entonces T() /

e
.
A
=
//

//
B
=

// //
C

A
//

//
D
=

// //
G

D/B D/B
Por lo tanto existe el diagrama conmutativo
T(C)
=
T()
//
T(B)
=
T()
// //
T(A)
T(G)
T()
OO
OO
=
//
T()
//
T(D)
T()
OO
OO
T()
// //
T(A)
T(D/B)
T()
OO
T(D/B)
T()
OO
Usando el lema del 5 resulta que T() es mono, pues T() es mono y en conse-
cuencia c
m
.
(2

) Considrese : B C, : C D c
e
. Entonces T() = T()T() /
m
(por P2) implica c
e
.
(3

) Sea c
e
, por lo tanto T() = T()T() /
m
y por P3 T() /
m
. En
consecuencia c
e
.

Denicin 3. Sean T(M, B) un funtor aditivo en B (covariante o contravariante) exac-

to izquierdo o derecho y que depende de M 7, O Obj(7) y c S.E.C.
t
1
(O) = E S.E.C. T(M, E) es exacta M O
t(c) = M Obj(7) T(M, E) es exacta E c
1.2. EXTENSIONES PROPIAS 9
Lema 3. Para O Ob j(7) y c S.E.C. se tiene lo siguiente:
1. O t(t
1
(O))
2. c t
1
(t(c))
3. t
1
(O) = t
1
(t(t
1
(O)))
4. t(c) = t(t
1
(t(c)))
Demostracin.
1. t
1
(O) = E S.E.C. T(M, E) es exacta M O y adems para cualquier
objeto M O se tiene que M t(E S.E.C. T(M, E) es exacta M O).
2. t(c) = M Obj(7) T(M, E) es exacta E c implica directamente la con-
tensin t
1
(t(c)) c.
3. De (2) se obtiene t
1
(O) t
1
(t(t
1
(O))) y por el inciso (1) la contensin O
t(t
1
(O)) implica t
1
(O) t
1
(t(t
1
(O))).
4. Por (1) t(c) t(t
1
(t(c))) y de la contensin c t
1
(t(c)) se obtiene t(c)
t(t
1
(t(c))).

De estos ltimos resultados se concluye que hay una correspondencia biyectiva

entre la familia

c de las clases propias de la forma t
1
(O) con O Obj(7) y las
familias de objetos de la categora abeliana 7de la forma t(c).
1.2. Extensiones Propias
El propsito de esta seccin es denir el bifuntor Ext
n
c
y demostrar la existencia de
sucesiones exactas largas a partir de una sucesin exacta corta propia.
Dada la sucesin exacta E = (, ) : A B C y el morsmo : C

C,
existe el diagrama conmutativo con renglones exactos
A
=
//

//
D
=

// //
C

A
//

//
B

// //
C
que se obtiene a partir del producto brado de y . Se dene E como la sucesin
exacta E

= (

). De forma dual se dene E para el morsmo : A A

. En el
apndice A se exponen detalladamente estos conceptos.
Para los objetos arbitrarios A y C, se dene Ext
1
c
(C, A) como el conjunto de las
clases de congruencia de sucesiones exactas cortas de A a C c-propias (por el axioma
IX.1 de [8] sobre conjuntos de extensiones, se puede considerar Ext
1
c
(C, A) como un
conjunto).
10 CAPTULO 1. PRELIMINARES
Teorema 1. Dada una clase propia c en la categora abeliana 7, Ext
1
c
(C, A) es un
bifuntor en 7. La suma E
1
+ E
2
=
A
(E
1
E
2
)
C
lo hace un bifuntor en los grupos
abelianos.
Demostracin. Si E c, por la proposicin 3 se cumple E c, E c para
cualesquiera morsmos y , cuando dichas composiciones tienen sentido. Adems
(E) (E) (proposicin 36, apndice A). Si E
1
, E
2
c, entonces E
1
E
2
c por
la proposicin 1, y en consecuencia E
1
+ E
2
c.
En adelante se usar la notacin para simbolizar Im = Nuc .
Teorema 2. Para la sucesin exacta corta E = (, ) : A B C c, existe la
sucesin exacta
0
//
Hom(C, G)

0
//
Hom(B, G)

0
//
Hom(A, G)
E
0
//
Ext
1
c
(C, G)

1
//
Ext
1
c
(B, G)

1
//
Ext
1
c
(A, G)
con E
0
() = E,
1
(S ) = S ,
1
(S ) = S . De forma dual, existe la sucesin exacta
0
//
Hom(G, A)

0
//
Hom(G, B)

0
//
Hom(G, C)
E
0
//
Ext
1
c
(G, A)

1
//
Ext
1
c
(G, B)

1
//
Ext
1
c
(G, C)
con E
0
(

) = E,
1
(S ) = S,
1
(S ) = S.
Demostracin.
(
0
E
0
)
() Si Hom(B, G), entonces E
0
(
0
()) = E
0
() = ()E (E) 0.
() Cuando NucE
0
, existe el siguiente diagrama conmutativo
A
=
//

//

B
=

// //
C
G
//

G
//
G C

C
// //
C
y en consecuencia =
G

G
=
G
=
0
(
G
).
(E
0

1
)
() Hom(A, G) implica
1
(E
0
()) =
1
(E) = (E) (E) 0.
() Si F = (
F
,
F
) Nuc
1
, se tienen los diagramas conmutativos
G
=
//

F
//
D
=

F
// //
C
G
//

G
//
G B

OO

B
// //
B

OO
OO
1.2. EXTENSIONES PROPIAS 11
G
//

F
//
D
=

F
// //
C
A
//

//
B

B
OO

// //
C
Debido a que
F

B
= , entonces existe el morsmo : A G tal que

F
=
B
y por el corolario 5 del apndice A, el morsmo de sucesiones
exactas cortas (,
B
, 1
C
) se factoriza de forma nica mediante E E. Por lo
tanto E F.
(
1

1
)
() F Ext
1
c
(C, G) implica
1
(
1
(F)) =
1
(F) = (F) = 0.
() Sea F = (
F
,
F
) Nuc
1
, entonces se tiene el diagrama conmutativo
G
=
//

F
//
H
=

F
// //
B
G
//

G
//
G A

OO

A
// //
A
OO

OO
Adems
F

A
=
A

A
= y
F

A
= 0, por lo tanto existe un morsmo
: H/A C tal que =
F
.
A
=
//

A
//
H
=
F

// //
H/A

A
//

//
B

// //
C
Ahora se demostrar . Sea : H T tal que = 0. La expresin
G
=

F
= 0 implica que existe un morsmo : B T con
F
= . Luego,

A
=
F
= = 0, por lo tanto = 0 y entonces existe un morsmo
: C T tal que = . En consecuencia =
F
=
F
= .
Por la observacin 2, F

= (
G
, ) es exacta y por lo tanto F

F.
G
=
//

G
//
H/A
=

// //
C
G
//

F
//
H

F
// //

OO
B

OO
OO

Denicin 4. La sucesin exacta S de longitud n en la categora 7, de la forma

0
//
A

n
//
B
n1

n1
//
B
n2

n2
// . . .

1
//
B
0

0
//
C
//
0
es c-propia si cada
i
es c-propio.
12 CAPTULO 1. PRELIMINARES
La sucesin anterior puede representarse mediante la composicin de Yoneda como
S = E
n
E
n1
E
1
, factorizando sus morsmos en una composicin de n sucesiones
exactas cortas.
Para el morsmo : C

C se dene la composicin S = E
n
E
n1
(E
1
)
y de la misma forma se dene S = (E
n
) E
n1
E
1
para : A A

.
Por la proposicin IX.4.1 de [8], S es c-propia si y slo si cada E
i
es c-propia.
Denicin 5. Dos sucesiones exactas propias de longitud n, S y S

son congruentes si
S

puede obtenerse de la primera sucesin mediante una cantidad nita de reemplazos

empleando las reglas siguientes:
(i) Se intercambia alguna E
i
por una sucesin exacta corta congruente.
(ii) Si dos factores sucesivos tienen la forma E

, se reemplazan por E

con E

, E

c y un morsmo.
(iii) Si dos factores sucesivos tienen la forma E

, se cambian por E

con
E

, E

c y un morsmo.
En la segunda seccin del apndice A se demuestran algunas propiedades impor-
tantes de las sucesiones exactas largas.
Denicin 6. Ext
n
c
(C, A) es el conjunto que tiene como elementos las clases de con-
gruencia de sucesiones exactas propias de A a C, de longitud n.
La denicin anterior es posible al suponer el axioma IX.1 de [8]. Asimismo ocurre
que Ext
n
c
(C, A) es un bifuntor covariante en A y contravariante en C.
Proposicin 5. La suma
1
+
2
est denida para
1
,
2
, en el mismo Ext
n
c
(C, A) y
hace a Ext
n
c
(C, A) un grupo abeliano. Las propiedades distributivas
(
1
+
2
) =
1
+
2
, (
1
+
2
) =
1
+
2
y la propiedad asociativa () = () se cumplen cuando las adiciones y composi-
ciones estn denidas.
Demostracin. La demostracin es anloga al caso Ext
n
7
(ver apndice A).
Una categora aditiva graduada g es una categora en la cual cada hom
g
(C, A) es el
conjunto unin de una familia de grupos abelianos hom
n
(C, A)
nN
y la composicin
induce un morsmo de grupos abelianos
hom(B, C) hom(A, B) hom(A, C)
de grado 0 , tal que g es aditiva si se considera nicamente los morsmos hom
0
(C, A).
En particular, cada morsmo de una categora aditiva graduada tiene un grado.
Ahora considrese una sucesin exacta larga S de longitud n, de A a C, como un
morsmo de grado n de C a A y el morsmo original de C a A de grado 0.
Proposicin 6. Toda clase propia c en la categora abeliana 7 determina una cate-
gora aditiva graduada E
c
(7) tal que sus objetos son los objetos de 7y hom
n
(A, B) =
Ext
n
c
(A, B); en particular con hom
0
(A, B) = Hom
7
(A, B). En E
c
(7), la composicin
se tiene por la composicin de Yoneda . La adicin se dene por
cls(S
1
+ S
2
) = cls(
B
(S
1
S
2
)
A
)
1.2. EXTENSIONES PROPIAS 13
1.2.1. Sucesiones exactas largas inducidas
Dada c una clase propia en 7, una categora abeliana, las sucesiones exactas largas
propias congruentes S y S

son tambin congruentes como sucesiones exactas largas

impropias. Esto da una transformacin natural de bifuntores
f
n
: Ext
n
c
(A, B) Ext
n
7
(A, B)
y en particular, por la proposicin 2 f
1
es un monomorsmo que manda Ext
1
c
(A, B)
al subgrupo de Ext
1
7
(A, B) formado por todas las sucesiones exactas cortas c-propias.
Para n>1 no necesariamente es cierto, ya que si S S

es c-propia, no signica que

S S

lo es.
La c-proyectividad del objeto A, es equivalente a la condicin
Ext
n
c
(A, B) = 0 n 1, B Obj(7)
Se cumple tambin que las sumas directas y sumandos directos de objetos c-
proyectivos son c-proyectivos. La c-proyectividad es equivalente a la condicin de
que cualquier epi C P c
e
escinda. Para c-inyectivos se dan los resultados duales.
Como en el caso general, cualquier sucesin exacta en c da origen a dos sucesiones
exactas largas respecto al primer y segundo argumento, lo cual se puede demostrar sin
usar proyectivos ni inyectivos.
Si la sucesin exacta E = (, ) : A B C es propia, se denen los morsmos:

n
(S ) = S , con
n
: Ext
n
c
(B, G) Ext
n
c
(A, G), S Ext
n
c
(B, G)

n
(S ) = S , tal que
n
: Ext
n
c
(C, G) Ext
n
c
(B, G), S Ext
n
c
(C, G)
E
n
(S ) = (1)
n
S E, si E
n
: Ext
n
c
(A, G) Ext
n+1
c
(C, G), S Ext
n
c
(A, G)
De manera dual se denen:

n
(S ) = S , con
n
: Ext
n
c
(G, A) Ext
n
c
(G, B), S Ext
n
c
(G, A).

n
(S ) = S , tal que
n
: Ext
n
c
(G, B) Ext
n
c
(G, C), S Ext
n
c
(G, B)
E
n
(S ) = (1)
n
ES , con E
n
: Ext
n
c
(G, C) Ext
n+1
c
(G, A), S Ext
n
c
(G, C)
En lo sucesivo se utilizar la siguiente notacin: para una sucesin exacta corta F, los
morsmos
F
,
F
simbolizan su mono y epi correspondientes.
Lema 4. Si
n
E
n
para toda sucesin E c, entonces E
n

n+1
y
n+1

n+1
.
Demostracin.
(E
n

n+1
) ()
n
(E
n1
(S )) =
n
((1)
n1
S E) = ((1)
n1
S E) = (1)
n1
S (E) = 0.
() Sea S Nuc
n+1
. Luego, S se puede escribir de la siguiente manera S =
TF con F Ext
1
c
y T Ext
n
c
.
Por hiptesis Im
n
F
= Nuc(F)
n
, lo que implica T U
F
para alguna
extensin U Ext
n
c
. Adems
F
F 0 (por la proposicin 37, apndice
A) y E
0

1
(se demostr en el Teorema 2), por lo tanto
F
F E
0
() = E
para algn morsmo Ext
0
c
. En consecuencia S UE E
n
(U).
14 CAPTULO 1. PRELIMINARES
(
n+1

n+1
) ()
n+1
(
n+1
(S )) =
n+1
(S ) = S 0.
() Sea S Nuc
n+1
. Adems S = TF para alguna extensin T Ext
n
c
, F
Ext
1
c
. De la hiptesis (Im(
F
)
n
= Nuc(F)
n
) se deduce T U
F
para
alguna sucesin U Ext
n
c
. Pero
F
F = 0 y por hiptesis
1

1
, por lo
tanto
F
F
1
(

E) para alguna extensin

E Ext
1
c
. Luego, S TF
U

E.

Lema 5. Si F Ext
1
c
(A, G), E Ext
1
c
(C, A) son equivalentes
(i) F F

E
p.a. F

Ext
1
c
(ii) E
F
E

p.a. E

Ext
1
c
(iii) FE 0
(iv) F 0, E = E

p.a. y p.a. E

Ext
1
c
Demostracin.
(i)(ii) Se tiene el diagrama conmutativo
G
=
//

F
//
D
=

F
// //
A

G
//

F

//
D

// //
B

C
y adems
E

F
por el razonamiento siguiente:
Si : D

H tal que = 0, entonces

F
=
F
= 0. sto implica la
existencia un morsmo : B H con
F
= . Luego,
E

F
=
F
=
= 0 y por lo tanto
E
= 0. De lo que se inere la existencia de : C H
tal que
E
= , y en consecuencia
E

F
=
F
= .
(ii)(i) Existe el diagrama conmutativo
G
//

F
//
D
=
E

F
// //
A

=
E

// //
B

C C
y
E

F

F
por el siguiente argumento:
1.2. EXTENSIONES PROPIAS 15
Sea : H D

tal que
F
= 0, Entonces
E

F
= 0 implica que existe un
morsmo : H D con
E
= . Por otro lado
E

F
=
F

E
=
F
= 0,
y dado que
E
es mono, se tiene
F
= 0. Por lo tanto, se deduce la existencia
de : H G con
F
= , de lo que se concluye
E

F
=
E
= .
(ii)(iii) E =
F
E

por hiptesis. Entonces FE = F

F
E

0E

= 0 por la proposicin
37 del apndice A.
(iii)(ii) La expresin F E denotar que F y E satisfacen la propiedad (ii).
Si F
0
= (1
G
, 0) : G G 0 y E
0
= (0, 1
C
) : 0 C C, la composicin
F
0
E
0
0 es el cero de Ext
2
c
(C, G) y se cumple la relacin F
0
E
0
pues
E
0

F
0
E

0
, donde E

0
: G G C C.
Ntese entonces, que por la denicin de congruencia de sucesiones, para llegar
a F E es suciente demostrar lo siguiente:
(a) F E F E
(b) F E F E
Demostracin
(a) Supngase F = F

E
. Se demostrar F = F

E
.
Por hiptesis tenemos el diagrama conmutativo
A
=

//

E
//
B
=

E
// //
C
A
//

E
//
B

E
// //
C
y entonces
E
=
E
, por consiguiente F

E
= F

E
= F.
(b) Considrese E =
F
E

y el diagrama conmutativo

//

F
//


F
// //

=
//

F
//

=
OO

F
// //

OO
por lo tanto E =
F
y E

=
F
E

.
(ii)(iv) Sea =
F
, entonces F
F
0 y E =
F
E

.
(iv)(ii) Supngase F = (
F
,
F
) : G D A c, entonces por el teorema 2 existe la
sucesin exacta
Hom(L, G)
//
Hom(L, D)
(
F
)
1
//
Hom(L, A)
F
1
//
Ext
1
c
(L, G)
Si F 0 se deduce que existe el morsmo Hom(L, D) tal que =
(
F
)
1
() =
F
. Por lo tanto E = E

=
F
E

16 CAPTULO 1. PRELIMINARES
Lema 6. Para n N, S Ext
n
c
(A, G) y E Ext
1
(C, A) son equivalentes:
(i) S = S

E
p.a. S

Ext
n
c
(ii) S 0, E = E

p.a. Ext
0
(iii) S E 0
Demostracin. Por induccin sobre n, la longitud de S.
El caso para n=1 se tiene por el lema anterior. Supngase ahora que la equivalencia
de los tres incisos se da para n-1. Ahora se demostrar para n.
(i)(ii) Si S

= TF

, con F

Ext
1
c
se tiene S S

E
TF

E
. Sea F = F

E
,
entonces se deduce del lema 5 que E
F
E

. Por lo tanto E =
F
E

y S
F
=
S

F
= TF

F
TF
F
0 (Proposicin 37, apndice A).
(ii)(i) Considrese E E

, S 0 y S = TF con T Ext
n1
c
. Se deduce 0 TF =
(F)
n1
(T) y entonces, por hiptesis inductiva, existe la sucesin T

Ext
n1
c
tal que T = (
F
)
n1
(T

) = T

F
. Luego, S T

F
F y como E E

se
llega a 0
F
FE

F
FE. Por el Teorema 2,
F
F F

E
para alguna
extensin F

Ext
1
c
y nalmente S T

F
F T

E
.
(i)(iii) Se sigue directamente de las hiptesis, pues S E = S

E
E 0.
(iii)(i) Sea S E la relacin dada por (ii). El cero en Ext
n+1
c
(G, C) tiene una facto-
rizacin 0

S

E con

S = (1
G
, . . . , 0) : G 0 0 0 Ext
n
c
y

E = (0, 1
C
) : 0 C C. Adems existe el diagrama conmutativo
G
=
G
=

//
0

// . . . //
=
0

// //
=
0

G G
//
0
// . . . //
C C
y tambin existe la sucesin S

Ext
n
c
tal que

S = S

E
. Entonces

E.
Por la denicin de congruencia de sucesines exactas propias es suciente de-
mostrar:
(a) S E S E
(b) S E S E
Demostracin
(a) Se demostrar S = S

E
suponiendo S = S

E
.
El siguiente diagrama conmuta

//

E
//
=

E
// //

//

E
//


E
// //

y por lo tanto S = S

E
= S

E
.
1.2. EXTENSIONES PROPIAS 17
(b) Por hiptesis S E, es decir, existen y E

tales que S 0, E =
E

. Si = , se deduce S 0 y tambin E = E

= E

Proposicin 7. Para una clase propia c en la categora abeliana 7 y la sucesin

exacta propia E = (, ) : A B C y G Obj(7) existen las sucesiones exactas
de grupos abelianos
. . .
Ext
n1
c
(A, G)
//
E
n1
//
Ext
n
c
(C, G)

n
//
Ext
n
c
(B, G)

n
//
Ext
n
c
(A, G)
E
n
//
y
. . . //
Ext
n1
c
(G, C)
E
n1
//
Ext
n
c
(G, A)

n
//
Ext
n
c
(G, B)

n
//
Ext
n
c
(G, C)
E
n
//
Demostracin. Se probar que la primera sucesin es exacta pues la segunda se obtiene
al dualizar los lemas anteriores. Cuando n = 0, se tiene el caso de los morsmos usuales
y entonces
0

0
,
0
E
0
. Si n 1 se deduce
n
E
n
por el lema anterior y del lema 4
se tiene el resultado.
En caso de que c tenga sucientes proyectivos, de manera similar que en R-md,
existe el isomorsmo dado en la siguiente proposicin. Los conceptos y propiedades
homolgicas mencionados en la prueba se han resumido en el apndice B.
Teorema 3. Para la clase propia c con sucientes proyectivos, A Obj(7) y X C
una resolucin proyectiva de C, existe el isomorsmo natural
: Ext
n
c
(C, A) H
n
(Hom
7
(X, A)) n N
Demostracin. Sea S Ext
n
c
(C, A) una resolucin de C. Entonces existe el mor-
smo de cadenas g : X S que factoriza a 1
C
: C C.

n+2
//
X
n+1
= g
n+1

n+1
//
X
n
== g
n

n
// . . .
=

1
//
X
0
= g
0

e
//
C
//
0
0
//
A
b
n
// . . .
b
1
//
B
0
b
0
//
C
//
0
(1.2)
Luego, aplicando el funtor Hom se tiene el diagrama conmutativo
Hom(B
0
, A)
= g

1
//
Hom(B
1
, A)
g

2
// . . . //
Hom(B
n1
, A)
= g

n1

n
//
Hom(A, A)
g

Hom(X
0
, A)

1
//
Hom(X
1
, A)

2
// . . . //
Hom(X
n1
, A)

n
//
Hom(X
n
, A)
y haciendo
n
= (1)
n+1

n+1
y b
n
= (1)
n+1
b

n+1
se obtiene
Hom(B
0
, A)
= g

b
0
//
Hom(B
1
, A)
g

b
1
// . . . //
Hom(B
n1
, A)
= g

n1

b
n1
//
Hom(A, A)
g

Hom(X
0
, A)

0
//
Hom(X
1
, A)

1
// . . . //
Hom(X
n1
, A)

n1
//
Hom(X
n
, A)
18 CAPTULO 1. PRELIMINARES
Ahora defnase
(clsS ) = clsg
n
H
n
(X, A) = H
n
(Hom(K, G)) (1.3)
Obsrvese que g
n
es un cocclo de X pues
n
(g
n
) = (1)
n+1
g
n

n+1
= 0 (ver apndice
B.4). Se demostrar que est bien denida.
Si g

: X S es otra transformacin de cadenas que factoriza la identidad me-

diante S entonces por el Teorema 10 del apndice B, existe una homotopa t : g

= g

,
t
n+1
= (1)
n+1
s

n
con t = t
j
: Hom(B
j
, A) Hom(X
j1
, A) tal que
g

j
g

j
=
j1
t
j
+ t
j+1
b
j
(1.4)
Hom(B
0
, A)
g

b
0
//
Hom(B
1
, A)
t
1
s

0
wwo
o
o
o
o
o
o
o
o
o
o
g

b
1
// . . . //
Hom(B
n1
, A)
g

n1

b
n1
//
t
n1
s

n2
yyr
r
r
r
r
r
r
r
r
r
r
Hom(A, A)
t
n
s

n1
wwn
n
n
n
n
n
n
n
n
n
n
n
g

Hom(X
0
, A)

0
//
Hom(X
1
, A)

1
// . . . //
Hom(X
n1
, A)

n1
//
Hom(X
n
, A)
y en particular cuando j = n
g

n
g

n
=
n1
t
n
+ t
n+1
b
n
=

n
s

n1
+ s

n
b

n+1
=

n
s

n1
Im

n
= Im
n1
por lo tanto g

n
y g
n
son cohomlogos.
Por otro lado, si S

S , es suciente suponer que existe el morsmo (Proposi-

cin 41, apndice A) en los dos casos siguientes:
1) : S S

, = (1, . . . , 1). Entonces cualquier g : X S da g : X S

con
el mismo cocclo g
n
= (g)
n
.
2) : S

S , = (1, . . . , 1). Debido a que Xes una resolucin proyectiva se tiene

nuevamente que existe un morsmo de cadenas h : X S

y por consiguiente
h : X S es un morsmo de cadenas con (h)
n
cohomlogo a g
n
.
Para hallar el inverso de se observa que el morsmo
n
se puede factorizar de
forma nica, salvo equivalencias como
(

n
, ) : X
n
// //
Im
n
// //
X
n1
Si g
n
: X
n
A es un cocclo entonces 0 =
n
(g
n
) = (1)
n+1

n+1
g
n
= (1)
n+1
g
n

n+1
X
n+1

n+1
//
X
n
g
n

n
//
Im
n
A
por lo tanto existe el morsmo nico h : Im
n
A tal que h

n
= g
n
y en consecuencia
1.2. EXTENSIONES PROPIAS 19
se tiene el diagrama conmutativo
X
n+1

n+1
//
X
n

n
##
F
F
F
F
F
F
F
F
F
S
n
(C, X) : 0
//
Im
n
h

//
X
n1

n1
// . . .

2
//
X
1

1
//
X
0
e
//
C
//
0
A C
con g
n
= h

n
y
n
=

n
el anlisis de
n
.
De lo anterior defnase : H
n
(X, A) Ext
n
c
(C, A) como
(g
n
) = cls(hS
n
(C, X)) (1.5)
y dado que es aditiva (apndice A, Teorema 9), para ver que est bien denida se debe
demostrar que cualquier q
n
Im
n1
implica que (clsq
n
) = 0. Pero para q
n
= h

n
se tiene la existencia del morsmo k Hom(X
n1
, A) tal que g
n
=
n1
(k). Luego,
h

n
=
n1
(k) = (1)
n

n
(k) = (1)
n
k
n
= (1)
n
k

n
y entonces por la Proposicin 37,
apndice A
hS
n
(C, X) = (1)
n
kS
n
(C, X) = 0 (1.6)
Por lo tanto est bien denida y es un morsmo de grupos.
Del diagrama 1.2, si : A A

entonces
n
(S ) = cls(g
n
) y como H
n
(X, ) =

es un bifuntor, se tiene

((S )) =

(clsg
n
) = cls(g
n
), y as, es natural en A.
Ext
n
c
(C, A)
=
(A)
//
Ext
n
c
(C,)

H
n
(X, A)
H
n
(X,)

Ext
n
c
(C, A

)
(A

)
//
H
n
(X, A

)
(1.7)
Cuando : C

C y

: X

es una resolucin proyectiva de C

y f : X

X
factoriza , se tiene f

((S )) = f

(clsg
n
) = cls(g
n
f ). Adems existe un morsmo
h : X

S tal que clsh

g
= cls(g
n
f
n
) y por consiguiente

n
(S ) =

(S ) = cls(g
n
f
n
).
Ext
n
c
(C, A)
=
(A)
//
Ext
n
c
(,A)

H
n
(X, A)
H
n
(X,)

Ext
n
c
(C

, A)
(A

)
//
H
n
(X

, A)
(1.8)
20 CAPTULO 1. PRELIMINARES
1.3. Algunas condiciones de cerradura
En esta seccin se supone que 7 tiene lmites directos exactos, sumas directas
innitas y productos directos innitos.
Considrense ahora las sucesiones exactas cortas E = (, ) : A B C,
E
i
= (
i
,
i
) : A
i
B
i
C
i
y la suma de morsmos
i

j
=
i

A
i
+
j

A
j
:
A
i
A
j
B
i
B
j
, con , las inclusiones y proyecciones cannicas respectivamente.
Lema 7. Para la clase propia c, E =

k
i=0
E
i
c si y slo si E
i
c i = 1, . . . , k.
Demostracin.
() E c y se tiene el siguiente diagrama conmutativo:
A
i
=

A
i

//

i
//
B
i

B
i

A
i
//

i
//
B
i
adems
A
i
c
m
por P1. Entonces
B
i

i
= (
i
)
A
i
c
m
, de manera que
i
c
m
por P3.
() Se deduce del lema 1.

Denicin 7. Sea c clase propia entonces:

(a) c es -cerrada, si E
i
c implica E

c
(b) c es cerrada, si E

c cuando E

c
(c) c es cerrada inductivamente, si E

c implica lm

c
Observacin 1. Para el grupo abeliano ZZ (de rango 2), los grupos ((1, 0)) y ((1, 2))
son sumandos directos, es decir ((1, 0)) Z Z y ((1, 2)) Z Z escinden pero
((1, 0)) ((1, 2)) Z Z no escinde.
Ahora considrese E = (, ) : A B C con A =
I
A

, A

=
j
A
j
.
Entonces se tiene el diagrama conmutativo
A

=
_


//

//

B
=

// //
C
A

B/A

//
C
1.3. ALGUNAS CONDICIONES DE CERRADURA 21
Observacin 2. Si

, la sucesin E

= (

) : A

B/A

C es exac-
ta.
Demostracin.

es mono. Por otra parte, para cualquier morsmo :

B/A

G, con

= 0, se deduce la igualdad 0 =

, que implica la
existencia de un morsmo : C G tal que

= =

. En consecuencia

Conuc

Proposicin 8. Si I < o la clase propia c es cerrada inductivamente, entonces

E c si y slo si E

c.
Demostracin.
() Supngase E c. Para

: A

se tiene el morsmo inducido

(

)
1
: Ext
1
(C, A) Ext
1
(C, A

). Si E

= (

)
1
(E) =

E, se tiene el dia-
grama correspondiente con renglones exactos
A
=
//

//

B
=

// //

C
A

//
S

// //
C
y entonces el morsmo de sucesiones exactas cortas (

, 1
C
) se factoriza
mediante (

k, 1
C
), lo que implica E

(ver apndice A, corolario 6). Por

lo tanto c

c
e
.
() Si I < y E

c, considrese el diagrama conmutativo

A

=
//

//
B

//

//
B/A

adems por hiptesis

c
m
, de donde se deduce c
m
por el axioma

P3.
Ahora considrese I = , entonces para sumas directas nitas de sucesiones
E

el siguiente diagrama conmuta

<
A

=
//

//
B

<
A

//

<

//

<
B/A

luego, c
m
por el caso anterior y en consecuencia = lm

c
m
.

22 CAPTULO 1. PRELIMINARES
Supngase ahora A =
I
A

, A

para las sucesiones E y E

dadas ante-
riormente.
Proposicin 9. Si c es -cerrada, entonces E c si y slo si E

c.
Demostracin.
() Se tienen los morsmos
A

//
A

//
B/A

y los diagramas para toda

A

B/A

(B/A

oo
B

B/A

(B/A

oo
entonces existe un morsmo nico : A

(B/A

) tal que

y tambin existe un nico : B (B/A

), con

. Por lo tanto

. Luego, = y se tiene el diagrama conmutativo

A

=
//

//
B

//

//
(B/A

)
En consecuencia c
m
, por el axioma

P3.

De forma dual, para C = C

y = Nuc

existe el diagrama conmutativo con

columnas exactas
C

=
C

A
=
//

//
B
OO
OO

// //
C

OO
OO
A
//

//
B

OO

OO
C

OO

OO
y si

entonces dicha composicin es epi y

Nuc

.
Sea ahora E

= (

) : A B

.
1.4. EJEMPLOS 23
Proposicin 10. Si I < o si c es -cerrada, entonces E c si y slo si E

c.
Demostracin.
() Si E c, se tiene E

c y del diagrama conmutativo

A
=
// //
B
=

// //
C
A
// //
B

OO

// //
C

OO
se obtiene la congruencia E

.
() Supngase que E

c y c es -cerrada o I < . Luego, por la propiedad

universal de la suma directa se tiene el diagrama conmutativo
B

//
C

=
A
// //
B

// //
OO
C

por lo tanto c
e
.

En el resultado anterior la suma directa no se puede reemplazar en general por el

producto (aunque c sea -cerrada). Como ejemplo considrese
S = E S.E.C. M E es exacto M R md
De acuerdo con el lema 2, S es clase propia y adems es -cerrada. Si R no es
coherente derecho, entonces para alguna familia de mdulos planos izquierdos C

el
producto C = C

no es plano (ver pgina 43 de [15]). De esta manera, E obtenida

mediante el epimorsmo B C con B libre, no es propia.
1.4. Ejemplos
1. La clase S
0
de todas las sucesiones exactas cortas que escinden es una clase
propia. Si se consideran todas las sucesiones cortas, entonces tambin forman
una clase propia.
2. Dada AB la categora de los grupos abelianos. La clase siguiente de sucesiones
exactas cortas de grupos abelianos es una clase propia:
c = A B C A es puro en B.
24 CAPTULO 1. PRELIMINARES
3. Si c
i

I
son clases propias, entonces c
i
es una clase propia. La mnima clase
propia (c) que contiene a una clase arbitraria de sucesiones exactas cortas c se
dir que es la clase propia generada por c. As,
(c) = O c O; O clase propia.
Un objeto A se dice coproyectivo en la clase propia c, si toda sucesin exacta
que termina en A es propia. La mnima clase propia para la cual cualquier ele-
mento de una familia ja de objetos O es coproyectivo se llamar la clase propia
generada coproyectivamente por O y se denotar k(O).
Se estudiar ms adelante la clase propia mxima para la cual todos los elemen-
tos de una familia ja de objetos O, son proyectivos, denotada como
1
(O). De
la misma forma se denen los conceptos anteriores para inyectivos y coinyecti-
vos.
4. Dada una teora de torsin hereditaria (T , F) en R-md, se considera k(T ) los
objetos de torsin. Dicha clase propia se caracteriza en [10] y se estudian algunas
condiciones en las que hay sucientes proyectivos.
5. [6] Considrese R un anillo asociativo con unidad y S < R un subanillo. Todos
los R-mdulos sern considerados tambin como S-mdulos de forma natural.
Una sucesin exacta de R-morsmos de R-mdulos t
i
: M
i
M
i1
es (R,S)-
exacta, si para cada i el S-mdulo Nuc t
i
es un sumando directo de M
i
.
Del mismo modo, un R-mdulo A se dice (R, S )-inyectivo si para cualquier su-
cesin (R,S)-exacta
U
//
p
//
V
q
// //
W
y cualquier R-morsmo h : U A, existe un R-morsmo h

: V A con
h

p = h. Anlogamente se denen los (R,S)-proyectivos. As, existen las reso-

luciones (R,S)-proyectivas y (R,S)-inyectivas de un R-mdulo M.
Cualquier pareja de R-morsmos A A

, B B

induce un morsmo nico

Ext
n
(R,S )
(A

, B) Ext
n
(R,S )
(A, B

)
Las propiedades de dichos morsmos inducidos hacen a Ext
n
(R,S )
un funtor con-
travariante en el primer argumento y covariante en el segundo. Si S es semi-
simple (es decir, semisimple como S-mdulo) cualquier sucesin R-exacta es
(R,S)-exacta y entonces
Ext
n
(R,S )
(A, B) = Ext
n
R
(A, B)
Anlogamente con Tor
(R,S )
n
.
6. En R-md, considrese K submdulo de B. Si A es un submdulo de B tal que
KA = 0 y es mximo respecto a esta propiedad, se dice que A es complemento
de K en B. La clase Compl
R-md
denida como la familia de sucesiones exactas
cortas
A B C
tales que A es complemento de algn subobjeto K de B, es una clase propia[14].
Captulo 2
Proyectivos Relativos
2.1. Clases Propias generadas proyectivamente
Denicin 8. Para una clase de sucesiones exactas cortas c en la categora abeliana
7y O Ob j(7) se dene lo siguiente:
(i) (c) = M M es c-proyectivo
(ii)
1
(O) = E S.E.C. Hom(M, E) es exacto M O
Las clases propias de esta forma se llaman generadas proyectivamente.
(iii) c =
1
((c)) es llamada la cerradura proyectiva de c.
Ntese que la clase propia
1
(O) es la mxima clase propia tal que todos los ele-
mentos de O son proyectivos relativos a dicha clase.
Proposicin 11. Si c tiene sucientes proyectivos, entonces c = c
Demostracin. Se sabe que c
1
((c)). Por otra parte, supngase E = (, ) :
A B C
1
((c)). Adems, por hiptesis existe un epi : P C c
e
con
P (c). En consecuencia existe el morsmo : P B tal que =
El recproco de esta proposicin se revisar en la siguiente seccin. Obsrvese que
en R-md toda clase propia proyectivamente generada es -cerrada.
Lema 8. En el siguiente diagrama conmutativo con renglones exactos,
A
=

B
=

C
A
1


1

B
1

C
1

el morsmo se factoriza a un morsmo C

1
B si y slo si se puede extender a
uno B
1
A.
25
26 CAPTULO 2. PROYECTIVOS RELATIVOS
Demostracin.
() Supngase que existe el morsmo : B
1
A con
1
= , entonces se tiene

1
= =
1
y por lo tanto ( )
1
= 0 . Dado que
1
es ncleo de

1
existe el morsmo : C
1
B tal que
1
= . En consecuencia

1
= = =
1
. El resultado se sigue de que
1
es epi.
() Es dual a la anterior.

En la siguiente demostracin se asumir que la clase propia O tiene sucientes

proyectivos.
Denicin 9. = (F, U) U F P S.E.C. , P O, F (O)
Teorema 4. Considrese c =
1
(O) Q y E = (, ) : A B C O. Entonces
son equivalentes:
(i) E c
(ii) Para toda pareja (F, U) cualquier morsmo U A que se extiende a uno
F B tambin se extiende a uno F A.
Demostracin.
() Sea E c =
1
(O) y del siguiente diagrama conmutativo con renglones exactos
se deduce la existencia de un morsmo : F/U C tal que
1
= .
A
=

B


C
U


1

F

1

F/U
Pero F/U O, por lo tanto existe : F/U B con = . Por el lema 8 se
llega al resultado.
() Sea (F, U) y : F/U C un morsmo. Como F es O-proyectivo, entonces
existe : F B tal que
1
= .
A

B
=

C
U


1

F

1

F/U

Adems
1
=
1

1
= 0, por lo tanto existe el morsmo : U A con
=
1
porque
1
es ncleo de
1
. Por el lema 8 se tiene lo que se quiere
demostrar.

2.1. CLASES PROPIAS GENERADAS PROYECTIVAMENTE 27

Lema 9. Considrese la sucesin exacta corta E = (, ) : A B C, entonces
son equivalentes:
(i) Para todo objeto K B, tal que A K y K/A O se tiene A K.
(ii) Para cualquier S O y cualquier mono : S B/A , la composicin E
escinde.
Demostracin.
(i) (ii) Resulta del lema del 5 y del lema 8.
(ii) (i) Por hiptesis se tiene el diagrama conmutativo con renglones exactos
E
1
: A
=

B

1

C
E
2
: A


2

K

2

K/A
luego,
1

2
= 0; por lo tanto existe : K/A C con
2
=
1
. En consecuencia
E
2
E
1
.
Proposicin 12. Sea E = (, ) : A B C una sucesin exacta. Si E

1
(O) p.a. O Ob j(7), entonces se cumple (i) del lema anterior. Cuando la clase O
es cerrada bajo cocientes, la expresin (i) del lema anterior implica que E
1
(O).
Demostracin. Si E c =
1
(O), se tiene para el morsmo : S C con S O
que existe : S C tal que
1
= . Por el lema 8, E escinde.
Para el recproco, supngase S O y : S C. Luego, se factoriza como
= CoimIm. Como Im : S S

es epi, se deduce S

O. Puesto que Coim es

mono, por el lema del 5 y la equivalencia de los incisos (i) y (ii) se tiene el resultado.
A

=
B
=

C
A

L
.

Coim

S
Im

Considrese c una clase propia y c

=
1
(O), con el conjunto O (c) y O c

.
Observacin 3. La sucesin exacta E est en
1
(O) si y slo si E 0 para todo
morsmo : S B/A con S O.
Observacin 4. Para cualquier objeto P O y todo morsmo : P C, se tiene
Ext
1
c
(C, A) Nuc
1
O
con
1
O
: Ext
1
O
(C, A) Ext
1
O
(P, A).
28 CAPTULO 2. PROYECTIVOS RELATIVOS
La observacin se cumple pues E 0 para toda sucesin exacta E Ext
1
c
(C, A).
Se dene el monomorsmo
: Ext
1
c
(C, A) K =

:PC,PO
Nuc
1
O
y anlogamente

: Ext
1
c
(C, A) K
Observacin 5. Si
1
(O) O, entonces

:PC,PO
Nuc
1
O
=

:PC,PO
Nuc
1
Teorema 5. Si 7tiene sumas directas innitas, son equivalentes:
(a) c =
1
(O)
(b) es un isomorsmo
(c) Para todo objeto A se cumple:
(i)

P Obj(7) ,

P = P
i
con P
i
O
(ii)

:

P C Ext
1
c
(C, A) = Nuc

1
Demostracin.
(b) (a) es la composicin de : Ext
1
c
(C, A) Ext
1
c

(C, A) con

. Si c
1
(O),
entonces no es un isomorsmo.
(a)(b) Si c =
1
(O), de la observacin 5 se tiene
Ext
1
c
(C, A) = Ext
1
c
(C, A) =

:PC,PO
Nuc
1
O
=

:PC,PO
Nuc
1
(c)(a) Dado que es mono basta demostrar K Nuc

1
O
. Pero

P (
1
(O)), por lo
tanto

1
O
(E) 0, si E K.
(b)(c) Sea P
0
O y : P
0
C. Se cumple

:PC,PO
Nuc
1
O
= K Nuc
1
O
.
Supngase ahora K Nuc
1
O
. Adems, si x Nuc
1
O
con x K, entonces
existen P
x
O y
x
: P
x
C tal que x Nuc
1
x
. Luego, sea I el conjunto
formado por las P
x
elegidas y

:

P C,

= +

I

i
con

P = P
0
(
I
P
x
).
Entonces cumple la igualdad
Ext
1
c
(C, A) = K = Nuc

1
O
Demostracin
2.2. CLASES PROPIAS CON SUFICIENTES PROYECTIVOS 29
() Si x Ext
1
c
(C, A) = K, para todo objeto P (c

) y todo morsmo :
P C se cumple x Nuc
1
. Por lo tanto,

P es c-proyectivo, entonces
x Nuc

1
O
.
() Supngase x Nuc

1
O
y x K, en consecuencia x Nuc
1
O
y existen
P
x
I,
1
x
: P
x
C tal que x Nuc
1
x
. Por lo tanto x Nuc

1
O
, lo que
lleva a una contradiccin.

Corolario 1. Considrese c una clase popia y O cerrada bajo cocientes con A, C

Obj(7) y C
i
O los subobjetos de C en O. Entonces
Ext
1
c
(C, A) =

C
i
O
Im p
1
i
=

C
i
O
Nuc
1
i
donde (
i
, p
i
) : C
i
C C/C
i
es exacta y c =
1
(O).
Demostracin. E : (, ) : A B C c si y slo si, para todo : P C mono,
con P O existe el morsmo : P B tal que = . Esto ocurre si y slo si
E =
1
(E) escinde para todo mono : P C, con P O.
Corolario 2. Bajo las hiptesis del corolario anterior, sea C
O
C la imagen del
morsmo
iI
C
i
C. Si D C con C
O
D, entonces
Imp
1
Ext
1
c
(C, A)
con (, p) : D C C/D exacta. Si C
O
O, se da la igualdad
Ext
1
c
(C, A) = Imp
1
2.2. Clases Propias con sucientes proyectivos
Proposicin 13. Si O es una clase propia con sucientes proyectivos y
O

= A P C O P (O)
entonces O = (O

).
Demostracin. Considrese la sucesin exacta corta (, ) : A B C O. Por
hiptesis existe el epi : P B O
e
con P (O), entonces : P C O
e
es un
epi (O)-propio. Por consiguiente (O

)
e
.
Proposicin 14. Para cualquier clase de sucesiones exactas cortas O se cumple la
igualdad
(O) = ((O))
Demostracin.
() Por denicin se da la contensin O (O), entonces (O) ((O)).
30 CAPTULO 2. PROYECTIVOS RELATIVOS
() Se tiene que
1
((O)) O y (O) es la mnima clase propia que contiene a O, en
consecuencia (O) ((O)).

Se considera inicialmente en esta seccin la categora abeliana 7con sumas direc-

tas innitas. Para O Obj(7) defnase las siguientes clases de objetos:
O
0
=
iI
C
i
C
i
O
O
1
= B Ob j(7)B C, C O
0

Luego, se dan las contensiones O O

O = (
1
(O)).
Teorema 6. Para c =
1
(O) son equivalentes
(a) c tiene sucientes proyectivos y O
1
= O.
(b) Para todo objeto C, existe B O
0
y un epimorsmo : B C adems de
S (C) O un conjunto tal que todo morsmo : P C, con P O se factoriza
mediante algn objeto de S (C).
Demostracin.
() Por hiptesis, para el objeto arbitrario C existe P (c) = O
1
y el epi propio
: P C c
e
. Entonces P es sumando directo de A, para algn objeto A O
0
y
en consecuencia
P
es un epi propio ya que la proyeccin natural
P
: A P
es propia. Sea S (C) = A. Para el morsmo : B C con B O, por la
c-proyectividad de B existe el morsmo : B A con
p
= .
B
=

C
() Considrese el epi : B C con B O
0
y S (C) O un conjunto que satisface
las hiptesis. Defnase G =

S (C)
S
(Hom(S,C))

C y : G C la suma
=

sS (A)

s
Hom(S,A)

s
+
Entonces es epi y G O
0
por construccin.
Se demostrar que f es un epi c-propio: Por hiptesis , si : P C existe un
objeto S S (C) y tambin los morsmos : P S, : S C tal que = .
Pero S es sumando directo de G. Sea : S G la inclusin natural de S en G.
Luego, = = .
Finalmente, cuando C O, el morsmo escinde, con lo que C O
1
.
2.2. CLASES PROPIAS CON SUFICIENTES PROYECTIVOS 31
P
















=
=

?
?
?
?
?
?
?
G

En R-md se dene lo siguiente:

O
2

= B Ob j(7)B = (P F), P O, F libre

O
3

= B Ob j(7)B C, C O
2

y se tiene O
1
O
2
O
3
(
1
(O)).
Denicin 10. Supngase que O 1 R-md. Se dice que O es una base proyectiva
de 1, si 1 O
3
.
Observacin 6. Si O es un conjunto y si para todo objeto C existe un epi : B C
con C O
0
, se cumple la propiedad (b) del teorema 6 deniendo S (C) = O.
Proposicin 15. Si O R-md es un conjunto, la clase propia c =
1
(O) tiene
sucientes proyectivos y O es una base proyectiva para la clase de todos los mdulos
c-proyectivos.
Demostracin. Sea O
1
= O R, entonces para cualquier mdulo C existe un epi
: B C con B en O
0
1
. Luego, por el teorema 6,
1
(O
1
) tiene sucientes proyectivos
y como O
3
1
= O
3
, se cumple la igualdad (
1
(O
1
)) = (
1
(O)). En consecuencia

1
(O) tiene sucientes proyectivos y por el teorema 6, O
1
= (
1
(O)) O
3
.
Observacin 7. Si O es cerrado bajo imgenes homomrcas y para todo objeto C
existe un epi : A C con A O
0
, tambin se cumple el inciso (b) del teorema 6
al hacer S (C) = H A H O ya que S (A) O
0
. Esto ltimo sucede porque al
suponer que : P C es un morsmo con P O se tiene que (P) est en O.
A
P

{
{
{
{
{
{
{
{
(P)

Proposicin 16. Si O Rmd es una clase de mdulos cerrada bajo el paso a

cocientes, entonces c =
1
(O) tiene sucientes proyectivos y O es base proyectiva de
los mdulos c-proyectivos.
Demostracin. La demostracin es anloga a la anterior al hacer O
1
= O. Por el teore-
ma 6,
1
(O) tiene sucientes proyectivos y O
1
= (
1
(O)) O
3
.
32 CAPTULO 2. PROYECTIVOS RELATIVOS
Teorema 7. Supngase que c =
1
(O). Son equivalentes:
(a) c tiene sucientes proyectivos, con base O en la clase de los mdulos c-
proyectivos.
(b) Si O c, entonces para cualquier objeto C, existe el epimorsmo : P C
O
e
con P O
2
y se satisface la igualdad Ext
1
c
(C, A) = Nuc
1
.
Demostracin.
(a)(b) Por hiptesis, para cualquier objeto C existe un epimorsmo propio : P C
con P O
2
. La contensin Ext
1
c
(C, A) Nuc
1
O
se tiene por la observacin
4. Por otra parte, si E = (, ) : A B C Nuc
1
O
, entonces existe un
morsmo : P B tal que = . Si : S C es un morsmo con S O,
existe : S P con = , pues es un epi c-propio. En consecuencia E es
una sucesin c-propia.
B


C
P

=
?
?
?
?
?
?
?
S

=
?
?
?
?
?
?
?
(b)(a) Supngase que el epi : P C es c-propio con P O
2
y que satisfacen la
igualdad Ext
1
c
(C, A) = Nuc
1
O
. Como existe la sucesin exacta E

= (, ) :
A

P C, entonces E

est en Nuc
1
O
y por lo tanto es un epimorsmo
c-propio. Adems, si C (
1
(O)), el morsmo escinde y en consecuencia
C O
3
.

Proposicin 17. Si c es una clase propia con sucientes proyectivos, el R-mdulo

izquiedo J es c-inyectivo si y slo si para cualquier mono : A P con P (c),
cualquier morsmo A J se puede extender a uno P J.
Demostracin.
() Por la denicin de c-inyectividad se obtiene el resultado.
() Sea : B A mono y : B Q. Por hiptesis existe el epi propio : P A.
Defnase P

=
1
(B), entonces existe el siguiente diagrama conmutativo con
renglones exactos
M
=

P
=

A
M

Luego, si g =

, por hiptesis existe el morsmo : P Q con = g

Adems =

= 0, por lo tanto existe el morsmo : A Q tal que

= . Dado que

se tiene = .

2.2. CLASES PROPIAS CON SUFICIENTES PROYECTIVOS 33

La clase propia c es hereditaria si la propiedad de ser c-proyectivo se preserva para
submdulos propios.
Proposicin 18. Toda clase propia con sucientes proyectivos c es hereditaria si y
slo si Ext
2
c
=0.
Demostracin.
() Por hiptesis, para el objeto arbitrario C existe una sucesin exacta corta E

=
(, ) : A

P C c con P (c). Adems por hiptesis A

(c) y de la
sucesin exacta de homologa se tiene el resulatado.
() Si E = (, ) : A B C c con B (c), a partir de la sucesin exacta de
homologa resulta la sucesin exacta
Ext
1
c
(B, G)

1

Ext
1
c
(A, G)
E
1

Ext
2
c
(C, G)
con ambos extremos iguales a 0.

El uso de resoluciones c-proyectivas propias en lugar de ordinarias permite denir

la dimensin proyectiva de un mdulo relativo a c y por lo tanto la dimensin global
proyectiva de una clase propia. La siguiente proposicin se demuestra como en el caso
general.
Proposicin 19. Si c es una clase propia con sucientes proyectivos, son equivalentes:
(i) dimc n , donde dimc es la dimensin global proyectiva de c
(ii) Cualquier mdulo tiene una resolucion proyectiva c-propia menor o igual a n.
(iii) Ext
p
c
= 0 para p > n
(iv) Ext
n+1
c
= 0
Captulo 3
Teoras de Torsin
3.1. Subfuntores de la identidad
Supngase que A es subcompleta y tiene sucientes proyectivos. En este captulo
se considera el artculo [4].
Para una teora de torsin, se estudiar la clase propia tal que los objetos de torsin
son proyectivos relativos.
Denicin 11. Una teora de torsin en A es una pareja de subclases (T , F) de
Obj(A) que cumplen lo siguiente:
(i) T F = 0
(ii) T es cerrada bajo cocientes.
(iii) F es cerrada bajo subobjetos.
(iv) Dado cualquier objeto B, existe una sucesin exacta corta
A B C
con A T , C F
Los objetos en T se llaman de torsin y los de F se llaman libres de torsin.
Sea T el radical idempotente asociado a la teora de torsin (T , F) que asigna a
cada objeto su subobjeto mximo de torsin.
Denicin 12. D = {E S.E.C. | T(E) escinde}
35
36 CAPTULO 3. TEORAS DE TORSIN
Proposicin 20. D =
1
(T )
Demostracin.
() Si E
1
(T ), se tiene que E
C
escinde mediante ciertos morsmos y , ya
que T(C) T .
A
=
//

//
B
=

// //
C
A
//

1
//
B

uu

1
// //
OO

OO
T(C)

uu
OO

C
OO
Entonces para E
1
= (, ) exacta y
A
: T(A) A, la sucesin E
1

A
tambin
escinde
T(C)
=
//

//
B

// //
A
T(C)
// //
B

OO
OO
// //

2
rr
T(A)

2
tt
OO

A
OO
por lo tanto, existe el siguiente diagrama conmutativo con renglones y columnas
exactas (lema 3x3):
A/T(A)
=
// //
B/(T(A) T(C))
=
// //
C/T(C)
A
=
OO
OO
// //
B
=
OO
OO
// //
C
OO
OO
T(A)
OO
OO
// //
T(A) T(C)
OO
OO
// //
T(C)
OO
OO
pero T(B) = {S B | B/S F} T(A) T(C) y por lo tanto T(B) =
T(A) T(C).
() Si E = (, ) D, se tiene el diagrama conmutativo con renglones exactos
A
=
//

//
B
=

// //
C
T(A)
//

//
OO

A
OO
T(B)

// //
OO

B
OO
T(C)
OO

C
OO
y el rengln inferior escinde. Adems, todo subobjeto : P C con P T
es subobjeto de T. En consecuencia existe el morsmo : P T(C) tal que

C
= . Por la proposicin 12 se tiene el resultado.

Corolario 3. Si A
D
B, entonces:
(i) T(A) = A T(B)
3.1. SUBFUNTORES DE LA IDENTIDAD 37
(ii) T(B/A) = (T(B) + A)/A
Demostracin.
(i) Se comprobar que E

= (,

) : A T(B) T(B) T(C) es exacta. Consi-

drese el diagrama conmutativo con renglones exactos
A T(B)
=

//

//
B
=

// //
B/A B/T(B)

T(B)
=
//

B
//

B
// //
B/T(B)
T(C)
//

//
B
Sea h : H T(B) tal que

h = 0. Luego, 0 =

h =
B
h y por lo tanto
existe el morsmo : H A T(B) tal que =
B
h. Pero =
B
, en
consecuencia h = .
(ii) Se sigue de que T(B) = T(A) T(C).

Ntese que por la observacin 7 hay sucientes D-proyectivos y cualquier objeto

D-proyectivo es un sumando directo de la suma directa de un proyectivo y un objeto de
torsin. Se denotar con Ext
n
D
al conjunto de representantes de la clase de equivalencia
de extensiones D
T
-propias. Entonces Ext
n
D
(B,A) es un bifuntor de A en los grupos
abelianos y si la sucesin A B C es exacta D-propia, para G Obj(A) existen
las sucesiones exactas largas
0 Hom(G, A) Hom(G, B) Hom(G, C)
Ext
1
D
(G, A) Ext
1
D
(G, B) Ext
n
D
(G, C)
Ext
n+1
D
(G, A) Ext
n+1
D
(G, B) Ext
n+1
D
(G, C) . . .
y
0 Hom(C, G) Hom(B, G) Hom(A, G)
Ext
1
D
(C, G) Ext
1
D
(B, G) Ext
n
D
(A, G)
Ext
n+1
D
(C, G) Ext
n+1
D
(B, G) Ext
n+1
D
(A, G) . . .
con los morsmos dados por la composicin.
Proposicin 21. Para cualesquiera objetos A y B la siguiente sucesin es exacta
0 Hom(B/T(B), A) Hom(B, A) Hom(T(B), A)
Ext
1
(B/T(B), A) Ext
1
D
(B, A) 0
38 CAPTULO 3. TEORAS DE TORSIN
Demostracin. Dado que Ext
1
D
(T(B), A) = 0, entonces Ext
1
D
(B, A) = Nuc
1
y toda
sucesin exacta que termina en un objeto libre de torsin es D-propia.
Proposicin 22. Si F F y A Obj(A), entonces
Ext
1
D
(A, F) Ext
1
(A/T(A), F)
Demostracin. Por la proposicin anterior se tiene la sucesin exacta
0 = Hom(T(A), F) Ext
1
(A/T(A), F) Ext
1
D
(A, F) 0

Proposicin 23. Si L/T(L) tiene una resolucin proyectiva de longitud n, entonces L

tiene una resolucin D-proyectiva de longitud n.
Demostracin. La demostracin se har por induccin sobre n.
Si A/T(A) tiene una resolucin proyectiva de longitud n=0, entonces dicho obje-
to es proyectivo y A T(A) A/T(A). Por lo tanto A es D-proyectivo y tiene una
resolucin D-proyectiva de longitud n=0.
Supngase ahora que n>0 y que el teorema se cumple para objetos libres de torsin
que tienen resolucin proyectiva de longitud menor a n. Sea
0
//
P
n1
d
n1
//
P
n2
d
n2
// . . .
d
1
//
P
0
d
0
//
A/T(A)
//
0
una resolucin proyectiva de A/T(A). Considrese k
0
= Nucd
0
y la sucesin exacta
E

: T(A) A A/T(A), entonces E

d
0
escinde pues P
0
(D). Por lo tanto existe
el siguiente diagrama conmutativo con renglones y columnas exactos:
K
0
=
//
k
0
//
P
0
=
d
0
// //
A/T(A)
K
0
// //
P
0
T(A)
=
OO
OO

d
0
// //
A
OO
OO
T(A)
OO
OO
T(A)
OO
OO
con

d
0
un epi D-propio. En consecuencia K tiene una resolucin D-proyectiva de lon-
gitud n-1.
Proposicin 24. Si para todo objeto N F existe un epimorsmo P N con P F
proyectivo, entonces
Ext
n
D
(L, M) = Ext
n
(L/T(L), M) n > 1
3.1. SUBFUNTORES DE LA IDENTIDAD 39
Demostracin. Como T(L) L L/T(L) D y T(L) es D-proyectivo, de la suce-
sin exacta de homologa relativa se tiene el isomorsmo
Ext
n
D
(L/T(L), M) Ext
n
D
(L, M)
con n estrictamente mayor a 1. Adems Dtiene sucientes proyectivos y por hiptesis
existe una resolucin proyectiva de L/T(L) con cada proyectivo libre de torsin
. . . //
P
2
//
P
1
//
P
0
//
L/T(L)
//
0
que se puede factorizar en sucesiones exactas cortas con cada objeto libre de torsin
y por lo tanto cada sucesin exacta corta es D-propia. Luego, la resolucin proyectiva
anterior es D-proyectiva y entonces
Ext
n
D
(L/T(L), M) = Ext
n
(L/T(L), M)
para n mayor o igual a cero.
Corolario 4. Si las hiptesis de la proposicin anterior se cumplen, entonces el objeto
N es D-proyectivo si y slo si N/T(N) es proyectivo.
Demostracin.
() Por hiptesis existe d
0
: P N/T(N) con P F proyectivo. Considerando
k
0
Nucd
0
se tiene el siguiente diagrama
K
//
k
0
//
P
d
0
// //
N/T(N)
T(N)
//
i
//
N
p
// //
N/T(N)
y dado que N es D-proyectivo existe el morsmo h : N P tal que d
0
h = p.
Adems d
0
hi = pi = 0, por lo tanto existe : T(N) K tal que k
0
= hi. Pero
= 0 pues K F, entonces hi = 0 y por el lema 8 existe : N/T(N) P con
d
0
= 1
N/T(N)
. As, cualquier sucesin exacta corta D-propia que termina en
N/T(N) escinde. El resultado nal se obtiene de la igualdad Ext
1
(N/T(N), A) =
Ext
1
D
(N/T(N), A).
() Como N/N(N) es proyectivo, entonces
Ext
1
D
(N/T(N), A) = Ext
1
(N/T(N), A) = 0
y de la sucesin exacta de homologa D-relativa se tiene el resultado pues T(N)
tambin es D-proyectivo.

Proposicin 25. M es D-inyectivo si y slo si Ext

1
(L, M) = 0 para todo L F.
Demostracin.
40 CAPTULO 3. TEORAS DE TORSIN
() De la proposicin 21, Ext
1
(L/T(L), M) = Ext
1
D
(L, M) = 0
() Por la proposicin 21 se tiene para cada objeto B
Ext
1
D
(B/T(B), M) = Ext
1
(B/T(B), M) = 0
y por lo tanto Ext
1
D
(L, M) = 0.

Proposicin 26. Supngase que los proyectivos son libres de torsin. Entonces cual-
quier objeto D-inyectivo tiene dimensin inyectiva menor o igual a 1.
Demostracin. Sean L, M Obj(A) y M un objeto D-inyectivo, entonces existe la
sucesin exacta corta K P L con P proyectivo. Se tiene la sucesin exacta
Ext
1
(K, M) Ext
2
(L, M) Ext
2
(P, M)
con Ext
1
(K, M) = 0 pues K es libre de torsin y tambin Ext
2
(P, M) = 0.
3.2. Pureza
Considrese A con sumas y productos innitos, y F un generador proyectivo. Sea
O un conjunto de objetos cocientes de F, con F O.
Denicin 13. Una sucesin exacta corta es O-pura si est en
1
(O).
De la observacin 6, se sabe que hay sucientes proyectivos O-puros y como son.
Las dos proposiciones siguientes se encuentran en el artculo [4] y slo sern enuncia-
das para comodidad del lector.
Denicin 14. Sean U, V A, entonces
L(U) = {B Ob j(A) | Hom(B, A) = 0A U}
R(U) = {A Obj(A) | Hom(B, A) = 0B U}
Asimismo se denen T = LR, F = RL.
Proposicin 27.
(i) U L(U) = {0}, U R(U) = {0}
(ii) U LR(U), U RL(U)
(iii) U V L(U) L(V)
(iv) LRL = L, RLR = R
(v) T = LR y F = RL son idempotentes.
La clase V se dice T-cerrada si T(V) = V y F-cerrada si F(V) = V.
3.2. PUREZA 41
Proposicin 28. Son equivalentes:
(i) (T , F) es una teora de torsin para A
(ii) T es T-cerrada y R(T ) = F
(iii) F es F-cerrada con L(F) = T
(iv) R(T ) = F y L(F) = T
Ahora, sea O

= O \ {F} y T = LR(O

) con F = R(O

). Entonces F(F) =
RLR(O

) = F y L(F) = LR(O

) = T . Por la proposicin anterior (T , F) es una

teora de torsin. Se dir que los elementos de T son de O-torsin y los elementos de
F son O-libres de torsin.
Ntese que el objeto M es O-libre de torsin si y slo si Hom(P, M) = 0 para todo
objeto P O

. El subfuntor de la identidad radical e idempotente asociado a esta teora

de torsin se denotar por T
O
.
T
O
(N) puede ser descrito como el subobjeto O-puro de N ms pequeo tal que
cualquier morsmo P N con P O

se factoriza a travs de este.

Proposicin 29. Son equivalentes:
(a) L es O-puro en M y contiene a T
O
(M)
(b) M/L es O-libre de torsin.
Demostracin.
(a)(b) Sea h : P M/L tal que P O

. Por lo tanto existe el morsmo : P M

con = h
E : L
//

//
M

// //
M/L
T
O
(M)

=
ddJ
J
J
J
J
J
J
J
J
OO
i
OO
P
h
OO
y como P O

T , entonces existe : P T
O
(M) tal que i = . En
consecuencia h = i = = 0.
(b)(a) Como Hom(P, M/L) = 0 para todo objeto P O

, entonces E
1
(O

). Ahora
considrese h : T
O
(M) M la inclusin natural. Luego, h = 0
L
//

//
M

// //
M/L
T
O
(M)
h
OO
y entonces existe el morsmo : T
O
(M) L con = h. Por lo tanto es
mono.

42 CAPTULO 3. TEORAS DE TORSIN

Proposicin 30. Si F es O-libre de torsin, entonces para el objeto N son equivalentes:
(a) N es O-libre de torsin.
(b) Cualquier sucesin exacta corta L M N es O-pura.
(c) Existe una sucesin O-pura L M N con MO-libre de torsin.
Demostracin.
(a)(b) Se sigue de la proposicin anterior.
(b)(c) Por hiptesis existe el epimorsmo F N.
(c)(a) Como M F, entonces T
O
(M) L. Por lo tanto N F por la proposicin
anterior.

Denicin 15. Se dice que M Obj(A) es de tipo O si existe un epimorsmo P

i

M tal que P
i
O

.
Ntese que cualquier objeto M contiene un subobjeto mximo nico t(M) de tipo
O y entonces se puede denir t un subfuntor de la identidad idempotente. M es libre de
O-torsin si y slo si t(M) = 0. Se sigue que T puede ser descrito como el radical ms
pequeo que contiene a t.
Si O

es cerrado bajo cocientes, entonces M Obj(O) es de tipo O si y slo si

M = N
i
; N
i
P
i
, P
i
O

.
3.3. Pext
La notacin es la misma que en la seccin anterior. Adems se supondr que los
proyectivos son O-libres de torsin. Pext
n
denotar el funtor relativo correspondiente
a la clase propia de sucesiones O-puras. D denotar a la clase de sucesiones exactas
cortas tal que se escinden bajo el funtor de O-torsin T y Ext
n
D
ser su funtor relativo
correspondiente.
Dado que cualquier objeto en O es D-proyectivo, entonces
Ext
1
D
(L, M) Pext
1
(L, M)
para cualesquiera objetos L, M.
Se ha demostrado en el captulo 3 que M es D-proyectivo si y slo si M/T(M) es
proyectivo y del captulo de proyectivos se tiene la siguiente proposicin.
Proposicin 31. Si O

es cerrado bajo cocientes y {L

j
}
J
es el conjunto de subobjetos
de L que estn en O

, entonces para cualquier objeto M

Pext
1
(L, M) =

J
Imf
1
j
con f
1
j
: Ext
1
(L/L
j
, M) Ext
1
(L, M).
3.3. PEXT 43
Proposicin 32. Si L es O-libre de torsin, entonces para el objeto arbitrario M
Ext
n
D
(L, M) = Pext
n
(L, M) = Ext
n
(L, M) n N
Demostracin. Para el objeto L existe una resolucin proyectiva. Como los proyecti-
vos son O-libres de torsin, entonces tal resolucin es D-propia, que adems es una
resolucin proyectiva O-pura ya que O

T .

Proposicin 33. Supngase que para todo objeto L T existe una sucesin O-pura
0 K P L 0, donde P T es un objeto proyectivo O-puro de torsin y
K T . Si M es O-libre de torsin, entonces
Ext
n
D
(N, M) = Pext
n
(N, M) = Ext
n
(N/T
O
(N), M) n, N Obj(A)
Demostracin. Si L es de torsin, entonces Ext
n
D
(L, M) = Ext
n
(L/T
O
(L), M) = 0.
La prueba de que Pext
n
(L, M) = 0 se har por induccin sobre n. Para n=0 se sigue
inmediatamente. Supngase ahora que la propiedad se cumple para n, entonces de la
sucesin exacta de homologa relativa se tiene
//
Pext
n
(K, M)
//
Pext
n+1
(L, M)
//
Pext
n+1
(P, M)
//
pero Pext
n
(K, M) = 0 por hiptesis inductiva y P (
1
(O

)), por lo tanto en este

caso se tiene el resultado.
Ahora considrese el objeto arbitrario N. De la sucesin exacta corta D-propia
T
O
(N) N N/T
O
(N) se obtiene la sucesin exacta
//
Pext
n
(N/T
O
(N), M)
//
Pext
n
(N, M)
//
Pext
n
(T
O
(N), M)
//
Adems, de la demostracin del prrafo anterior Pext
n
(T
O
(N), M) = 0 para toda n, por
lo tanto
Pext
n
(N/T
O
(N), M) Pext
n
(N, M)
Por otro lado, tambin existe la sucesin exacta
//
Ext
n
D
(N/T
O
(N), M)
//
Ext
n
D
(N, M)
//
Ext
n
D
(T
O
(N), M)
//
y dado que T
O
(N) (D), se llega al isomorsmo
Ext
n
D
(N/T
O
(N), M) Ext
n
D
(N, M)
De la proposicin 32 se concluye lo que se quiere demostrar.
Apndice A
Sucesiones exactas
A.1. Sucesiones exactas cortas
La sucesin exacta corta A B C tambin se llamar extensin de A a C. Un
morsmo : E = (, ) E

= (

) de extensiones es una terna = (, , ) de

morsmos en la categora A tal que el diagrama siguiente conmuta
A
=
//

//

B
=

// //

A
//

//
B

// //
C

Se dice que dos sucesiones exactas cortas E = (, ) : A B C, E

= (

) :
A D C son congruentes, si existe un morsmo : B D con =

= .
Entonces se dene Ext
1
A
(C, A) como el conjunto de todas las clases de congruencia de
sucesiones exactas cortas de A a C (ver [8]). Se considera que una extensin E escinde
si existe un morsmo : C B con = 1
C
.
Proposicin 34. Si E = (, ) es una extensin de A a C con : C

C un morsmo,
entonces existe E

una sucesin exacta corta de A a C

y = (1
A
, , ) : E

E. La
pareja (, E

) es nica salvo congruencias.

Demostracin. Sea E = (, ) : A B C con : C

C. Dados los morsmo

y existe el producto brado de ellos, es decir, existen D,

: D C

y : D B
tal que

= . Para el cuadro conmutativo

A
=
0
//

B

//
C
existe el morsmo

: A D nico, que cumple 0 =

, =

. Queda por
demostrar que la sucesin E

= (

) es exacta.
45
46 APNDICE A. SUCESIONES EXACTAS
Sea : G D tal que

= 0. Entonces =

= 0, por lo tanto existe el

morsmo : G A con

= = . Adems

= 0 implica =

por la couniversalidad del producto brado. En consecuencia

Nuc

.
A
//

//
D

// //

A
//

//
B

// //
C

De lo anterior se dene la composicin E como E = E

.
Corolario 5. Suponiendo las mismas hiptesis de la proposicin anterior, todo mor-
smo
1
= (
1
,
1
, ) : E
1
E se escribe de forma nica como
E
1
(
1
,

,1)
//
E
(1,,)
//
E
(i.e.
1
se puede factorizar mediante : E E de forma nica).
Demostracin. Sea E
1
= (
1
,
1
) : 0 A
1
B
1
C
1
0 con C
1
= C

. Por
la proposicin anterior existe (1, , ) : E E , adems, como el cuadro siguiente
conmuta
B
1
=
1

1
//
C
1

B

//
C
existe un morsmo nico

: B
1
D que cumple

=
1
,

=
1
. La igualdad

1
=

1
tambin se sigue de
1
=
1

1
, pues la ltima determina un cuadrado
conmutativo. Si

= (1
A
,

, ) : E

E, entonces tiene la factorizacin (1,

, ) =
(1, , )(1,

, 1) con el factor (1,

, 1) : E

una congruencia.
As, se tienen las congruencias:
E1
C
E, E(

) (E)

Proposicin 35. Si E = (, ) es una extensin de A a C, con : A A

un morsmo,
entonces existe una sucesin exacta corta de A

a C y = (, , 1
C
) : E E

. La
pareja (, E

) es nica salvo congruencias.

En este caso, se dene E como E = E

.
Corolario 6. Bajo las hiptesis de la proposicin anterior, todo morsmo
1
=
(,
1
,
1
) : E E
1
se escribe de forma nica como
E
(,,1)
//
E
(1,

,
1
)
//
E
1
(i.e.
1
se puede factorizar mediante : E E).
A.1. SUCESIONES EXACTAS CORTAS 47
Por lo tanto, se tienen las congruencias
1
A
E E, (

)E

(E)
siempre que las composiciones tengan sentido.
Proposicin 36. Para , , E como en las proposiciones anteriores existe la congruen-
cia (E) (E).
Demostracin. Por la denicin de las composiciones E, E, existen los morsmos
E
(1,
1
,)
//
E
(,
2
,1)
//
E
con la composicin (,
2

1
, ) : E E. Y entonces, por la proposicin 34, la
extensin (E) es couniversal para tales morsmos, esto es (,
2

1
, ) tiene una fac-
torizacin
E
(,

,1)
//
(E)
(1,,)
//
E
Adems el morsmo izquierdo est en la clase de los morsmos que se usan para denir
(E) a partir de E y entonces por unicidad se tiene el resultado.
Proposicin 37. Para E = (, ) las extensiones E y E escinden.
Demostracin. Sea : B B C, =
B
+
C
, entonces el siguiente diagrama es
conmutativo
A
=

//

//
B
=

// //
C
B
//

B
//
B C

C
// //
C
As, E es congruente al rengln inferior del diagrama, por lo tanto escinde. La otra
demostracin es dual.
Proposicin 38. Cualquier morsmo de sucesiones exactas cortas
1
= (, , ) :
E E

implica la congruencia E E

.
Demostracin. Por la propiedad universal de E ,
1
se puede factorizar mediante
: E E como
1
=
2
, con
2
= (1
A
,

, ) : E E

. ste morsmo
caracteriza a E como E

por el corolario 5.
Para : A A

, : C C

se tiene el morsmo : AC A

, =

1
+
2

2
; el morsmo diagonal, =
C
: C C C, =
1
+
2
y la codiagonal

C
=
1
+
2
: C C C
La suma directa las sucesiones exactas cortas E, E

denidas anteriormente es la
sucesin exacta corta E E

: A A
//

//
B B

// //
C C

.
Proposicin 39. Para las sucesiones exactas E
i
: A
i
B
i
C
i
y los morsmos

i
: A
i
A

i
,
i
: C

i
C
i
con i=1,2, se tiene lo siguiente:
48 APNDICE A. SUCESIONES EXACTAS
(i) (
1

2
)(E
1
E
2
)
1
E
1

2
E
2
(ii) (E
1
E
2
)(
1

2
) E
1

1
E
2

2
(iii) = ( )
(iv) = ( )
(v) Si
A
=
2

1
+
1

2
: A
1
A
2
A
2
A
1
entonces

A
(E
1
E
2
) = (E
2
E
1
)
C
(vi) E
1
(E
1
E
1
)
(vii) E
1
(E
1
E
1
)
(viii) (
C
1
C
)
C
= (1
C

C
)
C
(ix) ( 1
A
) = (1
A
) : A A A A
Demostracin.
(i) Por la Proposicin. 35, existe un morsmo nico

: E
1
E
2
(
1

2
)(E
1

E
2
) y por el corolario 6, el morsmo = (
1

2
,
1

2
, 1
C
1
C
2
) : E
1
E
2

1
E
1

2
E
2
da la congruencia
(
1

2
)(E
1
E
2
)
1
E
1

2
E
2
(ii) La demostracin es dual a (i).
(iii) ( ) = (
1
+
2
)(
1

1
+
2

2
) = .
(iv) ( ) = (
1

1
+
2

2
)(
1
+
2
) = (
1
+
2
).
(v) Si
A
=
2

1
+
1

2
para cualquier objeto A, entonces el morsmo (
A
,
B
,
C
)
por la proposicin anterior se da la congruencia

A
(E
1
E
2
) (E
2
E
1
)
C
.
(vi),(vii) Por la proposicin 38 , para los morsmos (
A
,
B
,
C
), y (
A
,
B
,
C
) se tienen
las congruencias

A
E
1
(E
1
E
1
)
C
, E
1

C

A
(E
1
E
1
).
(viii) Considrense los morsmos
(
C
1
C
)
C
: C C C (C C) C
(1
C

C
)
C
: C C C C (C C)
y dado que C (C C) = (C C) C, se sigue la igualdad
(
CC

C
+
C

C
)(
C
+
C
) = (
C

C
+
CC

C
)(
C
+
C
).
A.1. SUCESIONES EXACTAS CORTAS 49
(ix) La demostracin es idntica a la anterior para los morsmos

C
(1
C

C
) : C (C C) C C C

C
(
C
1
C
) : (C C) C C C C

Teorema 8. Para cualesquiera objetos A y B, Ext

1
(C, A) es un grupo abeliano bajo
las operaciones que asigna a las clases de congruencia de extensiones E
1
, E
2
la clase
de congruencia de la extensin
E
1
+ E
2
=
A
(E
1
E
2
)
C
(A.1)
La clase de A AC C es el elemento cero del grupo y el inverso de E es (1
A
)E.
Para : A A

, : C

C
(E
1
+ E
2
) E
1
+ E
2
, (E
1
+ E
2
) E
1
+ E
2
(A.2)
(
1
+
2
)E
1
E +
2
E , E(
1
+
2
) E
1
+ E
2
(A.3)
La composicin (A.1) se conoce como la suma de Baer y las expresiones anteriores
muestran que
1
: Ext
1
(C, A) Ext
1
(C

, A) y
1
: Ext
1
(C, A) Ext
1
(C, A

) son
morsmos de grupos.
Demostracin. Por la proposicin anterior
(E
1
+ E
2
) (E
1
E
2
) ( )(E
1
E
2
) (E
1
E
2
) E
1
+ E
2
(E
1
+ E
2
) (E
1
E
2
) (E
1
E
2
)( ) (E
1
E
2
) = E
1
+ E
2

)E = [
A
(

)
A
]E
A
(

)(E E)
C

A
(

E)
C
)
E(

) = E((

)) = (E E)(

) = (E

)
La asociatividad se cumple por lo siguiente
E
1
+ (E
2
+ E
3
) = E
1
+ (E
2
E
3
) = [E
1
(E
2
E
3
)]
= [(1 )(E
1
(E
2
E
3
))(1 )] = ((1 ))(E
1
(E
2
E
3
))((1 ))
= (( 1))((E
1
E
2
) E
3
)(( 1)) = [(E
1
E
2
) E
3
].
Adems
A

A
= (
1
+
2
)(
2

1
+
1

2
) =
A
y
C

C
= (
2

1
+
1

2
)(
1
+
2
) =
C
y por lo tanto
E
1
+ E
2
= (E
1
E
2
) = (E
1
E
2
) (E
2
E
1
) (E
2
E
1
) = E
2
+ E
1
La sucesin exacta que escinde E
0
es el neutro del grupo bajo la suma que se
deni, ya que para toda sucesin exacta E = (, ) existe el diagrama conmutativo
A
= 0

//

//
B
=

// //
C
A
//

A
//
A C

C
// //
C
50 APNDICE A. SUCESIONES EXACTAS
con =
C
. Entonces por el corolario 6, E
0
0
A
E. Luego, E +E
0
1
A
E +0
A
E
(1
A
+ 0
A
)E E. Para E, el inverso es (1
A
)E :
E + (1
A
)E 1
A
E + (1
A
)E (0
A
)E E
0

Por los resultados anteriores Ext es aditivo y en consecuencia se dan los isomors-
mos naturales
Ext
1
(C, A
1
A
2
) Ext
1
(C, A
1
) Ext
1
(C, A
2
) (A.4)
Ext
1
(C
1
C
2
, A) Ext
1
(C
1
, A) Ext
1
(C
2
, A) (A.5)
A.2. Ext
n
En esta seccin se dene una relacin de congruencia para sucesiones exactas lar-
gas de forma que para sucesiones exactas cortas coincida con la denicin de con-
gruencia dada en la seccin anterior y tambin que la nueva congruencia sea la me-
nor en cierto sentido. La composicin de Yoneda de dos sucesiones exactas cortas
E
1
= (, ) : A B
1
K
1
, E
0
= (, ) : K
1
B
0
C es la sucesin exacta
E E
0
= (, , ) : 0 A B
1
B
0
C 0.
De la misma manera se dene la composicin de sucesiones exactas largas. Por otro
lado, toda sucesin exacta (, , ) : 0 A B
1
B
0
C 0 se puede factorizar
mediante K = Nuc y del mismo modo una sucesin exacta larga S arbitraria se puede
factorizar como una composicin de sucesiones exactas cortas
S = E
n
E
n1
E
1
donde los E
i
son nicos salvo isomorsmo.
Denicin 16. Dos sucesiones exactas largas de A a C de la misma longitud
S = E
n
E
n1
E
1
y S

= E

n
E

n1
E

1
se dicen congruentes si S

se obtiene de S mediante una cantidad nita de reemplazos

de los siguientes tipos:
(i) Se intercambia cualquier E
i
por una sucesin exacta corta congruente.
(ii) Cuando dos factores sucesivos tienen la forma E

se reemplazan por la
expresin E

.
(iii) Si dos factores consecutivos tienen la forma E

se intercambian por la
expresin E

.
A.2. SUCESIONES EXACTAS LARGAS 51
Adems, para los morsmos : A A

, : C

C se denen las composiciones

S = (E
n
E
1
) = (E
n
) E
n1
E
1
S = (E
n
E
1
) = E
n
E
2
(E
1
)
Si S, S

son de longitud n y S

va de A

a C

, un morsmo : S S

es un conjunto
de n+2 morsmos (, . . . , ) que hacen al siguiente diagrama conmutativo:
S : 0
//
A
=
//

B
n1
=

// . . .
=
//
B
0
//
=

C
//

0
S

: 0
//
A
//
B

n1
// . . . //
B

0
//
C
//
0
As, las composiciones S, S estn denidas por los morsmos de sucesiones exactas
largas S S, S S .
Proposicin 40. El morsmo de sucesiones exactas largas de longitud n que inicia en
y termina en , = (, . . . , ) : S S

da la congruencia S S

.
Demostracin. Para el diagrama
S : 0
//
B
n
=
n

//
B
n1
=
//

n1

. . .
=
//
B
0
=
0

//
B
1

//
0
S

: 0
//
B

n
//
B

n1
// . . . //
B

0
//
B

1
//
0
defnase K
i
= Nuc(B
i1
B
i2
) , K

i
= Nuc(B

i1
B

i2
). Luego, existe el diagrama
conmutativo
E
i
: K
i
=
// //

B
i1
=
// //

i1

K
i1

i1

i
: K

i
// //
B

i1
// //
K

i1
Por la proposicin 38, el diagrama anterior implica la congruencia

i
E
i
E

i1
.
y por lo tanto

n
S = (
n
E
n
) E
n1
E
1
(E

n1
) E
n1
E
1
E

n
(
n1
E
n1
) E
1
E

n
(E

n1

n2
) E
1
S

0
= S

52 APNDICE A. SUCESIONES EXACTAS

Proposicin 41. La congruencia de dos sucesiones exactas S S

de longitud n, de
A a C se da si y slo si existe un entero k y hay 2k morsmos de sucesiones exactas
largas de longitud n que inician en 1
A
y terminan en 1
C
.
S = S
0
S
1
S
2
S
2k
= S

Demostracin.
() Los morsmos alternados se obtienen debido a que para dos sucesiones exactas
cortas arbitrarias E, F, la relacion E F E F dene el morsmo E F
E F
() Dado que todas los morsmos inician en 1
A
y terminan en 1
C
, S
i
S
i+1
por la
proposicin 40.

Se dene Ext
n
A
(C, A) como el conjunto de las clases de congruencia = clsS de
sucesiones exactas largas de longitud n que inician en Ay terminan en C. Algunas veces
se escribe S Ext
n
(C, A) para denotar S Ext
n
(C, A) y si T Ext
m
(D, C

),
entonces S T est denida cuando C = C

. Adems S T Ext
n+m
(D, A) y la clase
de tal composicin est determinada por y
La suma directa y la suma de Baer de dos sucesiones exactas largas de A a C
S , S

de longitud n se dene de la misma forma que se hizo para sucesiones

exactas cortas.
Lema 10. La clase de congruencia de S S

con S , S

depende nicamente
de y

.
Demostracin. El resultado se deriva de las siguientes congruencias para la sucesiones
exactas cortas E, E

, F, F

:
(E F) (E

) (E F)( 1
F
) (E

)
(E F) ( 1)(E

) (E F) (E

Lema 11. Si ,

Ext
n
E
, ,

Ext
m
E
se cumple lo siguiente
(i) (

)(

) =

(ii) = ( )
(iii) = ( )
(iv) (

) = (

) con : A A

A el isomorsmo natural.
Demostracin.
A.2. SUCESIONES EXACTAS LARGAS 53
(i) Cuando y tienen grado cero, se tiene la composicin usual de morsmos.
En caso de que y tengan grado positivo la expresin es una composicin de
sucesiones exactas y la igualdad se da por el lema 10. Si tiene grado cero y
grado positivo, entonces y

operan como el ltimo factor de y

lo cual se
ha demostrado en la proposicin 39.(i). Asimismo, cuando tiene grado positivo
y grado cero la expresin a demostrar se reduce a la proposicin 39.(ii).
(ii) En el caso de que tenga grado 0, ya se ha demostrado = ( ) (Pro-
posicin 39.(iii)). Si el grado de es 1, entonces la expresin se convierte en
(Proposicin 39(vii)) E (E E) y cuando tiene grado igual a 2, por lo
anterior
(E
2
E
1
) = E
2
(E
1
) E
2
(E
1
E
1
) (E
2
E
2
) E
1
E
1
En caso de grado mayor a 2 la demostracin es la misma.
(iii) Anlogo al inciso anterior.
(iv) Se obtiene del morsmo (
A
, . . . ,
C
) : S
1
S
2
S
2
S
1
y de la regla (Propo-
sicin 40)
(S
1
S
2
) (S
2
S
1
)

Teorema 9. La suma
1
+
2
=
A
(
1

2
)
C
para
1
,
2
en el mismo Ext
n
hace a
Ext
n
A
un grupo abeliano. Adems es un bifuntor aditivo.
Las propiedades distributivas
(
1
+
2
) =
1
+
2
, (
1
+
2
) =
1
+
2
(A.6)
y la propiedad asociativa () = () se cumplen cuando la suma y composicin
estn denidas.
Demostracin.
(
1
+
2
) = ((
1

2
)) ( )(
1

2
) (
2
) =
1
+
2
(
1
+
2
) = ((
1

2
)) (
1

2
)( ) (
1

2
) =
1
+
2

La demostracin de asociatividad es similar a la del Teorema (8) y para la conmutati-

vidad, ya se haba demostrado
A

A
=
A
,
C
=
C

C
. Entonces:

1
+
2
=
A
(
1

2
)
C
=
A

A
(
1

2
)
C
=
A
(
2

1
)
C

C
=
A
(
2

1
)
C
El neutro aditivo de Ext
n
es el morsmo cero, si n=0. La sucesin que escinde cuando
n=1, y si n>1 es la clase de congruencia de la sucesin
S
0
: 0
//
A
1
A
//
A
//
0
// . . . //
0
//
C
1
C
//
C
//
0
pues para S Ext
n
(C, A) existe el morsmo (0
A
, . . . , 1
C
) : S S
0
y por la proposi-
cin 40, 0
A
S S
0
. Adems
S + S
0
1
A
S + 0
A
S (1
A
+ 0
A
)S = 1
A
S
El inverso de clsS es cls(1
A
)S pues S + (1
A
)S (1
A
+ (1
A
))S 0
A
S S
0

Apndice B
Homologa
En este apartado se mencionan las propiedades homolgicas que se utilizan en el
teorema 3. Para ms detalles consltese [8] y [7].
Denicin 17. Un complejo de cadenas K de mdulos en la categora R-md es una
familia {K
n
,
n
} con {C
n
}
nZ
R-md y los morsmos =
n
: C
n
C
n1
tal que la
composicin es cero.
Los morsmos
n
son llamados diferenciales de K. El ncleo de
n
es el mdulo de
nciclos de K denotado por Z
n
= Z
n
(K) . La imagen de
n+1
: K
n+1
K
n
es el mdulo
de n-fronteras de C denotado por B
n
= B
n
(K).
Se le llama homologa del complejo y se denota mediante H(K) a los grupos
H
n
(K) = Nuc
n
/Im
n+1
.
Dos n-ciclos en la misma clase de homologa se dicen homlogos.
Si K y K

son complejos, un morsmo de complejos f : K K

es una familia de
morsmos de mdulos f
n
: K
n
K

n
tal que

n
f
n
= f
n1

n
K : . . .
//
K
n+1
f
n+1

n+1
//
K
n
f
n

n
//
K
n1
f
n1

// . . .
K

: . . .
//
K

n+1

n+1
//
K

n
//
K

n1
// . . .
La funcin H
n
( f ) = f

denida como
f

(c + K
n+1
) = f (c) + (K

n+1
)
es un morsmo de R-mdulos H
n
( f ) : H
n
(K) H
n
(K

). Entonces cada H
n
es un
funtor covariante en la categora de los complejos de cadena y transformaciones de
cadena en la categora de R-mdulos.
Una homotopa de cadenas entre dos transformaciones de cadenas f , g : K K

es una familia de morsmos {s

n
: K
n
K

n+1
} tal que
55
56 APNDICE B. HOMOLOGA

n+1
s
n
+ s
n1

n
= f
n
g
n
(B.1)
para toda n. Se denota s : f g.
Proposicin 42. Si s : f g : K K

entonces
H
n
( f ) = H
n
(g) : H
n
(K) H
n
(K

), n Z
Una transformacin de cadenas f : K K

se dice una equivalencia de cadenas

si existe otra transformacin de cadenas h : K

K y homotopas s : hf 1
K
,
t : f h 1
K
. Dado que H
n
(1
K
) = 1 se tiene lo siguiente
Corolario 7. Si f : K K

es una equivalencia de cadenas entonces el morsmo

inducido H
n
( f ) : H
n
(K) H
n
(K

) es un isomorsmo para cada n.

Proposicin 43. Las homotopas de cadenas s : f g : K K

y s

: f

: K

dan una homotopa de cadenas

f

s + s

g : f

f g

g : K K

En esta tesis se considera que los complejos son positivos, es decir que K
n
= 0
cuando n<0.?????
B.1. Cohomologa
Sea K un complejo de objetos en la categria abeliana A y G un R-mdulo. Los
elementos de Hom(K
n
, G) son llamadas n-cocadenas de K.
Ntese que
n+1
: K
n+1
K
n
induce el morsmo

n+1
: Hom(K
n
, G) Hom(K
n+1
, G) (B.2)
y tambin el morsmo
n
= (1)
n+1

n+1
. El signo se utiliza para facilitar algunas de-
mostraciones.
La cofrontera de f es la (n+1)-cocadena

n
f = (1)
n+1
f
n+1
: K
n+1
G, (B.3)
dado que
n

n1
= 0, se sigue que la sucesin
. . . //
Hom(K
n1
, G)

n1
//
Hom(K
n
, G)

n
//
Hom(K
n+1
, G)
// . . .
(B.4)
es un complejo de grupos abelianos llamado Hom(K,G). Se dice que su homologa es
la cohomologa de K con coecientes en G
H
n
(K, G) = H
n
(Hom(K, G)) = Nuc
n
/Im
n1
Un elemento de Im
n1
es llamado n-cofrontera y un morsmo f : K
n
G es un
n-cocclo si f
n+1
= 0, es decir, si f Nuc
n
.
B.2. RESOLUCIONES 57
Cualquier transformacin de cadenas h : K K

induce una transformacin de

cadenas
h

= Hom(h, 1
G
) : Hom(K

, G) Hom(K, G) (B.5)
Por lo tanto Hom(K, G) y H
n
(K, G) son bifuntores, covariantes en G y contravariantes
en K. Si s : h g es una homotopa, entonces por B.1 se tiene
s

n+1
+

n
s

n1
= h

n
g

n
.
y en consecuencia si t
n1
= (1)
n+1
s

n
t
n+1

n
+
n1
t
n
= h

n
(B.6)
que dene una homotopa t : h

.
B.2. Resoluciones
Denicin 18. Un complejo (X, ) sobre el objeto C es una sucesin
X
n

//
X
n1

// . . .

//
X
1

//
X
0

//
C (B.7)
tal que la composicin de dos morsmos consecutivos es igual a cero.
Una resolucin de C es una sucesin exacta (B.7) y se dice que es proyectiva si
cada X
n
es proyectivo.
Teorema 10. Si : C C

es un morsmo de objetos y : X C es un complejo

proyectivo sobre C, mientras que

: X

es una resolucin de C

, entonces
existe una transformacin de cadenas f : X X

con

f = y sta es nica salvo

homotopas. En tal caso se dice que f factoriza a .
Lema 12. Bajo las hiptesis del teorema anterior, sea f : X X

una transformacin
de cadenas factorizando : C C

. Si existe el morsmo t : C X

0
con

t = ,
entonces existen los morsmos s
n
: X
n
X

n+1
para toda n, tal que

s
0
+ t = f
0
,

s
n+1
+ s
n
= f
n+1
. (B.8)
Corolario 8. Si X y X

son dos resoluciones proyectivas del objeto C y A es cualquier

objeto, entonces H
n
(X, A) H
n
(X

, A) depende nicamente de C y A.
Bibliografa
[1] Anderson, Frank W., Fuller, Kent R. Rings and Categories of Modules. Springer-
Verlag New York (1973).
[2] Buchsbaum, David, A note on homology in categories, Ann. of Math.,69 (1959)
p. 66-74
[3] Chase, Stephen U. Direct products of modules, Trans. Amer. Math. Soc.,97,457-
73 (1960)
[4] Dickson, Spencer. A torsion theory for abelian categories, Trans. Amer. Math.
Soc., 121, 223-35 (1966)
[5] Hart, N. Two parallel relative homological algebras Acta Mat, Ac. Sci. Hungari-
cae 25 (3-4) (1974) p 321-327
[6] Hochschild G. Relative homological algebra, Trans.Amer. Math. Soc. 82 (1956)
246-269. MR 18-278
[7] Jans, James P., Rings and Homology. Holt, Rinehart and Winston, Inc. 1964
[8] Maclane, Saunders (1963). Homology. Berlin-Gttingen-Heidelberg: Springer-
Verlag.
[9] Pancar, Ali, Generation of proper classes of short exact sequences Int. Journal of
Math. and Math. Sci, vol. 20, no. 3, p. 465473, 1997
[10] Raggi Crdenas, Francisco. Ros Montes, Jos. Proper classes associated to tor-
sion theories. Communications in Algebra, Volume 15, Issue 3 1987 , p 575 -
587
[11] Raggi Crdenas, Francisco. Ros Montes, Jos. Sublattices of R-tors Associated
to proper clases. Communications in Algebra, 1532-4125, Volume 15, Issue 3,
1987, p 555 573
[12] Sklyarenko, E.G. Relative homological algebra in categories of modules. Russ.
Math. Surv. 33 No. 3 97-137 (1978)
[13] Stenstroem, Bo T. Pure submodules. Arkiv. Mat. Bd 7 nr 10. (1967), 159-171.
59
60 BIBLIOGRAFA
[14] Stenstroem Bo. T. Hight submodules and Purity. Arkiv. Mat. bd. 7, nr. 11, 173-
176 p.
[15] Stenstroem Bo. T. Rings of quotients (Springer-Verlag, 1975).
[16] Percy Walker, C. L., Relative homological algebra and Abelian groups, Illinois J.
Math., 10, 186-209 (1966)
[17] Wisbauer, R., Foundations of Module and Ring Theory. Gordon and Breach
Reading (1991).