CUADERNOS DE ALGEBRA

No. 7
Categoras

Oswaldo Lezama

Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota

30 de junio de 2014

ii

Cuaderno dedicado a Luis Alberto, mi hermano

Contenido
Pr
ologo

iv

1. Categoras
1.1. Concepto de categora . . .
1.2. Tipos de morfismos . . . . .
1.3. Tipos de objetos y dualidad.
1.4. Subobjeto y objeto cociente
1.5. Interseccion y union . . . . .
1.6. Imagen y coimagen . . . . .
1.7. N
ucleos y con
ucleos . . . . .
1.8. Producto y suma fibrada . .
1.9. Imagen inversa . . . . . . .
1.10. Producto y coproducto . . .
1.11. Las categoras ModA y Ani .
1.12. Ejercicios . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

1
1
5
8
11
16
21
23
28
32
39
45
51

2. Categoras abelianas
2.1. Categoras aditivas .
2.2. Categoras abelianas
2.3. Sucesiones exactas .
2.4. Ejercicios . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

54
54
58
64
67

3. Funtores
3.1. Funtores . . . . . .
3.2. Funtores exactos .
3.3. Lmites y colmites
3.4. Ejercicios . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

68
68
75
78
84

.
.
.
.

Bibliografa

86

iii

Pr
ologo
La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales
temas de esta rama de las matematicas, y pretende servir de material para preparar
los examenes de admision y de candidatura de los programas colombianos de doctorado en matematicas. Los primeros cinco cuadernos cubren el material basico de
los cursos de estructuras algebraicas y algebra lineal de los programas de maestra;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
examenes de candidatura, a saber: anillos y modulos; categoras; algebra homologica;
algebra no conmutativa; algebra conmutativa y geometra algebraica. Cada cuaderno
es fruto de las clases dictadas por el autor en la Universidad Nacional de Colombia
en los u
ltimos 25 a
nos, y estan basados en las fuentes bibliograficas consignadas en
cada uno de ellos, como tambien en el libro Anillos, M
odulos y Categoras, publicado
por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya edicion
esta totalmente agotada (vease [5]). Un material similar, pero mucho mas completo
que el presentado en estas diez publicaciones, es el excelente libro de Serge Lang, Algebra, cuya tercera edicion revisada ha sido publicada por Springer en el 2004 (vease
[4]). Posiblemente el valor de los Cuadernos de
algebra sea su presentacion ordenada
y didactica, as como la inclusion de muchas pruebas omitidas en la literatura y
suficientes ejemplos que ilustran la teora. Los cuadernos son:
1.
2.
3.
4.
5.

Grupos
Anillos
Modulos

Algebra
lineal
Cuerpos

6. Anillos y modulos
7. Categoras

8. Algebra
homologica

9. Algebra
no conmutativa

10. Algebra
conmutativa y geometra algebraica

Los cuadernos estan dividido en captulos, los cuales a su vez se dividen en

secciones. Para cada captulo se a
nade al final una lista de ejercicios que debera ser
complementada por los lectores con las amplias listas de problemas que inluyen las
principales monografas relacionadas con el respectivo tema.
Cuaderno de categoras. Este cuaderno consta de tres partes: en la primera
se presentan las nociones basicas de categoras las cuales se ilustran en las categoras
de modulos y anillos. En la segunda se definen las categoras aditivas y abelianas y
iv


PROLOGO

se introducen las sucesiones exactas. La terecera parte esta dedicada a los funtores,
transformaciones naturales y al estudio de lmites y colmites.
Para una buena compresion del presente cuaderno se recomienda al lector consultar los cuadernos 1, 2, 3 y 6 (veanse [6], [7], [8] y [9]) ya que usaremos los resultados
y la notacion consignados en ellos. En particular, A denotara un anillo no ncesariamente conmutativo y con unidad 1; A denota el grupo multiplicativo de los elementos invertibles del anillo A. Si f es un homomorfismo de anillos, entonces f (1) = 1.
Salvo que se advierta lo contrario, los modulos seran considerados a derecha. Si M
es un A-modulo a derecha lo denotaremos tambien por MA . Si N es un submodulo
de M escribiremos N M . Para n 1, Mn (A) es el anillo de matrices cuadradas
de tama
no n n con componentes en A, GLn (A) denota el grupo lineal general
de orden n sobre A, es decir, GLn (A) = Mn (A) . La matriz identica de tama
no
n n se denota por En . An denota el A-modulo libre derecho de vectores columna
de longitud n con entradas en A.
El autor desea agradecer a Milton Armando Reyes Villamil, discpulo y amigo,
por el trabajo cuidadoso realizado al digitar el contenido del presente cuaderno.
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
[email protected]

vi

PROLOGO

Captulo 1
Categoras
1.1.

Concepto de categora

La teora de categoras y funtores ha adquirido en los u

ltimos a
nos un desarrollo tal
que se ha convertido en una rama del algebra y la logica con metodologa y dinamica
propias. Para un buen n
umero de areas de la matematica, entre ellas el algebra, la
teora de categoras ha jugado un papel importante de lenguaje, a traves del cual se
presentan y obtienen resultados de una manera global y elegante. Esta funcion del
lenguaje fue precisamente la que nos motivo a incluir en esta coleccion de cuadernos
algunos elementos basicos de teora de categoras.
Nuestro proposito es presentar los conceptos basicos en categoras, ilustrandolos
a traves de dos casos particulares: la categora de A-modulos derechos, ModA , y la
categora de anillos con unidad Ani. Esta escogencia, ademas de generalizar algunas
construcciones y resultados presentados en [6], [7] y [8], prepara el terreno para la
introduccion a la K-toera que haremos en el u
ltimo captulo.
Con el fin de evitar caer en los rigores de la logica, no definimos los conceptos
de objeto y morfismo de una categora. En su lugar definimos una categora como
una coleccion de objetos y morfismos sujetos a ciertos axiomas.
Definici
on 1.1.1. Una categora C se define por:
(a) Una coleccion no vaca cuyos elementos se llaman objetos. Esta colecci
on se
denota por Ob(C).
(b) Una coleccion no vaca de conjuntos disyuntos y eventualmente vacos:
{MorC (X, Y )}X,Y Ob(C ) .
Los elementos del conjunto MorC (X, Y ) se denominan morfismos del objeto X en el objeto Y y se denota tambien por Mor(X, Y ). Un elemento de
1

CAPITULO 1. CATEGORIAS

MorC (X, Y ) se representa por f : X Y , X

Y , o sencillamente X Y .
X se llama el dominio del morfismo f , mientras que Y es llamado el codominio.
La reunion de todos los conjuntos de morfismo de C ser
a notada Mor(C), esto
es,
[
Mor(C) :=
Mor(X, Y ).
X,Y Ob(C )
(c) Una operacion entre morfismos llamada composici
on, tal que si X, Y, Z son
objetos de C, f Mor(X, Y ) y g Mor(Y, Z), existe un u
nico morfismo
g f Mor(X, Y ):
Mor(X, Y ) Mor(Y, Z) Mor(X, Z)
(f, g) 7 g f

(1.1.1)
(1.1.2)

La operacion cumple las siguientes condiciones:

(i) Es asociativa, es decir, dados f Mor(X, Y ), g Mor(Y, Z) y h
Mor(Z, W ) se cumple
(h g) f = h (g f ).

(1.1.3)

(ii) Para cada objeto X en C existe un morfismo identidad iX en Mor(X, X)

tal que
iX f = f,
g iX = g,
(1.1.4)
para todo f Mor(Y, X) y todo g Mor(X, Y ).
Observaci
on 1.1.2. (i) Es claro a partir de la Definicion 1.1.1 la unicidad del
morfismo identidad.
(ii) Si en (1.1.1) Mor(X, Y ) o Mor(Y, Z) son vacos, la composicion no se define.
(iii) Para representar la composicion de morfismos en una categora se utilizan
diagramas. As pues, las composiciones en (1.1.3) y (1.1.4) pueden representarse
por el diagrama
X

- W
 6

@
f
hg

gf
@
R
@
- Z

h (g f ) = (h g) f

1.1. CONCEPTO DE CATEGORIA

- X

iX

f =iX f

g=giX

?
- Y
g

(iv) Un diagrama se dice conmutativo si para cualesquiera dos objetos X, W en

el, todos los caminos de X a W son equivalentes.
Ejemplo 1.1.3. El ejemplo mas sencillo de categora es la de los conjuntos, la
cual se denota por Conj. Sus objetos son la coleccion de todos los conjuntos; las
funciones conforman los morfismos, y la operacion entre estos es la composicion
usual de funciones. Dado un conjunto X, el morfismo identidad es la funcion identica
iX : X X, x 7 x. Se define i := , Mor(, A) := {}, para cada conjunto A;

Mor(A, ) = para cada conjunto A 6= ;

A
B, f = .
Definici
on 1.1.4. Dadas dos categoras C, C 0 , se dice que C 0 es una subcategora
de C si se cumplen las siguientes cuatro condiciones:
(i) Todo objeto de C 0 es tambien un objeto de C. En terminos de contenencia de
clases esto quiere decir que Ob(C 0 ) Ob(C).
(ii) Dados X, Y Ob(C 0 ), todo morfismo f : X Y en C 0 tambien lo es en C,
esto es, MorC 0 (X, Y ) MorC (X, Y ).
(iii) La composicion de morfismos en C 0 es la inducida por la composici
on de morfismos en C.
(iv) Para cada objeto X de C 0 , el morfismo identidad es el mismo morfismo identidad de la categora C.
Ejemplo 1.1.5. Otras categoras. La coleccion de todos los grupos junto con los
homomorfismos constituyen una categora denotada por Grp. La operacion entre
morfismos es la composicion, mientras que el morfismo identidad se define como en
Conj. De otra parte, los anillos con unidad junto con los homomorfismos de anillo
que preservan la unidad conforman una categora denotada por Ani. Finalmente,
para un anillo con unidad A, ModA es la categora de todos los A-modulos derechos
cuyos objetos son los A-modulos derechos y los morfismos son los A-homomorfismos.
Tanto la operacion como las identidades se definen como en Grp y Ani. Si se
consideran A-modulos izquierdos, la categora se denota por A Mod.
En cada categora debe tenerse un criterio de igualdad de objetos y morfismos.
As, en las categoras descritas anteriormente, la igualdad de objetos esta caracterizada por la igualdad de conjuntos y la igualdad de operaciones definidas en ellos.

CAPITULO 1. CATEGORIAS

La igualdad de morfismos se define mediante la igualdad de funciones. Notese por

ejemplo que el anillo producto ZN y el anillo de sucesiones formales Z[[x]] son diferentes, a pesar de que sus conjuntos coinciden. De esta manera, ZN y Z[[x]] no son
objetos iguales en la categora Ani.
De otra parte, observese que la coleccion de conjuntos finitos conforma una subcategora de Conj; la coleccion de grupos abelianos es una subcategora de Grp.
Definici
on 1.1.6. Una categora C se dice peque
na si Ob(C) es un conjunto.
Ejemplo 1.1.7. La categora Nat determinada por el conjunto N0 = {0, 1, 2, 3, . . . }
n
es peque
na. Su u
nico objeto es el 0, y se define Mor(0, 0) := {0
0 | n N0 }. La
n
composicion entre morfismos corresponde a la multiplicacion, es decir, si 0
0y
m
0
0 son morfismos, se define m n := mn. La asociatividad de la mutiplicacion
implica la asociatividad de la composicion. El morfismo identidad es el entero 1.
Ejemplo 1.1.8. Cualquier conjunto pre-ordenado constituye otro ejemplo de categora peque
na, denotada Pre. Sea P un conjunto no vaco con una relacion 4 la cual
es reflexiva y transitiva. P constituye los objetos de Pre; para x, y P se define
(
,
si x  y
Mor(x, y) :=
{(x, y)}, si x 4 y.
La composicion de morfismos se define por la transitividad de la relacion 4, es decir,
f
g
para x
y, y
z se tiene que g f = h : x z, pues x 4 y, y 4 z implica x 4 z.
En adelante, si no se advierte lo contrario, se entendera que todos los objetos y
morfismos corresponden a una categora arbitraria C.
Cerramos esta seccion con el concepto de factorizacion de morfismos.
Definici
on 1.1.9. Un morfismo f : X Y se dice factorizable a traves del
morfismo g : X Z (se acostumbra a decir que f es factorizable a traves del objeto
Z), si existe un morfismo h : Z Y tal que el siguiente diagrama conmuta
Z
g

X
es decir, f = h g.

@h
R
@
- Y

1.2. TIPOS DE MORFISMOS

1.2.

Tipos de morfismos

La caracterizacion de los conceptos de funcion sobreyectiva, inyectiva y biyectiva

de la categora Conj conduce a los conceptos de epimorfismo, monomorfismo e
isomorfismo en una categora cualquiera. Estas y otras nociones seran estudiadas
con alg
un detalle en esta seccion.
Definici
on 1.2.1. Un morfismo f : X Y se dice que es un epimorfismo, si
para todo objeto Z y todo par de morfismos h, g : Y Z se cumple la implicaci
on
g f = h f g = h.
En otras palabras, h es un epimorfismo si es cancelable a derecha.
El morfismo f se dice que es un monomorfismo si es cancelable a izquierda.
Finalmente, se dice que f es un bimorfismo, si es simult
aneamente epimorfismo
y monomorfismo.
A partir de las definiciones anteriores se obtienen de manera inmediata las siguientes conclusiones:
(i) La composicion de monomorfismos es un monomorfismo. Si g f es un monomorfismo, entonces f es un monomorfismo.
(ii) La composicion de epimorfismos es un epimorfismo. Si g f es un epimorfismo,
entonces g es un epimorfismo.
(iii) El morfismo identico es un bimorfismo.
Ejemplo 1.2.2. En la categora ModA los epimorfismos coinciden con los homomorfismos sobreyectivos. En efecto, sea f : M N un homomorfismo sobreyectivo de
A-modulos, y sean g, h : N P homomorfismos tales que g f = h f . Dado n N
existe m M tal que f (m) = n; de aqu resulta g(n) = g f (m) = h f (m) = h(n),
es decir, g = h. De otra parte, sea f : M N un epimorfismo en ModA y
P := N/Im(f ) el modulo cociente de N por la imagen del homomorfismo f . Consideremos los A-homomorfismos g, h : N P definidos por g(n) := n + Im(f ) y
h(n) := 0 + Im(f ), para todo n N . Claramente g f = h f , por lo tanto g = h,
y de aqu n Im(f ) para cada n N , esto es, f es sobreyectiva.
En la categora ModA los monomorfismos son los homomorfismos inyectivos. En
efecto, sea f : M N un homomorfismo inyectivo y g, h : P N homomorfismos
tales que f g = f h. Para cada x P se cumple que f (g(x)) = f (h(x)), de lo cual
resulta que g(x) = h(x), es decir, g = h. Ahora, supongamos que f : M N es un
monomorfismo de ModA y sean m1 , m2 M tales que f (m1 ) = f (m2 ). Sea P el
submodulo cclico de M generado por m1 m2 y considerense los A-homomorfismos

CAPITULO 1. CATEGORIAS

i, h : P M , inclusion y nulo respectivamente. Se sigue que f i = f h, de donde

i = h. En particular, i(m1 m2 ) = m1 m2 = h(m1 m2 ) = 0.
Como consecuencia de lo anterior se tiene que en la categora ModA los bimorfismos son los homomorfismos biyectivos.
Ejemplo 1.2.3. Analogamente a como se probo en la categora ModA , se establece
que en Ani todo homomorfismo sobreyectivo de anillos es un epimorfismo. El siguiente ejemplo muestra que el recproco no es siempre cierto. La inclusion i : Z Q
es un homomorfismo no sobreyectivo, sin embargo es un epimorfismo de Ani. En
efecto, sea C un anillo y g, h : Q C homomorfismos tales que g i = h i. Para
todo racional pq se cumple que
 
p
g
= g(p)g(q)1
q
= g(i(p))g(i(q))1
= h(i(p))h(i(q))1
 
p
=h
q
es decir, g = h.
En la categora Ani los monomorfismos coinciden con los homomorfismos inyectivos: sea f : A B un homomorfismo en Ani y x, z elementos de A tales
que f (x) = f (z). Considerese el subanillo S(x, z) de A generado por los elementos
x, z (vease [7]) y las funciones i : S(x, z) A, p(x, z) 7 p(x, z), h : S(x, z)
A, p(x, z) 7 p(z, x). Claramente i, h son homomorfismos de anillos que satisfacen
f h = f i. Por lo tanto h = i, y en particular, h(x) = z = i(x) = x.
La prueba de que todo homomorfismo inyectivo es monomorfismo es analoga a la
dada en el Ejemplo 1.2.2 para modulos. De lo discutido anteriormente se desprende
que en la categora Ani los bimorfismos no coinciden con los homomorfismos biyectivos, de tal manera que todo homomorfismo biyectivo es bimorfismo pero no lo
contrario.
Definici
on 1.2.4. El morfismo f : X Y se dice una retracci
on, si existe un
morfismo h : Y X tal que f h = iY . En otras palabras, f es una retracci
on
si posee un inverso a derecha. Se dice que f : X Y es una corretracci
on, si
tiene inverso a izquierda. Un isomorfismo es un morfismo que es retracci
on y
corretraccion al mismo tiempo.
Notese que para un isomorfismo el inverso por la derecha coincide con el inverso
por la izquierda y es el u
nico que cumple esta doble condicion. Dicho morfismo
sera llamado el inverso de f , y sera notado por f 1 . Para indicar que dos objetos
X, Y son isomorfos, esto es, que existe un isomorfismo entre ellos, escribimos X
= Y.

1.2. TIPOS DE MORFISMOS

A partir de las definiciones anteriores es evidente que una retraccion es un epimorfismo y que toda corretraccion es un monomorfismo. De esto se desprende que
todo isomorfismo es un bimorfismo. Una categora se dice balanceada si todo bimorfismo es un isomorfismo.
Ejemplo 1.2.5. Consideremos los Z-modulos 2Z := {2k | k Z} y Z con el
homomorfismo inclusion i : 2Z Z, i(2k) = 2k, para todo k Z. Por ser i
inyectivo es monomorfismo, sin embargo, i no tiene inverso a izquierda. En efecto,
sea g : Z 2Z un homomorfismo tal que g i = i2Z . Si g(1) = 2m con m Z,
entonces g(2) = 4m = g(i(2)) = 2, lo cual es absurdo.
De otra parte, el homomorfismo canonico j : Z Z2 es claramente sobreyectivo
y, por ende, un epimorfismo. j no es una retraccion ya que el u
nico Z-homomorfismo
de Z2 en Z es nulo.
Ejemplo 1.2.6. En la categora Ani la inclusion canonica i : Z Q es un
monomorfismo ya que es un homomorfismo inyectivo. Supongase que existe un homomorfismo de anillos g : Q Z tal que g i = iZ . Entonces, 1 = g(1) = g( 12 + 12 ) =
2g( 21 ), lo cual es absurdo ya que g( 12 ) Z. En conclusion, i no es una corretraccion.
El mismo ejemplo dado en el ejemplo 1.2.5 ilustra que en Ani no todo epimorfismo es retraccion.
Ejemplo 1.2.7. De la definicion 1.2.4 y de los dos ejemplos anteriores obtenemos:
(i) En ModA toda retraccion es un homomorfismo sobreyectivo, pero no lo contrario. Toda corretraccion es un homomorfismo inyectivo, mas no se tiene el
recproco.
(ii) En Ani toda corretraccion es un homomorfismo inyectivo, pero no lo contrario.
En Ani toda retraccion es un homomorfismo sobreyectivo, pero no lo contrario.
En efecto, el homomorfismo canonico j : Z Z2 es sobreyectivo pero no es
retraccion (vease el ejemplo 1.2.6)
Ejemplo 1.2.8. En teora general de anillos y modulos se demuestra que los isomorfismos coinciden con los homomorfismos biyectivos. De aqu, y de lo anotado al
final del ejemplo 1.2.2, se obtiene que ModA es una categora balanceada. Ani no
es balanceada: como se observo en los ejemplos anteriores la inclusion i : Z Q es
un bimorfismo, pero claramente no es biyectivo.
Algunos de los resultados de la presente seccion se pueden resumir en la siguiente
tabla, donde C es una categora cualquiera, i = inyectivo, s = sobreyectivo, biy =
biyectivo, m = monomorfismo, e = epimorfismo, bim = bimorfismo, iso = isomorfismo, r = retraccion y c = corretraccion.

CAPITULO 1. CATEGORIAS

C
re
cm
iso bim

1.3.

ModA
rse
cim
biy iso bim

Ani
rse
cim
biy iso bim

Tipos de objetos y dualidad.

En la categora ModA el modulo nulo 0 es tal que para cada A-modulo M los
conjuntos HomA (0, M ) y HomA (M, 0) son unitarios. Los objetos de una categora
con esta propiedad se destacan de manera especial.
Definici
on 1.3.1. Un objeto I se dice inicial si para cada objeto X el conjunto
Mor(I, X) es unitario. Un objeto T se dice terminal si para cualquier objeto X el
conjunto Mor(X, T ) es unitario. Un objeto que es simult
aneamente inicial y terminal
se denomina objeto cero, y se acostumbra a denotar por 0.
Resulta a partir de las definiciones anteriores que dos objetos iniciales de una
categora son necesariamente isomorfos. Tal situacion se tiene tambien para dos
objetos terminales y para dos objetos cero.
Ejemplo 1.3.2. En Conj el conjunto vaco es el u
nico objeto inicial, mientras que
cualquier conjunto unitario es objeto terminal. Conj no posee objeto cero. En ModA
el modulo nulo 0 es objeto cero. En Ani el anillo Z de enteros es objeto inicial. El
anillo trivial 0, consistente de un solo elemento, es objeto terminal. Ani no tiene
objeto cero.
Definici
on 1.3.3. El morfismo f : X Y se llama morfismo cero a izquierda
si f g = f h, para cualquier objeto Z y cualesquiera morfismos g, h : Z X. Se
dice que f es un morfismo cero a derecha si g f = hf , para cualquier objeto Z
y cualesquiera morfismos g, h : Y Z. Un morfismo que sea cero simult
aneamente
a izquierda y a derecha se llama morfismo cero.
Si I es un objeto inicial entonces cualquier morfismo I X es morfismo cero a
derecha. Analogamente, si T es objeto terminal, entonces todo morfismo con codominio T es morfismo cero a izquierda.
Ejemplo 1.3.4. En la categora ModA el homomorfismo nulo 0 : M N es un
morfismo cero. En Ani el homomorfismo Z 0 es morfismo cero. Ademas, para
cada anillo A el homomorfismo Z A que asigna a n el elemento n1 es un morfismo
cero a derecha; el homomorfismo trivial A 0 es un morfismo cero a izquierda.
Proposici
on 1.3.5. En una categora con objeto 0, para cada par de objetos X, Y
existe un u
nico morfismo cero en Mor(X, Y ), notado 0XY .

1.3. TIPOS DE OBJETOS Y DUALIDAD.

Demostracion. Existencia. Notese que si f : X Y es un morfismo cero a izquierda

y g : Y Z es un morfismo cero a derecha, entonces g f es un morfismo cero. En
efecto, sean h, k : Z W morfismos. Entonces
h (g f ) = (h g) f = (k g) f = k (g f ),
con lo cual g f resulta ser un morfismo cero a derecha. De manera analoga se
establece que g f es morfismo cero a izquierda. Resulta entonces de la definicion
1.3.3 que la compuesta 0XY : X 0 Y es un morfismo cero.
Unicidad. El morfismo encontrado 0XY es factorizable a traves del objeto cero y
se tiene el diagrama conmutativo
0
y

0XY

@
R
@
- Y

Puesto que x y y son u

nicos, basta probar que cualquier morfismo cero f : X Y
es factorizable a traves de cero (el recproco tambien es cierto y su prueba queda al
lector). Consideremos el diagrama
0
x

3




f

Q
Q
s
Q
- Y

iY

- Y

0Y Y

Puesto que 0Y Y es morfismo cero se tiene que 0Y Y f = 0Y Y (y x). Tambien,

como f es morfismo cero, entonces 0Y Y f = iY f . De las dos identidades anteriores
resulta 0Y Y (y x) = f . Pero 0Y Y y = iY y por ser y morfismo cero a derecha.
En total, y x = f , lo cual queramos demostrar.
Ejemplo 1.3.6. En Ani el homomorfismo Z 0 es morfismo cero y no es factorizable a traves del objeto cero, pues Ani no posee objeto cero.
Definici
on 1.3.7. Una categora se dice que posee cero morfismos, si para cualesquiera par de objetos X, Y existe un morfismo 0XY : X Y tal que
(i) f 0XY = 0XZ , para cada objeto Z y cada f Mor(Y, Z);
(ii) 0XY g = 0ZY , para cada objeto Z y cada g Mor(Z, X).
Notese que en una categora C con cero morfismos la coleccion de cero morfismos
{0XY }X,Y Ob(C ) es u
nica:
00XY 0XX = 0XY ,

00XY 0XX = 00XY .

10

CAPITULO 1. CATEGORIAS

Proposici
on 1.3.8. Una categora C con objeto cero 0 es una categora con cero
morfismos. La coleccion de cero morfismos es la descrita en la proposici
on 1.3.5.
Demostracion. Sea {0XY }XY Ob(C ) la coleccion de morfismos estudiada en la proposicion 1.3.5. Sean x : X 0 y y : 0 Y los morfismos tales que 0XY = y x.
Sea f : Y Z y consideremos el diagrama conmutativo
X

0XY

- Y

6
@
y
x@
@
R
@

- Z

f y

0
esto es, f 0XY = f (y x) = (f y) x. Por lo tanto f 0XY es factorizable a
traves del objeto cero, por lo tanto f 0XY = 0XZ . De manera similar se establece
la condicion (ii) de la definicion 1.3.7.
Ejemplo 1.3.9. En ModA el homomorfismo nulo 0 : M N es el cero morfismo
0M N . As, ModA es una categora con cero morfismos. Ani no es una categora con
cero morfismos, pues por ejemplo Mor(Z2 , Z) = .
Es posible que una categora tenga cero morfismos sin que posea objeto cero.
Tal es el caso de la categora Nat estudiada en la definicion 1.1.6. En efecto, Nat
no posee objeto cero pero el morfismo 0 : 0 0 es tal que n0 = 0n = 0 para todo
n Mor(Nat).
Observaci
on 1.3.10. En teora de categoras las ideas vienen en parejas, cada una
de las cuales es dual de la otra, en el sentido de que la definicion o afirmacion de la una
se obtiene de la otra invirtiendo el sentido de las flechas en los morfismos. As pues,
se habra notado como los conceptos de epimorfismo y monomorfismo son duales; de
la misma manera son duales los conceptos de objeto inicial y objeto terminal. Esta
observacion lleva a la consideracion de obtener a partir de una categora arbitraria
C otra categora C , denominada la categora dual de C, y definida de la siguiente
manera:
(i) Ob(C ) := Ob(C);
(ii) Para cualesquiera objetos X, Y de C se tiene MorC (X, Y ) := MorC (Y, X). Si
f : Y X es un morfismo en C, su dual se denota por f : X Y ;
(iii) Si g MorC (Z, Y ) y f MorC (Y, X), entonces la compuesta se define por
f g := (g f ) .
La asociatividad de esta composicion es consecuencia de la asociatividad de la composicion en C. Las identidades de C son las mismas que en C. De la definicion
anterior es claro que (C ) = C.

1.4. SUBOBJETO Y OBJETO COCIENTE

11

Observaci
on 1.3.11. La posibilidad de asociar a cada categora C su dual C permite obtener para cada concepto o afirmacion categorica P un nuevo concepto dual
o afirmaci
on dual P . Si P es una afirmacion demostrada categoricamente (es
decir, valida en cualquier categora), entonces P se considera tambien demostrado
categoricamente. Mas exactamente, se tiene el siguiente principio de dualidad :
P es un teorema sobre categoras si, y solo si, P es un teorema sobre categoras.
En adelante aplicaremos el principio de dualidad para omitir las pruebas de las afirmaciones duales. Escribiremos P.D. para indicar que estamos aplicando el principio
de dualidad.

1.4.

Subobjeto y objeto cociente

Como se vera a continuacion, las nociones de submodulo, subanillo, modulo cociente

y anillo cociente admiten una generalizacion natural en categoras arbitrarias.
Definici
on 1.4.1. Sea A un objeto de una categora. Se llama subobjeto de A a
una pareja (X, l) donde X es un objeto y l : X A es un monomorfismo. Si es
claro por el contexto, podremos omitir el morfismo l y escribir simplemente X A.
Cuando l no es isomorfismo, se dice que X es subobjeto propio de A y se escribe
X  A. Si f : A B es un morfismo y l : X A un subobjeto de A, entonces la
compuesta f l se denomina la restricci
on de f a X y se denota por f |X : X B.
Teniendo en cuenta que la compuesta de monomorfismos es un monomorfismo,
se obtiene
(X Y y Y Z) (X Z).
(1.4.1)
Definici
on 1.4.2. Para cada objeto A se denota por Sub(A) la colecci
on de todos los
subobjetos de A. Si (X1 , l1 ) y (X2 , l2 ) son elementos de Sub(A) se dice que (X1 , l1 )
est
a incluido en (X2 , l2 ), o tambien, que (X1 , l1 ) precede a (X2 , l2 ), lo cual se
denota X1 X2 , si existe un morfismo f : X1 X2 tal que el siguiente diagrama
conmuta
A
l1

X1

@ 2
I
@
- X2

Notese que f es u
nico y es un monomorfismo, con lo cual X1 es subobjeto de X2 .
Esto justifica la notacion introducida para la relacion de inclusion entre subobjetos.
Por (1.4.1) y ya que X X para cada objeto X, (Sub(A), ) es un preorden (es
decir, es una relacion reflexiva y transitiva).

12

CAPITULO 1. CATEGORIAS

Definici
on 1.4.3. Dos subobjetos de A, (X1 , l1 ) y (X2 , l2 ) se dicen equivalentes y
escribimos (X1 , l1 )
= (X2 , l2 ), si existen morfismos f : X1 X2 , g : X2 X1 tales
que el siguiente diaframa conmuta
A
l2

X2

 6@
I l2
@
l1
@
@
g
- X
- X
1

l2 g = l1 , l1 f = l2
En otras palabras, X1 X2 y X2 X1 . Evidentemente
on de
= es una relaci
equivalencia en Sub(A).
Proposici
on 1.4.4. Si (X1 , l1 )
= (X2 , l2 ) entonces X1
= X2 .
Demostracion. Dado que l2 g = l1 , l1 f = l2 , se obtiene (l1 f ) g = l2 g =
l1 = l1 iX1 . Como l1 es un monomorfismo se tiene que f g = iX1 . Simetricamente
encontramos g f = iX2 .
Ejemplo 1.4.5. El recproco de la proposicion anterior no siempre es cierto. Por
ejemplo, en ModZ , 2Z y 3Z son claramente modulos isomorfos. Sean l1 : 2Z Z y
l2 : 3Z Z las inclusiones. Si existieran homomorfismos f : 3Z 2Z y g : 2Z 3Z
tales que l1 f = l2 y l2 g = l1 entonces l1 f (3) = l2 (3), es decir, 3 = l1 (2m) = 2m,
para alg
un m Z, lo cual es contradictorio.
Observaci
on 1.4.6. La clase de equivalencia determinada por el subobjeto (X, l)
de A sera notada por (X, l), o simplemente X. SUB(A) denotara la coleccion de
dichas clases de equivalencia. A menudo identificaremos X como un subobjeto de
A. Notese que si X1 , X2 SUB(A), la relacion definida por
X1 X2 X1 X2 ,
es un orden en SUB(A).
Ejemplo 1.4.7. Los subobjetos de un A-modulo son, salvo equivalencia, los submodulos con las inclusiones. En efecto, sean l : X M un subobjeto de M y
N := l(X). Sea l0 : N M la inclusion. Se tiene (X, l)
= (N, l0 ), como lo muestra
el siguiente diagrama
M
l0

 6@
I
@ l0
l
@
@
- X
- N
g

1.4. SUBOBJETO Y OBJETO COCIENTE

13

donde f (n) := x, con l(x) = n y g(x) := l(x), x X, n N .

De otra parte, sean N1 y N2 submodulos distintos de M con las inclusiones
l1 : N1 M, l2 : N2 M . Se sigue que N 1 6= N 2 . Sean n N1 , n
/ N2 y
supongase que existe un homomorfismo g : N1 N2 tal que l2 g = l1 . Se tiene que
n = l1 (n) = l2 (g(n)) = g(n) N2 , lo cual es una contradiccion.
De manera analoga se demuestra que los subobjetos de un anillo A son, salvo
equivalencia, los subanillos con las inclusiones.
Un mismo objeto de una categora puede ser subobjeto de diferentes maneras,
es decir, a traves de diferentes monomorfismos podemos obtener subobjetos que no
son equivalentes. Sean por ejemplo en ModZ , h : 2Z Z, h(2k) = k, y l : 2Z Z
la inclusion. Si existieran morfismos f, g : 2Z 2Z tales que l f = h, entonces
h(2) = h(2 1) = 1 = 1 f (2) = 2m, con m Z, obteniendose una contradiccion.
Definici
on 1.4.8. Una categora se dice localmente peque
na, si SUB(A) es un
conjunto para cada objeto A de C.
Son localmente peque
nas las categoras Conj, ModA y Ani.
Si C es localmente peque
na, A un objeto de C y U SUB(A), se tienen las
siguientes afirmaciones:
(i) X U se dice minimal en U, si para cada Y U se cumple
Y X Y = X.
(ii) SUB(A) se dice artiniano si cada subconjunto no vaco de SUB(A) tiene objeto minimal. A se dice artiniano si SUB(A) es artiniano. C se dice artiniana
si cada objeto A de C es artiniano.
(iii) X U se dice maximal en U, si para cada Y U se cumple
X Y Y = X.
(iv) SUB(A) se dice noetheriano si cada subconjunto no vaco de SUB(A) tiene
objeto maximal. A se dice noetheriano si SUB(A) es noetheriano. C se dice
noetheriana si todo objeto A de C es noetheriano.
Definici
on 1.4.9. Sea C una categora cualquiera y A un objeto de C. Se dice
que A cumple la condici
on mnima de cadenas, si cada subconjunto no vaco
totalmente ordenado de SUB(A) contiene elemento minimal. De manera similar,
mediante elementos maximales, se define la condici
on m
axima de cadenas.

14

CAPITULO 1. CATEGORIAS

Proposici
on 1.4.10. Si C es una categora localmente peque
na y A es un objeto
de C, entonces A es artiniano (noetheriano) si, y s
olo si, A cumple la condici
on
mnima (maxima) de cadenas.
Demostracion. ) Evidente.
) Supongase que existe =
6 U SUB(A) tal que U no posee subobjeto minimal. Se tiene que dado X1 U existe X2 en U tal que X2 6= X1 y X2 X1 . Resulta
la cadena
X3 X2 X1
sin elemento minimal.
Ejemplo 1.4.11. Si A = {0} es el anillo trivial, entonces ModA solo posee un
objeto: el modulo nulo. En tal caso ModA es artiniana y noetheriana. De otra
parte, si A es no trivial, entonces ModA no es artiniana ni noetheriana. En efecto,
el A-modulo libre con base enumerable A(N) , no es ni noetheriano no artiniano. Basta
considerar las cadenas de submodulos propios
X

X

n

xi A
,
xi A
,
i=1

n1

i=n

n1

(N)
donde {xi }
.
i=1 es una base de A
La coleccion de A-modulos noetherianos (artinianos) constituye una subcategora
de ModA . Los anillos y modulos noetherianos (artinianos) fueron estudiados en [9].
La categora Ani no es noetheriana ni artiniana. Es suficiente considerar el anillo
de polinomios A[x1 , . . . , xn , . . . ] en una cantidad infinita enumerable de indeterminadas con coeficientes en un anillo no trivial A, y las cadenas de subanillos propios

{A[x1 , . . . , xn ]}n1 ,

{A[xn ,n+1 , . . . ]}n1.

Concluimos esta seccion discutiendo brevemente el concepto dual de subobjeto.

Definici
on 1.4.12. Sea A un objeto. Se llama objeto cociente de A una pareja
(j, X), donde X es objeto y j : A X es un epimorfismo. Coc(A) denotar
a la
colecci
on de objetos cocientes de A. Por el principio de dualidad se tiene una relaci
on

= de equivalencia entre objetos cocientes de A, de tal manera que si

(j1 , X1 )
= (j2 , X2 ) X1
= X2 .
Al igual que en el ejemplo 1.4.5, el recproco de la implicacion anterior no cierto
es en general. Sea A un anillo no trivial y A[x1 ], A[x2 ] anillos de polinomios con
coeficientes en A. La funcion s : A[x1 ] A[x2 ] que asigna a p(x1 ) el polinomio p(x2 )
es claramente un isomorfismo. Las proyecciones
ji : A[x1 ] A[x2 ] A[xi ],

i = 1, 2,

1.4. SUBOBJETO Y OBJETO COCIENTE

15

son homomorfismos sobreyectivos, con lo cual (j1 , A[x1 ]) y (j2 , A[x2 ]) son objetos
cociente de A[x1 ] A[x2 ]. Supongase que existen homomorfismos f, g tales que el
siguiente diagrama conmuta
A[x1 ] A[x2 ]
@
j2

A[x2 ]

j1

?
- A[x1 ]

@ j2
@
@
g

@
R
@
- A[x2 ]

Se tiene j1 (x1 , 1) = x1 = f j2 (x1 , 1) = 1, lo cual es absurdo.

Sea COC(A) la coleccion de clases de objetos cociente equivalentes, esto es,
COC(A) = Coc(A)/
na si COC(A) es un
=. Se dice que C es colocalmente peque
conjunto para cada objeto A de C.
Ejemplo 1.4.13. ModA es colocalmente peque
na. Al seguir el razonamiento del
ejemplo 1.4.7 es posible demostrar que los objetos cocientes de un A-modulo son,
salvo equivalencia, los modulos cociente M/N con los homomorfismos canonicos
j : M M/N, j(m) = m + N, m M .
Para la categora Ani la situacion cambia. Dado un anillo A, los anillos cociente
A/I, con I ideal bilatero propio de A, junto con los homomorfismos canonicos j :
A A/I, son objetos cociente de A. Sin embargo, hay objetos cociente de A no
precedentes de ideales. En efecto, si RC es el anillo clasico de fracciones del anillo
conmutativo R, entonces : R RC , (a) = a1 , es un objeto cociente de R: si
f, g : RC B son homomorfismos tales que f = g , se tiene que
 
   
 
a
a
1
a
1
1
f
= f ((a)(s) ) = g (a)(g (s)) = g
g
=g
,
s
1
s
s
es decir, f = g. As, es un epimorfismo y : R RC es un objeto cociente de R.
Notese que por ejemplo ZC = Q y claramente no existe n tal que
(j : Z Zn )
= ( : Z Q).
La causa de todo esto parece estar en que en la categora Ani los epimorfismos no
coinciden con los homomorfismos sobreyectivos. A
un para el caso del anillo Z la
descripcion de todos los objetos cociente de Z es un problema interesante (vease el
ejercicio 16 del presente captulo).

16

CAPITULO 1. CATEGORIAS

1.5.

Intersecci
on y uni
on

En esta seccion se estudian dos de las operaciones mas comunes que se pueden
realizar con subobjetos de un objeto: la interseccion y la union.
l

i
Definici
on 1.5.1. Sea {Xi

A}iI un conjunto no vaco de subobjetos de un objeto

l
A. El subobjeto X
A se denomina intersecci
on de la familia si se cumplen las
siguientes dos condiciones:

(i) Para cada i I, X precede a todo subobjeto Xi , esto es, se tiene el diagrama
conmutativo
A
li

@l
I
@

Xi 

fi

X
f0

i
(ii) Si X 0
A es un morfismo para el cual existe X 0

Xi tal que li fi0 = g para

cada i I, entonces existe un u

nico morfismo X 0
X tal que l f = g:
Xi
fi0


f

X0

li

6@
fi

@
@
R
@
l A

- X

@
iX 0
@
R
@

X0
El objeto X se acostumbra a notar

iI

Xi , o sencillamente,

Xi .

Seg
un la definicion 1.4.2, cada fi es monomorfismo y u
nico. Notese tambien que
fi f = fi0 para cada i I. En efecto,
li fi0 = g = l f = li (fi f ).
Observese finalmente que si g es un monomorfismo, es decir, si X 0 es un subobjeto
de A que precede a cada Xi , entonces X 0 precede a la interseccion.
l

i
Proposici
on 1.5.2. Si X
A y X0
A son intersecciones del conjunto {Xi

A}iI de subobjetos de A, entonces

0

l
l
(X
A)
A),
= (X 0

y en particular, X
= X 0.

17

Y UNION

1.5. INTERSECCION

f0

Demostracion. Existen morfismos X 0

X y, X
X 0 tales que l f = l0 y,
0
0
l f = l.
l

Es cierto el recproco de la proposicion anterior? Es decir, si X

A es inter0
li
0 l
seccion del conjunto {Xi
A}iI y X
A es subobjeto equivalente a X, entonces
X 0 es tambien interseccion. La respuesta a esta pregunta es afirmativa. En efecto,
h
t
sean X 0
X y, X
X 0 morfismos tales que l h = l0 y l0 t = l. Notese que el
diagrama
A
0

l1

@l
I
@

Xi 

X0

fi h

es conmutativo, donde fi es como en la definicion 1.5.1. Sea X 00

A un morfismo
k
i
para el cual existen X 00
Xi tales que li ki = g. Al ser X interseccion, existe
tk
00 k
X
X tal que l k = g. De esta manera, el morfismo X 00 X 0 es tal que
l0 t k = g. Como l0 es un monomorfismo, t k es u
nico con la condicion anterior.
Definici
on 1.5.3. Una categora se dice que posee intersecciones, si cada conjunto no vaco de subobjetos de un objeto cualquiera tiene intersecci
on. La categora
se dice que tiene intersecciones finitas, si cada conjunto finito no vaco de subobjetos tiene interseccion.
Ejemplo 1.5.4. Las categoras ModA y Ani tienen intersecciones. En efecto, sea
li
M un A-modulo y {Ni

M }iI un conjunto de subobjetos de M . Seg

un el ejemplo
1.4.7 podemos suponer que Ni es submodulo de M y que li es la inclusion. As, la
T
T
l
interseccion conjuntista Ni es claramente un submodulo de M y Ni
M es
la interseccion de la familia dada, donde l es la inclusion. Los detalles de la prueba
completa son rutinarios. Analogamente, en Ani la interseccion corresponde a la
interseccion conjuntista de subanillos.
f

1
2
Definici
on 1.5.5. Sea A
B un morfismo y X

A, Y

B subobjetos A y
B respectivamente. Se dice que X es llevado en Y a trav
es de f , si existe un
h
morfismo X
Y tal que el siguiente diagrama conmuta

h-

l1

l2

A
l

?
f

- B

i
Sea {Xi

A}iI un conjunto no vaco de subobjetos de un objeto A. El subobjeto

l
X
A se llama uni
on del conjunto, si se cumplen las siguientes condiciones:

18

CAPITULO 1. CATEGORIAS

(i) Cada Xi precede a X

A
li

@l
I
@
- X

Xi

fi

(ii) Si A
B es un morfismo tal que cada Xi puede ser llevado en un subobjeto
t
Y
B de B a traves de f , entonces X puede ser llevado en Y a traves de f ,
esto es, se tienen los siguientes diagramas conmutativos
hi

Xi

- Y

li

h-

?
- B

El objeto X se acostumbra a notar

iI

Xi , o,

?
- B

Xi .

Notese que en la definicion anterior h y cada fi en (i) son u

nicos, ademas fi es un
monomorfismo. Al tomar en (ii) f = iA resulta que si cada Xi precede a un cierto
l0

subobjeto A0 de A, A0
A, entonces X precede a A0 . En efecto, se tiene en este
caso que l1 l = l0 h, es decir, l = l0 h y h es un monomorfismo.
l

l0

i
Proposici
on 1.5.6. Si X
A y X0
A son uniones del conjunto {Xi

A} de
0
l
l
0
0
subobjetos de A, entonces (X
A)
A). En particular, X
= (X
=X.

Demostracion. De (i) y (ii) se obtienen de manera inmediata los siguientes diagramas

conmutativos:
Xi

fi

X0

- X

li

A
y
Xi

iA
fi0

iA

- X

l0

?
- A
0

Resulta entonces l f = l , l g = l.

- X

l0

?
- A

li

iA
g

?
- A

- X0
l0

iA

?
- A

19

Y UNION

1.5. INTERSECCION

l0

i
Sea X
A la union del conjunto {Xi

A}iI de subobjetos de A, y, X 0
A
0
l
l0
0 l

un subobjeto tal que (X

A) = (X
A). Se tiene entonces que X
A es
tambien union del conjunto dado. En efecto, existen monomorfismos f, g tal que el
siguiente diagrama conmuta

Xi
@ li
@
@
R
@
?
l - X
A
fi

X0

g
@
iX 0
@
R ?
@

l0

X0
De aqu obtenemos la primera condicion para la union.
A
0

li

Xi

gfi

@l
I
@
- X0

Para la segunda condicion basta observar la siguiente secuencia de diagramas conmutativos

Xi

mi

- Y

X
t

li

?
- B

m-

X0

Y
t

?
- Y

mf

- Y

l0

?
- B

Esto completa la prueba del recproco de la proposicion 1.5.6.

Definici
on 1.5.7. Una categora se dice que tiene uniones si cada conjunto no
vaco de subobjetos de un objeto cualquiera tiene uni
on. Si cada conjunto finito no
vaco de subobjetos de un objeto tiene uni
on se dice que la categora tiene uniones
finitas.
Ejemplo 1.5.8. La categora ModA tiene uniones. Para ver esto, sea M un Ali
modulo

M }iI un conjunto no vaco de submodulos de M . El modulo

Py {Mi
suma iI Mi junto con la inclusion natural conforman la union de la familia dada
(la escogencia de los subobjetos de esta manera se apoya en el ejemplo 1.4.7). La

20

CAPITULO 1. CATEGORIAS

primera condicion de la union es consecuencia de la manera como se definen las

inclusiones seg
un el diagrama conmutativo
M
li

@
I
@l
@

X
Mi

li0

Mi

iI

y, li0 (mi ) = mi . Sea M

N un homomorfismo tal que cada Mi es llevado en el
l0

submodulo N 0
N a traves de f , tal como muestra el siguiente diagrama conmutativo
hi
- N0
Mi
l0

li

?
- N

De esta forma, iI Mi tambien puede ser llevado en N 0 a traves de f , lo cual se

ilustra mediante el diagrama conmutativo
P

Mi

h-

iI

N0
l0

?
- N

donde la funcion h definida por h(mi1 + + min ) := hi1 (mi1 ) + + hin (min ), es
un homomorfismo de modulos que hace el diagrama anterior conmutativo.
La categora Ani tiene uniones. Para la prueba basta considerar un anillo A con
li
un conjunto no vaco {Ai

A}iI de subanillos de A e inclusiones. Si C es la union

de los conjuntos Ai , i I, entonces el subanillo S(C) generado por C es la union con
la inclusion respectiva l. Los elementos de S(C) son sumas finitas con sumandos de
la forma
anj11 anjtt , donde ajk Ajk , nk 1, k t.
El siguiente diagrama es claramente conmutativo
A
li

Ai


li0

@
I
@l
@
- S(C)

21

1.6. IMAGEN Y COIMAGEN

li0 (ai ) = ai . Sea A

B un homomorfismo de anillos tal que cada Ai es llevado en un
l0

subanillo B 0
B de B a traves de f . Como se ilustra en los siguientes diagramas
conmutativos, S(C) es llevado tambien en B 0 por f :
hi

Ai

l0

li

A
con h definido por

1.6.

S(C)

- B0

. . . anjtt )

A
n1

B0
l0

?
- B

h(anj11

h-

?
- B

nt

= hj1 (aj1 ) . . . hjt (ajt ) .

Imagen y coimagen

La imagen de un homomorfismo de A-modulos f : M N y el cociente M/ ker(f )

admiten una interpretacion categorica como veremos a continuacion.
f

Definici
on 1.6.1. Sea A
B un morfismo. Un subobjeto (Y
B) de B se
denomina imagen de f si se cumplen las siguientes dos condiciones:
(i) f se puede factorizar a traves de Y , es decir, existe un morfismo g : A Y
tal que el siguiente diagrama conmuta
f

A
@
g@
R

- B

(1.6.1)


l

Y
l0

(ii) Si f se puede factorizar a traves de otro subobjeto Y 0

B de B, entonces
existe un u
nico morfismo h : Y Y 0 tal que l0 h = l
B i
P
P
k PPP l0
Q
6

PP
hPP
- Y0
Y
1


g 
3 

 0
g


Q
Q

Observese que el morfismo g en (1.6.1) es u

nico. Tambien, en l0 h = l se tiene que
h es un monomorfismo y ademas h g = g 0 . El objeto Y de la imagen se acostumbra
f
l
denotar por Im(f ), o tambien, f (A). Escribiremos tambien Y
B = Im(A
B).
l0

Si A0
A es un subobjeto de A, definimos f (A0 ) := Im(f l0 ).
l
Si en (1.6.1) g es epimorfismo se dira que Y
B es imagen epim
orfica de f .

22

CAPITULO 1. CATEGORIAS

l0

Proposici
on 1.6.2. Si Y
B y Y0
B son im
agenes de A
B, entonces
0

l
l
(Y
B)
B),
= (Y 0

y en particular, Y
= Y 0.
Demostracion. Consecuencia directa de la igualdad l0 h = l.
f

l0

Sea Y
B una imagen de A
B y Y0
B un subobjeto de B equivalente a
0
f
l
0 l
Y
B. Entonces Y
B es tambien imagen de A
B. Esta afirmacion se sigue
de la definicion 1.6.1.
Definici
on 1.6.3. Se dice que una categora tiene im
agenes si todo morfismo tiene
imagen. Se dira que la categora tiene im
agenes epim
orficas, si todo morfismo
tiene imagen epimorfica.
Ejemplo 1.6.4. ModA es una categora con imagenes epimorficas. En efecto, si
f
M
N es un homomorfismo de A-modulos, entonces el conjunto Im(f ) = {f (m) |
m M }, es un submodulo de N mediante la inclusion l : Im(f ) N el cual conforma la imagen de f . Notese que el morfismo g de (1.6.1) en este caso es sobreyectivo,
y por lo tanto, un epimorfismo.
Im(f )
g

@ l
@
R
@
- N

g(m) = f (m), m M.

La verificacion de (ii) queda para el lector.

En la misma forma se establece que Ani es una categora con imagenes epimorficas.
Observaci
on 1.6.5. Al aplicar dualidad obtenemos los conceptos de coimagen y
f
coimagen monom
orfica en una categora. La coimagen de un morfismo A
B
f
sera notada Coim(A
B), o simplemente Coim(f ). Las afirmaciones duales de
las contenidas en la proposicion 1.6.2 se cumplen para el caso de la coimagen. Por
analoga con la definicion 1.6.3 se definen las categoras con coimagenes y comiagenes
monomorficas.
Ejemplo 1.6.6. ModA es una categora con coimagenes monomorficas. En efecto,
f
la coimagen del homomorfismo M
N es el modulo cociente M/ ker(f ) junto con

23

1.7. NUCLEOS
Y CONUCLEOS

el homomorfismo canonico j, esto es,

M/ ker(f )
j


3

f

g(m) := f (m), m = m + N (f ), m M.

Q
Q
s
- N

j0

N0
Observerse que g es inyectiva, y por lo tanto, un monomorfismo. Sea ahora M
un epimorfismo para el cual existe g 0 : N 0 N tal que g 0 j 0 = f . Se tiene
que j 0 es sobreyectivo por ser epimorfismo. Este hecho permite definir una funcion
h : N 0 M/N (f ) de tal forma que el siguiente diagrama conmuta
N X
y
XX
Y
H
XXX g0
XXX
6 H
g HH
XXX
h
X
0
f
M/ ker(f ) 

: N
M

h(n0 ) = m, donde j 0 (m) = n0 , n0 N 0 .


j 
* 0 

j



Veamos que h esta bien definida. Sean m, m0 M tales que j 0 (m) = j 0 (m0 ) = n0 . Se
sigue que g 0 (j 0 (m0 )) = g 0 (j 0 (m)), es decir, f (m) = f (m0 ), de donde m m0 ker(f ),
esto es, m = m0 . Ademas h es evidentemente un A-homomorfismo y cumple la
condicion hj 0 = j. La unicidad de h se desprende del hecho de ser j 0 un epimorfismo.
La caracterizacion de las coimagenes en la categora Ani no es conocida por el
autor. Remitimos al lector al ejercicio 16.

1.7.

N
ucleos y con
ucleos

En esta seccion formalizamos la nocion de n

ucleo de un homomorfismo. Ademas,
para ciertas categoras se generaliza el teorema de correspondencia de la teora de
modulos (corolario 1.7.14).
Definici
on 1.7.1. Sean f, g : X Y morfismos. Se llama coigualador de f y g
a un morfismo h : Y Z tal que
(i) h f = h g;
(ii) Para cada morfismo h0 : Y Z 0 que cumpla (i), existe un u
nico morfismo
0
k : Z Z tal que el siguiente diagrama es conmutativo:
X

f
g

- Y

- Z

@
k
@
h0
@
R ?
@

Z0

24

CAPITULO 1. CATEGORIAS

En ocasiones simplemente se dice que h, o, Z es el coigualador de f y g y

lo denotaremos por Coig(f, g). Notese que h es un epimorfismo. En efecto, sean
m, n : Z W tales que m h = n h. Se tiene que m h f = m h g y se
garantiza la existencia de un u
nico morfismo k : Z W tal que k h = m h; por
esta unicidad m = n. De aqu se sigue que h : Y Z es un objeto cociente de Y .
h0

Proposici
on 1.7.2. Sean Y
Z yY
Z 0 dos coigualadores de f, g : X Y . Se
0
h
h
tiene que (Y
Z)
Z 0 ), y en particular, Z
= (Y
= Z 0.
Demostracion. Evidente a partir de la definicion de coigualador y de objetos cocientes equivalentes.
h

Sea Y
Z un coigualador de f, g : X Y , y h0 : Y Z 0 un epimorfismo
h
h0
h0
tal que (Y
Z)
Z 0 ). Entonces Y
Z 0 es tambien un coigualador de
= (Y
m
l
f y g. En efecto, existen Z
Z 0, Z 0
Z tales que m h = h0 y, l h0 = h. Se
obtiene que h0 f = m h f = m h g = h0 g, cumpliendose as la primera
h00
condicion de coigualador. Si Y Z 00 es tal que h00 f = h00 g, entonces existe
k
kl
un u
nico morfismo Z
Z 00 tal que k h = h00 . As, se tiene el morfismo Z 0 Z 00
W
tal que (k l) h0 = h00 . Si existe otro Z 0 Z 00 tal que w h0 = h00 , entonces
w h0 = k h = k l h0 , pero como h0 es epimorfismo entonces w = k l y la
afirmacion esta probada.
Observaci
on 1.7.3. Al invertir el sentido de las flechas de los morfismos de la
definicion 1.7.1 obtenemos el concepto de igualador de un par de morfismos f, g :
X Y . El siguiente diagrama ilustra la definicion.
Z
k

h-

f
g

- Y


h0

Z0
h resulta un monomorfismo, con lo cual Z es un subobjeto de X. De otra parte, si
h
h0
h
h
Z
X y Z0
X igualadores de f, g : X Y , entonces (Z
X)
X).
= (Z 0
h

h0

Recprocamente, si Z
X es un igualador de f, g : X Z y Z 0
X es un
0
h
subobjeto de X equivalente a Z, entonces Z 0
X es tambien igualador.
Definici
on 1.7.4. Una categora se dice que posee coigualadores (igualadores),
si cada par de morfismos tiene coigualador (igualador).
Ejemplo 1.7.5. ModA es una categora con coigualadores e igualadores. Sean f, g :
M N homomorfismos de modulos, y sea C := {m M | f (m) = g(m)}. C es

25

1.7. NUCLEOS
Y CONUCLEOS

claramente un submodulo de M y se prueba facilmente que C

M es el igualador
de f y g, donde l es la inclusion. Para el coigualador consideramos el homomorfismo
j
diferencia f g y su imagen Im(f g). Se tiene que N
N/Im(f g), es el
coigualador de f, g, donde j es el homomorfismo canonico.
Ani tambien es una categora con coigualadores e igualadores. En efecto, si
l
f, g : A B es un homomorfismo de anillos, entonces C
A, donde C := {a
j
A | f (a) = g(a)}, es el igualador, donde l es la inclusion. Ademas, B
B/U ,
con U := hXi, X := {f (a) g(a) | a A}, es el coigualador de f y g, con j el
homomorfismo canonico y U el ideal bilatero generado por X.
Les corresponde ahora el turno a un subobjeto y a un objeto cociente muy
importantes dentro del algebra: el n
ucleo y el con
ucleo de un homomorfismo. La
construccion corresponde a casos particulares de igualador y coigualador respectivamente. Para tal efecto supondremos en adelante en esta seccion, salvo que se
advierta lo contrario, que los objetos y morfismos pertenecen a una categora con
cero morfismos.
f

Definici
on 1.7.6. Se denomina n
ucleo del morfismo A
B al igualador de f y
0AB :
f
hZ
A 0AB- Y
k


h0

Z0
h

Seg
un vimos en la observacion 1.7.3, el n
ucleo Z
A es un monomorfismo, es
h
decir, Z es subobjeto de A. Se utiliza la notacion, Z = ker(f ), o tambien, (Z

A) = ker(A
B). Seg
un se noto en la observacion 1.7.3, dos n
ucleos de f son
subobjetos equivalentes. Ademas, un subobjeto de A equivalente al n
ucleo de f es
tambien n
ucleo de f .
f
De manera dual se define el con
ucleo del morfismo A
B como el coigualador
f
de f y 0AB . Utilizaremos en este caso las notaciones coker(f ) y coker(A
B).
Un categora con cero morfismos se dice que posee n
ucleos (con
ucleos), si
cada morfismo tiene n
ucleo (con
ucleo).
Ejemplo 1.7.7. Seg
un el ejemplo 1.7.5, ModA es una categora con n
ucleos y
f
con
ucleos. Mas exactamente, si M
N es un homomorfismo de modulos, su n
ucleo
l
es ker(f ) = {m M | f (m) = 0}, junto con la inclusion ker(f )
M . El con
ucleo
es coker(f ) = N/Im(f ), junto con el homomorfismo canonico j : N N/Im(f ).
Puesto que Ani no posee cero morfismos, no definimos n
ucleos ni con
ucleos.

26

CAPITULO 1. CATEGORIAS

Definici
on 1.7.8. Se dice que el monomorfismo A
B es normal si f es n
ucleo de
alg
un morfismo. La categora se dice normal si cada monomorfismo es normal. De
manera dual se definen los epimorfismos conormales y las categoras conormales.
f

Ejemplo 1.7.9. ModA es normal y conormal. Si M

N es un monomorfismo,
entonces f es n
ucleo del homomorfismo canonico j : N N/Im(f ). En efecto, es
f0

claro que j f = 0. Ahora, si Z 0

N es un homomorfismo tal que j f 0 = 0,
entonces el siguiente diagrama es conmutativo
f

- N

- N/Im(f )

f0

Z0
donde k se define por k(x) = m M , con f (m) = f (x), para cada x Z. Notese
que k esta bien definida debido a la inyectividad de f .
f

De otra parte, si M
N es un epimorfismo, entonces f es el con
ucleo del
l0
homomorfismo inclusion l : ker(f ) M . Claramente f l = 0. Si M
Z 0 es un
0
homomorfismo tal que f l = 0, entonces el siguiente diagrama es conmutativo
ker(f )

- M

- N

@
@

f0 @

@
R ?
@

Z0
donde k se define como k(x) = f 0 (m), con x = f (m) para todo x N .
Es conocido (vease [8]) que existe una correspondencia biyectiva entre los submodulos de un modulo dado M y los modulos cociente de M . Esta correspondencia
se presenta en categoras mas generales como veremos a continuacion. Para esto
mostraremos inicialmente un resultado preliminar.
h

h0

Proposici
on 1.7.10. Si Z
A es el n
ucleo de A
B yA
Z 0 es el con
ucleo
0
de h, entonces h es el n
ucleo de h .
h00

Demostracion. Por las condiciones dadas se tiene que h h0 = 0. Sea Z 00 A tal

27

1.7. NUCLEOS
Y CONUCLEOS

que h0 circh00 = 0
Z
t2

- A

h00

- B

t1

h0

@
@
R
@

Z 00

Z0

Puesto que f h = 0 y h0 es con

ucleo de h, existe t1 : Z 0 B tal que t1 h0 = f .
00
0
00
Resulta, f h = t1 h h = 0. Como h es con
ucleo de f , existe t2 : Z 00 Z tal
que h t2 = h00 . Como h es monomorfismo, t2 es el u
nico que cumple la identidad
anterior. Esto completa la prueba de la proposicion.
Al aplicar el principio de dualidad tenemos el siguiente resultado.
j

Proposici
on 1.7.11. Si B
Z es el con
ucleo de A
B y B0
B es el n
ucleo
de j, entonces j es el con
ucleo de l.
Proposici
on 1.7.12. Sea C una categora con con
ucleos. Para cada objeto A de C
existe una funcion
: SUB(A) COC(A).
Si ademas C es colocalmente peque
na, C es localmente peque
na. Si suplementariamente C es normal, la funcion es inyectiva.
j1

1
Demostracion. Sea A1

A un subobjeto de A y A
B1 su con
ucleo. Se define
(A1 ) = B1 .
l1
l2
(i)Veamos que esta bien definida. Sean A1

A y A2

A subobjetos equivj1
j2
alentes de A con con
ucleos A
B1 y A
B2 , respectivamente.

A1

iA1

- A1

l1

- A


@
I
@
m@

l2

A2

j1

@
@
j2

iB1

- B1 

B1


@
R
@

B2

Como j2 l1 = j2 (l2 n) = 0, existe un morfismo t : B1 B2 tal que t j1 = j2 .

Ademas, j1 l2 = j1 (l1 m) = 0, con lo cual existe s : B2 B1 tal que s j2 = j1 .
As, B1 = B2 .
j0

1
1
De otra parte, sabemos que si A

B10 es otro con

ucleo de A1

A, entonces
B1 = B2 . Estas dos observaciones garantizan que esta bien definida.
(ii) Si COC(A) es un conjunto, entonces SUB(A) tambien lo es. En otras palabras, si C es colocalmente peque
na, es localmente peque
na.

28

CAPITULO 1. CATEGORIAS

1
2
(iii) es inyectiva. Sean A1

A y A2

A subobjetos de A con con

ucleos
j1
j2
A
B1 y A
B2 , respectivamente, tales que B1 = B2 .

A1

iA1

- A1

l1

j2

l2

A2

iB1

- B1 

@
@

@
I
@
t@

j1

- A

@
R
@

B1

B2

Como C es normal, l1 es n
ucleo de alg
un morfismo de C, la proposicion 1.7.10 garantiza que l1 es n
ucleo de j1 . Ademas, como j1 l2 = m j2 l2 = 0, existe un morfismo
t : A2 A1 tal que l1 t = l2 . Al aplicar el mismo razonamiento a l2 , encontramos
v : A1 A2 tal que l2 v = l1 . Esto demuestra que A1 = A2 .
Por el principio de dualidad tenemos la siguiente proposicion.
Proposici
on 1.7.13. Sea C una categora con n
ucleos. Para cada objeto A de C existe una funcion : COC(A) SUB(A). En particular, si C es localmente peque
na,
entonces es colocalmente peque
na. Adem
as, si C es conormal, la funci
on es inyectiva.
Corolario 1.7.14. Sea C una categora con n
ucleos y con
ucleos, normal y conormal.
Para cada A Ob(C) existe una correspondencia biyectiva entre SUB(A) y COC(A).
En particular, C es localmente peque
na si, y s
olo si, C es colocalmente peque
na.

1.8.

Producto y suma fibrada

Otro de los subobjetos importantes asociados a un morfismo lo constituye la imagen

inversa, la cual se define por medio del llamado producto fibrado. En la proxima
seccion estudiaremos la imagenes inversas, por ahora consideramos los productos y
sumas fibradas.
f1

f2

Definici
on 1.8.1. Sean X1
Y y X2
Y morfismos. Se denomina producto
g1
g2
fibrado de f1 y f2 al par de morfismos X
X1 , X
X2 tales que
(i) f1 g1 = f2 g2 , esto es, se tiene el diagrama conmutativo
X

g2

- X2

g1

f2

X1

f1

?
- Y

29

1.8. PRODUCTO Y SUMA FIBRADA

g0

g0

1
2
(ii) Si X 0

X1 , X 0

X2 son tambien morfismos tales que f1 g10 = f2 g20 ,

entonces existe un u
nico morfismo h : X 0 X tal que g2 h = g20 y g1 h = g10

X0
H
A@ HhH g20
A @ HH
HH
A @
R
@
j
H
g2H
A
- X2
X
g10 A
A
A g1
f2
A
AU ?
?
- Y
X1
f1

g0

g0

f1

1
2
Notese que si (X 0

X1 , X 0

X2 ) es tambien un producto fibrado de X1

Y
f2
0
0
y X2
Y , entonces X = X. En efecto, al aplicar (ii) a X , considerado como
producto fibrado, encontramos un morfismo t : X X 0 tal que g10 t = g1 y
g20 t = g2 . Resulta entonces que gi h t = gi , i = 1, 2. Puesto que X es producto
fibrado y que g1 iX = g1 , g2 iX = g2 , entonces h t = iX . De manera analoga se
tiene que t h = i0X .
Al aplicar el principio de dualidad a la definicion 1.8.1 obtenemos el concepto de
f1
f2
suma fibrada de un par de morfismos Y
X1 y Y
X2 .

g1

g2

Definici
on 1.8.2. La pareja (X1
X, X2
X) se denomina suma fibrada de
f1 y f2 si se cumplen las siguientes dos condiciones:
(i) g2 f2 = g1 f1 , esto es, el siguiente diagrama conmuta
Y

X1

g0

- X2
g2

f1

g0

f2

?
- X
g1

1
2
(ii) Si X1

X 0 , y, X2

X son tambien morfismos tales que g10 f1 = g20 f2 ,

entonces existe un u
nico morfismo h : X X 0 tal que hg1 = g10 y hg2 = g20 ,

30

CAPITULO 1. CATEGORIAS

esto es, se tiene el diagrama conmutativo

Y

f2

- X2
A

g2A

f1

X1

? A 0
A g2
- X
A
H g1
HH
@ A
A
H
HHh@ A
g10
@
H @
RAU
H
j
H

X0

Al igual que en el caso del producto fibrado, dos sumas fibradas son isomorfas.
Consideramos a continuacion algunas consecuencias de las definicionos anteriores.
g1

g2

Proposici
on 1.8.3. Sea (X
X1 , X
X2 ) el producto fibrado de los morfismos
f1

f2

X1
Y y X2
Y . Se tienen las siguientes proposiciones:
(i) Si f1 es monomorfismo, entonces g2 es monomorfismo.
(ii) Si f2 es monomorfismo, entonces g1 es monomorfismo.
f2

(iii) Si (X2
Y, X2
W ) es el producto fibrado de Y
Z yW
Z, y adem
as
g1
g2
n es un monomorfismo, entonces (X
X1 , X
X2 ) es el producto fibrado
mf1

de X1 Z y W
Z.
Demostracion. (i) Sean p, q : W X tales que g2 p = g2 q:
W
H
A@ HH u=q2 q
A @ HH
q, p
H
A @
HH
R
j
g2 H
A @
- X2
X
v=g1 p A
A
A g1
f2
A
AU ?
?
- Y
X
1

f1

Sean v := g1 p y u := g2 q. Se tiene que

f1 v = f1 g1 p = f2 g2 p = f2 g2 q = f2 u.
Existe un u
nico morfismo h : W X tal que g2 h = u y g1 h = v. Puesto que q
cumple la primera condicion, basta mostrar que g1 q = v, para concluir h = p = q.

31

1.8. PRODUCTO Y SUMA FIBRADA

As pues, f1 v = f2 g2 q = f1 g1 q. Dado que f1 es un monomorfismo, se

obtiene la conclusion deseada.
(ii) La demostracion es analoga a la de (i).
a
b
(iii) Sean X 0
W y X0
X1 tales que n a = m f1 b. Como X2 es producto
fibrado de m y n, existe un morfismo h0 : X 0 X2 tal que lh0 = a, y, f2 h0 = f1 b.
Puesto que X es producto fibrado de f1 y f2 existe h : X 0 X tal que g2 h = h0
y g1 h = b.
1X 0
- X0
X0
H
H
A@ HhH h0 HH a
H
HH
A @
HH
H
A @
HH
HH
R
j
j
g2 H
A @
l H
- W
X2
X
bA
A
A g1
n
f2
A
?
AU
?
?
- Y
- Z
X1
m

f1

00

Se tiene que (l g2 ) h = a y g1 h = b. Sea h : X 0 X otro morfismo tal que

g1 h00 = b y (l g2 ) h00 = a. As, g1 h = g1 h00 . Seg
un (ii) g1 es un monomorfismo,
00
de donde h = h .
Al aplicar el principio de dualidad obtenemos la siguiente proposicion.
g1

g2

f1

Proposici
on 1.8.4. Sea (X1
X, X2
X) la suma fibrada de Y
X1 y
f2

Y
X2 . Se tienen las siguientes afirmaciones:
(i) Si f1 es epimorfismo, entonces g2 es epimorfismo.
1. Si f2 es epimorfismo, entonces g1 es epimorfismo.
m

g2

2. Si (X
Z, W
Z) es la suma fibrada de X2
X y X2
W donde n es
mg1

f1

epimorfismo, entonces (X1 Z, W

Z) es la suma fibrada de Y
X1
lf2

y Y X2 .
Definici
on 1.8.5. Una categora se dice que tiene productos fibrados si cada par
de morfismos de dominio com
un posee producto fibrado.
Analogamente se definen las categoras de sumas fibradas.
Ejemplo 1.8.6. ModA es una categora con productos y sumas fibradas. Sean
f1
f2
1
2
M1
N y, M2
N homomorfismos. Se tiene que (P
M1 , P
M2 ) es el
producto fibrado de M1 y M2 , donde
P := {(m1 , m2 ) M1 M2 | f1 (m1 ) = f2 (m2 )},

32

CAPITULO 1. CATEGORIAS

y 1 y 2 son proyecciones.
g1
Sean ahora f1 : M N1 y f2 : M N2 homomorfismos. Se sigue que (N1

g2
L, N2
L) es la suma fibrada de f1 y f2 , donde L esta dado por L := N1 N2 /N ,
y N := {(f1 (m), f2 (m)) | m M }, y, g1 : N1 L, g2 : N2 L estan dadas por
g1 (n1 ) := (n1 , 0) y g2 (n2 ) := (0, n2 ), respectivamente.
La categora Ani tiene productos fibrados y su construccion es similar al caso
de modulos.

1.9.

Imagen inversa
f

Definici
on 1.9.1. Sean A
B un morfismo y B 0
B un subobjeto de B. Se
0
denomina imagen inversa de B a traves de f al producto fibrado de f y l:
g

X
h

- B0
l

- B

Seg
un la proposicion 1.8.3, X es un subobjeto de A el cual se denota por f 1 (B 0 ).
Observaci
on 1.9.2. Al aplicar la parte final de la definicion 1.8.1 encontramos
f
h
h
l
que si X
A y X0
A son imagenes inversas de B 0
B a traves de A
B,
h
entonces X
A es imagen inversa de B 0
= X 0 . De otra parte, supongase que X
0
h
h
y que X 0
A es equivalente a X
A. Por tanto, X 0 es imagen inversa de B 0 .
Realizamos la prueba esquematica de esta afirmacion no evidente por s misma:
q
X0 

6
A@ p
1X
A @
A @
R
@
A
X
h0 A
A
A h
A
U ?
A

A
g0

h00

X0
g0

- B0

gp

- B0

h0

?
l

?
- B

?
f

- B

Si X 00
B 0 y X 00 A son morfismos tales que l g 0 = f h00 , entonces existe
un u
nico morfismo w : X 00 X tal que h w = h00 y g w = g 0 . As, se tiene el

33

1.9. IMAGEN INVERSA

diagrama conmutativo
X 00
H
A@ Hqw
H g0
A @ HH
HH
A @
R
@
j
H
gpH
A
0
- B0
X
00
A
h
A
A h0
l
A
?
AU ?
- B
A
f

00

En efecto, h q w = h w = h ;
l g p q w = f h p q w = f h0 q w = f h00 = l g 0 ,
de donde (g p) (q w) = g 0 . Supongase que existe otro morfismo t : X 00 X 0 tal
que h0 t = h00 y (g p) t = g 0 . Se sigue que h0 t = h0 (q w), de donde obtenemos
t = q w, completando as la prueba de la afirmacion.
Una categora se dice que tiene im
agenes inversas, si para cada morfismo
0 l
A
B y cada subobjeto B
B existe la imagen inversa f 1 (B 0 ).
f

Ejemplo 1.9.3. ModA posee imagenes inversas. En efecto, si M

N es un ho0 l
momorfismo de modulos y N
N es un submodulo de N , entonces
f 1 (N 0 ) = {m M | f (m) N 0 }
es un sumbodulo de M , que junto con la inclusion f 1 (N 0 ) M conforma la imagen
inversa de N 0 .
De manera similar se define la imagen inversa en Ani. As, Ani posee imagenes
inversas.
Consideramos ensequida algunas propiedades de las imagenes y de las imagenes
inversas.
f

Proposici
on 1.9.4. Sea A
B un morfismo y
A1 A2 A,

B1 B2 B.

Si suponemos que cada una de las siguientes expresiones est

a definida, obtenemos
las siguientes relaciones:
(i) f (A1 ) f (A2 );
(ii) f 1 (B1 ) f 1 (B2 );

34

CAPITULO 1. CATEGORIAS

(iii) A1 f 1 (f (A1 ));

(iv) f (f 1 (B1 )) B1 ;

(v) f (A1 ) = f (f 1 (f (A1 )));

(vi) f 1 (B1 ) = f 1 (f (f 1 (B1 ))).

Demostracion. Para esta demostracion los siguientes diagramas resultan suficientes:

(i)

l1

A1

- A

- B


@
g1@

l2

A2

- A

f (A1 )

@
R
@

l0

l1

iA1

- A2
HH
HHg1
H
HH
j
H
?

l2

HH
HH
g2 k HH
HH
j

- B
*


6
l 
iB




B
*



l0
h

l2

- A

f (A1 )

A1

- A
2

f (A1 )
A1

A1

@
g2@
@
R
@

@
R
@

- B




f (A2 )

Notese que f l2 k = l0 g2 k, es decir, f l1 = l0 (g2 k). Como f (A1 )

es imagen de f l1 , entonces existe un morfismo h : f (A1 ) f (A2 ) tal que
l0 h = l, esto es, f (A1 ) f (A2 ).

35

1.9. IMAGEN INVERSA

(ii)
g1

f 1 (B1 )

l1

h1

g2

f 1 (B2 )

- B1

- B2
l2

h2

?
- B

?
- B

f 1 (B1 )

B1
@
R
@

l1

A @ HHH
A @ t H kg1
HH
A @
HH
A
@
H
R
@
A
j
H
g2H
1
- B2
A f (B2 )
h1
A
A
A h
l2
A 2
A
?
AU ?
- B
A

- B
2
l2

Tenemos l2 k g1 = l1 g1 = f h1 . Existe un u
nico t tal que h2 t = h1 ,
1
1
esto es, f (B1 ) f (B2 ).
(iii)
A1 P
QPP

S Q kPPP gl1
PP
S QQ
PP
S
PP
Q
s
Q
PP
q
S
l 1
f (A1 )
f
(f
(A
))
S
1
l1
S
S
h
S t
SS
w ?
?
A
B
f
3


g

 h
? 

f (A1 )
Dado que hg l1 = f l1 , existe k tal que tk = l1 , es decir, A1 f 1 (f (A1 )).

36

CAPITULO 1. CATEGORIAS

(iv)
f 1 (B)
g

f 1 (B1 )

- A

- B



A@


A @


A q@
l

A
@


A
@
R


A
1
(f (B1 ))
l1
gA f


A


A


A m


A


A
AU ?

- B1
l1

h1

h1

?
- B

B1
Como f h1 = l1 g, existe un u
nico m tal que l1 m = l, es decir, f (f 1 (B1 ))
B1 .
(v) Tenemos A1 f 1 (f (A1 )), luego f (A1 ) f (f 1 (f (A1 ))). De (iv) se obtiene
que f (f 1 (f (A1 ))) f (A1 ).
(vi) Por (ii) y (iv) f 1 (f (f 1 (B1 ))) f 1 (B1 ), y de (iii), tomando A1 = f 1 (B1 ),
completamos la prueba.

Las propiedades del punto anterior pueden ser complementadas de la siguiente

manera.
f

Proposici
on 1.9.5. (i) Si A
B es un morfimo en una categora con im
agenes
li
e imagenes inversas S
y {A1
A}iI es una Sfamilia no vaca de subobjetos
deS
A para los cuales iI Ai existe, entonces iI f (Ai ) existe y coincide con
f ( iI Ai ).
f

i
(ii) Si A
B es un morfismo en una categora con im
agenes inversas y T
{Bi

B}iI es una familia

no vaca de subobjetoss de B para
T
T los cuales iI Bi
1
1
existe, entonces iI f (Bi ) existe y coincide con f ( iI Bi ).

S
Demostracion. (i) Probaremos que f ( iI Ai ) es la union de la familia {f (Ai )}. Sea
[
iI

Ai
A

37

1.9. IMAGEN INVERSA

S
la union de la familia {Ai } y f ( iI Ai ) su imagen por f h:
[

Ai

- A

- B

iI


@

g@

R
@

[

Ai

iI

S
S
Observese que f ( iI Ai ) B. Como
A

un la
i
iI Ai para cada i I, seg
S
proposicion 1.9.4 se tiene f (Ai ) f ( iI Ai ) :
fi

f (Ai )

- f

[


Ai

iI

@
@
@
R
@

l1

B
l

Sea ahora n : B C un morfismo y C 0

C un subobjeto de C tal que cada f (Ai )
puede ser llevado en C 0 :
ti
- C0
f (A1 )
l

l1

?
- C

S
Se debe probar que f ( iI Ai ) puede ser llevado en C 0 . Tenemos
hi

Ai

- A

- B


@
@
k

li

@
R

f (Ai )
Consideremos la imagen inversa de C 0 a traves de n
w-

n1 (C 0 )
z

C0
l

?
- C

38

CAPITULO 1. CATEGORIAS

Existe un u
nico morfismo mi tal que el siguiente diagrama conmuta

f (Ai )
H
A @ HH
A @ mi HH ti
H
A @
HH
A
@
H
R
@
j
H
A
wH
1
0
- C0
n
(C
)
A
li
A
A
A z
l
A
AAU ?
?
B
C
n

Resulta el diagrama conmutativo

mi ki

- n1 (C 0 )

Ai
hi

Por la condicion de union existe v :

conmuta

Ai

iI

?
- B

Ai n1 (C 0 ) tal que el siguiente diagrama

- n1 (C 0 )

iI

?
- B

1.10. PRODUCTO Y COPRODUCTO

39

y tambien obtenemos un morfismo u tal que z u = t:

[

Ai

- A

- B

iI



A @


t
A g@


R
A @
[ 

A


Ai
z
A f
v A


iI
A


A


Au

AU ?

n1 (C 0 )
As, obtenemos el diagrama conmutativo
f

[


Ai

wu-

n1 (C 0 )

iI

?
- C

lo cual completa la prueba de (i).

(ii) Queda como ejercicio para el lector.

1.10.

Producto y coproducto

El producto y la suma directa externa de modulos (vease [8]) permiten

generalizaciones a categoras arbitrarias por medio de los objetos producto y coproducto, respectivamente.
Definici
on 1.10.1. Sea {Ai }iI un conjunto no vaco de objetos de una categor
Q a
C. Se denomina producto del conjunto {Ai }iI a un objeto de C notado por iI Ai
y un conjunto
Y
{pj :
Ai Aj }jI
iI

de morfismos llamados proyecciones, tales que para cada objeto C de C y cada

conjunto {fj : C Aj }jI de morfismos existe un u
nico morfismo f , tal que para

40

CAPITULO 1. CATEGORIAS

cada j I el siguiente diagrama

C
@
@ fj
@
?
@
Y
R
@
Ai
- Aj
p
f

iI

(1.10.1)

es conmutativo.
SiQI es finito, I = {1, 2, . . . , n}, el producto del conjunto {A1 , . . . , An } se denota
por ni=1 Ai , o, A1 A2 An . Si todos los objetos del conjunto {Ai }iI son
iguales, Ai = A para cada i I, el producto se denota por AI . Como es de esperar
dos productos del conjunto {Ai }iI son objetos isomorfos.
Una categora se dice que tiene productos si cada conjunto no vaco de objetos
tiene producto. Si cada conjunto finito tiene producto la categora se dice que tiene
productos finitos.
A partir de la definicion es sencillo probar las siguientes afirmaciones. Su demostracion queda a cargo del lector.
(i) Sea {Ai }iI un conjunto no vaco de objetos y : I I una funcion biyectiva
del conjunto I de ndices. Entonces
Y
Y
Ai
A(i) .
=
iI

iI

(ii) Si en una categora cada par de objetos tiene producto, entonces la categora
tiene productos finitos.
Q
Proposici
on 1.10.2. Sea {pj : iI Aj }jI el producto del conjunto {Ai }iI .
Para j I se tiene que pj es retracci
on si, y s
olo si, Mor(Aj , Ai ) 6= para cada
i I.
Q
Demostracion. Si pj es retraccion, existe un morfismo h : Aj iI Ai tal que
pj h = 1. As, pi h Mor(Aj , Ai ) para cada i I.
Supongase que para cada i I, Mor(Aj , Ai ) 6= . Existe entonces un conjunto de
morfismos Q
{fi : Aj Ai }iI , donde tomamos fj = iAj . Encontramos un morfismo
f : Aj iI Ai tal que pi f = fi para cada i I. En particular, pj f = iAj ,
con lo cual pj es retraccion.
Corolario 1.10.3. En una categora con cero morfismos las proyecciones del producto son retracciones, y por lo tanto epimorfismos.

1.10. PRODUCTO Y COPRODUCTO

41

Demostracion. Consecuencia directa de la proposicion anterior.

Proposici
on 1.10.4. Sean C unaQcategora con cero morfismos, {Ai }iI un conjunto
no vaco de objetos de C y {pj : iI Ai Aj } su producto. Al tomar j I fijo y
k

i
considerando el conjunto de morfismos {Aj

Ai }, donde
(
0, i 6= j
ki =
iAi , i = j,
Q
existe un u
nico morfismo qj0 : Aj iI Ai tal que
(
0, i 6= j
pi qj0 =
.
(1.10.2)
iAj , i = j
Q
Los morfismos {qj0 : Aj iI Ai }jI unvocamente determinados por (1.10.2) se
denominan inyecciones del producto.

Proposici
on 1.10.5. Sean C una categora con cero morfismos, A1 , A2 objetos de
C y {pi : A1 A2 Ai }i=1,2 su producto. Si q10 : A1 A1 A2 es una inyecci
on del
producto, entonces q10 es n
ucleo de p2 (afirmaci
on an
aloga se tiene para q20 y p1 ). Si
C es ademas conormal, entonces p2 es el con
ucleo de q10 (p1 es el con
ucleo de q20 ).
q0

1
Demostracion. Seg
un (1.10.2), p2 q10 = 0. Ademas, como q10 es monomorfismo A1

A1 A2 es un subobjeto de A1 A2 . Sea h : C A1 A2 tal que p2 h = 0. Se

p1 h
p2 h=0
tienen los morfismos C A1 y C A2 :

A1

q10

- A 1 A2

6
p1 h

p2

- A2


h

C
Por la condicion del producto existe un u
nico f : C A1 A2 tal que
p1 f = p1 h y p2 f = p2 h = 0.
Pero los morfismos h y q10 p1 h tambien cumplen estas dos relaciones:
p1

(q10

p1 h = p1 h,
p1 h) = p1 h

p2 h = p2 h = 0
p2 (q10 p1 h) = 0.

Por unicidad se tiene que f = h = q10 p1 h.

La segunda afirmacion es consecuencia de la proposicion 1.7.11.

42

CAPITULO 1. CATEGORIAS

Al aplicar el principio de dualidad obtenemos el concepto de coproducto de un

conjunto no vaco deL
objetos {Ai }iI de una categora cualquiera
C. El objeto en este
L
caso es notado por iI Ai y los morfismos {qj : Aj iI Ai }jI son llamadas
inyecciones. La propiedad que define y caracteriza al coproducto se obtiene de
1.10.1 invirtiendo el sentido
las flechas. Si I = In = {1, 2, . . . , n} es finito, tambien
Lde
n
denotamos al coproducto i=1 Ai como A1 A2 An . Si todos los objetos Ai
son iguales, Ai = A para cada i I, el coproducto se denota por A(I) .
Las afirmaciones duales de (i) y (ii) de la definicion 1.10.1 se cumplen. La proposicion 1.10.2 toma ahora la siguiente forma. Para cada j I, qj es coretraccion si, y
solo si, Mor(Ai , Aj ) 6= , para cada i I.
Si la categora C tiene cero morfismos, las inyecciones del coproducto son corretracciones y por lo tanto monomorfismos.
L
Las proyecciones del coproducto se definen como los morfismos p0j : iI Ai
Aj , j I, tales que
(
0, i 6= j,
p0j qi =
iAi i = j.
La coleccion {p0j } existe y es u
nica. La proposicion dual de la proposicion 1.10.5 es
valida.
Ejemplo 1.10.6. ModA tiene productos y coproductos, vease [8]. Como ModA
tiene objeto cero, las proyecciones del producto son epimorfismos. En Ani el producto se define por componentes de manera analoga a como se hizo en ModA . Aunque
Ani no posee cero morfismos, las proyecciones del producto son epimorfismos. En
efecto, sean h, g : Aj C homomorfismos
de anillos tales que hpj = g pj , donde
Q
Q pj
es una proyeccion del producto iI Ai . Considerese a Aj . Sea f = (fi ) iI Ai
definido por
(
0, i 6= j
fi =
a, i = j.
Se cumple que
g pj (f ) = g(a) = h pj (f ) = h(a).
Proposici
on 1.10.7. Sean {Ai }iI y {Bi }iI conjuntos no
Q vacos de objetos de
una
categor

a.
Sup
o
ngase
que
existen
los
productos
{p
:
i
iI Ai Ai } y {pi :
Q
iI Bi Bi }. Sea {hi : Ai Bi }iI un conjunto de morfismos dado. Existe un

43

1.10. PRODUCTO Y COPRODUCTO

u
nico morfismo h =

iI

hi tal que el siguiente diagrama conmuta

Y

Ai

hi

iI

Bi

iI

pi

pi

Ai

hi

?
- B
i

Demostracion. La definicion de producto y los siguientes diagramas ilustran la demostracion:

Y
Y
Y
h
A
Bi
i
Ai
I

iI

iI

@ hi pi
@
R
@
?
- Bi
Ai

pi

@
@
hi pi

pi

@
@
R
@

Bi

hi

Observaci
on 1.10.8. El morfismo de la proposicion 1.10.7 se denomina producto del conjunto {hi }. Notese que dicho morfismo producto cumple las siguientes
relaciones
Y
Y
Y
Y
ti
hi =
(ti hi ),
iAi = iQiI Ai
(1.10.3)
iI

iI

iI

iI

donde {ti : Bi Ci }iI es otro conjunto no vaco de morfismos.

L
De manera dual se define el morfismo coproducto iI hi , cumpliendo relaciones
analogas a (1.10.3).
Proposici
on 1.10.9. Sean {Aj }jJ y {Bi }iI conjuntos no
Lvacos de objetos de una
categor
Qa. Supongase que existen el coproducto {qj : Aj jJ Aj }jJ y el producto
{pi : iI Bi L
Bi }iI . Existe
una correspondencia biyectiva entre el conjunto de
Q
morfismos Mor( jJ Aj , iI Bi ) y el conjunto M de matrices
M := {[fij ]) | fij Mor(Aj , Bi ), i I, j J}
L
Q
tales que pi f qj = fij , para cada f Mor( jJ Aj , iI Bi ) y cada i I, j J.
Demostracion. Dado un morfismo
f:

M
jJ

Aj

Y
iI

Bi

44

CAPITULO 1. CATEGORIAS

se determina unvocamente una matriz [fij ] por medio del siguiente diagrama
M

Aj

jI

Bi

iI

6
qj

pi

Aj

fij

?
- Bi

fij = pi f qj
Recprocamente, consideremos la matriz [fij ] M , con fij : Aj Bi un morfismo.
Fijemos i I. Se tiene que el conjunto de morfismos {fijL: Aj Bi }jJ . Por
la condicion del coproducto existe un u
nico morfismo fi0 :
jJ Aj Bi tal que
0
fi qj = fij ,Lpara cada Q
i I. Seg
un la condicion del producto existe un u
nico
0
morfismo f : jJ Aj iI Bi tal que pi f = fi , para cada i I. Se obtiene un
morfismo f tal que pi f qj = fij .
L
Q
Los morfismos en Mor( jJ Aj , iI Bi ) son representados tambien por su correspondiente matriz f = [fij ].
Si C es una categora con cero morfismos y {Ai }iI es un conjunto no vaco de
objetos para los cuales existen el producto y el coproducto, entonces de acuerdo con
lo anterior existe un u
nico morfismo
M
Y
= [ij ] :
Ai
Ai
iI

iI

tal que
(
0, i 6= j
pi qj = ij =
iAi , i = j.

(1.10.4)

Notese
L que la matriz de este morfismo es la identica. Si es un isomorfismo se dice
que iI Ai es un biproducto.
Para terminar consideremos los morfismos diagonal y codiagonal.
Definici
on 1.10.10. Sea {Ai }iI un conjunto de objetos identicos en una categora,
Ai = A para cada i I. Supongase que existen el producto AI y el coproducto A(I) .
La familia de morfismos identicos {iA : A A} induce el morfismo : A AI ,
tal que pi = iA para cada i I. se denomina morfismo diagonal.
Notese que es monomorfismo. De manera analoga se induce el morfismo
codiagonal O : A(I) A, tal que O qi = iA para cada i I. O es epimorfismo.

45

1.11. LAS CATEGORIAS MODA Y ANI

Ejemplo 1.10.11. En la categor

a ModA el morfismo definido por (1.10.4) es
L
la inclusion del coproducto iI Mi (suma directa externa) en el producto. Si I =
{1, 2, . . . , n} es finito, entonces = iM1 Mn , con lo cual el coproducto es un
biproducto. Ademas,
iM1 Mn = q1 p1 + + qn pn ,
donde qi , pi son las inyecciones y proyecciones respectivamente.
El morfismo diagonal en ModA viene dado por
(a) = f = (fi ) AI ,

fi = a, para todo i I.

El codiagonal es
(
0, f = 0
O(f ) = P
iIf fi , f 6= 0
donde If denota el soporte de f .
En Ani el morfismo diagonal se define como en ModA .

1.11.

Las categoras ModA y Ani

En esta seccion se resumen varios de los resultados encontrados en secciones anteriores relativos a las categoras ModA y Ani. Los cuadros que presentaremos deben ser
entendidos de la siguiente manera: una relacion de la forma igualador monomorfismoindica que cada igualador es un monomorfismo y que un monomorfismo dado
es igualador de cierto par de morfismos.
Relaciones b
asicas en una categora C
(i) Un n
ucleo, una union, una interseccion, una imagen, un igualador, una imagen
inversa y una corretraccion son monomorfismos.
l

(ii) Un monomorfismo en una union: (A1

A) =

A1 .

(iii) Un monomorfismo es una interseccion: (A1

A) =

A1 .
l

(iv) Un monomorfismo es una imagen: (A1

A) = Im(A1
A).
l

(v) Un monomorfismo es una imagen inversa: (A1

A) = iA1 (A1 ).
f

(vi) Un n
ucleo es un igualador: ker(A
B) = Ig(f, 0AB ).

46

CAPITULO 1. CATEGORIAS

(vii) Todo isomorfismo es bimorfismo.

(viii) Un con
ucleo, una coimagen, un coigualador y una retraccion son epimorfismos.
j

(ix) Un epimorfismo es una coimagen: (A

B) = Coim(A
B).
f

(x) Un con
ucleo es un coigualador: Con(A
B) = Coig(f, 0AB ).
f

(xi) Una corretraccion es un coigualador: sea A

B una corretraccion y g : B A
tal que g f = iA . Se sigue que f = Im(iB , f g).
f

(xii) Una retraccion es un coigualador: sea A

B retraccion y g : B A tal que
f g = iB . Se obtiene f = Coig(iA , g f ).
Observaci
on 1.11.1. Las relaciones anteriores pueden resumirse de la siguiente
forma:
1. Union Monomorfismo Imagen;
2. Imagen inversa Monomorfismo Interseccion;
3. Igualador N
ucleo Monomorfismo Igualador Corretraccion;
4. Coimagen Epimorfismo Con
ucleo Coigualador Retraccion;
5. Coigualador Epimorfismo Retraccion;
6. Isomorfismo Bimorfismo.
De las relaciones presentadas en la observacion 1.11.1 surgen inmediatamente las
siguientes preguntas:
Todo igualador es una corretraccion?
Todo monomorfismo es una corretraccion?
Todo monomorfismo es un igualador? (Si una categora no posee cero morfismos entonces no todo monomorfismo es n
ucleo y no todo igualador rd n
ucleo).
Todo epimorfismo es retraccion?
Todo coigualador es retraccion?
Todo epimorfismo es coigualador? (Si la categora no tiene cero morfismos
entonces no todo epimorfismo es con
ucleo y no todo coigualador es con
ucleo).

1.11. LAS CATEGORIAS MODA Y ANI

47

Las respuestas a estas preguntas son todas negativas como veremos en el resumen
para anillos y modulos.
Propiedades b
asicas de la categora ModA
(i) Salvo equivalencia, los subobjetos de un modulo son sus submodulos con las
inclusiones.
(ii) Salvo equivalencia, los objetos cociente de un modulo son los modulos cociente
con los homomorfismos canonicos.
(iii) ModA es localmente y colocalmente peque
na.
(iv) ModA no es noetheriana ni artiniana para A 6= 0.
(v) 0 es objeto cero de ModA .
(vi) ModA tiene cero morfismos.
(vii) ModA tiene igualadores y coigualadores.
(viii) ModA tiene uniones e intersecciones.
(ix) ModA tiene imagenes epimorficas y coimagenes monomorficas.
(x) ModA tiene n
ucleos y con
ucleos.
(xi) ModA tiene productos y sumas fibradas.
(xii) ModA tiene imagenes inversas.
(xiii) ModA tiene productos y coproductos.
(xiv) ModA es balanceada.
(xv) ModA es normal y conormal.
(xvi) ModA es completa y cocompleta (vease el captulo siguiente).
(xvii) ModA es abeliana (vease el captulo siguiente).
Consideremos ahora en ModA las relaciones de la observacion 1.11.1. Debemos
adicionar los morfismos inyectivos y sobreyectivos.
(a) No todo homomorfismo inyectivo es corretraccion: A = Z, f : 2Z Z;
f (2k) := 2k. f es inyectivo pero no es corretraccion.

48

CAPITULO 1. CATEGORIAS

(b) Un monomorfismo es un igualador: k : C M ; k(C) = {k(x) | x C}. Se

tiene que k = Ig(f, j) donde f : M M/k(C), f (m) = 0 y j : M M/k(C).
Se tiene que j(m) = m para todo m M .
(c) No todo igualador es una corretraccion: de lo contrario, por (b) y la tabla al
final de la seccion 1.2, corretraccion sera lo mismo que monomorfismo. Pero
esto u
ltimo es falso (el mismo contraejemplo de (a)).
(d) Un monomorfismo es un n
ucleo: f : M1 M2 , f (M1 ) = {f (m) | m M1 };
f = N (j), donde j : M2 M2 /f (M1 ); j(x) = x para todo c M2 .
(e) Un igualador es n
ucleo: f, g : M N , Ig(f, g) = ker(f g).
(f) No todo n
ucleo es corretraccion: de lo contrario monomorfismo sera equivalente a corretraccion.
(g) No toda interseccion es corretraccion: de lo contrario monomorfismo sera
equivalente a corretraccion.
(h) No toda union es corretraccion: en otro caso monomorfismo sera equivalente
a corretraccion.
(i) No toda imagen es corretraccion: de lo contrario monomorfismo sera corretraccion.
(j) No toda imagen inversa es corretraccion. Si fuese as, un monomorfismo sera
una corretraccion.
(k) No todo homomorfismo sobreyectivo es retraccion: A = Z, f : Z Z2 ;
f (k) = k para todo k Z.
(l) Un epimorfismo es un coigualador: k : M N , P = {m M | k(m) = 0},
k = Coig(f, g), donde f, g : P M , f (x) = 0, g(x) = x, para todo x P .
(m) No todo coigualador es retraccion. De lo contrario, por (l) y la tabla al final
de la seccion 1.2, retraccion sera lo mismo que epimorfismo, lo cual es falso
(contrajemplo de (k)).
(n) Un epimorfismo es un con
ucleo: f : M N , f = coker(P M ), donde
P = {x M | f (x) = 0} y P M es la inclusion.
(
n) Un coigualador es un con
ucleo: f, g : M N , Coig(f, g) = Con(f g).
(o) No todo con
ucleo es retraccion; de lo contrario epimorfismo sera lo mismo que
retraccion.

1.11. LAS CATEGORIAS MODA Y ANI

49

(p) No toda coimagen es retraccion; de lo contrario epimorfismo sera lo mismo

que retraccion.
Observaci
on 1.11.2. Con base en lo anterior tenemos en la categora ModA las
siguientes relaciones:
1. Union Monomorfismo Imagen;
2. Imagen inversa Monomorfismo Interseccion;
3. Igualador Monomorfismo N
ucleo;
4. Monomorfismo Inyeccion Corretraccion;
5. Coigualador Sobreyectivo Epimorfismo Coimagen;
6. Con
ucleo Epimorfismo;
7. Retraccion Sobreyectivo;
8. Biyectivo Isomorfismo Bimorfismo.
Propiedades b
asicas de la categora Ani
(i) Salvo equivalencia, los subobjetos de un anillo son los subanillos con las inclusiones.
(ii) Ani es localmente peque
na.
(iii) Cada anillo cociente de un anillo A con el homomorfismo canonico es un objeto
cociente de A. Sin embargo, existen objetos cociente que no corresponden a
l
formar cocientes por ideales: Z
Q, donde l es la inclusion natural.
(iv) Ani no es noetheriana ni artiniana.
(v) Z es objeto inicial; 0 es objeto terminal. Ani no tiene objeto cero.
(vi) Ani no posee cero morfismos.
(vii) Ani no tiene igualadores y coigualadores.
(viii) Ani tiene uniones e intersecciones.
(ix) Ani tiene imagenes epimorficas.
(x) Ani tiene imagenes inversas.

50

CAPITULO 1. CATEGORIAS

(xi) Ani no es balanceada.

(xii) Ani tiene productos fibrados.
(xiii) Ani es completa (vease el siguiente captulo).
Ahora estudiamos la observacion 1.11.1 para la categora Ani.
l

(a) No todo homomorfismo inyectivo es una corretraccion; Z

Q, donde l es la
inclusion natural.
l

(b) No todo monomorfismo es igualador; Z

Q, donde l es la inclusion natural.
Este mismo contraejemplo muestra que no toda inyeccion es igualador.
(c) No todo igualador es una corretraccion; iC , h : C C, h(a + bi) = a bi,
l
lg(iC , h) = (R
C), pero l no es corretraccion (l es la inclusion natural).
(d) No toda interseccion es corretraccion; de lo contrario monomorfismo sera
equivalente a corretraccion, lo cual es falso (el mismo contrajemplo de 1.11)
(e) No toda union es corretraccion; de lo contrario monomorfismo sera equivalente
a corretraccion.
(f) No toda imagen es corretraccion; si fuese as todo monomorfismo sera equivalente a una corretraccion.
(g) No toda imagen inversa es corretraccion; de lo contrario monomorfismo sera
equivalente a corretraccion.
(h) No toda imagen es igualador; si fuese as, todo monomorfismo sera equivalente
a igualador.
(i) No toda interseccion, union o imagen inversa es un igualador: de lo contrario
monomorfismo sera equivalente a igualador.
j

(j) No todo homomorfismo sobreyectivo es retraccion: Z

Z2 , j(k) = k para
todo k Z.
l

(k) No todo epimorfismo es sobreyectivo: Z

Q.
l

(l) No todo epimorfismo es coigualador: Z

Q.
(m) Sobreyectivo es equivalente a coigualador: h : B C sobreyectivo, A =
{(b, b0 ) B B | h(b) = h(b0 )}, h = Coig(p1 , p2 ), donde p1 , p2 son las proyech

ciones de A en B. Recprocamente, si (B
C) = Coig(A
B), entonces h
es sobreyectivo.

51

1.12. EJERCICIOS

(n) No toda coimagen es coigualador; de lo contrario coigualador sera equivalente

a epimorfismo.
(
n) No todo coigualador es retraccion; si fuese as retraccion sera equivalente a
sobreyectivo.
(o) No toda coimagen es retraccion; si fuese as, epimorfismo sera lo mismo que
retraccion y epimorfismo que sobreyectivo.
Observaci
on 1.11.3. En Ani tenemos las siguientes relaciones:
1. Imagen inversa Monomorfismo Interseccion;
2. Imagen Monomorfismo Union;
3. Monomorfismo Inyeccion Corretraccion Igualador Monomorfismo;
4. Retraccion Sobreyectivo Epimorfismo Coimagen;
5. Sobreyectivo Coigualador Epimorfismo;
6. Biyectivo Isomorfismo Bimorfismo.

1.12.

Ejercicios

1. Demuestrar que en la categora Conj los conceptos de monomorfismo, funcion

inyectiva y corretraccion son equivalentes. Establecer tambien la equivalencia
para epimorfismos, funciones sobreyectivas y retracciones. Es Conj balanceada?
2. Probar que una corretraccion que sea epimorfismo es isomorfismo.
f

3. Sea C una categora; si A

B es un morfismo de C tal que f es correctraccion
y epimorfismo, demuestre que f es un isomorfismo.
f

4. En una categora cualquiera C con objeto cero, demuestre que X

Y es el
morfismo cero si, y solo si, es factorizable a traves de 0.
5. Si 0 es el objeto cero de una categora C, muestre que para cada X Ob(C)
se cumple lo siguiente:
(i) X 0 es epimorfismo.
(ii) 0 X es monomorfismo.

52

CAPITULO 1. CATEGORIAS

6. Sea C una categora con cero morfismos. Demuestre que el n

ucleo del morfismo
0XY
iX
X Y es X X. Cual es el con
ucleo?
7. Demuestre que Conj es localmente peque
na. Pruebe tambien que Conj no es
artiniana ni noetheriana.
l0

i
i
8. Sean {Xi

A}iI , {Xi0

A}iI familias de subobjetos de A tales que para

li0
li

A). Demuestre que:

cada x I, (Xi
A)
= (X 0

(i)

(ii)

iI

Xi existe

iI

Xi existe

iI

Xi0 existe.

iI

Xi0 existe.

9. Demuestre que en la categora Conj, el igualador de un par de funciones

f, g : X Y esta constituido por el conjunto X 0 := {x X | f (x) = g(x)}.
Describir ademas el coigualador.
10. Describa el producto y la suma fibrada de funciones en la categora Conj.
f

11. Sean A
B, B
C morfismos y C 0
. Demuestre que f 1 ((g 1 (C)) =
(g f )1 (C), suponiendo que ambos terminos de la igualdad esten definidos
es una cierta categora C.
12. Sean f, g como en el ejercicio 11 y A1 A. Supongase que f (A1 ) y g(f (A1 )) son
imagenes epimorficas y que la categora en cuestion es balanceada. Demuestre
que g(f (A1 )) = (g f )(A1 ).
13. Demuestre que Conj es una categora con imagenes epimorficas y coimagenes
monomorficas.
14. Invitamos al lector a estudiar todos los conceptos introducidos en el presente
captulo para la categora Pre establecida en la definicion 1.1.6.
15. Realizar el ejercicio anterior para la categora Grp cuyos objetos son los grupos
y los morfismos son los homomorfismos.
16. Investigar, para la categora Ani, los siguientes problemas:
(i) Caracterizar todos los objetos cociente de un anillo cualquiera.
(ii) Es Ani colocalmente peque
na?
(iii) Describir las coimagenes.
(iv) Describir las sumas fibradas.
(v) Describir los coproductos.

1.12. EJERCICIOS

(vi) Es Ani cocompleta? (consultar el siguiente captulo).

(vii) Describir el morfismo 5.

53

Captulo 2
Categoras abelianas
2.1.

Categoras aditivas

Estudiaremos ahora algunas clases especiales de categoras entre las cuales se destacan las aditivas y las abelianas. Se debe se
nalar que la categora ModA es uno de
los mejores ejemplos de este tipo de categoras.
Definici
on 2.1.1. Una categora C se dice aditiva si se cumplen las siguientes
condiciones:
(i) C tiene objeto cero.
(ii) C tiene coproductos finitos.
(iii) Para cada par de objetos A y B de C, el conjunto Mor(A, B) tiene estructura
de grupo abeliano, de tal forma que la composicion de morfismos es bilineal
con respecto a la adicion de dichos grupos.
Algunas consecuencias inmediatas de esta definicion son las siguientes:
(a) La coleccion de elementos neutros de los grupos Mor(A, B) constituye los cero
morfismos de C. En efecto, si 0AB es el elemento neutro de Mor(A, B) y f :
B C, g : D A son morfismos, entonces
f 0AB = f (0AB + 0AB ) = f 0AB + f 0AB .
Al restar encontramos f 0AB = 0AC . Analogamente, 0AB g = 0DB .
L
(b) C tiene productos finitos. Sean A1 , . . . , An objetos de C y {qj : Aj
Ai }nj=1
su coproducto. Consideremos las proyecciones del coproducto
M
pj :
Ai A j , 1 j n
54

2.1. CATEGORIAS ADITIVAS

55

Recordemos que dichas proyecciones son los morfismos definidos unvocamente

por las relaciones
(
iAi , i = j
p j qi =
(2.1.1)
0, i 6= j.
L
Veamos que {pj :
Ai Aj }nj=1 es el producto
de los objetos A1 , . . . , An .
P
En primer lugar, notese que el morfismo nk=1 qk pk es tal que para cada
1 i n, se cumple
X

n
qk p k qi = qi .
k=1

Puesto que iAi tambien cumple dicha relacion, se sigue por unicidad
n
X

qk pk = iAi .

k=1
fj

Sea {C
Aj }nj=1 una coleccion dada de morfismos. Se tiene entonces el
morfismo
X
M
qk fk : C
Ai ,
k=1

para el cual se tiene

pj

n
X

qk fk = fj ,

1 j n.

k=1

Si existe otro morfismo g : C

entonces

n
X

Ai tal que pj g = fj para cada 1 j n,

qj pj g = qj fj
n
X
qj p j g =
qj fj

j=1

iAi g =

j=1
n
X

qj fj

j=1

g=

n
X

qj fj .

j=1

Esto completa la prueba de que el coproducto con sus proyecciones conforman

el producto. Seg
un (2.1.1), las inyecciones del coproducto son las inyecciones
de este producto.

56

CAPITULO 2. CATEGORIAS ABELIANAS

Seg
un la a proposicion 1.10.9, los morfismos {ij : Aj Ai }, definidos por
(
iAi , i = j
ij :=
0,
i 6= j
L
Q
L
determinan un u
nico morfismo :
Ai
Ai (=
Ai ), tal que pi
qj = ij . Seg
un (2.1.1), iL Ai tambien cumple estas relaciones. Por unicidad,
= iL Ai .
En adelante denotaremos el producto y el coproducto de una familia finita de
objetos A1 , . . . , An de una categora aditiva por A1 An , y lo llamaremos
suma directa.
(c) Si I = {1, 2, . . . , m} y J = {1, 2, . . . , n}, la correspondencia establecida en la
proposicion 1.10.9 entre el conjunto (grupo) Mor(A1 An , B1 Bm ),
y el conjunto de matrices
M = {(fij ) | fij Mor(Aj , Bi ), 1 j n, 1 i m},
pueden ser ampliada. En efecto, Mor(A1 An , B1 Bm ) y M son
grupos abelianos isomorfos, donde la adicion en M esta dada por componentes,
(fij ) + (gij ) = (fij + gij ). Ademas, considerando los morfismos
f = (fij ) : A1 An B1 Bm
y
g = (gki ) : B1 Bm C1 Cp ,
la matriz correspondiente al morfismo compuesto g f viene dada por el producto de las matrices componentes: sea h := g f el morfismo compuesto, se
sigue que
A
hkj = pC
k h qj
A
= pC
k (g f ) qj
A
= pC
k g [1B1 Bm ] f qj
B
B
B
B
A
= pC
k g [q1 p1 + + qm pm ] f qj

= gk1 f1j + + gkm fmj

m
X
=
gkr frj , 1 k p, 1 j n.
r=1

(El superndice indica la suma directa a la cual se refiere la proyeccion o

inyeccion respectiva). En particular se tiene que Mor(A1 An , A1 An )

57

2.1. CATEGORIAS ADITIVAS

y M son anillos isomorfos; notese que en una categora aditiva para cada objeto
A, End(A) := Mor(A, A) es un anillo con unidad, por lo tanto, Mor(A
A, A A), con n sumandos en cada componente, es un anillo isomorfo a
Mn (B), donde B = Mor(A, A).
(d) Los morfismos coproducto y producto definidos en el captulo anterior pueden
fi

representarse matricialmente, y ademas coinciden:

Bi }ni=1 una
L sea {Ai
coleccion finita de morfismos. El coproducto
fi se define como el u
nico
morfismo que hace conmutativo el siguiente diagrama:
M

Ai

fi

iI

Bi

iI

qiA

Ai

qiB

fi

(2.1.2)

- Bi

1 i n. Consideremos la coleccion hij : Aj Bi dada por

(
fi , i = j
hij :=
0, i =
6 j,

(2.1.3)

L
Q
L
A
existe un u
nico morfismo h :
Ai iI Bi (= iI Bi ) tal que pB
i h qj =
A
B
B
hij . Sin embargo, notese que pB
i fi qj = pi qj fj , lo cual junto con
B
A
(2.1.1) implica que pi fi qj = hij . La unicidad de h garantiza que h = fi .
De manera
analoga, considerado el producto y las proyecciones, se prueba que
Q
fi . El morfismo descrito en (2.1.3) se denomina la suma directa
h =
de f1 , . . . , fn y se denota f1 fn . Matricialmente, la suma directa se
representa como se muestra en la siguiente matriz:

f1 0 0 0
0 f2 0 0

..

.
0
0 0
. .

.. .. 0 fn1 0
0 0 0
0
fn
(e) Con ayuda del lenguaje matricial, se prueba facilmente que en una categora
aditiva C existe exactamente una forma de definir una estructura de grupo
abeliano sobre los conjuntos de morfismos, tales que la composicion sea bilineal.
En efecto, notese que si + dota de estructura a grupo abeliano a Mor(A, B)

58

CAPITULO 2. CATEGORIAS ABELIANAS

tal que la composicion es bilineal, seg

un lo visto anteriormente se debe tener
que para elementos f, g Mor(A, B),
 

  

 f 0

 iA
iA
i B iB

= f g
= f + g,
iA
0 g
iA
pero este producto corresponde necesariamente al morfismo compuesto
f g

A
B
A
A A B B
B,

con


O B = i B iB ,

 
i
A = A
iA

(vease la definicion 1.10.10).

Al repetir algunas de las ideas expuestas anteriormente, obtenemos el siguiente
resultado.
qi

Corolario 2.1.2. Sea C una categora aditiva, A1 , . . . , An , S objetos de C, y Ai

S
pi
yS
Ai , 1 i n, morfismos de C. Las siguientes condiciones son equivalentes:
(i) S es suma directa de los objetos Ai con inyecciones qi y proyecciones pi .
(ii) Los morfismos qi y pi satisfacen
(
iAi , i = j
p j qi =
0, i 6= j,
Pn

k=1 qk

2.2.

p k = iS .

Categoras abelianas

Definici
on 2.2.1. Una categora C es exacta si posee n
ucleos y con
ucleos, es normal y conormal. C es abeliana si es aditiva y exacta.
Ejemplo 2.2.2. Seg
un los resultados del captulo anterior, la categora ModA es
abeliana.
Consideramos a continuacion algunas propiedades de las categoras abelianas que
seran utilizadas en el estudio de las sucesiones exactas.

59

2.2. CATEGORIAS ABELIANAS

Proposici
on 2.2.3. Si C es una categora abeliana y A
B un morfismo en C,
existe un u
nico isomorfismo
f0 : coker(ker(f )) ker(coker(f ))
tal que el siguiente diagrama conmuta
ker(f )

- A

k0 -

coker(ker(f ))

coker(f ) 

f0

l
B 

(2.2.1)

ker(coker(f ))

Demostracion. Puesto que f l = 0, existe un u

nico morfismo t : coker(ker(f )) B
tal que t k 0 = f . As, k t k 0 = k f = 0 = 0 k 0 . Dado que k 0 es un epimorfismo, se
sigue que kt = 0 y, teniendo en cuenta que l0 es n
ucelo de k, existe un u
nico morfismo
0
0
f0 : coker(ker(f )) ker(coker(f )) tal que l f0 = t. Por tanto, l f0 k 0 = tk 0 = f .
Como l0 es monomorfismo y k 0 es epimorfismo, f0 es u
nico. Se puede probar que f0
es un isomorfismo (vease el ejercicio 1).
f

Corolario 2.2.4. Cada morfismo A

B en una categora abeliana C se factoriza
a traves de un epimorfismo p y un monomorfismo q
f

A
@
p@
R

- B

q

C
Demostracion. En la prueba de la proposicion anterior k 0 es un epimorfismo y l0 f0
es un monomorfismo.
Observaci
on 2.2.5. A partir de la definicion 2.2.1 podemos concluir que toda
categora abeliana tiene objeto cero, productos y coproductos finitos, n
ucleos y
con
ucleos, es normal y conormal. Ademas, es facil verificar que toda categora
abeliana C tiene igualadores y coigualadores. En efecto, si f, g MorC (A, B), entonces Ig(f, g) = ker(f g) y Coig(f, g) = coker(f g).
Proposici
on 2.2.6. Si C es una categora con productos finitos e igualadores, entonces C tiene productos fibrados. En particular, toda categora abeliana tiene productos fibrados.
f1

f2

Demostracion. Sean A1
A y A2
A morfismos y
{p1 : A1 A2 A1 , p2 : A1 A2 A2 }

60

CAPITULO 2. CATEGORIAS ABELIANAS

el producto. Consideremos el igualador C

A1 A2 de f1 p1 y f2 p2 :
C

p2 k

- A2

p1 k

f2

A1

f1

?
- A
g1

g2

Veamos que (C, p1 k, p2 k) es el producto fibrado de f1 y f2 . Sean B

A1 , B
A2
morfismos tales que f1 g1 = f2 g2 . Existe un u
nico morfismo h : B A1 A2 tal
que pi h = gi , i = 1, 2. As, f1 p1 h = f1 g1 = f2 g2 = f2 p2 h. Existe un
u
nico morfismo m : B C tal que k m = h. Notese que p2 k m = p2 h = g2 y
p1 k m = p1 h = g1 :
B
H
A@ Hm
H g2
A @ HH
HH
A @
R
@
H
j
H
p2 k
A
- A2
C
g1 A
A
pA1 k
f2
A
AU ?
?
- A
A
1

f1

Sea m0 otro morfismo tal que p1 k m0 = g1 y p2 k m0 = g2 . Por la unicidad de

h se tiene que k m0 = h, y de la unicidad de m se tiene m0 = m.
Proposici
on 2.2.7. Una categora con productos fibrados tiene intersecciones finitas. En particular, toda categora abeliana tiene intersecciones finitas.
l

1
2
Demostracion. Sean A1

A y A2

A subobjetos de A y su producto fibrado el

siguiente diagrama:

g2

- A2

g1

l2

A1

?
l1

- A

Seg
un la proposicion 1.8.3 del captulo anterior, C precede tanto a A1 como a A2 .
g
Sea X
A un morfismo factorizable a traves de A1 y A2 : l1 k1 = g = l2 k2 . Por
la condicion del producto fibrado existe un u
nico morfismo m : X C tal que los

61

2.2. CATEGORIAS ABELIANAS

siguientes diagramas conmutan:

m-

@g g1
l1 g1
@
@
? @
R ?
- A
A1

m-

@g g2
l2 g2
@
@
? @
R ?
- A
A2

k1

k2

l1

l2

En particular, l2 g2 m = l2 k2 = g = l1 g1 m = l1 k1 . Puesto que l2 g2 es

un monomorfismo, m es u
nico.
f

Proposici
on 2.2.8. Si A
B es un morfismo en una categora abeliana C, entonces:
(i) f es un monomorfismo si, y s
olo si, f es el n
ucleo de su con
ucleo. En particular, A
= ker(coker(f )).
(ii) f es un epimorfismo si, y s
olo si, f es el con
ucleo de su n
ucleo. De aqu,

B = coker(ker(f )).
Demostracion. Si tenemos en cuenta que por definicion cada n
ucleo es un monomorfismo, basta probar (i) en la direccion . Para (ii) aplicamos el principio de dualidad.
f

A
Si A
B es un monomorfismo, su n
ucleo es 0 A. Ademas, (A
A) =
coker(0 A). Por tanto, se tiene el siguiente diagrama conmutativo, donde f0 es
un isomorfismo (proposicion 2.2.3):

- A

iA

- A
f0

coker(f ) 

h
B 

ker(coker(f ))

En consecuencia, se tiene la equivalencia de subobjetos

f
h
(A
B)
B),
= (ker(coker(f ))
f
k
con lo cual, A
B es tambien n
ucleo de B
coker(f ). En particular, A
=
ker(coker(f )).

Corolario 2.2.9. Toda categora abeliana es balanceada.

f

Demostracion. Sea A
B un bimorfismo. Notese que B
B es el con
ucleo de f .
0
Seg
un la proposicion 2.2.8, f es el n
ucleo de B
B. Puesto que 0 iB = 0, existe

62

CAPITULO 2. CATEGORIAS ABELIANAS

un morfismo t : B A tal que f t = iB .

f

A
t

- B

- B


iB

B
Ademas, f (t f ) = iB f = f = f iB , y dado que f es un monomorfismo,
t f = iB . Por tanto, f es un isomorfismo.
Proposici
on 2.2.10. Toda categora abeliana C tiene im
agenes y coim
agenes. M
as
f
exactamente, si A
B es un morfismo en C, entonces Im(f ) = ker(coker(f )) y
Coim(f ) = coker(ker(f )).
Demostracion. Dado que la categora es abeliana, el morfismo f0 del diagrama
(2.2.1) es un isomorfismo. De esta manera, si z := f0 k 0 , tenemos que z es un
epimorfismo y el siguiente diagrama conmutativo:
f

- B
3


 l0


Q
Q
z Q
s
Q

ker(coker(f ))
donde l0 es definida como en (2.2.1).
h0

Sea Y
B un subobjeto de B a traves del cual podemos factorizar f :
A

- B
Q
3


S Q
7

z
0
Q
S
s
Q
 l

S
ker(coker(f ))h0
t0 S

S

S
w 
S

Y
Seg
un la proposicion 2.2.7, C tiene intersecciones finitas. Sea ker(coker(f))
l0

la interseccion de ker(coker(f ))
B yY
B,
m

- ker(coker(f )) Y
HH
HHf l1 

z
H
l
 HH


? 
H
H
j ?
- B
ker(coker(f ))

l0

m-

ker(coker(f )) Y

Q
Q
t0

fQ l2 


l
QQ

Q

?
s ?
Q
+
- B
Y
0
h

Y
B

h0

63

2.2. CATEGORIAS ABELIANAS

La existencia de m y la conmutatividad de los diagramas anteriores estan garantizados por la condicion de interseccion. Por tanto, se tiene el diagrama conmutativo
A

- B

A@


 6
A @


iA
iB
A z@
l0

A @


@
R
@


? A
A
A
B
m Aker(coker(f ))
l


A
A


6



A
A




A
l1

A


A
A




AAU

A


A
ker(coker(f ))
Y h0
t0 A


A


A


A
l2

A


AAU ?

Y
En particular, l0 l1 = l, de donde l0 l1 m = l m = f = l0 z. Como l0 es un
monomorfismo, entonces l1 m = z. Dado que z es un epimorfismo, l1 tambien lo
es, con lo cual l1 es un isomorfismo (recuerdese que C es balanceada). Por tanto,
l2 (l1 )1

obtenemos el morfismo ker(coker(f )) Y tal que h0 l2 (l1 )1 = l0 . El

hecho que h0 sea un monomorfismo implica que l2 (l1 )1 es u
nico. Lo anterior
muestra que ker(coker(f )) = Im(f ). Al aplicar dualidad, completamos la prueba de
la proposicion.
Corolario 2.2.11. Toda categora abeliana tiene im
agenes epim
orficas y coim
agenes
monomorficas.
Demostracion. En la prueba anterior se mostro que z es un epimorfismo. La segunda
afirmacion se sigue por dualidad.
Corolario 2.2.12. Si C es una categora abeliana, se tiene que:
f

A
(i) A
B es un monomorfismo si, y s
olo si, Coim(f ) = (A
A).

B
(ii) A
B es un epimorfismo si, y s
olo si, Im(f ) = (B
B).

Demostracion. Al aplicar dualidad, basta probar (i).

64

CAPITULO 2. CATEGORIAS ABELIANAS

): tenemos el diagrama conmutativo

f

- B

f 

A@ iA



A @


R
A @


A
A
h
g
A
A 61

A g

AU

Y
Puesto que suponemos que h g = f y f es un monomorfismo, tenemos que g
tambien lo es. Ahora, dado que C es balanceada, g es un isomorfismo.
): basta considerar el triangulo superior del diagrama inmediatamente anterior
junto con el corolario 2.2.11.

2.3.

Sucesiones exactas

Aunque las sucesiones exactas pueden ser definidas en categoras mas generales,
supondremos en esta seccion que trabajamos en categoras abelianas.
Definici
on 2.3.1. Una sucesion de morfismos
fi

fi+1

Ai
Ai+1 Ai+2

(2.3.1)

se dice exacta si para cada i, Im(fi ) = ker(fi+1 ).

Esta definicion tambien puede plantearse en terminos de con
ucleo y coimagen.
El con
ucleo de fi , Ai+1 coker(fi ), es un epimorfismo, as por las proposiciones
2.2.8 y 2.2.10 tenemos que
coker(fi ) = coker(ker(coker(fi )))
= coker(Im(fi ))
= coker(ker(fi+1 ))
= Coim(fi+1 )
Consideremos ahora algunas sucesiones exactas especiales.
Proposici
on 2.3.2.

(i) 0 A
B es exacta si, y s
olo si, f es monomorfismo.

(ii) A
B 0 es exacta si, y s
olo si, f es epimorfismo.
f

(iii) 0 A
B 0 es exacta si, y s
olo si, f es isomorfismo.

2.3. SUCESIONES EXACTAS

65

(iv) 0 A
B
C es exacta si, y s
olo si, f es el n
ucleo de g.
f

(v) A
B
C 0 es exacta si, y s
olo si, g es el con
ucleo de f .
f

(vi) 0 A
B
C 0 es exacta si, y s
olo si, f es el n
ucleo de g y g es
epimorfismo si, y solo si, g es el con
ucleo de f y f es un monomorfismo.
Demostracion. (i) Seg
un el corolario 2.2.12, f es un monomorfismo si, y solo si, se
iA
iA
cumple que Coim(f ) = A
A. Ademas, coker(0 A) = (A
A).
(ii) Principio de dualidad.
(iii) Al tener en cuenta que una categora abeliana es balanceada, (iii) es consecuencia de (i) y (ii)
(iv) ): como la sucesion es exacta, f es un monomorfismo e Im(f ) = ker(g).
Ahora, dado que f es un monomorfismo, f coincide con su imagen:
f

- B

f 

A@ iA



A @


R
A @


A
A
t
h A


A
A h

AU ?

C
f

): si (A
B) = ker(g), entonces f es un monomorfismo y, por lo tanto, (A

B) = Im(f ). Esto muestra que la sucesion es exacta.

(v) Principio de dualidad.
(vi) Consecuencia de (i)-(v).
Las sucesiones exactas de la forma
f

0A
B
C0

(2.3.2)

se denominan exactas cortas. Seg

un (vi), g es el con
ucleo de f y f es un monomorfismo. En la categora ModA el con
ucleo de f es precisamente B/Im(f ). Dado que

f es un monomorfismo Im(f ) = A. As, C

= B/A. Es por esta razon que en una
categora abeliana se acostumbra a representar el con
ucleo de un monomorfismo
f
A
B por B B/A, y a su objeto por B/A. Por consiguiente, la sucesion exacta
corta se representa usualmente por
0 A B B/A 0.
El corolario 2.1.2 puede complementarse de la siguiente manera.

66

CAPITULO 2. CATEGORIAS ABELIANAS

Proposici
on 2.3.3. Sean A1 , A2 , S objetos y pi : S Ai , qi : Ai S, 1 i 2,
morfismos. Las siguientes condiciones son equivalentes:
(i) S = A1 A2 , con proyecciones pi e inyecciones qi , 1 i 2.
(ii) pi qi = iAi , 1 i 2 y las sucesiones
q1

p2

q2

p1

0 A1
S
A2 0
0 A2
S
A1 0

(2.3.3)
(2.3.4)

son exactas.
(iii) qi , q2 son monomorfismos, p1 , p2 son epimorfismos y adem
as
q 1 p 1 + q 2 p 2 = iS ;

(qi pi )2 = qi pi , 1 i 2.

Demostracion. (i) (ii): por el corolario 2.1.2 basta probar la exactitud de las
sucesiones (2.3.3) y (2.3.4). Por ejemplo, probemos la exactitud de la primera. Dado
que p2 es una retraccion, resulta ser un epimorfismo. Resta ver que q1 es el n
ucleo de
p2 . Seg
un (i), p2 q1 = 0. Sea f : C S tal que p2 f = 0. Notese que el morfismo
p1 f hace conmutativo el siguiente diagrama:
A1
p1 f

q1

- S

p2

- A
2


f

C
En efecto, q1 p1 f = q1 p1 f + q2 p2 f = (q1 p1 + q2 p2 ) f = f , ya que
seg
un el corolario 2.1.2, q1 p1 + q2 p2 = iS . Ademas, como q1 es un monomofismo,
se sigue que p1 f es el u
nico que hace conmutativo el diagrama anterior.
(ii) (i): sean fi : B Ai , i = 1, 2, morfismos, y sea f := q1 f1 + q2 f2 :
B S. Se tiene que pi f = fi , i = 1, 2. Supongase que existe otro morfismo
g : B S tal que pi g = fi , i = 1, 2. Esto implica que pi (f g) = 0, y como
q1 = ker(p2 ), existe un u
nico morfismo h : B A1 tal que q1 h = f g, es decir,
f g = q1 iA1 h = q1 p1 q1 h = q1 p1 (f g) = 0, con lo cual f = g. Esto
muestra que S junto con p1 y p2 conforman el producto de A1 y A2 . De manera dual
se establece que S con q1 y q2 conforman el coproducto.
(i) (iii) Consecuencia directa del corolario 2.1.2.
(iii) (i) Para aplicar el corolario 2.1.2 basta mostrar que
(
iAi , i = j,
p j qi =
0
i 6= j.

2.4. EJERCICIOS

67

Como q1 p1 q1 p1 = q1 p1 = q1 iA1 p1 , al cancelar obtenemos p1 q1 =

iA1 . Analogamente, p2 q2 = iA2 . Ademas, el hecho q1 p1 + q2 p2 = iS implica
p2 q1 p1 + p2 q2 p2 = p2 , con lo cual, p2 q1 p1 + p2 = p2 , esto es, p2 q1 p1 = 0,
y por tanto, p2 q1 = 0. De manera similar puede verse que p1 q2 = 0.
Tal como dijimos al inicio de la seccion, todos los resultados que hemos probado
son aplicables a la categora ModA .

2.4.

Ejercicios

1. Demuestre que el morfismo f0 de la proposicion 2.2.3 es un isomorfismo.

2. Demuestre que si C es una categora con coproductos finitos y coigualadores,
entonces C tiene sumas fibradas. En particular, toda categora abeliana tiene
sumas fibradas.
3. Demuestre que toda categora abeliana tiene imagenes inversas.
4. Demuestre que toda categora abeliana tiene uniones finitas.

Captulo 3
Funtores
3.1.

Funtores

Al igual que en anillos y modulos, las categoras adquieren importancia cuando se

les compara o relaciona. Este papel de comparacion e interrelacion lo desempe
nan
los funtores, los cuales seran el objeto de estudio de este captulo. Si no se advierte
lo contrario, supondremos que las categoras consideradas son arbitrarias.
Definici
on 3.1.1. Sean B, C categoras. Un funtor covariante F : B C se
define por:
(i) Una funcion, denotada tambien por F : Ob(B) Ob(C), que asigna a cada
objeto B de B un objeto F (B) de C;
(ii) Para cada par de objetos A, B de B se define una funci
on tambien denotada
por
F : MorB (A, B) MorC (F (A), F (B))
f 7 F (f )
que cumple las siguientes condiciones:
(iii) F (f g) = F (f ) F (g)
(iv) F (iB ) = iF (B)
para cualesquiera morfismos f, g de B compatibles para la composici
on y para cada
objeto B de B.
Un funtor contravariante de B en C se define como antes pero cambiando
(ii) y (iii) de la siguiente manera:
F : MorB (A, B) MorC (F (B), F (A))
dado por f 7 F (f ), y, F (f g) = F (g) F (f ).
68

3.1. FUNTORES

69

Ejemplo 3.1.2. Algunos ejemplos triviales de funtor son los siguientes:

(i) Funtor identidad iB de una categora B en s misma, tal que iB (B) =
B, iB (f ) = f , para cualesquiera B Ob(B) y f Mor(B).
(ii) Funtor inclusi
on L de una subcategora A de B en B, definidio de manera
natural, L(A) := A y L(f ) := f , para cada objeto A de A y cada morfismo f
de A.
(iii) Funtor olvido F0 de una categora C cuyos objetos son conjuntos con alguna
estructura (algebraica, topologica, etc) y con morfismos que respetan dicha
estructura, en la categora Conj de conjuntos. F0 asigna a cada objeto C de
C el conjunto C olvidandose de su estructura, y a cada morfismo f de C la
funcion conjuntista subyacente f . Ademas de este funtor, se tienen funtores
que olvidan parcialmentela estructura:
Ani Ab
ModA Ab,
donde Ab es la categora de grupos abelianos.
(iv) A cada funtor covariante F : B C corresponde un funtor contravariante
F : B C, definido por F (B) := F (B), B Ob(B) y F (f ) := F (f ), f :
A B en B . Notese que si F es contravariante, F es covariante.
Analogamente, a cada funtor covariante (contravariante) F : B C corresponde un funtor contravariante (covariante) F : B C definido por F (B) :=
F (B), B Ob(B) y F (f ) := F (f ) , f : A B en B.
Es claro que (F ) = (F ) . Esta observacion permite efectuar el estudio de la
teora de funtores por medio de los covariantes.
En adelante, si no se advierte lo contrario, la palabra funtor indicara funtor
covariante.
Definici
on 3.1.3. Dados dos funtores F : B C y G : C D se define el funtor
composicion G F : B D de manera natural
G F (B) = G(F (B)), B Ob(B),
G F (f ) = G(F (f )), f Mor(B).
Notese que si F y G son funtores contravariantes, la composicion G F es un
funtor covariante. Si F es covariante (contravariante) y G es contravariante (covariante), la composicion G F es contravariante. Es evidente que la composicion
de funtores es asociativa, y ademas F iB = F , iC F = F , para cada funtor F

70

CAPITULO 3. FUNTORES

con iB , iC definidos como en el ejemplo 3.1.2. Notemos que si Cat denota la coleccion de categoras peque
nas, entonces Cat es una categora cuyos morfismos son
los funtores.
Ejemplo 3.1.4. Sea C una categora y A un objeto fijo de C (denominado en estos casos objeto representante). Se tienen los funtores FA := M orC (A, ) y
F A := M orC (, A), denominados funtor representable covariante y funtor
representable contravariante, y estan definidos por:
FA : C Conj
X 7 FA (X) := Mor(A, X)
f

X
Y 7 FA (f ) : Mor(A, X) Mor(A, Y ),

g 7 f g

Denotamos FA (f ) := fA .
F A : C Conj
X 7 F A (X) := Mor(X, A)
f

X
Y 7 F A (f ) : Mor(Y, A) Mor(X, A), g g f.
Denotamos F A (f ) := f A . Notemos que

(FA ) = F A ,

(F A ) = FA .

Definici
on 3.1.5. Sean B y C categoras tales que los conjuntos de morfismos en cada una de ellas tengan estructura de grupos abelianos , y adem
as que la composici
on
sea bilineal respecto de la adicion en dichos grupos (tales categoras se denominan
preaditivas). Un funtor F : B C covariante (contravariante) se dice aditivo si
F (f + g) = F (f ) + F (g) para cualesquiera morfimos f, g en B compatibles para la
adici
on.
Esta condicion es equivalente a que cada una de las funciones
F

MorB (A, B)
MorC (F (A), F (B)),
F
MorB (A, B)
MorC (F (B), F (A))
sea un homomorfismo de grupos. Observese que F (0) = 0 para cada cero morfismo
0 en B. Ademas, FA y F A son funtores aditivos para cada categora preaditiva C y
cada objeto A de C. Se supone en este caso que estos funtores toman sus valores en
Ab.
Al iniciar esta seccion mencionamos que la nocion de funtor en la teora de
categoras juega un papel analogo al de homomorfismo en algebra. As, queremos
definir las nociones de funtor inyectivo, sobreyectivoy biyectivo.

71

3.1. FUNTORES

Definici
on 3.1.6. Sean B y C categoras. Un funtor F : B C se dice fiel si cada
F
una de las funciones MorB (A, B)
MorC (F (A), F (B)), es inyectiva. El funtor
F

se dice pleno si cada una de las funciones MorB (A, B)

MorC (F (A), F (B)) es
sobreyectiva. F se dice representativo si dado C Ob(C) existe B Ob(B) tal
que F (B)
= C. Una equivalencia entre B y C es un funtor F : B C que
sea fiel, pleno y representativo. Dos categoras se dicen equivalentes si existe una
equivalencia entre ellas.
Notese que si F es aditivo, ser fiel es equivalente a que para cada f 6= 0 en
Mor(A, B), F (f ) 6= 0 en MorC (F (A), F (B)). De otra parte, la relacion de equivalencia entre categoras es claramente reflexiva y transitiva. La proposicion 3.1.8
mostrara que dicha relacion tambien es simetrica.
Definici
on 3.1.7. Sean B y C categoras y F, G : B C funtores covariantes. Una
transformaci
on natural : F G asigna a cada objeto X de B un morfismo
f
X : F (X) G(X) en C, tal que para cada morfismo X
Y de B el siguiente
diagrama es conmutativo:
F (X)

- G(X)

X
f

F (f )

G(f )

F (Y )

?
- G(Y )

Una transformacion natural entre functores contravariantes se define de la siguiente

manera:
X
- G(X)
F (X)
X
6
6
f

F (f )

G(f )

F (Y )

- G(Y )

Un ejemplo trivial de transformacion natural lo constituye la id

entica de cada
funtor F : B C, iF : F F , que asigna a cada objeto X de B el morfismo
iF (X)

identidad F (X) F (X).

Si para cada objeto X de B, X es un isomorfismo, decimos que es un isomorfismo natural o isomorfismo funtorial (en tal caso, tambien se tiene el
isomorfismo funtorial 1 : G F definido por (1 )X = (X )1 , para cada X
de B). Si : F G y : G H son transformaciones naturales se define su

72

CAPITULO 3. FUNTORES

compuesta : F H mediante ( )X = X X , para cada objeto X de B.

Notese que esta composicion es asociativa.
Si B es una categora peque
na, la coleccion Func(B, C) de todos los funtores
covariantes de B en C junto con las transformaciones naturales constituyen una
categora (la coleccion de transformaciones naturales entre
Q dos funtores F, G : B C
es un subconjunto del conjunto producto cartesiano XObB MorB (F (X), G(X))).
El contenido de la siguiente proposicion puede tomarse como la definicion de
categoras equivalentes, la cual resulta ser una relacion simetrica, y por la definicion
3.1.6, una relacion de equivalencia.

Proposici
on 3.1.8. Un funtor F : B C es una equivalencia si, y solo si, existe

un funtor G : C B e isomorfismos funtoriales G F

iB , F G
iC .

Demostracion. ): sea F : B C un funtor fiel, pleno y representativo. Definimos

G : C B de la siguiente manera: dado C Ob(C) existe B Ob(B) tal que
F (B)
= C; consideramos G(C) := B con F (B)
= C, B Ob(B) (aqu debemos
hacer uso del axioma de eleccion para escoger un B en B que cumpla la condicion
f
F (B)
C 0 un morfismo en C y hC , hC 0 isomorfismos tal como se
= C). Sea C
ilustra en el siguiente diagrama:

F (B)

hC

(hC 0 )1 f
. hC

- C
f

?
0

F (B )

hC

?
- C0
0

Puesto que MorB (B, B 0 ) MorC (F (B), F (B 0 )) es sobreyectiva e inyectiva, existe

un u
nico fb : B B 0 tal que F (fb) = (hC 0 )1 f hC . Por esta razon se define
G(f ) := fb. Veamos que G es un funtor; podemos esquametizar la prueba de la

73

3.1. FUNTORES

siguiente manera:
f1

f2

F (B)
= C,

C
C0
C 00 ,

F (B)

F (B 0 )
= C 0,
hC

F (B 00 )
= C 00

- C

(hC 0 )1 f1 hC

f1

F (B 0 )

hC

?
- C0
0

(hC 00 )1 f2 hC 0

f2

F (B 00 )

hC

?
- C 00
00

de donde se obtiene
G(f1 ) = fb1 , donde F (fb1 ) = (hC 0 )1 f1 hC , G(f2 ) = fb2 , con F (fb1 ) = (hC 00 )1 f2 hC 0 .
Por tanto, G(f2 f1 ) = fb2 fb1 , ya que F (fb2 fb1 ) = (hC 00 )1 f2 f1 hC . Ahora,
dado que F (iB ) = iC se sigue G(iC ) = iB = iG(C) , con F (B)
= C.
Veamos que existe un isomorfismo funtorial entre F G e iC . Sea C Ob(C).
Se tiene que F G(C)
= C, con isomorfismo C = hC :
F G(C)

- C

C
f

F G(f )

(3.1.1)

C0

?
0

F G(C )

?
- C0
0

Ahora mostremos la existencia de un isomorfismo funtorial entre G F e iB . Sea

z
b B
b 0 en B tales
B
B 0 un morfismo en B y sean F (B) = C, F (B 0 ) = C 0 . Existen B,
b
b0)
b y G(C 0 ) := B
b 0 . Sea f := F (z).
que F (B)
= C, F (B
= C 0 , por lo que G(C) := B
Al aplicar (3.1.1) se obtiene el diagrama conmutativo
F [G(F (B))]

C = F (B)
F (z)=f

C 0 = F (B 0 )

F (B)

- F (B)

F [G(f )]

F [G(F (B 0 ))]

?
- F (B 0 )

F (B 0 )

(3.1.2)

74

CAPITULO 3. FUNTORES

B
Puesto que F es un funtor fiel y pleno, existen isomorfismos (
unicos) G(F (B))
B,

0
B
0
0
G(F (B )) B tales que F (B ) = F (B) y F (B 0 ) = F (B 0 ) . Dado que F es pleno,
existe w : G F (B) G F (B 0 ) tal que F (w) = F G(f ). Ahora, por la fidelidad
de F se tiene w = G(f ). Por consiguiente

G F (B)

- B

B
z

w=GF (z)

B0

G F (B 0 )

?
- B0
B 0

La conmutatividad se obtiene de la conmutatividad de (3.1.2) y del hecho que F es

fiel.
): la hipotesis garantiza la conmutatividad de los siguientes diagramas en los
cuales C , C 0 , B , B 0 , son isomorfismos:
F G(C)

- C

C
f

F G(f )

C0

F G(C 0 )
G F (B)

?
- C0
0

- B

B
z

GF (z)

B0

G F (B 0 )

?
- B0
B 0

Veamos que F es representativo: dado C Ob(C) existe G(C) Ob(B) tal que
F [G(C)]
= C. Mostremos que F es fiel: sean z1 , z2 : B1 B10 morfismos en B tales
que F (z1 ) = F (z2 ). Se tiene que G F (z1 ) = G F (z2 ), lo cual implica
B10 (G F )(z1 ) = z1 B1 ,
B10 (G F )(z2 ) = z2 B1 ,
de donde z1 B1 = z2 B1 , y as, z1 = z2 . En consecuencia, F es fiel, y por simetra,
G es fiel.

75

3.2. FUNTORES EXACTOS

Finalmente, mostremos que F es pleno. Sea f : F (B) F (B 0 ) un morfismo de

MorC (F (B), F (B 0 )). Al considerar el isomorfismo funtorial se induce z : B B 0
G F (B)

- B
z=0B G(f )(B )1

G(f )

?
0

G F (B )

?
- B0
B 0

Veamos que F (z) = f . Tenemos

G F (B)

- B

GF (z)

B0

G F (B 0 )

?
- B0
B 0

0
0
de donde se obtiene B
G F (z) = z B = B
G(f ), y as, G F (z) = G(f ),
por lo que F (z) = f , ya que G es fiel.

Definici
on 3.1.9. Sean F : B C y G : C B un par de funtores covariantes. Se
dice que F y G son conjugados (o que F es adjunto a izquierda para G y G
es adjunto a derecha para F ), si existe un isomorfismo funtorial
: MorC (F , ) MorB (, G)
entre los bifuntores

3.2.

F := MorC (F , ) : B C Conj

(Contr cov)

G := MorB (, G) : B C Conj

(Contr cov).

Funtores exactos

En la seccion anterior se establecio la aditividad de los funtores representables

Mor(A, ) : C Ab y Mor(, A) : C Ab, donde C es una categora abeliana
y A un objeto fijo de C. Cuando C = ModA y N es un A-modulo fijo, los funtores representables se denotan por HomA (N, ) y HomA (, N ), respectivamente.
En esta seccion estudiaremos algunas propiedades de estos funtores relacionadas
con la preservacion de sucesiones exactas. A pesar de que las nociones que introduciremos a continuacion pueden ser tratadas en categoras mas generales, nosotros
supondremos, si no se advierte lo contrario, que las categoras son abelianas.

76

CAPITULO 3. FUNTORES

Definici
on 3.2.1. Un funtor F : B C se dice exacto a derecha si la exactitud
de A B C 0 en B, implica la exactitud de F (A) F (B) F (C) 0
en C. F se dice exacto a izquierda si la exactitud de 0 A B C en B en
B, implica la exactitud de 0 F (A) F (B) F (C) en C. Para el caso en que
F sea un funtor contravariante, se tiene lo siguiente: F es exacto a derecha si
la exactitud de 0 A B C en B implica la exactitud de F (C) F (B)
F (A) 0 en C, y, F es exacto a izquierda si la exactitud de A B C 0
en B implica la exactitud de 0 F (C) F (B) F (A) en C. Un funtor covariante
(contravariante) se dice exacto si es exacto a derecha e izquierda.
Como se dijo en la seccion anterior, la palabra funtor indicara funtor covariante.
De la proposicion 2.3.2 obtenemos las siguientes conclusiones:
(i) Un funtor F : B C es exacto a izquierda si, y solo si, preserva n
ucleos,
es decir, F (ker(f )) = ker(F (f )) para cada morfismo f de B.
(ii) Un funtor F : B C es exacto a derecha si, y solo si, preserva con
ucleos.
Definici
on 3.2.2. Un funtor F : B C se dice semiexacto si la exactitud de
0 A B C 0 en B implica la exactitud de F (A) F (B) F (C) en C.
Evidentemente todo funtor exacto a derecha o a izquierda es semiexacto.
La proposicion 3.2.4 establece que los funtores semiexactos son aditivos. Para la
prueba utilizaremos el siguiente criterio.
Proposici
on 3.2.3. Un funtor F : B C es aditivo si, y s
olo si, preserva sumas
directas finitas con las correspondientes proyecciones e inyecciones.
Demostracion. ): consideremos la suma directa (vease el corolario 2.1.2)
q1

A1
iA1

- A 1 A2 

p1

q2

A2

@
@ p2
@
@
R
@

A1

iA2

A2

donde
(
iAi , i = j,
p j qi =
0,
i=
6 j
q1 p1 + q2 p2 = iA1 A2 .

77

3.2. FUNTORES EXACTOS

Se tiene que
(
iF (Ai ) , i = j,
F (pj ) F (qi ) =
0,
i=
6 j
y F (q1 ) F (p1 ) + F (q2 ) F (p2 ) = iF (A1 A2 ) . Seg
un el corolario 2.1.2, F (A1 A2 )
es suma directa de F (A1 ) y F (A2 ) con inyecciones F (qi ) y proyecciones F (pi ) para
i = 1, 2.
): sean f, g : A B. Debemos probar que F (f + g) = F (f ) + f (g). Seg
un
la observacion 2.1, la suma viene dada por f + g = 5B (f g) A , donde
5B , f g, A estan definidos por las siguientes identidades (veanse la definicion
1.10.10 y (2.1.2)):
5B qiB = iB ,
f g

AA
q1A

pA
i A = iA ,

- BB

6B
q1

- B

AA
q2A

i = 1, 2,
f g

- BB

6B
q2

- B

Al aplicar F encontramos
F (B)

F (5B ) qi
F (A)
pi

= iF (B) , i = 1, 2

F (A ) = iF (A) , i = 1, 2

esto es, F (5B ) = 5F (B) y F (A ) = F (A) . Ademas, F ((f g) q1A ) = F (q1B f )

F (A)
F (B)
implica F (f g) q1
= q1
F (f ), y de F ((f g) q2A ) = F (q2B f ), se obtiene
F (A)
F (B)
= q2
F (g). Por consiguiente, F (f g) = F (f ) F (g), y en
F (f g) q2
consecuencia F (f )+F (g) = 5F (B) (F (f )F (g))F (A) = F (5B (f g))A ) =
F (f + g).
Proposici
on 3.2.4. Todo funtor semiexacto F : B C es aditivo.
Demostracion. Seg
un la proposicion 3.2.3, basta probar que F preserva las sumas
directas finitas. Sea S = A1 A2 la suma directa de A1 y A2 con inyecciones q1 , q2
y proyecciones p1 , p2 ; de la proposicion 2.3.3 tenemos que pi qi = iAi , i = 1, 2, y la
q1
p2
q2
P1
exactitud de las sucesiones 0 A1
S
A2 0, 0 A2
S
A1 0. Al
aplicar el funtor F obtenemos las siguientes sucesiones exactas:
F (q1 )

F (p2 )

F (q2 )

F (p1 )

0 F (A1 ) F (S) F (A2 ) 0

0 F (A2 ) F (S) F (A1 ) 0.
En efecto, F (pi ) es un epimorfismo y F (qi ) es un monomorfismo para i = 1, 2, ya
que F (pi ) F (qi ) = iF (Ai ) , i = 1, 2. La semiexactitud completa la prueba.

78

CAPITULO 3. FUNTORES

Ejemplo 3.2.5. Para cada A-modulo fijo N , el funtor covariante representable dado
por HomA (N, ) : ModA Ab, es aditivo y exacto a izquierda. Analogamente,
el funtor contravariante representable HomA (, N ) : ModA Ab, es aditivo y
exacto a izquierda. En efecto, en la definicion 3.1.5 se haba notado que los funtores
representables son aditivos. Esto tambien puede obtenerse de la proposicion 3.2.4
si probamos que dichos funtores son exactos a izquierda. Consideremos el caso cof
g
variante; el contravariante lo dejamos a cargo del lector. Sea 0 M1
M2
M3
una sucesion exacta de A-modulos. Al aplicar HomA (N, ) se obtiene la sucesion
f

N
N
0 HomA (N, M1 )
HomA (N, M2 )
HomA (N, M3 ). Debemos probar que
Im(fN ) = ker(gN ) y que fN es inyectiva (recordemos que Ab = ModZ ). Sea
h : N M1 tal que fN (h) = 0, es decir, f h = 0. Dado que f es un monomorfismo,
h = 0 y as fN es inyectiva. Ahora, sea t : N M2 tal que gN (t) = 0, esto es,
g t = 0. Como f es el n
ucleo de g existe un A-homomorfismo r : N M1 tal
que f r = t, es decir, fN (r) = t. Esto indica que t Im(fN ). Recprocamente, sea
t Im(fN ). Existe r : N M1 tal que t = f r, y de aqu, g t = g f r = 0 ya que
g f = 0. En conclusion, t ker(gN ) y la igualdad Im(fN ) = ker(gN ) esta probada.

3.3.

Lmites y colmites

Presentamos en esta seccion las construcciones de lmite proyectivo y lmite inductivo

de un funtor. Estas construcciones seran en particular aplicadas para calcular el
lmite directo de un sitema dirigido de A-modulos.

Definici
on 3.3.1. Sea F : L C un funtor, donde L es una categora peque
na y C
una categora cualquiera. Para X Ob(C) y cada i I := Ob(L) sup
ongase dado
un morfismo fi : X Fi , con Fi := F (i). La familia (fi )iI se dice compatible si
para cada morfismo g : i j en L se tiene que fj = F (g) fi :
X
i

- j
g

fj

fi

Fi

F (g)

@
R
@
- Fj

Un lmite (o lmite proyectivo) de F es un objeto Lim

F de C junto con una
familia compatible de morfismos pi :
Lim
F

F
,
tal
que
para cualquier otra familia
i

compatible fi : X Fi existe un u
nico morfismo f : X Lim
F para el cual

79

3.3. LIMITES Y COLIMITES

pi f = fi , esto es,
X

- j

A

fA

? A
fi

A fj
Lim
F A




@ A


A
pj @
pi


AU
R
@


Fj
Fi
F (g)

Se dice que C es una categora completa si para cada categora peque

na L y cada
funtor F : L C existe el lmite proyectivo.
Debido a la unicidad, el lmite de F es u
nico salvo isomorfismo. De manera dual
se define el colmite de un funtor covariante F : L C, donde L es nuevamente una
categora peque
na y C una categora cualquiera. No sobra en este momento repetir
las ideas duales.
Definici
on 3.3.2. Un colmite (o lmite inductivo) de F es un objeto Lim
F de
C con una familia compatible de morfismos qi : Fi Lim
F , tal que para cualquier
otra familia compatible fi : Fi X existe un u
nico morfismo f :
Lim
F X para
el cual f qi = fi :
X

- j

AK


 6
f
A


A


f
fi

LimF A j

A




I A
@

qi
qj@ A
@A


Fj
Fi
F (g)

Se dice que C es cocompleta si Lim

na L y cada
F existe para cada categora peque
funtor F : L C.
El colmite de F es u
nico salvo isomorfismo. Antes de probar que ModA es
una categora completa y cocompleta, consideraremos algunos casos particulares de
lmites y colmites. Para comenzar, veamos que el producto y el coproducto de un
conjunto no vaco de objetos de una categora son casos particulares de lmite y
colmite, respectivamente.

80

CAPITULO 3. FUNTORES

Ejemplo 3.3.3. Sean C una categora cualquiera, I un conjunto no vaco, {Xi }iI
un conjunto de objetos de C (uno por cada i I), {fij : Xi Xj }iI un conjunto
dado de morfismos en C, donde para cada par i, j de I puede haber mas de un
morfismo o ninguno de Xi en Xj . Ademas, se supone que fii = iXi para cada i I.
Se definen el lmite y el colmite de (Xi )iI de la siguiente manera: sea L la categora
peque
na donde Ob(L) := I, y a cada morfismo fij : Xi Xj se asocia un morfismo
f ij : i j. Se define el funtor F : L C, F (i) := Xi , F (f ij ) := fij . As, se define
Lim
ltimos lmites existan). En
Xi := Lim
F , y, Lim
Xi := Lim
F (en caso de que los u
particular, al tomar como conjunto Q
dado de morfismos
L(fij : Xi Xj )iI solamente
las identidades, entonces
Lim
Xi .
Xi = Xi y Lim
Xi =
Ejemplo 3.3.4. Un conjunto parcialmente ordenado I se dice dirigido, si para
cada par de elementos i, j de I, existe k I tal que i k y j k. Un caso trivial
de conjunto dirigido es cualquier conjunto totalmente ordenado, por ejemplo, N. Si
I es un conjunto dirigido, es claro que I puede ser considerado como una categora
peque
na (la categora Pre), y si C es una categora cualquiera, un funtor F : I C se
denomina sistema directo (o dirigido) de C sobre I; se acostumbra a identificar
a F con sus imagenes: {Fi := F (i), fij }iI , donde fij : Fi Fj es el morfismo
correspondiente a i j. Ademas,
fii = iFi ,

(i j k fjk fij = fik ).

Un sistema inverso de C sobre I es cualquier funtor F : I C. Sea I un

conjunto dirigido y F : I C un sistema directo de C, {Fi , fij }i,jI ; se llama lmite
directo de F (o de {Fi }iI ) al lmite inductivo Lim
F . El lmite proyectivo Lim
F

del sistema inverso F : I C se llama lmite inverso de F .

Ejemplo 3.3.5. En este ejemplo consideraremos a manera de ilustracion el lmite
directo de un sistema dirigido de A-modulos. Sea {Mi , fij }iI un sistema dirigido
de A-modulos. El lmite directo
Lim
la
Mi existe y se calcula como sigue: formamos
S
S

union disyunta Mi de los conjuntos Mi , i I, definimos la relacion en Mi

por:
x y (x Mi , y Mj , existe k I con i k, j k y fik (x) = fjk (y) Mk ).
S

Notese que es de equivalencia. Veamos que

Lim
Mi = Mi / . Para cada i I
se tiene la funcion canonica
qi : Mi Lim
Mi
xi 7 qi (xi ) := xi
tal que si i j entonces qj fij = qi . Esto indica que {qi }iI es una familia compatible
de morfismos. Observese que cada elemento x Lim
Mi es de la forma x = qi (xi )

3.3. LIMITES Y COLIMITES

81

para alg
un i I y xi Mi . Se dice que x es representado por xi . Debemos mostrar
que
Lim
Mi es un A-modulo y que qi es un A-homomorfismo. Sean x, y Lim
Mi
representados por xi Mi , yj Mj , respectivamente. Sea k I tal que i k, j k.
Definimos x+y como el elemento de Lim
Mi representado por fik (xi )+fjk (yj ) Mk .
Para a A se define x.a como el representado por xi .a Mi . Estas operaciones
estan bien definidas y dotan a Lim
Mi de estructura de A-modulo. Ademas, qi es
una A-homomorfismo para cada i I: nos limitaremos a probar que la adicion
esta bien definida; las pruebas de las afirmaciones restantes las encomendamos al
lector. Sean x, y Lim
Mi representados por xi Mi y yj Mj , respectivamente,
de tal manera que x + y = fik (xi ) + fjk (yj ), con i, j k; supongase que x =
xr , y = y s , entonces xr = xi , y s = y j y existen l i, r y w j, s tales que
frl (xr ) = fil (xi ), fsw (ys ) = fjw (yj ). Sea t l, w, se tiene t l i y flt (fil (xi )) =
flt (frl (xr )), es decir, fit (xi ) = frt (xr ). Analogamente, t w j y fjt (yj ) = fst (ys ).
Por consiguiente, t r, s y x + y = frt (xr ) + fst (ys ) = fit (xi ) + fjt (yj ). Sea v t, k.
Tenemos v k i, j y fkv (fik (xi )+fjk (yj )) = fiv (xi )+fjv (yj ). Tambien, v t i, j
con lo cual ftv (fit (xi ) + fjt (yj )) = fiv (xi ) + fjv (yj ). Esto indica que
fik (xi ) + fjk (yj ) = fit (xi ) + fjt (yj ) = frt (xr ) + fst (ys ),
lo cual completa la prueba.
Resta verificar el cumplimiento de la propiedad universal del lmite inductivo:
sea hi : Mi N, i I, una familia compatible de A-homomorfismos. Definimos la
aplicacion h :
Lim
Mi N como sigue: h(xi ) := hi (xi ). La condicion de compatibilidad garantiza que h es un A-homomorfismo bien definido. Adem
as, es claro que
S

h qi = hi para cada i I. Esto completa la prueba de que Mi / es el lmite

inductivo de {Mi , fij }iI .
En el ejemplo 3.3.5 se probo que la existencia de lmite directo de un sistema
directo de A-modulos. La idea ahora es generalizar completamente este resultado
demostrando que ModA es completa y cocompleta. La siguiente proposicion puede
ser demostrada bajo hipotesis mas debiles. Sin embargo, para nuestros propositos es
suficiente el siguiente enunciado.
Proposici
on 3.3.6. Si C es una categora abeliana con productos, entonces C es
completa.
Demostracion. En efecto, sea L una categora peque
na y g : i j un morfismo en
L. Denotamos
d(g) := dominio de g = i;
c(g) := codominio de g = j.

82

CAPITULO 3. FUNTORES

Sea F : L C un funtor. Para cada g denotamos por kg el morfismo

Y
kg := F (g) pd(g) pc(g) :
F (i) F (c(g)),
iI

Q
donde las p son las proyeccionesQdel producto iI F (i) e I := Ob(L). Por la
propiedad universal del producto gMor(L) F (c(g)), se induce un u
nico morfismo
k:

F (i)

F (c(g))

gMor(L)

iI

tal que el siguiente diagrama conmuta

Y

Fi
Q
Q

F (c(g))

kg

Q
Q
Q
s
Q
- F (c(g))

pr(g)

l Q
donde pr(g) es la proyeccion canonica. Sea ker(k)

F (i) el n
ucleo de k. Veamos
que Lim
F = ker(k) con la familia de morfismos {hi := pi l : ker(k) F (i)}iI .
Notese en primer lugar que {hi }iI es una familia compatible de morfismos

ker(k)
i

@
@ hj
hi
@
@
R
@
?
F (g)
F (i)
F (j)

- j
g

F (g) hi = F (g) pi l = (kg + pj ) l = kg l + pj l = 0 + pj l = hj

(k l = 0
pr(g) k l = 0

kg l = 0).
Sea {ti : X F (i)}
nico
Q iI una familia compatible de morfismos. Se induce un u
morfismo t : X F (i) tal que el siguiente diagrama conmuta
X
t

@
@

ti

@
@
?
@
R
@
Y
F (i) p - F (i)
i

83

3.3. LIMITES Y COLIMITES

Notese que
j se cumple que la familia {kg t}g induce un u
nico
Q para cada i
z : X F (c(g)) para el cual se tiene el siguiente diagrama conmutativo:
X
z

Q
Q kg t
Q
Q
Q
?

Q
s
- F (c(g))

F (c(g))

pr(g)

Notemos que kg t = (F (g) pd(g) pc(g) ) t = F (g) ti tj = 0; pero 0 y k t

tambien cumplen esta condicion (pr(g) k t = kg t = 0). As, z = 0 = k t. Existe
un u
nico morfismo w : X N (k) tal que el siguiente diagrama conmuta
l

ker(k)

kg

t

Q
Q
Q

3



F (i)




F (c(g))
pr(g)

Q
Q
s

F (c(g))

Obtenemos el diagrama conmutativo

X

A

wA

? A
A tj
ti


ker(k) A


A
@ A


@ A


hi
hj
@
R AU
@



- F (j)
F (i)
F (g)

(l w = t

pi l w = pi t

hi w = ti , para todo i I)

Solo resta mostrar la unicidad de w. Sea w0 tal que para cada i I, hi w0 = ti .

As, hi w = ti = hi w0 , es decir, pi (l w) = pi (l w0 ), para cada i I. La
unicidad en el producto garantiza que l w = l w0 , y dado que l es monomorfismo,
w = w0 .
Ejemplo 3.3.7. Notese que ModA es una categora completa. Mas exactamente,
si L es una categora peque
na y F : L ModA un funtor, se tiene
Y
Lim
F
=
{(x
Fi | F (g)xi = xj },
i)

iI

84

CAPITULO 3. FUNTORES

donde I := Ob(L). En efecto,



Y
g
ker(k) = (xi )
F (i) | kg [(xi )] = 0, para cada i
j de L


Y
g
= (xi )
F (i) | F (g) pi [(xi )] = pj [(xi )], para cada i
j de L


Y
g
= (xi )
F (i) | F (g)xi = xj , para cada i
j de L .
De manera dual se obtienen las siguientes conclusiones: si C es una categora abeliana
con coproductos, entonces C es una categora cocompleta. Mas exactamente, si L es
una categora peque
na y F : L C es un funtor, entonces
 M

M
u
Lim
F (d(g))

F (i) ,
F = coker
iI
gMor(L)
con I = Ob(L) y u es el morfismo inducido por la coleccion de morfismos
M
ug = qc(g) F (g) qd(g) : F (d(g))
F (i),
iI

donde las funciones q son las inyecciones del coproducto

ModA es una categora cocompleta.

3.4.

iI

F (i). En particular,

Ejercicios

1. Sean B y C categoras abelianas y sea F : B C un funtor covariante. Demuestre que las siguientes condiciones son equivalentes:
a) F es exacto.
b) Si 0 A B C 0 es una sucesion exacta en B, entonces 0
F (A) F (B) F (C) 0 es una sucesion exacta en C.
2. Demuestre que el funtor contravariante representable HomA (, N ) : ModA
Ab es exacto a izquierda.
3. Sea C una categora completa. Demuestre que para cada categora peque
na L
se cumple
Lim
: Func(L, C) C
F 7 Lim
F
es un funtor.

3.4. EJERCICIOS

85

4. Sea {Mi , fij }iI un sistema directo de submodulos de un modulo M ,P

donde
fij : Mi Mj son las inclusiones canonicas. Demuestre que Lim
Mi = Mi .
5. Sea (Mi )iI un sistema directo de A-modulos y sea N un A-modulo fijo. Demuestre los siguientes isomorfismos de grupos abelianos:

HomA (N, Lim

Mi ) = Lim
(HomA (N, Mi )).

HomA (Lim
Mi , N ) = Lim
(HomA (Mi , N )).

Bibliografa
[1] Arbib, M. and Manes, E., Arrows, Structures and Functors: The Categorical
Imperative, Academic Press, 1975.
[2] Anderson, F. and Fuller, K., Rings and Categories of Modules, Springer,
1992.
[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[4] Lang, S., Algebra, Springer, 2004. iv
[5] Lezama, O. and Villamarn, G., Anillos, M
odulos y Categoras, Facultad de
Ciencias, Universidad Nacional de Colombia, 1994. iv

[6] Lezama, O., Cuadernos de Algebra,

No. 1: Grupos, SAC2 , Departamento de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 1

[7] Lezama, O., Cuadernos de Algebra,

No. 2: Anillos, SAC2 , Departamento de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 1, 6

[8] Lezama, O., Cuadernos de Algebra,

No. 3: M
odulos, SAC2 , Departamento de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 1, 26, 39, 42

[9] Lezama, O., Cuadernos de Algebra,

No. 6: Anillos y m
odulos, SAC2 , Departamento de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 14
[10] Mac Lane, S., Categories for the Working Mathematician, Springer, 1998.
[11] Pareigis, B., Categories and Functors, Academic Press, 1970.

86