Categorias PDF

CUADERNOS DE
ALGEBRA
No. 7
Categoras
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de noviembre de 2012
ii
Cuaderno dedicado a Luis Alberto, mi hermano
Contenido
Pr ologo iv
1. Categoras 1
1.1. Concepto de categora . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Tipos de morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Tipos de objetos y dualidad. . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Subobjeto y objeto cociente . . . . . . . . . . . . . . . . . . . . . . . 11
1.5. Interseccion y union . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Imagen y coimagen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.7. N ucleos y con ucleos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8. Producto y suma brada . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.9. Imagen inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.10. Producto y coproducto . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.11. Las categoras Mod
A
y Ani . . . . . . . . . . . . . . . . . . . . . . . . 45
1.12. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2. Categoras abelianas 54
2.1. Categoras aditivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2. Categoras abelianas . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3. Sucesiones exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3. Funtores 68
3.1. Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.2. Funtores exactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.3. Lmites y colmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4. Introducci on a la K-teora 86
Bibliografa 87
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 doc-
torado 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 homologi-
ca, algebra conmutativa y geometra algebraica. Cada cuaderno es fruto de las clases
dictadas por el autor en la Universidad Nacional de Colombia en los ultimos 25 a nos,
y estan basados en las fuentes bibliogracas consignadas en cada uno de ellos, como
tambien en el libro Anillos, Modulos 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 al presentado en estas diez publicaciones es
el 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 mas ordenada y didactica, as como la inclusion de muchas pruebas
omitidas en la literatura y sucientes ejemplos que ilustran la teora. Los cuadernos
son:
1. Grupos 6. Anillos y modulos
2. Anillos 7. Categoras
3. Modulos 8.

Algebra homologica
4.

Algebra lineal 9.

Algebra conmutativa
5. Cuerpos 10. Geometra algebraica
Los cuadernos estan dividido en captulos, los cuales a su vez se dividen en
secciones. Para cada captulo se a nade al nal 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 cuatro 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 denen las categoras aditivas y abelianas y
se introducen las sucesiones exactas. La terecera parte esta dedicada a los funtores,
iv
PR
OLOGO v
transformaciones naturales y al estudio de lmites y colmites. La ultima parte cons-
tituye una introduccion a la K-teora en donde se denen los grupos K
0
, K
1
y K
2
y
calculan estos grupos para algunas clases destacadas de anillos.
Para una buena compresion del presente cuaderno se recomienda al lector consul-
tar 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 ncesaria-
mente conmutativo y con unidad 1; A
denota el grupo multiplicativo de los elemen-

tos invertibles del anillo A. Si f es un homomorsmo 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 M
A
. Si N es un submodulo
de M escribiremos N M. Para n 1, M
n
(A) es el anillo de matrices cuadradas
de tama no n n con componentes en A, GL
n
(A) denota el grupo lineal general
de orden n sobre A, es decir, GL
n
(A) = M
n
(A)
. La matriz identica de tama no

n n se denota por E
n
. A
n
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
jolezamas@unal.edu.co
vi PR
OLOGO
Captulo 1
Categoras
1.1. Concepto de categora
La teora de categoras y funtores ha adquirido en los ultimos 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, Mod
A
, 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 ultimo captulo.
Con el n de evitar caer en los rigores de la logica, no denimos los conceptos
de objeto y morsmo de una categora. En su lugar denimos una categora como
una coleccion de objetos y morsmos sujetos a ciertos axiomas.
Denici on 1.1.1. Una categora ( se dene por:
(a) Una coleccion no vaca cuyos elementos se llaman objetos. Esta coleccion se
denota por Ob(().
(b) Una coleccion no vaca de conjuntos disyuntos y eventualmente vacos:
Mor
(
(X, Y )
X,Y Ob(()
.
Los elementos del conjunto Mor
(
(X, Y ) se denominan morsmos del ob-
jeto X en el objeto Y y se denota tambien por Mor(X, Y ). Un elemento de
1
2 CAP
ITULO 1. CATEGOR
IAS
Mor
(
(X, Y ) se representa por f : X Y , X
f
Y , o sencillamente X Y .
X se llama el dominio del morsmo f, mientras que Y es llamado el codo-
minio.
La reunion de todos los conjuntos de morsmo de ( sera notada Mor((), esto
es,
Mor(() :=
_
X,Y Ob(()
Mor(X, Y ).
(c) Una operacion entre morsmos llamada composicion, tal que si X, Y, Z son
objetos de (, f Mor(X, Y ) y g Mor(Y, Z), existe un unico morsmo
g f Mor(X, Y ):
Mor(X, Y ) Mor(Y, Z) Mor(X, Z) (1.1.1)
(f, g) g f (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 ( existe un morsmo identidad i
X
en Mor(X, X)
tal que
i
X
f = f, g i
X
= 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 Denicion 1.1.1 la unicidad del
morsmo identidad.
(ii) Si en (1.1.1) Mor(X, Y ) o Mor(Y, Z) son vacos, la composicion no se dene.
(iii) Para representar la composicion de morsmos 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
Y Z
hg
gf
`
h
h (g f) = (h g) f
1.1. CONCEPTO DE CATEGOR
IA 3
Y X
X Y
f=i
X
f
i
X
g=gi
X
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 morsmos, y la operacion entre estos es la composicion
usual de funciones. Dado un conjunto X, el morsmo identidad es la funcion identica
i
X
: X X, x x. Se dene i
:= , Mor(, A) := , para cada conjunto A;

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

A
f
B, f = .
Denici on 1.1.4. Dadas dos categoras (, (
, se dice que (
es una subcategora
de ( si se cumplen las siguientes dos condiciones:
(i) Todo objeto de (
es tambien un objeto de (. En terminos de contenencia de

clases esto quiere decir que Ob((
) Ob(().
(ii) Dados X, Y Ob((
), todo morsmo f : X Y en (
tambien lo es en (,
esto es, Mor
(
(X, Y ) Mor
(
(X, Y ).
(iii) La composicion de morsmos en (
es la inducida por la composicion de mor-

smos en (.
(iv) Para cada objeto X de (
, el morsmo identidad es el mismo morsmo iden-

tidad de la categora (.
Ejemplo 1.1.5. Otras categoras. La coleccion de todos los grupos junto con los
homomorsmos constituyen una categora denotada por Grp. La operacion entre
morsmos es la composicion, mientras que el morsmo identidad se dene como en
Conj. De otra parte, los anillos con unidad junto con los homomorsmos de anillo
que preservan la unidad conforman una categora denotada por Ani. Finalmente,
para un anillo con unidad A, Mod
A
es la categora de todos los A-modulos derechos
cuyos objetos son los A-modulos derechos y los morsmos son los A-homomorsmos.
Tanto la operacion como las identidades se denen 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 morsmos.
As, en las categoras descritas anteriormente, la igualdad de objetos esta caracter-
izada por la igualdad de conjuntos y la igualdad de operaciones denidas en ellos.
4 CAP
ITULO 1. CATEGOR
IAS
La igualdad de morsmos se dene mediante la igualdad de funciones. Notese por
ejemplo que el anillo producto Z
N
y el anillo de sucesiones formales Z[[x]] son dife-
rentes, a pesar de que sus conjuntos coinciden. De esta manera, Z
N
y Z[[x]] no son
objetos iguales en la categora Ani.
De otra parte, observese que la coleccion de conjuntos nitos conforma una sub-
categora de Conj; la coleccion de grupos abelianos es una subcategora de Grp.
Denici on 1.1.6. Una categora ( se dice peque na si Ob(() es un conjunto.
Ejemplo 1.1.7. La categora Nat determinada por el conjunto N
0
= 0, 1, 2, 3, . . .
es peque na. Su unico objeto es el 0, y se dene Mor(0, 0) := 0
n
0 [ n N
0
. La
composicion entre morsmos corresponde a la multiplicacion, es decir, si 0
n
0 y
0
m
0 son morsmos, se dene m n := mn. La asociatividad de la mutiplicacion
implica la asociatividad de la composicion. El morsmo identidad es el entero 1.
Ejemplo 1.1.8. Cualquier conjunto pre-ordenado constituye otro ejemplo de cate-
gora peque na, denotada Pre. Sea P un conjunto no vaco con una relacion la cual
es reexiva y transitiva. P constituye los objetos de Pre; para x, y P se dene
Mor(x, y) :=
_
, si x y
(x, y), si x y.
La composicion de morsmos se dene por la transitividad de la relacion , es decir,
para x
f
y, y
g
z se tiene que g f = h : x z, pues x y, y z implica x z.
En adelante, si no se advierte lo contrario, se entendera que todos los objetos y
morsmos corresponden a una categora arbitraria (.
Cerramos esta seccion con el concepto de factorizacion de morsmos.
Denici on 1.1.9. Un morsmo f : X Y se dice factorizable a traves del
morsmo g : X Z (se acostumbra a decir que f es factorizable a traves del objeto
Z), si existe un morsmo h : Z Y tal que el siguiente diagrama conmuta
Z
X Y
f
es decir, f = h g.
1.2. TIPOS DE MORFISMOS 5
1.2. Tipos de morsmos
La caracterizacion de los conceptos de funcion sobreyectiva, inyectiva y biyectiva
de la categora Conj conduce a los conceptos de epimorsmo, monomorsmo e
isomorsmo en una categora cualquiera. Estas y otras nociones seran estudiadas
con alg un detalle en esta seccion.
Denici on 1.2.1. Un morsmo f : X Y se dice que es un epimorsmo, si
para todo objeto Z y todo par de morsmos h, g : Y Z se cumple la implicacion
g f = h f g = h.
En otras palabras, h es un epimorsmo si es cancelable a derecha.
El morsmo f se dice que es un monomorsmo si es cancelable a izquierda.
Finalmente, se dice que f es un bimorsmo, si es simultaneamente epimorsmo
y monomorsmo.
A partir de las deniciones anteriores se obtienen de manera inmediata las si-
guientes conclusiones:
(i) La composicion de monomorsmos es un monomorsmo. Si g f es un mono-
morsmo, entonces f es un monomorsmo.
(ii) La composicion de epimorsmos es un epimorsmo. Si gf es un epimorsmo,
entonces g es un epimorsmo.
(iii) El morsmo identico es un bimorsmo.
Ejemplo 1.2.2. En la categora Mod
A
los epimorsmos coinciden con los homomor-
smos sobreyectivos. En efecto, sea f : M N un homomorsmo sobreyectivo de
A-modulos, y sean g, h : N P homomorsmos tales que g f = hf. Dado n N
existe m M tal que f(m) = n; de aqu resulta g(n) = g f(m) = hf(m) = h(n),
es decir, g = h. De otra parte, sea f : M N un epimorsmo en Mod
A
y
P := N/Im(f) el modulo cociente de N por la imagen del homomorsmo f. Con-
sideremos los A-homomorsmos g, h : N P denidos 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 Mod
A
los monomorsmos son los homomorsmos inyectivos. En
efecto, sea f : M N un homomorsmo inyectivo y g, h : P N homomorsmos
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
monomorsmo de Mod
A
y sean m
1
, m
2
M tales que f(m
1
) = f(m
2
). Sea P el
submodulo cclico de M generado por m
1
m
2
y considerense los A-homomorsmos
6 CAP
ITULO 1. CATEGOR
IAS
i, h : P M, inclusion y nulo respectivamente. Se sigue que f i = f h, de donde
i = h. En particular, i(m
1
m
2
) = m
1
m
2
= h(m
1
m
2
) = 0.
Como consecuencia de lo anterior se tiene que en la categora Mod
A
los bimor-
smos son los homomorsmos biyectivos.
Ejemplo 1.2.3. Analogamente a como se probo en la categora Mod
A
, se establece
que en Ani todo homomorsmo sobreyectivo de anillos es un epimorsmo. El siguien-
te ejemplo muestra que el recproco no es siempre cierto. La inclusion i : Z Q
es un homomorsmo no sobreyectivo, sin embargo es un epimorsmo de Ani. En
efecto, sea C un anillo y g, h : Q C homomorsmos tales que g i = h i. Para
todo racional
p
q
se cumple que
g
_
p
q
_
= g(p)g(q)
1
= g(i(p))g(i(q))
1
= h(i(p))h(i(q))
1
= h
_
p
q
_
es decir, g = h.
En la categora Ani los monomorsmos coinciden con los homomorsmos in-
yectivos: sea f : A B un homomorsmo 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) p(x, z), h : S(x, z)
A, p(x, z) p(z, x). Claramente i, h son homomorsmos 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 homomorsmo inyectivo es monomorsmo 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 bimorsmos no coinciden con los homomorsmos biyec-
tivos, de tal manera que todo homomorsmo biyectivo es bimorsmo pero no lo
contrario.
Denici on 1.2.4. El morsmo f : X Y se dice una retraccion, si existe un
morsmo h : Y X tal que f h = i
Y
. En otras palabras, f es una retraccion
si posee un inverso a derecha. Se dice que f : X Y es una corretraccion, si
tiene inverso a izquierda. Un isomorsmo es un morsmo que es retraccion y
corretraccion al mismo tiempo.
Notese que para un isomorsmo el inverso por la derecha coincide con el inverso
por la izquierda y es el unico que cumple esta doble condicion. Dicho morsmo
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 isomorsmo entre ellos, escribimos X

= Y .
1.2. TIPOS DE MORFISMOS 7
A partir de las deniciones anteriores es evidente que una retraccion es un epi-
morsmo y que toda corretraccion es un monomorsmo. De esto se desprende que
todo isomorsmo es un bimorsmo. Una categora se dice balanceada si todo bi-
morsmo es un isomorsmo.
Ejemplo 1.2.5. Consideremos los Z-modulos 2Z := 2k [ k Z y Z con el
homomorsmo inclusion i : 2Z Z, i(2k) = 2k, para todo k Z. Por ser i
inyectivo es monomorsmo, sin embargo, i no tiene inverso a izquierda. En efecto,
sea g : Z 2Z un homomorsmo tal que g i = i
2Z
. Si g(1) = 2m con m Z,
entonces g(2) = 4m = g(i(2)) = 2, lo cual es absurdo.
De otra parte, el homomorsmo canonico j : Z Z
2
es claramente sobreyectivo
y, por ende, un epimorsmo. j no es una retraccion ya que el unico Z-homomorsmo
de Z
2
en Z es nulo.
Ejemplo 1.2.6. En la categora Ani la inclusion canonica i : Z Q es un
monomorsmo ya que es un homomorsmo inyectivo. Supongase que existe un ho-
momorsmo de anillos g : Q Z tal que g i = i
Z
. Entonces, 1 = g(1) = g(
1
2
+
1
2
) =
2g(
1
2
), lo cual es absurdo ya que g(
1
2
) Z. En conclusion, i no es una corretraccion.
El mismo ejemplo dado en el ejemplo 1.2.5 ilustra que en Ani no todo epimor-
smo es retraccion.
Ejemplo 1.2.7. De la denicion 1.2.4 y de los dos ejemplos anteriores obtenemos:
(i) En Mod
A
toda retraccion es un homomorsmo sobreyectivo, pero no lo con-
trario. Toda corretraccion es un homomorsmo inyectivo, mas no se tiene el
recproco.
(ii) En Ani toda corretraccion es un homomorsmo inyectivo, pero no lo contrario.
En Ani toda retraccion es un homomorsmo sobreyectivo, pero no lo contrario.
En efecto, el homomorsmo canonico j : Z Z
2
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 iso-
morsmos coinciden con los homomorsmos biyectivos. De aqu, y de lo anotado al
nal del ejemplo 1.2.2, se obtiene que Mod
A
es una categora balanceada. Ani no
es balanceada: como se observo en los ejemplos anteriores la inclusion i : Z Q es
un bimorsmo, pero claramente no es biyectivo.
Algunos de los resultados de la presente seccion se pueden resumir en la siguiente
tabla, donde ( es una categora cualquiera, i = inyectivo, s = sobreyectivo, biy =
biyectivo, m = monomorsmo, e = epimorsmo, bim = bimorsmo, iso = isomors-
mo, r = retraccion y c = corretraccion.
8 CAP
ITULO 1. CATEGOR
IAS
( Mod
A
Ani
r e r s e r s e
c m c i m c i m
iso bim biy iso bim biy iso bim
1.3. Tipos de objetos y dualidad.
En la categora Mod
A
el modulo nulo 0 es tal que para cada A-modulo M los
conjuntos Hom
A
(0, M) y Hom
A
(M, 0) son unitarios. Los objetos de una categora
con esta propiedad se destacan de manera especial.
Denici 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 simultaneamente inicial y terminal
se denomina objeto cero, y se acostumbra a denotar por 0.
Resulta a partir de las deniciones 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 unico objeto inicial, mientras que
cualquier conjunto unitario es objeto terminal. Conj no posee objeto cero. En Mod
A
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.
Denici on 1.3.3. El morsmo F : X Y se llama morsmo cero a izquierda
si f g = f h, para cualquier objeto Z y cualesquiera morsmos g, h : Z X. Se
dice que f es un morsmo cero a derecha si gf = hf, para cualquier objeto Z
y cualesquiera morsmos g, h : Y Z. Un morsmo que sea cero simultaneamente
a izquierda y a derecha se llama morsmo cero.
Si I es un objeto inicial entonces cualquier morsmo I X es morsmo cero a
derecha. Analogamente, si T es objeto terminal, entonces todo morsmo con codo-
minio T es morsmo cero a izquierda.
A
el homomorsmo nulo 0 : M N es un
morsmo cero. En Ani el homomorsmo Z 0 es morsmo cero. Ademas, para
cada anillo A el homomorsmo Z A que asigna a n el elemento n1 es un morsmo
cero a derecha; el homomorsmo trivial A 0 es un morsmo cero a izquierda.
Proposici on 1.3.5. En una categora con objeto 0, para cada par de objetos X, Y
existe un unico morsmo cero en Mor(X, Y ), notado 0
XY
.
1.3. TIPOS DE OBJETOS Y DUALIDAD. 9
Demostracion. Existencia. Notese que si f : X Y es un morsmo cero a izquierda
y g : Y Z es un morsmo cero a derecha, entonces g f es un morsmo cero. En
efecto, sean h, k : Z W morsmos. Entonces
h (g f) = (h g) f = (k g) f = k (g f),
con lo cual g f resulta ser un morsmo cero a derecha. De manera analoga se
establece que g f es morsmo cero a izquierda. Resulta entonces de la denicion
1.3.3 que la compuesta 0
XY
: X 0 Y es un morsmo cero.
Unicidad. El morsmo encontrado 0
XY
es factorizable a traves del objeto cero y
se tiene el diagrama conmutativo
0
X Y
0
XY
Puesto que x y y son unicos, basta probar que cualquier morsmo 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 Y Y
`
`
``
y
i
Y
0
Y Y
Puesto que 0
Y Y
es morsmo cero se tiene que 0
Y Y
f = 0
Y Y
(y x). Tambien,
como f es morsmo cero, entonces 0
Y Y
f = i
Y
f. De las dos identidades anteriores
resulta 0
Y Y
(y x) = f. Pero 0
Y Y
y = i
Y
y por ser y morsmo cero a derecha.
En total, y x = f, lo cual queramos demostrar.
Ejemplo 1.3.6. En Ani el homomorsmo Z 0 es morsmo cero y no es factori-
zable a traves del objeto cero, pues Ani no posee objeto cero.
Denici on 1.3.7. Una categora se dice que posee cero morsmos, si para cua-
lesquiera par de objetos X, Y existe un morsmo 0
XY
: X Y tal que
(i) f 0
XY
= 0
XZ
, para cada objeto Z y cada f Mor(Y, Z);
(ii) 0
XY
g = 0
ZY
, para cada objeto Z y cada g Mor(Z, X).
Notese que en una categora ( con cero morsmos la coleccion de cero morsmos
0
XY
X,Y Ob(()
es unica:
0
XY
0
XX
= 0
XY
, 0
XY
0
XX
= 0
XY
.
10 CAP
ITULO 1. CATEGOR
IAS
Proposici on 1.3.8. Una categora ( con objeto cero 0 es una categora con cero
morsmos. La coleccion de cero morsmos es la descrita en la proposicion 1.3.5.
Demostracion. Sea 0
XY
XY Ob(()
la coleccion de morsmos estudiada en la pro-
posicion 1.3.5. Sean x : X 0 y y : 0 Y los morsmos tales que 0
XY
= y x.
Sea f : Y Z y consideremos el diagrama conmutativo
X Y Z
0
0
XY
f
`
y
fy
esto es, f 0
XY
= f (y x) = (f y) x. Por lo tanto f 0
XY
es factorizable a
traves del objeto cero, por lo tanto f 0
XY
= 0
XZ
. De manera similar se establece
la condicion (ii) de la denicion 1.3.7.
Ejemplo 1.3.9. En Mod
A
el homomorsmo nulo 0 : M N es el cero morsmo
0
MN
. As, Mod
A
es una categora con cero morsmos. Ani no es una categora con
cero morsmos, pues por ejemplo Mor(Z
2
, Z) = .
Es posible que una categora tenga cero morsmos sin que posea objeto cero.
Tal es el caso de la categora Nat estudiada en la denicion 1.1.6. En efecto, Nat
no posee objeto cero pero el morsmo 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 denicion o armacion de la una
se obtiene de la otra invirtiendo el sentido de las echas en los morsmos. As pues,
se habra notado como los conceptos de epimorsmo y monomorsmo 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
( otra categora (
, denominada la categora dual de (, y denida de la siguiente

manera:
(i) Ob((
) := Ob(();
(ii) Para cualesquiera objetos X, Y de (
se tiene Mor
(
(X, Y ) := Mor
(
(Y, X). Si
f : Y X es un morsmo en (, su dual se denota por f
: X Y ;
(iii) Si g
Mor
(
(Z, Y ) y f
Mor
(
(Y, X), entonces la compuesta se dene por

f
:= (g f)
.
La asociatividad de esta composicion es consecuencia de la asociatividad de la com-
posicion en (. Las identidades de (
son las mismas que en (. De la denicion

anterior es claro que ((
= (.
1.4. SUBOBJETO Y OBJETO COCIENTE 11
Observaci on 1.3.11. La posibilidad de asociar a cada categora ( su dual (
per-
mite obtener para cada concepto o armacion categorica P un nuevo concepto dual
o armacion dual P
. Si P es una armaci on 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 ar-
maciones 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.
Denici 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 monomorsmo. Si es
claro por el contexto, podremos omitir el morsmo l y escribir simplemente X A.
Cuando l no es isomorsmo, se dice que X es subobjeto propio de A y se escribe
X A. Si f : A B es un morsmo y l : X A un subobjeto de A, entonces la
compuesta f l se denomina la restriccion de f a X y se denota por f[
X
: X B.
Teniendo en cuenta que la compuesta de monomorsmos es un monomorsmo,
se obtiene
(X Y y Y Z) (X Z). (1.4.1)
Denici on 1.4.2. Para cada objeto A se denota por Sub(A) la coleccion de todos los
subobjetos de A. Si (X
1
, l
1
) y (X
2
, l
2
) son elementos de Sub(A) se dice que (X
1
, l
1
)
esta incluido en (X
2
, l
2
), o tambien, que (X
1
, l
1
) precede a (X
2
, l
2
), lo cual se
denota X
1
X
2
, si existe un morsmo f : X
1
X
2
tal que el siguiente diagrama
conmuta
A
X
1
X
2
l
1
l
2
Notese que f es unico y es un monomorsmo, con lo cual X
1
es subobjeto de X
2
.
Esto justica 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 reexiva y transitiva).
12 CAP
ITULO 1. CATEGOR
IAS
Denici on 1.4.3. Dos subobjetos de A, (X
1
, l
1
) y (X
2
, l
2
) se dicen equivalentes y
escribimos (X
1
, l
1
)

= (X
2
, l
2
), si existen morsmos f : X
1
X
2
, g : X
2
X
1
tales
que el siguiente diaframa conmuta
A
X
2
X
1
X
2
l
2
`
l
1
l
2
l
2
g = l
1
, l
1
f = l
2
En otras palabras, X
1
X
2
y X
2
X
1
. Evidentemente

= es una relacion de
equivalencia en Sub(A).
Proposici on 1.4.4. Si (X
1
, l
1
)

= (X
2
, l
2
) entonces X
1

= X
2
.
Demostracion. Dado que l
2
g = l
1
, l
1
f = l
2
, se obtiene (l
1
f) g = l
2
g =
l
1
= l
1
i
X
1
. Como l
1
es un monomorsmo se tiene que f g = i
X
1
. Simetricamente
encontramos g f = i
X
2
.
Ejemplo 1.4.5. El recproco de la proposicion anterior no siempre es cierto. Por
ejemplo, en Mod
Z
, 2Z y 3Z son claramente modulos isomorfos. Sean l
1
: 2Z Z y
l
2
: 3Z Z las inclusiones. Si existieran homomorsmos f : 3Z 2Z y g : 2Z 3Z
tales que l
1
f = l
2
y l
2
g = l
1
entonces l
1
f(3) = l
2
(3), es decir, 3 = l
1
(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 identicaremos X como un subobjeto de
A. Notese que si X
1
, X
2
SUB(A), la relacion denida por
X
1
X
2
X
1
X
2
,
es un orden en SUB(A).
Ejemplo 1.4.7. Los subobjetos de un A-modulo son, salvo equivalencia, los sub-
modulos con las inclusiones. En efecto, sean l : X M un subobjeto de M y
N := l(X). Sea l
: N M la inclusion. Se tiene (X, l)

= (N, l
), como lo muestra
el siguiente diagrama
M
N X N
l
`
l

donde f(n) := x, con l(x) = n y g(x) := l(x), x X, n N.
De otra parte, sean N
1
y N
2
submodulos distintos de M con las inclusiones
l
1
: N
1
M, l
2
: N
2
M. Se sigue que N
1
,= N
2
. Sean n N
1
, n / N
2
y
supongase que existe un homomorsmo g : N
1
N
2
tal que l
2
g = l
1
. Se tiene que
n = l
1
(n) = l
2
(g(n)) = g(n) N
2
, 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 monomorsmos podemos obtener subobjetos que no
equivalentes. Sean por ejemplo en Mod
Z
, h : 2Z Z, h(2k) = k, y l : 2Z Z
la inclusion. Si existieran morsmos 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.
Denici on 1.4.8. Una categora se dice localmente peque na, si SUB(A) es un
conjunto para cada objeto A de (.
Son localmente peque nas las categoras Conj, Mod
A
y Ani.
Si ( es localmente peque na, A un objeto de ( y | SUB(A), se tienen las
siguientes armaciones:
(i) X | se dice minimal en |, si para cada Y | se cumple
Y X Y = X.
(ii) SUB(A) se dice artiniano si cada subconjunto no vaco de SUB(A) tiene ob-
jeto minimal. A se dice artiniano si SUB(A) es artiniano. ( se dice artiniana
si cada objeto A de ( es artiniano.
(iii) X | se dice maximal en |, si para cada Y | 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. ( se dice
noetheriana si todo objeto A de ( es noetheriano.
Denici on 1.4.9. Sea ( una categora cualquiera y A un objeto de (. Se dice
que A cumple la condicion mnima de cadenas, si cada subconjunto no vaco
totalmente ordenado de SUB(A) contiene elemento minimal. De manera similar,
mediante elementos maximales, se dene la condicion maxima de cadenas.
14 CAP
ITULO 1. CATEGOR
IAS
Proposici on 1.4.10. Si ( es una categora localmente peque na y A es un objeto
de (, entonces A es artiniano (noetheriano) si, y solo si, A cumple la condicion
mnima (maxima) de cadenas.
Demostracion. ) Evidente.
) Supongase que existe , = | SUB(A) tal que | no posee subobjeto mini-
mal. Se tiene que dado X
1
| existe X
2
en | tal que X
2
,= X
1
y X
2
X
1
. Resulta
la cadena
X
3
X
2
X
1
sin elemento minimal.
Ejemplo 1.4.11. Si A = 0 es el anillo trivial, entonces Mod
A
solo posee un
objeto: el modulo nulo. En tal caso Mod
A
es artiniana y noetheriana. De otra
parte, si A es no trivial, entonces Mod
A
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
_
n
i=1
x
i
A
_
n1
,
_

i=n
x
i
A
_
n1
,
donde x
i
i=1
es una base de A
(N)
.
La coleccion de A-modulos noetherianos (artinianos) constituye una subcategora
de Mod
A
. Los anillos y modulos noetherianos (artinianos) fueron estudiados en [9].
La categora Ani no es noetheriana ni artiniana. Es suciente considerar el anillo
de polinomios A[x
1
, . . . , x
n
, . . . ] en una cantidad innita enumerable de indetermi-
nadas con coecientes en un anillo no trivial A, y las cadenas de subanillos propios
A[x
1
, . . . , x
n
]
n1
, A[x
n
,
n+1
, . . . ]
n1.
Concluimos esta seccion discutiendo brevemente el concepto dual de subobjeto.
Denici 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 epimorsmo. Coc(A) denotara la
coleccion de objetos cocientes de A. Por el principio de dualidad se tiene una relacion
= de equivalencia entre objetos cocientes de A, de tal manera que si

(j
1
, X
1
)

= (j
2
, X
2
) X
1

= X
2
.
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[x
1
], A[x
2
] anillos de polinomios con
coecientes en A. La funcion s : A[x
1
] A[x
2
] que asigna a p(x
1
) el polinomio p(x
2
)
es claramente un isomorsmo. Las proyecciones
j
i
: A[x
1
] A[x
2
] A[x
i
], i = 1, 2,
son homomorsmos sobreyectivos, con lo cual (j
1
, A[x
1
]) y (j
2
, A[x
2
]) son objetos
cociente de A[x
1
] A[x
2
]. Supongase que existen homomorsmos f, g tales que el
siguiente diagrama conmuta
A[x
1
] A[x
2
]
A[x
2
] A[x
1
] A[x
2
]
j
2
j
1
j
2
g
Se tiene j
1
(x
1
, 1) = x
1
= f j
2
(x
1
, 1) = 1, lo cual es absurdo.
Sea COC(A) la coleccion de clases de objetos cociente equivalentes, esto es,
COC(A) = Coc(A)/

=. Se dice que ( es colocalmente peque na si COC(A) es un
conjunto para cada objeto A de (.
Ejemplo 1.4.13. Mod
A
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 homomorsmos 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 homomorsmos canonicos j :
A A/I, son objetos cociente de A. Sin embargo, hay objetos cociente de A no
precedentes de ideales. En efecto, si R
C
es el anillo clasico de fracciones del anillo
conmutativo R, entonces : R R
C
, (a) =
a
1
, es un objeto cociente de R: si
f, g : R
C
B son homomorsmos tales que f = g , se tiene que
f
_
a
s
_
= f((a)(s)
1
) = g (a)(g (s))
1
= g
_
a
1
_
g
_
1
s
_
= g
_
a
s
_
,
es decir, f = g. As, es un epimorsmo y : R R
C
es un objeto cociente de R.
Notese que por ejemplo Z
C
= Q y claramente no existe n tal que
(j : Z Z
n
)

= ( : Z Q).
La causa de todo esto parece estar en que en la categora Ani los epimorsmos no
coinciden con los homomorsmos 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 CAP
ITULO 1. CATEGOR
IAS
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.
Denici on 1.5.1. Sea X
i
l
i
A
iI
un conjunto no vaco de subobjetos de un objeto
A. El subobjeto X
l
A se denomina interseccion de la familia si se cumplen las
siguientes dos condiciones:
(i) Para cada i I, X precede a todo subobjeto X
i
, esto es, se tiene el diagrama
conmutativo
A
X
i X
l
i
f
i
l
(ii) Si X
g
A es un morsmo para el cual existe X
i
X
i
tal que l
i
f
i
= g para
cada i I, entonces existe un unico morsmo X
f
X tal que l f = g:
X
i
X
X A
X
l
i
i
X
`
f
i
g
El objeto X se acostumbra a notar
iI
X
i
, o sencillamente,
X
i
.
Seg un la denicion 1.4.2, cada f
i
es monomorsmo y unico. Notese tambien que
f
i
f = f
i
para cada i I. En efecto,
l
i
f
i
= g = l f = l
i
(f
i
f).
Observese nalmente que si g es un monomorsmo, es decir, si X
es un subobjeto
de A que precede a cada X
i
, entonces X
precede a la interseccion.
Proposici on 1.5.2. Si X
l
A y X
l
A son intersecciones del conjunto X
i
l
i
A
iI
de subobjetos de A, entonces
(X
l
A)

= (X
A),
y en particular, X

= X
.
1.5. INTERSECCI
ON Y UNI
ON 17
Demostracion. Existen morsmos X
f
X y, X
f
tales que l f = l
y,
l
= l.
Es cierto el recproco de la proposicion anterior? Es decir, si X
l
A es inter-
seccion del conjunto X
i
l
i
A
iI
y X
A es subobjeto equivalente a X, entonces

X
es tambien interseccion. La respuesta a esta pregunta es armativa. En efecto,

sean X
h
X y, X
t
X
morsmos tales que l h = l
y l
t = l. Notese que el
diagrama
A
X
i X
l
1
f
i
h
es conmutativo, donde f
i
es como en la denicion 1.5.1. Sea X
g
A un morsmo
para el cual existen X
k
i
X
i
tales que l
i
k
i
= g. Al ser X interseccion, existe
X
k
X tal que l k = g. De esta manera, el morsmo X
tk
X
es tal que
l
t k = g. Como l
es un monomorsmo, t k es unico con la condicion anterior.

Denici on 1.5.3. Una categora se dice que posee intersecciones, si cada con-
junto no vaco de subobjetos de un objeto cualquiera tiene interseccion. La categora
se dice que tiene intersecciones nitas, si cada conjunto nito no vaco de sub-
objetos tiene interseccion.
Ejemplo 1.5.4. Las categoras Mod
A
y Ani tienen intersecciones. En efecto, sea
M un A-modulo y N
i
l
i
M
iI
un conjunto de subobjetos de M. Seg un el ejemplo
1.4.7 podemos suponer que N
i
es submodulo de M y que l
i
es la inclusion. As, la
interseccion conjuntista
N
i
es claramente un submodulo de M y
N
i
l
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.
Denici on 1.5.5. Sea A
f
B un morsmo y X
l
1
A, Y
l
2
B subobjetos A y
B respectivamente. Se dice que X es llevado en Y a traves de f, si existe un
morsmo X
h
Y tal que el siguiente diagrama conmuta
X Y
A B
l
1
l
2
f
Sea X
i
l
i
A
iI
un conjunto no vaco de subobjetos de un objeto A. El subobjeto
X
l
A se llama union del conjunto, si se cumplen las siguientes condiciones:
18 CAP
ITULO 1. CATEGOR
IAS
(i) Cada X
i
precede a X
A
X
i X
l
i
f
i
l
(ii) Si A
f
B es un morsmo tal que cada X
i
puede ser llevado en un subobjeto
Y
t
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
X
i Y
A B
h
i
l
i
X Y
A B
f
El objeto X se acostumbra a notar
iI
X
i
, o,
X
i
.
Notese que en la denicion anterior h y cada f
i
en (i) son unicos, ademas f
i
es un
monomorsmo. Al tomar en (ii) f = i
A
resulta que si cada X
i
precede a un cierto
subobjeto A
de A, A
A, entonces X precede a A
. En efecto, se tiene en este

caso que l
1
l = l
h, es decir, l = l
h y h es un monomorsmo.
Proposici on 1.5.6. Si X
l
A y X
A son uniones del conjunto X

i
l
i
A de
subobjetos de A, entonces (X
l
A)

= (X
A). En particular, X

= X
.
Demostracion. De (i) y (ii) se obtienen de manera inmediata los siguientes diagramas
conmutativos:
X
i X
A A
f
i
l
i
i
A
X
A A
i
A
y
X
i X
A A
l
i
i
A
X X
A A
i
A
Resulta entonces l f = l
, l
g = l.
1.5. INTERSECCI
ON Y UNI
ON 19
Sea X
l
A la union del conjunto X
i
l
i
A
iI
de subobjetos de A, y, X
A
un subobjeto tal que (X
l
A)

= (X
A). Se tiene entonces que X

l
A es
tambien union del conjunto dado. En efecto, existen monomorsmos f, g tal que el
siguiente diagrama conmuta
X
i
X
X A
X
l
i
f
i
i
X
De aqu obtenemos la primera condicion para la union.

A
X
i X
l
i
gf
i
Para la segunda condicion basta observar la siguiente secuencia de diagramas con-

mutativos
X
i Y
A B
m
i
l
i
X Y
A Y
Y
A B
mf
k
Esto completa la prueba del recproco de la proposicion 1.5.6.
Denici on 1.5.7. Una categora se dice que tiene uniones si cada conjunto no
vaco de subobjetos de un objeto cualquiera tiene union. Si cada conjunto nito no
vaco de subobjetos de un objeto tiene union se dice que la categora tiene uniones
nitas.
Ejemplo 1.5.8. La categora Mod
A
tiene uniones. Para ver esto, sea M un A-
modulo y M
i
l
i
M
iI
un conjunto no vaco de submodulos de M. El modulo
suma
iI
M
i
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 CAP
ITULO 1. CATEGOR
IAS
primera condicion de la union es consecuencia de la manera como se denen las
inclusiones seg un el diagrama conmutativo
M
M
i
iI
M
i
l
i
l
y, l
i
(m
i
) = m
i
. Sea M
f
N un homomorsmo tal que cada M
i
es llevado en el
submodulo N
N a traves de f, tal como muestra el siguiente diagrama conmu-

tativo
M
i N
M N
h
i
l
i
f
De esta forma,
iI
M
i
tambien puede ser llevado en N
a traves de f, lo cual se
ilustra mediante el diagrama conmutativo
iI
M
i
N
M N
f
donde la funcion h denida por h(m
i
1
+ + m
in
) := h
i
1
(m
i
1
) + + h
in
(m
in
), es
un homomorsmo de modulos que hace el diagrama anterior conmutativo.
La categora Ani tiene uniones. Para la prueba basta considerar un anillo A con
un conjunto no vaco A
i
l
i
A
iI
de subanillos de A e inclusiones. Si ( es la union
de los conjuntos A
i
, i I, entonces el subanillo S(() generado por ( es la union con
la inclusion respectiva l. Los elementos de S(() son sumas nitas con sumandos de
la forma
a
n
1
j
1
a
nt
jt
, donde a
j
k
A
j
k
, n
k
1, k t.
El siguiente diagrama es claramente conmutativo
A
A
i
S(()
l
i
l
1.6. IMAGEN Y COIMAGEN 21
l
i
(a
i
) = a
i
. Sea A
f
B un homomorsmo de anillos tal que cada A
i
es llevado en un
subanillo B
B de B a traves de f. Como se ilustra en los siguientes diagramas

conmutativos, S(() es llevado tambien en B
por f:
A
i B
A B
l
i
h
i
S(()
B
A B
f
con h denido por h(a
n
1
j
1
. . . a
nt
jt
) = h
j
1
(a
j
1
)
n
1
. . . h
jt
(a
jt
)
nt
.
1.6. Imagen y coimagen
La imagen de un homomorsmo de A-modulos f : M N y el cociente M/ ker(f)
admiten una interpretacion categorica como veremos a continuacion.
f
B un morsmo. Un subobjeto (Y
l
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 morsmo g : A Y
tal que el siguiente diagrama conmuta
A B
Y
l
(1.6.1)
(ii) Si f se puede factorizar a traves de otro subobjeto Y
B de B, entonces
existe un unico morsmo h : Y Y
tal que l
h = l
B
Y Y
A
`
`
` `
l
-
l
`
f
g
Observese que el morsmo g en (1.6.1) es unico. Tambien, en l
h = l se tiene que
h es un monomorsmo y ademas hg = g
. El objeto Y de la imagen se acostumbra

denotar por Im(f), o tambien, f(A). Escribiremos tambien Y
l
B = Im(A
f
B).
Si A
A es un subobjeto de A, denimos f(A
) := Im(f l
).
Si en (1.6.1) g es epimorsmo se dira que Y
l
B es imagen epimorca de f.
22 CAP
ITULO 1. CATEGOR
IAS
Proposici on 1.6.2. Si Y
l
B y Y
B son imagenes de A
f
B, entonces
(Y
l
B)

= (Y
B),
y en particular, Y

= Y
.
Demostracion. Consecuencia directa de la igualdad l
h = l.
Sea Y
l
B una imagen de A
f
B y Y
B un subobjeto de B equivalente a
Y
l
B. Entonces Y
B es tambien imagen de A
f
B. Esta armacion se sigue
de la denicion 1.6.1.
Denici on 1.6.3. Se dice que una categora tiene imagenes si todo morsmo tiene
imagen. Se dira que la categora tiene imagenes epimorcas, si todo morsmo
tiene imagen epimorca.
Ejemplo 1.6.4. Mof
A
es una categora con imagenes epimorcas. En efecto, si
M
f
N es un homomorsmo 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 confor-
ma la imagen de f. Notese que el morsmo g de (1.6.1) en este caso es sobreyectivo,
y por lo tanto, un epimorsmo.
Im(f)
M N
f
g(m) = f(m), m M.
La vericacion de (ii) queda para el lector.
En la misma forma se establece que Ani es una categora con imagenes epimor-
cas.
Observaci on 1.6.5. Al aplicar dualidad obtenemos los conceptos de coimagen y
coimagen homomorca en una categora. La coimagen de un morsmo A
f
B
sera notada Coim(A
f
B), o simplemente Coim(f). Las armaciones duales de
las contenidas en la proposicion 1.6.2 se cumplen para el caso de la coimagen. Por
analoga con la denicion 1.6.3 se denen las categoras con coimagenes y comiagenes
monomorcas.
Ejemplo 1.6.6. Mod
A
es una categora con coimagenes monomorcas. En efecto,
la coimagen del homomorsmo M
f
N es el modulo cociente M/ ker(f) junto con
1.7. N
UCLEOS Y CON
UCLEOS 23
el homomorsmo canonico j, esto es,
M/ ker(f)
M N
`
`
``
g
f
g(m) := f(m), m = m+N(f), m M.
Observerse que g es inyectiva, y por lo tanto, un monomorsmo. Sea ahora M
j
un epimorsmo para el cual existe g
: N
N tal que g
= f. Se tiene
que j
es sobreyectivo por ser epimorsmo. Este hecho permite denir una funcion
h : N
M/N(f) de tal forma que el siguiente diagrama conmuta

N
M/ ker(f)
N
h -
-
-
-
-
-
-
-
-
-
-
- --
g
`
f
.
.
.
.
.
.
.
.
.
.
.
..
j
>
>
>
> j
h(n
) = m, donde j
(m) = n
, n
.
Veamos que h esta bien denida. Sean m, m
M tales que j
(m) = j
(m
) = n
. Se
sigue que g
(j
(m
)) = g
(j
(m)), es decir, f(m) = f(m
), de donde mm
ker(f),
esto es, m = m
. Ademas h es evidentemente un A-homomorsmo y cumple la

condicion hj
= j. La unicidad de h se desprende del hecho de ser j
un epimorsmo.
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 homomorsmo. Ademas,
para ciertas categoras se generaliza el teorema de correspondencia de la teora de
modulos (corolario 1.7.14).
Denici on 1.7.1. Sean f, g : X Y morsmos. Se llama coigualador de f y g
a un morsmo h : Y Z tal que
(i) h f = h g;
(ii) Para cada morsmo h
: Y Z
que cumpla (i), existe un unico morsmo

k : Z Z
tal que el siguiente diagrama es conmutativo:

X Y Z
Z
k
24 CAP
ITULO 1. CATEGOR
IAS
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 epimorsmo. 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 unico morsmo 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 .
Proposici on 1.7.2. Sean Y
h
Z y Y
h
dos coigualadores de f, g : X Y . Se
tiene que (Y
h
Z)

= (Y
h
), y en particular, Z

= Z
.
Demostracion. Evidente a partir de la denicion de coigualador y de objetos co-
cientes equivalentes.
Sea Y
h
Z un coigualador de f, g : X Y , y h
: Y Z
un epimorsmo
tal que (Y
h
Z)

= (Y
h
). Entonces Y
h
es tambien un coigualador de
f y g. En efecto, existen Z
m
Z
, Z
l
Z tales que m h = h
y, l h
= h. Se
obtiene que h
f = m h f = m h g = h
g, cumpliendose as la primera
condicion de coigualador. Si Y
h
es tal que h
f = h
g, entonces existe
un unico morsmo Z
k
Z
tal que k h = h
. As, se tiene el morsmo Z
kl
Z
tal que (k l) h
= h
. Si existe otro Z
W
Z
tal que w h
= h
, entonces
w h
= k h = k l h
, pero como h
es epimorsmo entonces w = k l y la
armacion esta probada.
Observaci on 1.7.3. Al invertir el sentido de las echas de los morsmos de la
denicion 1.7.1 obtenemos el concepto de igualador de un par de morsmos f, g :
X Y . El siguiente diagrama ilustra la denicion.
Z X Y
Z
g
`
k
h resulta un monomorsmo, con lo cual Z es un subobjeto de X. De otra parte, si

Z
h
X y Z
X igualadores de f, g : X Y , entonces (Z
h
X)

= (Z
h
X).
Recprocamente, si Z
h
X es un igualador de f, g : X Z y Z
X es un
subobjeto de X equivalente a Z, entonces Z
X es tambien igualador.
Denici on 1.7.4. Una categora se dice que posee coigualadores (igualadores),
si cada par de morsmos tiene coigualador (igualador).
Ejemplo 1.7.5. Mod
A
es una categora con coigualadores e igualadores. Sean f, g :
M N homomorsmos de modulos, y sea C := m M [ f(m) = g(m). C es
1.7. N
UCLEOS Y CON
UCLEOS 25
claramente un submodulo de M y se prueba facilmente que C
l
M es el igualador
de f y g, donde l es la inclusion. Para el coigualador consideramos el homomorsmo
diferencia f g y su imagen Im(f g). Se tiene que N
j
N/Im(f g), es el
coigualador de f, g, donde j es el homomorsmo canonico.
Ani tambien es una categora con coigualadores e igualadores. En efecto, si
f, g : A B es un homomorsmo de anillos, entonces C
l
A, donde C := a
A [ f(a) = g(a), es el igualador, donde l es la inclusion. Ademas, B
j
B/U,
con U := X), X := f(a) g(a) [ a A, es el coigualador de f y g, con j el
homomorsmo 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 homomorsmo. La
construccion corresponde a casos particulares de igualador y coigualador respec-
tivamente. Para tal efecto supondremos en adelante en esta seccion, salvo que se
advierta lo contrario, que los objetos y morsmos pertenecen a una categora con
cero morsmos.
Denici on 1.7.6. Se denomina n ucleo del morsmo A
f
B al igualador de f y
0
AB
:
Z A Y
Z
0
AB
`
k
Seg un vimos en la observacion 1.7.3, el n ucleo Z

h
A es un monomorsmo, es
decir, Z es subobjeto de A. Se utiliza la notacion, Z = ker(f), o tambien, (Z
h
A) = ker(A
f
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.
De manera dual se dene el con ucleo del morsmo A
f
B como el coigualador
de f y 0
AB
. Utilizaremos en este caso las notaciones coker(f) y coker(A
f
B).
Un categora con cero morsmos se dice que posee n ucleos (con ucleos), si
cada morsmo tiene n ucleo (con ucleo).
Ejemplo 1.7.7. Seg un el ejemplo 1.7.5, Mod
A
es una categora con n ucleos y
con ucleos. Mas exactamente, si M
f
N es un homomorsmo de modulos, su n ucleo
es ker(f) = m M [ f(m) = 0, junto con la inclusion ker(f)
l
M. El con ucleo
es coker(f) = N/Im(f), junto con el homomorsmo canonico j : N N/Im(f).
Puesto que Ani no posee cero morsmos, no denimos n ucleos ni con ucleos.
26 CAP
ITULO 1. CATEGOR
IAS
Denici on 1.7.8. Se dice que el monomorsmo A
f
B es normal si f es n ucleo de
alg un morsmo. La categora se dice normal si cada monomorsmo es normal. De
manera dual se denen los epimorsmos conormales y las categoras conormales.
Ejemplo 1.7.9. Mod
A
es normal y conormal. Si M
f
N es un monomorsmo,
entonces f es n ucleo del homomorsmo canonico j : N N/Im(f). En efecto, es
claro que j f = 0. Ahora, si Z
N es un homomorsmo tal que j f
= 0,
entonces el siguiente diagrama es conmutativo
M N
N/Im(f)
Z
j
`
k
donde k se dene por k(x) = m M, con f(m) = f(x), para cada x Z. Notese
que k esta bien denida debido a la inyectividad de f.
De otra parte, si M
f
N es un epimorsmo, entonces f es el con ucleo del
homomorsmo inclusion l : ker(f) M. Claramente f l = 0. Si M
l
es un
homomorsmo tal que f
l = 0, entonces el siguiente diagrama es conmutativo

ker(f)
M N
Z
k
donde k se dene como k(x) = f
(m), con x = f(m) para todo x N.

Es conocido (vease [8]) que existe una correspondencia biyectiva entre los sub-
modulos 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.
Proposici on 1.7.10. Si Z
h
A es el n ucleo de A
f
B y A
h
es el con ucleo
de h, entonces h es el n ucleo de h
.
Demostracion. Por las condiciones dadas se tiene que h h
= 0. Sea Z
A tal
1.7. N
UCLEOS Y CON
UCLEOS 27
que h
circh
= 0
Z A B
Z
`
t
2
`
t
1
Puesto que f h = 0 y h
es con ucleo de h, existe t

1
: Z
B tal que t
1
h
= f.
Resulta, f h
= t
1
h
= 0. Como h es con ucleo de f, existe t

2
: Z
Z tal
que h t
2
= h
. Como h es monomorsmo, t
2
es el unico que cumple la identidad
anterior. Esto completa la prueba de la proposicion.
Al aplicar el principio de dualidad tenemos el siguiente resultado.
Proposici on 1.7.11. Si B
j
Z es el con ucleo de A
f
B y B
l
B es el n ucleo
de j, entonces j es el con ucleo de l.
Proposici on 1.7.12. Sea ( una categora con con ucleos. Para cada objeto A de (
existe una funcion
: SUB(A) COC(A).
Si ademas ( es colocalmente peque na, ( es localmente peque na. Si suplementaria-
mente ( es normal, la funcion es inyectiva.
Demostracion. Sea A
1
l
1
A un subobjeto de A y A
j
1
B
1
su con ucleo. Se dene
(A
1
) = B
1
.
(i)Veamos que esta bien denida. Sean A
1
l
1
A y A
2
l
2
A subobjetos equiv-
alentes de A con con ucleos A
j
1
B
1
y A
j
2
B
2
, respectivamente.
A
1
A
1 A B
1
B
1
A
2
B
2
i
A
1
l
1
j
1
j
2
i
B
1
l
2
s
Como j
2
l
1
= j
2
(l
2
n) = 0, existe un morsmo t : B
1
B
2
tal que t j
1
= j
2
.
Ademas, j
1
l
2
= j
1
(l
1
m) = 0, con lo cual existe s : B
2
B
1
tal que s j
2
= j
1
.
As, B
1
= B
2
.
De otra parte, sabemos que si A
j
1
B
1
es otro con ucleo de A
1
l
1
A, entonces
B
1
= B
2
. Estas dos observaciones garantizan que esta bien denida.
(ii) Si COC(A) es un conjunto, entonces SUB(A) tambien lo es. En otras pala-
bras, si ( es colocalmente peque na, es localmente peque na.
28 CAP
ITULO 1. CATEGOR
IAS
(iii) es inyectiva. Sean A
1
l
1
A y A
2
l
2
A subobjetos de A con con ucleos
A
j
1
B
1
y A
j
2
B
2
, respectivamente, tales que B
1
= B
2
.
A
1
A
1 A B
1
B
1
A
2
B
2
i
A
1
l
1
j
1
j
2
i
B
1
l
2
m
Como ( es normal, l
1
es n ucleo de alg un morsmo de (, la proposicion 1.7.10 garan-
tiza que l
1
es n ucleo de j
1
. Ademas, como j
1
l
2
= mj
2
l
2
= 0, existe un morsmo
t : A
2
A
1
tal que l
1
t = l
2
. Al aplicar el mismo razonamiento a l
2
, encontramos
v : A
1
A
2
tal que l
2
v = l
1
. Esto demuestra que A
1
= A
2
.
Por el principio de dualidad tenemos la siguiente proposicion.
Proposici on 1.7.13. Sea ( una categora con n ucleos. Para cada objeto A de ( exis-
te una funcion : COC(A) SUB(A). En particular, si ( es localmente peque na,
entonces es colocalmente peque na. Ademas, si ( es conormal, la funcion es inyec-
tiva.
Corolario 1.7.14. Sea ( una categora con n ucleos y con ucleos, normal y conormal.
Para cada A Ob(() existe una correspondencia biyectiva entre SUB(A) y COC(A).
En particular, ( es localmente peque na si, y solo si, ( es colocalmente peque na.
1.8. Producto y suma brada
Otro de los subobjetos importantes asociados a un morsmo lo constituye la imagen
inversa, la cual se dene por medio del llamado producto brado. En la proxima
seccion estudiaremos la imagenes inversas, por ahora consideramos los productos y
sumas bradas.
Denici on 1.8.1. Sean X
1
f
1
Y y X
2
f
2
Y morsmos. Se denomina producto
brado de f
1
y f
2
al par de morsmos X
g
1
X
1
, X
g
2
X
2
tales que
(i) f
1
g
1
= f
2
g
2
, esto es, se tiene el diagrama conmutativo
X X
2
X
1 Y
g
1
g
2
f
2
f
1
1.8. PRODUCTO Y SUMA FIBRADA 29
(ii) Si X
1
X
1
, X
2
X
2
son tambien morsmos tales que f
1
g
1
= f
2
g
2
,
entonces existe un unico morsmo h : X
X tal que g
2
h = g
2
y g
1
h = g
1
X
X X
2
X
1 Y
2
`
`
`
`
`
`
`
`
`
g
g
2
g
1
f
2
f
1
Notese que si (X
1
X
1
, X
2
X
2
) es tambien un producto brado de X
1
f
1
Y
y X
2
f
2
Y , entonces X

= X. En efecto, al aplicar (ii) a X
, considerado como
producto brado, encontramos un morsmo t : X X
tal que g
1
t = g
1
y
g
2
t = g
2
. Resulta entonces que g
i
h t = g
i
, i = 1, 2. Puesto que X es producto
brado y que g
1
i
X
= g
1
, g
2
i
X
= g
2
, entonces h t = i
X
. De manera analoga se
tiene que t h = i
X
.
Al aplicar el principio de dualidad a la denicion 1.8.1 obtenemos el concepto de
suma brada de un par de morsmos Y
f
1
X
1
y Y
f
2
X
2
.
Denici on 1.8.2. La pareja (X
1
g
1
X, X
2
g
2
X) se denomina suma brada de
f
1
y f
2
si se cumplen las siguientes dos condiciones:
(i) g
2
f
2
= g
1
f
1
, esto es, el siguiente diagrama conmuta
Y X
2
X
1 X
f
2
f
1
g
2
g
1
(ii) Si X
1
g
1
X
, y, X
2
g
2
X son tambien morsmos tales que g
1
f
1
= g
2
f
2
,
entonces existe un unico morsmo h : X X
tal que hg
1
= g
1
y hg
2
= g
2
,
30 CAP
ITULO 1. CATEGOR
IAS
esto es, se tiene el diagrama conmutativo
Y X
2
X
1 X
X
f
2
f
1
g
2
`
`
`
`
`
`
`
`
`
g
g
1
h
Al igual que en el caso del producto brado, dos sumas bradas son isomorfas.
Consideramos a continuacion algunas consecuencias de las denicionos anteriores.
Proposici on 1.8.3. Sea (X
g
1
X
1
, X
g
2
X
2
) el producto brado de los morsmos
X
1
f
1
Y y X
2
f
2
Y . Se tienen las siguientes proposiciones:
(i) Si f
1
es monomorsmo, entonces g
2
es monomorsmo.
(ii) Si f
2
es monomorsmo, entonces g
1
es monomorsmo.
(iii) Si (X
2
f
2
Y, X
2
l
W) es el producto brado de Y
m
Z y W
n
Z, y ademas
n es un monomorsmo, entonces (X
g
1
X
1
, X
g
2
X
2
) es el producto brado
de X
1
mf
1
Z y W
n
Z.
Demostracion. (i) Sean p, q : W X tales que g
2
p = g
2
q:
W
X X
2
X
1 Y
q, p
u=q
2
q
`
`
`
`
`
`
`
`
`
v=g
1
p

g
2
g
1
f
2
f
1
Sean v := g
1
p y u := g
2
q. Se tiene que
f
1
v = f
1
g
1
p = f
2
g
2
p = f
2
g
2
q = f
2
u.
Existe un unico morsmo h : W X tal que g
2
h = u y g
1
h = v. Puesto que q
cumple la primera condicion, basta mostrar que g
1
q = v, para concluir h = p = q.
1.8. PRODUCTO Y SUMA FIBRADA 31
As pues, f
1
v = f
2
g
2
q = f
1
g
1
q. Dado que f
1
es un monomorsmo, se
obtiene la conclusion deseada.
(ii) La demostracion es analoga a la de (i).
(iii) Sean X
a
W y X
b
X
1
tales que n a = m f
1
b. Como X
2
es producto
brado de m y n, existe un morsmo h
: X
X
2
tal que l h
= a, y, f
2
h
= f
1
b.
Puesto que X es producto brado de f
1
y f
2
existe h : X
X tal que g
2
h = h
y g
1
h = b.
X
X X
2 W
X
1 Y Z
1
X
`
`
`
`
`
`
`
`
`
b
g
2
g
1
f
2
f
1
m
Se tiene que (l g
2
) h = a y g
1
h = b. Sea h
: X
X otro morsmo tal que

g
1
h
= b y (l g
2
) h
= a. As, g
1
h = g
1
h
. Seg un (ii) g
1
es un monomorsmo,
de donde h = h
.
Al aplicar el principio de dualidad obtenemos la siguiente proposicion.
Proposici on 1.8.4. Sea (X
1
g
1
X, X
2
g
2
X) la suma brada de Y
f
1
X
1
y
Y
f
2
X
2
. Se tienen las siguientes armaciones:
(i) Si f
1
es epimorsmo, entonces g
2
es epimorsmo.
1. Si f
2
es epimorsmo, entonces g
1
es epimorsmo.
2. Si (X
m
Z, W
n
Z) es la suma brada de X
2
g
2
X y X
2
l
W donde n es
epimorsmo, entonces (X
1
mg
1
Z, W
n
Z) es la suma brada de Y
f
1
X
1
y Y
lf
2
X
2
.
Denici on 1.8.5. Una categora se dice que tiene productos brados si cada par
de morsmos de dominio com un posee producto brado.
Analogamente se denen las categoras de sumas bradas.
Ejemplo 1.8.6. Mod
A
es una categora con productos y sumas bradas. Sean
M
1
f
1
N y, M
2
f
2
N homomorsmos. Se tiene que (P

1
M
1
, P

2
M
2
) es el
producto brado de M
1
y M
2
, donde
P := (m
1
, m
2
) M
1
M
2
[ f
1
(m
1
) = f
2
(m
2
),
32 CAP
ITULO 1. CATEGOR
IAS
y
1
y
2
son proyecciones.
Sean ahora f
1
: M N
1
y f
2
: M N
2
homomorsmos. Se sigue que (N
1
g
1
L, N
2
g
2
L) es la suma brada de f
1
y f
2
, donde L esta dado por L := N
1
N
2
/N,
y N := (f
1
(m), f
2
(m)) [ m M, y, g
1
: N
1
L, g
2
: N
2
L estan dadas por
g
1
(n
1
) := (n
1
, 0) y g
2
(n
2
) := (0, n
2
), respectivamente.
La categora Ani tiene productos brados y su construccion es similar al caso
de modulos.
1.9. Imagen inversa
Denici on 1.9.1. Sean A
f
B un morsmo y B
l
B un subobjeto de B. Se
denomina imagen inversa de B
a traves de f al producto brado de f y l:

X B
A B
f
Seg un la proposicion 1.8.3, X es un subobjeto de A el cual se denota por f
1
(B
).
Observaci on 1.9.2. Al aplicar la parte nal de la denicion 1.8.1 encontramos
que si X
h
A y X
h
A son imagenes inversas de B
l
B a traves de A
f
B,
entonces X

= X
. De otra parte, supongase que X

h
A es imagen inversa de B
y que X
A es equivalente a X
h
A. Por tanto, X
es imagen inversa de B
.
Realizamos la prueba esquematica de esta armacion no evidente por s misma:
X
X
X B
A B
p
`
`
`
`
`
`
`
`
`
h
q
`
1
X
f
X
A B
gp
f
Si X
y X
A son morsmos tales que l g
= f h
, entonces existe
un unico morsmo w : X
X tal que h w = h
y g w = g
. As, se tiene el
1.9. IMAGEN INVERSA 33
diagrama conmutativo
X
A B
qw
`
`
`
`
`
`
`
`
`
h
gp
f
En efecto, h
q w = h w = h
;
l g p q w = f h p q w = f h
q w = f h
= l g
,
de donde (g p) (q w) = g
. Supongase que existe otro morsmo t : X
tal
que h
t = h
y (g p) t = g
. Se sigue que h
t = h
(q w), de donde obtenemos

t = q w, completando as la prueba de la armacion.
Una categora se dice que tiene imagenes inversas, si para cada morsmo
A
f
B y cada subobjeto B
l
B existe la imagen inversa f
1
(B
).
Ejemplo 1.9.3. Mod
A
posee imagenes inversas. En efecto, si M
f
N es un ho-
momorsmo de modulos y N
l
N es un submodulo de N, entonces
f
1
(N
) = m M [ f(m) N
es un sumbodulo de M, que junto con la inclusion f

1
(N
) M conforma la imagen
inversa de N
.
De manera similar se dene la imagen inversa en Ani. As, Ani posee imagenes
inversas.
Consideramos ensequida algunas propiedades de las imagenes y de las imagenes
inversas.
Proposici on 1.9.4. Sea A
f
B un morsmo y
A
1
A
2
A, B
1
B
2
B.
Si suponemos que cada una de las siguientes expresiones esta denida, obtenemos
las siguientes relaciones:
(i) f(A
1
) f(A
2
);
(ii) f
1
(B
1
) f
1
(B
2
);
34 CAP
ITULO 1. CATEGOR
IAS
(iii) A
1
f
1
(f(A
1
));
(iv) f(f
1
(B
1
)) B
1
;
(v) f(A
1
) = f(f
1
(f(A
1
)));
(vi) f
1
(B
1
) = f
1
(f(f
1
(B
1
))).
Demostracion. Para esta demostracion los siguientes diagramas resultan sucientes:
(i)
A
1 A B
f(A
1
)
g
1
l
1
l
A
2 A B
f(A
1
)
g
2
l
2
A
1
A
2
A
l
1
l
2
A
1
A
2 A B
A
1
f(A
1
)
B
f(A
2
)
g
1
i
A
1
l
2
g
2
k
>
>
>
>
>
>
>
>
l
h
`
i
B
>
>
>
>
>
>
>
>
l
Notese que f l
2
k = l
g
2
k, es decir, f l
1
= l
(g
2
k). Como f(A
1
)
es imagen de f l
1
, entonces existe un morsmo h : f(A
1
) f(A
2
) tal que
l
h = l, esto es, f(A

1
) f(A
2
).
(ii)
f
1
(B
1
) B
1
A B
g
1
h
1
l
1
f
f
1
(B
2
) B
2
A B
g
2
h
2
l
2
f
B
1
B
2
B
l
1
l
2
f
1
(B
1
)
f
1
(B
2
) B
2
A B
t
`
`
`
`
`
`
`
`
`
`
`
`
h
1
kg
1
g
2
h
2
l
2
f
Tenemos l
2
k g
1
= l
1
g
1
= f h
1
. Existe un unico t tal que h
2
t = h
1
,
esto es, f
1
(B
1
) f
1
(B
2
).
(iii)
A
1
f
1
(f(A
1
)) f(A
1
)
A B
f(A
1
)
gl
1
`
`
`
`
`
`
k
`
`
`
`
`
`
`
`
`
`
l
1
h
Dado que hgl
1
= f l
1
, existe k tal que tk = l
1
, es decir, A
1
f
1
(f(A
1
)).
36 CAP
ITULO 1. CATEGOR
IAS
(iv)
f
1
(B
1
) B
1
A B
h
1
l
1
f
f
1
(B) A B
f
1
(f(B
1
))
B
1
h
1
q
`
`
`
`
`
`
`
`
`
`
`
`
`
g
`
l
1
Como f h
1
= l
1
g, existe un unico m tal que l
1
m = l, es decir, f(f
1
(B
1
))
B
1
.
(v) Tenemos A
1
f
1
(f(A
1
)), luego f(A
1
) f(f
1
(f(A
1
))). De (iv) se obtiene
que f(f
1
(f(A
1
))) f(A
1
).
(vi) Por (ii) y (iv) f
1
(f(f
1
(B
1
))) f
1
(B
1
), y de (iii), tomando A
1
= f
1
(B
1
),
completamos la prueba.
Las propiedades del punto anterior pueden ser complementadas de la siguiente
manera.
Proposici on 1.9.5. (i) Si A
f
B es un mormo en una categora con imagenes
e imagenes inversas y A
1
l
i
A
iI
es una familia no vaca de subobjetos
de A para los cuales
iI
A
i
existe, entonces
iI
f(A
i
) existe y coincide con
f(
iI
A
i
).
(ii) Si A
f
B es un morsmo en una categora con imagenes inversas y B
i
l
i
B
iI
es una familia no vaca de subobjetoss de B para los cuales
iI
B
i
existe, entonces
iI
f
1
(B
i
) existe y coincide con f
1
(
iI
B
i
).
Demostracion. (i) Probaremos que f(
iI
A
i
) es la union de la familia f(A
i
). Sea
_
iI
A
i
h
A
la uni on de la familia A
i
y f(
iI
A
i
) su imagen por f h:
_
iI
A
i
A B
f
_
_
iI
A
i
_
t
Observese que f(
iI
A
i
) B. Como A
i

iI
A
i
para cada i I, seg un la
proposicion 1.9.4 se tiene f(A
i
) f(
iI
A
i
) :
f(A
i
)
f
_
_
iI
A
i
_
B
l
1
f
i
t
Sea ahora n : B C un morsmo y C
l
C un subobjeto de C tal que cada f(A
i
)
puede ser llevado en C
:
f(A
1
)
C
B C
t
i
l
1
n
Se debe probar que f(
iI
A
i
) puede ser llevado en C
. Tenemos
A
i A B
f(A
i
)
k
i
h
i
l
i
Consideremos la imagen inversa de C
a traves de n
n
1
(C
)
C
B C
n
38 CAP
ITULO 1. CATEGOR
IAS
Existe un unico morsmo m
i
f(A
i
)
n
1
(C
)
C
B C
t
i
m
i
`
`
`
`
`
`
`
`
`
`
`
`
l
i
n
Resulta el diagrama conmutativo
A
i
n
1
(C
)
A B
m
i
k
i
h
i
f
Por la condicion de union existe v :
iI
A
i
n
1
(C
) tal que el siguiente diagrama

conmuta
_
iI
A
i
n
1
(C
)
A B
f
1.10. PRODUCTO Y COPRODUCTO 39
y tambien obtenemos un morsmo u tal que z u = t:
_
iI
A
i
A B
f
_
_
iI
A
i
_
n
1
(C
g
`
`
`
`
`
`
`
`
`
`
`
v
`
z
As, obtenemos el diagrama conmutativo
f
_
_
iI
A
i
_
n
1
(C
)
B C
wu
n
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 co-
producto, respectivamente.
i
iI
un conjunto no vaco de objetos de una categora
(. Se denomina producto del conjunto A
i
iI
a un objeto de ( notado por
iI
A
i
y un conjunto
p
j
:
iI
A
i
A
j
jI
de morsmos llamados proyecciones, tales que para cada objeto C de ( y cada
conjunto f
j
: C A
j
jI
de morsmos existe un unico morsmo f, tal que para
40 CAP
ITULO 1. CATEGOR
IAS
cada j I el siguiente diagrama
C
iI
A
i
A
j
f
j
(1.10.1)
es conmutativo.
Si I es nito, I = 1, 2, . . . , n, el producto del conjunto A
1
, . . . , A
n
se denota
por
n
i=1
A
i
, o, A
1
A
2
A
n
. Si todos los objetos del conjunto A
i
iI
son
iguales, A
i
= A para cada i I, el producto se denota por A
I
. Como es de esperar
dos productos del conjunto A
i
iI
son objetos isomorfos.
Una categora se dice que tiene productos si cada conjunto no vaco de objetos
tiene producto. Si cada conjunto nito tiene producto la categora se dice que tiene
productos nitos.
A partir de la denicion es sencillo probar las siguientes armaciones. Su de-
mostracion queda a cargo del lector.
(i) Sea A
i
iI
un conjunto no vaco de objetos y : I I una funcion biyectiva
del conjunto I de ndices. Entonces
iI
A
i

=
iI
A
(i)
.
(ii) Si en una categora cada par de objetos tiene producto, entonces la categora
tiene productos nitos.
Proposici on 1.10.2. Sea p
j
:
iI
A
j
jI
el producto del conjunto A
i
iI
.
Para j I se tiene que p
j
es retraccion si, y solo si, Mor(A
j
, A
i
) ,= para cada
i I.
Demostracion. Si p
j
es retraccion, existe un morsmo h : A
j

iI
A
i
tal que
p
j
h = 1. As, p
i
h Mor(A
j
, A
i
) para cada i I.
Supongase que para cada i I, Mor(A
j
, A
i
) ,= . Existe entonces un conjunto de
morsmos f
i
: A
j
A
i
iI
, donde tomamos f
j
= i
A
j
. Encontramos un morsmo
f : A
j

iI
A
i
tal que p
i
f = f
i
para cada i I. En particular, p
j
f = i
A
j
,
con lo cual p
j
es retraccion.
Corolario 1.10.3. En una categora con cero morsmos las proyecciones del pro-
ducto son retracciones, y por lo tanto epimorsmos.
Demostracion. Consecuencia directa de la proposicion anterior.
Proposici on 1.10.4. Sean ( una categora con cero morsmos, A
i
iI
un conjunto
no vaco de objetos de ( y p
j
:
iI
A
i
A
j
su producto. Al tomar j I jo y
considerando el conjunto de morsmos A
j
k
i
A
i
, donde
k
i
=
_
0, i ,= j
i
A
i
, i = j,
existe un unico morsmo q
j : A
j

iI
A
i
tal que
p
i
q
j
=
_
0, i ,= j
i
A
j
, i = j
. (1.10.2)
Los morsmos q
j
: A
j

iI
A
i
jI
unvocamente determinados por (1.10.2) se
denominan inyecciones del producto.
Proposici on 1.10.5. Sean ( una categora con cero morsmos, A
1
, A
2
objetos de
( y p
i
: A
1
A
2
A
i
i=1,2
su producto. Si q
1
: A
1
A
1
A
2
es una inyeccion del
producto, entonces q
1
es n ucleo de p
2
(armacion analoga se tiene para q
2
y p
1
). Si
( es ademas conormal, entonces p
2
es el con ucleo de q
1
(p
1
es el con ucleo de q
2
).
Demostracion. Seg un (1.10.2), p
2
q
1
= 0. Ademas, como q
1
es monomorsmo A
1
q
A
1
A
2
es un subobjeto de A
1
A
2
. Sea h : C A
1
A
2
tal que p
2
h = 0. Se
tienen los morsmos C
p
1
h
A
1
y C
p
2
h=0
A
2
:
A
1
A
1
A
2
A
2
C
p
2
`
p
1
h
h
Por la condicion del producto existe un unico f : C A
1
A
2
tal que
p
1
f = p
1
h y p
2
f = p
2
h = 0.
Pero los morsmos h y q
1
p
1
h tambien cumplen estas dos relaciones:
p
1
h = p
1
h, p
2
h = p
2
h = 0
p
1
(q
1
p
1
h) = p
1
h p
2
(q
1
p
1
h) = 0.
Por unicidad se tiene que f = h = q
1
p
1
h.
La segunda armacion es consecuencia de la proposicion 1.7.11.
42 CAP
ITULO 1. CATEGOR
IAS
Al aplicar el principio de dualidad obtenemos el concepto de coproducto de un
conjunto no vaco de objetos A
i
iI
de una categora cualquiera (. El objeto en este
caso es notado por
iI
A
i
y los morsmos q
j
: A
j

iI
A
i
jI
son llamadas
inyecciones. La propiedad que dene y caracteriza al coproducto se obtiene de
1.10.1 invirtiendo el sentido de las echas. Si I = I
n
= 1, 2, . . . , n es nito, tambien
denotamos al coproducto
n
i=1
A
i
como A
1
A
2
A
n
. Si todos los objetos A
i
son iguales, A
i
= A para cada i I, el coproducto se denota por A
(I)
.
Las armaciones duales de (i) y (ii) de la denicion 1.10.1 se cumplen. La proposi-
cion 1.10.2 toma ahora la siguiente forma. Para cada j I, q
j
es coretraccion si, y
solo si, Mor(A
i
, A
j
) ,= , para cada i I.
Si la categora ( tiene cero morsmos, las inyecciones del coproducto son corre-
tracciones y por lo tanto monomorsmos.
Las proyecciones del coproducto se denen como los morsmos p
j
:
iI
A
i

A
j
, j I, tales que
p
j
q
i
=
_
0, i ,= j,
i
A
i
i = j.
La coleccion p
j
existe y es unica. La proposicion dual de la proposicion 1.10.5 es
valida.
Ejemplo 1.10.6. Mod
A
tiene productos y coproductos, vease [8]. Como Mod
A
tiene objeto cero, las proyecciones del producto son epimorsmos. En Ani el produc-
to se dene por componentes de manera analoga a como se hizo en Mod
A
. Aunque
Ani no posee cero morsmos, las proyecciones del producto son epimorsmos. En
efecto, sean h, g : A
j
( homomorsmos de anillos tales que hp
j
= gp
j
, donde p
j
es una proyeccion del producto
iI
A
i
. Considerese a A
j
. Sea f = (f
i
)
iI
A
i
denido por
f
i
=
_
0, i ,= j
a, i = j.
Se cumple que
g p
j
(f) = g(a) = h p
j
(f) = h(a).
Proposici on 1.10.7. Sean A
i
iI
y B
i
iI
conjuntos no vacos de objetos de
una categora. Supongase que existen los productos p
i
:
iI
A
i
A
i
y p
i
:
iI
B
i
B
i
. Sea h
i
: A
i
B
i
iI
un conjunto de morsmos dado. Existe un
unico morsmo h =
iI
h
i
iI
A
i
iI
B
i
A
i
B
i
h
i
p
i
p
i
h
i
Demostracion. La denicion de producto y los siguientes diagramas ilustran la de-
mostracion:
iI
A
i
A
i
B
i
p
i
h
i
p
i
h
i
iI
A
i
I
B
i
B
i
h
i
p
i
p
i
Observaci on 1.10.8. El morsmo de la proposicion 1.10.7 se denomina produc-
to del conjunto h
i
. Notese que dicho morsmo producto cumple las siguientes
relaciones
iI
t
i
iI
h
i
=
iI
(t
i
h
i
),
iI
i
A
i
= i
iI
A
i
(1.10.3)
donde t
i
: B
i
C
i
iI
es otro conjunto no vaco de morsmos.
De manera dual se dene el morsmo coproducto
iI
h
i
, cumpliendo relaciones
analogas a (1.10.3).
j
jJ
y B
i
iI
conjuntos no vacos de objetos de una
categora. Supongase que existen el coproducto q
j
: A
j

jJ
A
j
jJ
y el producto
p
i
:
iI
B
i
B
i
iI
. Existe una correspondencia biyectiva entre el conjunto de
morsmos Mor(
jJ
A
j
,
iI
B
i
) y el conjunto M de matrices
M := [f
ij
]) [ f
ij
Mor(A
j
, B
i
), i I, j J
tales que p
i
f q
j
= f
ij
, para cada f Mor(
jJ
A
j
,
iI
B
i
) y cada i I, j J.
Demostracion. Dado un morsmo
f :
jJ
A
j

iI
B
i
44 CAP
ITULO 1. CATEGOR
IAS
se determina unvocamente una matriz [f
ij
] por medio del siguiente diagrama
jI
A
j
iI
B
i
A
j
B
i
p
i
`
q
j
f
ij
f
ij
= p
i
f q
j
Recprocamente, consideremos la matrix [f
ij
] M, con f
ij
: A
j
B
i
un morsmo.
Fijemos i I. Se tiene que el conjunto de morsmos f
ij
: A
j
B
i
jJ
. Por
la condicion del coproducto existe un unico morsmo f
i
:
jJ
A
j
B
i
tal que
f
i
q
j
= f
ij
, para cada i I. Seg un la condicion del producto existe un unico
morsmo f :
jJ
A
j

iI
B
i
tal que p
i
f = f
i
, para cada i I. Se obtiene un
morsmo f tal que p
i
f q
j
= f
ij
.
Los morsmos en Mor(
jJ
A
j
,
iI
B
i
) son representados tambien por su co-
rrespondiente matriz f = [f
ij
].
Si ( es una categora con cero morsmos y A
i
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 unico morsmo
= [
ij
] :
iI
A
i

iI
A
i
tal que
p
i
q
j
=
ij
=
_
0, i ,= j
i
A
i
, i = j.
(1.10.4)
Notese que la matriz de este morsmo es la identica. Si es un isomorsmo se dice
que
iI
A
i
es un biproducto.
Para terminar consideremos los morsmos diagonal y codiagonal.
i
iI
un conjunto de objetos identicos en una categora,
A
i
= A para cada i I. Supongase que existen el producto A
I
y el coproducto A
(I)
.
La familia de morsmos identicos i
A
: A A induce el morsmo : A A
I
,
tal que p
i
= i
A
para cada i I. se denomina morsmo diagonal.
Notese que es monomorsmo. De manera analoga se induce el morsmo
codiagonal : A
(I)
A, tal que q
i
= i
A
para cada i I. es epimorsmo.
1.11. LAS CATEGOR
IAS MOD
A
Y ANI 45
A
el morsmo f denido por (1.10.4) es
la inclusion del coproducto
iI
M
i
(suma directa externa) en el producto. Si I =
1, 2, . . . , n es nito, entonces f = i
M
1
Mn
, con lo cual el coproducto es un
biproducto. Ademas,
i
M
1
Mn
= q
1
p
1
+ +q
n
p
n
,
donde q
i
, p
i
son las inyecciones y proyecciones respectivamente.
El morsmo diagonal en Mod
A
viene dado por
(a) = f = (f
i
) A
I
, f
i
= a, para todo i I.
El codiagonal es
(f) =
_
0, f = 0
iI
f
f
i
, f ,= 0
donde I
f
denota el soporte de f.
En Ani el morsmo diagonal se dene como en Mod
A
.
1.11. Las categoras Mod
A
y Ani
En esta seccion se resumen varios de los resultados encontrados en secciones anteri-
ores relativos a las categoras Mod
A
y Ani. Los cuadros que presentaremos deben ser
entendidos de la siguiente manera: una relacion de la forma igualador monomor-
smoindica que cada igualador es un monomorsmo y que un monomorsmo dado
es igualador de cierto par de morsmos.
Relaciones basicas en una categora (
(i) Un n ucleo, una union, una interseccion, una imagen, un igualador, una imagen
inversa y una corretracci on son monomorsmos.
(ii) Un monomorsmo en una union: (A
1
l
A) =
A
1
.
(iii) Un monomorsmo es una interseccion: (A
1
l
A) =
A
1
.
(iv) Un monomorsmo es una imagen: (A
1
l
A) = Im(A
1
l
A).
(v) Un monomorsmo es una imagen inversa: (A
1
l
A) = i
A
1(A
1
).
(vi) Un n ucleo es un igualador: ker(A
f
B) = Ig(f, 0
AB
).
46 CAP
ITULO 1. CATEGOR
IAS
(vii) Todo isomorsmo es bimorsmo.
(viii) Un con ucleo, una coimagen, un coigualador y una retraccion son epimorsmos.
(ix) Un epimorsmo es una coimagen: (A
j
B) = Coim(A
j
B).
(x) Un con ucleo es un coigualador: Con(A
f
B) = Coig(f, 0
AB
).
(xi) Una corretraccion es un coigualador: sea A
f
B una corretraccion y g : B A
tal que g f = i
A
. Se sigue que f = Im(i
B
, f g).
(xii) Una retraccion es un coigualador: sea A
f
B retraccion y g : B A tal que
f g = i
B
. Se obtiene f = Coig(i
A
, g f).
Observaci on 1.11.1. Las relaciones anteriores pueden resumirse de la siguiente
forma:
1. Union Monomorsmo Imagen;
2. Imagen inversa Monomorsmo Interseccion;
3. Igualador N ucleo Monomorsmo Igualador Corretraccion;
4. Coimagen Epimorsmo Con ucleo Coigualador Retraccion;
5. Coigualador Epimorsmo Retraccion;
6. Isomorsmo Bimorsmo.
De las relaciones presentadas en la observacion 1.11.1 surgen inmediatamente las
siguientes preguntas:
Todo igualador es una corretraccion?
Todo monomorsmo es una corretraccion?
Todo monomorsmo es un igualador? (Si una categora no posee cero mors-
mos entonces no todo monomorsmo es n ucleo y no todo igualador rd n ucleo).
Todo epimorsmo es retraccion?
Todo coigualador es retraccion?
Todo epimorsmo es coigualador? (Si la categora no tiene cero morsmos
entonces no todo epimorsmo es con ucleo y no todo coigualador es con ucleo).
1.11. LAS CATEGOR
IAS MOD
A
Y ANI 47
Las respuestas a estas preguntas son todas negativas como veremos en el resumen
para anillos y modulos.
Propiedades basicas de la categora Mod
A
(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 homomorsmos canonicos.
(iii) Mod
A
es localmente y colocalmente peque na.
(iv) Mod
A
no es noetheriana ni artiniana para A ,= 0.
(v) 0 es objeto cero de Mod
A
.
(vi) Mod
A
tiene cero morsmos.
(vii) Mod
A
tiene igualadores y coigualadores.
(viii) Mod
A
tiene uniones e intersecciones.
(ix) Mod
A
tiene imagenes epimorcas y coimagenes monomorcas.
(x) Mod
A
tiene n ucleos y con ucleos.
(xi) Mod
A
tiene productos y sumas bradas.
(xii) Mod
A
tiene imagenes inversas.
(xiii) Mod
A
tiene productos y coproductos.
(xiv) Mod
A
es balanceada.
(xv) Mod
A
es normal y conormal.
(xvi) Mod
A
es completa y cocompleta (vease el captulo siguiente).
(xvii) Mod
A
es abeliana (vease el captulo siguiente).
Consideremos ahora en Mod
A
las relaciones de la observacion 1.11.1. Debemos
adicionar los morsmos inyectivos y sobreyectivos.
(a) No todo homomorsmo inyectivo es corretraccion: A = Z, f : 2Z Z;
f(2k) := 2k. f es inyectivo pero no es corretraccion.
48 CAP
ITULO 1. CATEGOR
IAS
(b) Un monomorsmo 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
nal de la seccion 1.2, corretraccion sera lo mismo que monomorsmo. Pero
esto ultimo es falso (el mismo contraejemplo de (a)).
(d) Un monomorsmo es un n ucleo: f : M
1
M
2
, f(M
1
) = f(m) [ m M
1
;
f = N(j), donde j : M
2
M
2
/f(M
1
); j(x) = x para todo c M
2
.
(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 monomorsmo sera equiva-
lente a corretraccion.
(g) No toda interseccion es corretraccion: de lo contrario monomorsmo sera
equivalente a corretraccion.
(h) No toda union es corretraccion: en otro caso monomorsmo sera equivalente
a corretraccion.
(i) No toda imagen es corretraccion: de lo contrario monomorsmo sera corre-
tracci on.
(j) No toda imagen inversa es corretraccion. Si fuese as, un monomorsmo sera
una corretraccion.
(k) No todo homomorsmo sobreyectivo es retraccion: A = Z, f : Z Z
2
;
f(k) = k para todo k Z.
(l) Un epimorsmo 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 nal
de la seccion 1.2, retraccion sera lo mismo que epimorsmo, lo cual es falso
(contrajemplo de (k)).
(n) Un epimorsmo 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 epimorsmo sera lo mismo que
retraccion.
1.11. LAS CATEGOR
IAS MOD
A
Y ANI 49
(p) No toda coimagen es retraccion; de lo contrario epimorsmo sera lo mismo
que retraccion.
Observaci on 1.11.2. Con base en lo anterior tenemos en la categora Mod
A
las
siguientes relaciones:
1. Union Monomorsmo Imagen;
3. Igualador Monomorsmo N ucleo;
4. Monomorsmo Inyeccion Corretraccion;
5. Coigualador Sobreyectivo Epimorsmo Coimagen;
6. Con ucleo Epimorsmo;
7. Retraccion Sobreyectivo;
8. Biyectivo Isomorsmo Bimorsmo.
Propiedades basicas de la categora Ani
(i) Salvo equivalencia, los subobjetos de un anillo son los subanillos con las inclu-
siones.
(ii) Ani es localmente peque na.
(iii) Cada anillo cociente de un anillo A con el homomorsmo canonico es un objeto
cociente de A. Sin embargo, existen objetos cociente que no corresponden a
formar cocientes por ideales: Z
l
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 morsmos.
(vii) Ani no tiene igualadores y coigualadores.
(viii) Ani tiene uniones e intersecciones.
(ix) Ani tiene imagenes epimorcas.
(x) Ani tiene imagenes inversas.
50 CAP
ITULO 1. CATEGOR
IAS
(xi) Ani no es balanceada.
(xii) Ani tiene productos brados.
(xiii) Ani es completa (vease el siguiente captulo).
Ahora estudiamos la observacion 1.11.1 para la categora Ani.
(a) No todo homomorsmo inyectivo es una corretraccion; Z
l
Q, donde l es la
inclusion natural.
(b) No todo monomorsmo es igualador; Z
l
Q, donde l es la inclusion natural.
Este mismo contraejemplo muestra que no toda inyeccion es igualador.
(c) No todo igualador es una corretraccion; i
C
, h : C C, h(a + bi) = a bi,
lg(i
C
, h) = (R
l
C), pero l no es corretraccion (l es la inclusion natural).
(d) No toda interseccion es corretraccion; de lo contrario monomorsmo sera
equivalente a corretraccion, lo cual es falso (el mismo contrajemplo de 1.11)
(e) No toda union es corretraccion; de lo contrario monomorsmo sera equivalente
a corretraccion.
(f) No toda imagen es corretraccion; si fuese as todo monomorsmo sera equiv-
alente a una corretraccion.
(g) No toda imagen inversa es corretraccion; de lo contrario monomorsmo sera
equivalente a corretraccion.
(h) No toda imagen es igualador; si fuese as, todo monomorsmo sera equivalente
a igualador.
(i) No toda interseccion, union o imagen inversa es un igualador: de lo contrario
monomorsmo sera equivalente a igualador.
(j) No todo homomorsmo sobreyectivo es retraccion: Z
j
Z
2
, j(k) = k para
todo k Z.
(k) No todo epimorsmo es sobreyectivo: Z
l
Q.
(l) No todo epimorsmo es coigualador: Z
l
Q.
(m) Sobreyectivo es equivalente a coigualador: h : B ( sobreyectivo, A =
(b, b
) B B [ h(b) = h(b
), h = Coig(p
1
, p
2
), donde p
1
, p
2
son las proyec-
ciones de A en B. Recprocamente, si (B
h
C) = Coig(A
f
B), entonces h
es sobreyectivo.
1.12. EJERCICIOS 51
(n) No toda coimagen es coigualador; de lo contrario coigualador sera equivalente
a epimorsmo.
( n) No todo coigualador es retraccion; si fuese as retraccion sera equivalente a
sobreyectivo.
(o) No toda coimagen es retraccion; si fuese as, epimorsmo sera lo mismo que
retraccion y epimorsmo que sobreyectivo.
Observaci on 1.11.3. En Ani tenemos las siguientes relaciones:
2. Imagen Monomorsmo Union;
3. Monomorsmo Inyeccion Corretraccion Igualador Monomorsmo;
4. Retraccion Sobreyectivo Epimorsmo Coimagen;
5. Sobreyectivo Coigualador Epimorsmo;
6. Biyectivo Isomorsmo Bimorsmo.
1.12. Ejercicios
1. Demuestrar que en la categora Conj los conceptos de monomorsmo, funcion
inyectiva y corretraccion son equivalentes. Establecer tambien la equivalencia
para epimorsmos, funciones sobreyectivas y retracciones. Es Conj balancea-
da?
2. Probar que una corretraccion que sea epimorsmo es isomorsmo.
3. Sea ( una categora; si A
f
B es un morsmo de ( tal que f es correctraccion
y epimorsmo, demuestre que f es un isomorsmo.
4. En una categora cualquiera ( con objeto cero, demuestre que X
f
Y es el
morsmo cero si, y solo si, es factorizable a traves de 0.
5. Si 0 es el objeto cero de una categora (, muestre que para cada X Ob(()
se cumple lo siguiente:
(i) X 0 es epimorsmo.
(ii) 0 X es monomorsmo.
52 CAP
ITULO 1. CATEGOR
IAS
6. Sea ( una categora con cero morsmos. Demuestre que el n ucleo del morsmo
X
0
XY
Y es X
i
X
X. Cual es el con ucleo?
7. Demuestre que Conj es localmente peque na. Pruebe tambien que Conj no es
artiniana ni noetheriana.
8. Sean X
i
l
i
A
iI
, X
i
l
i
A
iI
familias de subobjetos de A tales que para
cada x I, (X
i
l
i
A)

= (X
i
l
i
A). Demuestre que:
(i)
iI
X
i
existe

iI
X
i
existe.
(ii)
iI
X
i
existe

iI
X
i
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
:= x X [ f(x) = g(x).
Describir ademas el coigualador.
10. Describa el producto y la suma brada de funciones en la categora Conj.
11. Sean A
f
B, B
g
C morsmos y C
C
. Demuestre que f
1
((g
1
(C)) =
(g f)
1
(C), suponiendo que ambos terminos de la igualdad esten denidos
es una cierta categora (.
12. Sean f, g como en el ejercicio 11 y A
1
A. Supongase que f(A
1
) y g(f(A
1
)) son
imagenes epimorcas y que la categora en cuestion es balanceada. Demuestre
que g(f(A
1
)) = (g f)(A
1
).
13. Demuestre que Conj es una categora con imagenes epimorcas y coimagenes
monomorcas.
14. Invitamos al lector a estudiar todos los conceptos introducidos en el presente
captulo para la categora Pre establecida en la denicion 1.1.6.
15. Realizar el ejercicio anterior para la categora Grp cuyos objetos son los grupos
y los morsmos son los homomorsmos.
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 bradas.
(v) Describir los coproductos.
1.12. EJERCICIOS 53
(vi) Es Ani cocompleta? (consultar el siguiente captulo).
(vii) Describir el morsmo _.
Captulo 2
Categoras abelianas
2.1. Categoras aditivas
Estudiaremos ahora algunas clases especiales de categoras entre las cuales se desta-
can las aditivas y las abelianas. Se debe se nalar que la categora Mod
A
es uno de
los mejores ejemplos de este tipo de categoras.
Denici on 2.1.1. Una categora ( se dice aditiva si se cumplen las siguientes
condiciones:
(i) ( tiene objeto cero.
(ii) ( tiene coproductos nitos.
(iii) Para cada par de objetos A y B de (, el conjunto Mor(A, B) tiene estructura
de grupo abeliano, de tal forma que la composicion de morsmos es bilineal
con respecto a la adicion de dichos grupos.
Algunas consecuencias inmediatas de esta denicion son las siguientes:
(a) La coleccion de elementos neutros de los grupos Mor(A, B) constituye los cero
morsmos de (. En efecto, si 0
AB
es el elemento neutro de Mor(A, B) y f :
B C, g : D A son morsmos, entonces
f 0
AB
= f (0
AB
+ 0
AB
) = f 0
AB
+f 0
AB
.
Al restar encontramos f 0
AB
= 0
AC
. Analogamente, 0
AB
g = 0
DB
.
(b) ( tiene productos nitos. Sean A
1
, . . . , A
n
objetos de ( y q
j
:
A
i
A
j
n
j=1
su coproducto. Consideremos las proyecciones del coproducto
p
j
:
A
i
A
j
, 1 j n
54
2.1. CATEGOR
IAS ADITIVAS 55
Recordemos que dichas proyecciones son los morsmos denidos unvocamente
por las relaciones
p
j
q
i
=
_
i
A
i
, i = j
0, i ,= j.
(2.1.1)
Veamos que p
j
:
A
i
A
j
n
j=1
es el producto de los objetos A
1
, . . . , A
n
.
En primer lugar, notese que el morsmo
n
k=1
q
k
p
k
es tal que para cada
1 i n, se cumple
_
n
k=1
q
k
p
k
_
q
i
= q
i
.
Puesto que i
A
i
tambien cumple dicha relacion, se sigue por unicidad
n
k=1
q
k
p
k
= i
A
i
.
Sea C
f
j
A
j
n
j=1
una coleccion dada de morsmos. Se tiene entonces el
morsmo
k=1
q
k
f
k
: C
A
i
,
para el cual se tiene
p
j

n
k=1
q
k
f
k
= f
j
, 1 j n.
Si existe otro morsmo g : C
A
i
tal que p
j
g = f
j
para cada 1 j n,
entonces
q
j
p
j
g = q
j
f
j
n
j=1
q
j
p
j
g =
n
j=1
q
j
f
j
i
A
i
g =
n
j=1
q
j
f
j
g =
n
j=1
q
j
f
j
.
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 CAP
ITULO 2. CATEGOR
IAS ABELIANAS
Seg un la a proposicion 1.10.9, los morsmos
ij
: A
j
A
i
, denidos por
ij
:=
_
i
A
i
, i = j
0, i ,= j
determinan un unico morsmo :
A
i

A
i
(=
A
i
), tal que p
i

q
j
=
ij
. Seg un (2.1.1), i
A
i
tambien cumple estas relaciones. Por unicidad,
= i
A
i
.
En adelante denotaremos el producto y el coproducto de una familia nita de
objetos A
1
, . . . , A
n
de una categora aditiva por A
1
A
n
, 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(A
1
A
n
, B
1
B
m
),
y el conjunto de matrices
M = (f
ij
) [ f
ij
Mor(A
j
, B
i
), 1 j n, 1 i m,
pueden ser ampliada. En efecto, Mor(A
1
A
n
, B
1
B
m
) y M son
grupos abelianos isomorfos, donde la adicion en M esta dada por componentes,
(f
ij
) + (g
ij
) = (f
ij
+g
ij
). Ademas, considerando los morsmos
f = (f
ij
) : A
1
A
n
B
1
B
m
y
g = (g
ki
) : B
1
B
m
C
1
C
p
,
la matriz correspondiente al morsmo compuesto g f viene dada por el pro-
ducto de las matrices componentes: sea h := g f el morsmo compuesto, se
sigue que
h
kj
= p
C
k
h q
A
j
= p
C
k
(g f) q
A
j
= p
C
k
g [1
B
1
Bm
] f q
A
j
= p
C
k
g [q
B
1
p
B
1
+ +q
B
m
p
B
m
] f q
A
j
= g
k1
f
1j
+ +g
km
f
mj
=
m
r=1
g
kr
f
rj
, 1 k p, 1 j n.
(El superndice indica la suma directa a la cual se reere la proyeccion o
inyeccion respectiva). En particular se tiene que Mor(A
1
A
n
, A
1
A
n
)
2.1. CATEGOR
IAS ADITIVAS 57
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
M
n
(B), donde B = Mor(A, A).
(d) Los morsmos coproducto y producto denidos en el captulo anterior pueden
representarse matricialmente, y ademas coinciden: sea A
i
f
i
B
i
n
i=1
una
coleccion nita de morsmos. El coproducto
f
i
se dene como el unico
morsmo que hace conmutativo el siguiente diagrama:
iI
A
i
iI
B
i
A
i
B
i
f
i
`
q
A
i
f
i
`
q
B
i
(2.1.2)
1 i n. Consideremos la coleccion h
ij
: A
j
B
i
dada por
h
ij
:=
_
f
i
, i = j
0, i ,= j,
(2.1.3)
existe un unico morsmo h :
A
i

iI
B
i
(=
iI
B
i
) tal que p
B
i
hq
A
j
=
h
ij
. Sin embargo, notese que p
B
i
f
i
q
A
j
= p
B
i
q
B
j
f
j
, lo cual junto con
(2.1.1) implica que p
B
i
f
i
q
A
j
= h
ij
. La unicidad de h garantiza que h = f
i
.
De manera analoga, considerado el producto y las proyecciones, se prueba que
h =
f
i
. El morsmo descrito en (2.1.3) se denomina la suma directa
de f
1
, . . . , f
n
y se denota f
1
f
n
. Matricialmente, la suma directa se
representa como se muestra en la siguiente matriz:
_
_
f
1
0 0 0
0 f
2
0 0
0 0
.
.
. 0
.
.
.
.
.
. 0 f
n1
0
0 0 0 0 f
n
_
_
(e) Con ayuda del lenguaje matricial, se prueba facilmente que en una categora
aditiva ( existe exactamente una forma de denir una estructura de grupo
abeliano sobre los conjuntos de morsmos, tales que la composicion sea bilineal.
En efecto, notese que si + dota de estructura a grupo abeliano a Mor(A, B)
58 CAP
ITULO 2. CATEGOR
IAS ABELIANAS
tal que la composicion es bilineal, seg un lo visto anteriormente se debe tener
que para elementos f, g Mor(A, B),
_
i
B
i
B
_
f 0
0 g
_
_
i
A
i
A
_
=
_
f g
_
i
A
i
A
_
= f +g,
pero este producto corresponde necesariamente al morsmo compuesto
A

A
A A
fg
B B

B
B,
con
B
=
_
i
B
i
B
,
A
=
_
i
A
i
A
_
(vease la denicion 1.10.10).
Al repetir algunas de las ideas expuestas anteriormente, obtenemos el siguiente
resultado.
Corolario 2.1.2. Sea ( una categora aditiva, A
1
, . . . , A
n
, S objetos de (, y A
i
q
i
S
y S
p
i
A
i
, 1 i n, morsmos de (. Las siguientes condiciones son equivalentes:
(i) S es suma directa de los objetos A
i
con inyecciones q
i
y proyecciones p
i
.
(ii) Los morsmos q
i
y p
i
satisfacen
p
j
q
i
=
_
i
A
i
, i = j
0, i ,= j,
n
k=1
q
k
p
k
= i
S
.
2.2. Categoras abelianas
Denici on 2.2.1. Una una categora ( es exacta si posee n ucleos y con ucleos, es
normal y conormal. ( es abeliana si es aditiva y exacta.
Ejemplo 2.2.2. Seg un los resultados del captulo anterior, la categora Mod
A
es
abeliana.
Consideramos a continuacion algunas propiedades de las categoras abelianas que
seran utilizadas en el estudio de las sucesiones exactas.
2.2. CATEGOR
IAS ABELIANAS 59
Proposici on 2.2.3. Si ( es una categora abeliana y A
f
B un morsmo en (,
existe un unico isomorsmo
f
0
: coker(ker(f)) ker(coker(f))
ker(f)
A
coker(ker(f))
coker(f)
B
ker(coker(f))
f
0
(2.2.1)
Demostracion. Puesto que f l = 0, existe un unico morsmo t : coker(ker(f)) B
tal que tk
= f. As, ktk
= kf = 0 = 0k
. Dado que k
es un epimorsmo, se
sigue que kt = 0 y, teniendo en cuenta que l
es n ucelo de k, existe un unico morsmo

f
0
: coker(ker(f)) ker(coker(f)) tal que l
f
0
= t. Por tanto, l
f
0
k
= tk
= f.
Como l
es monomorsmo y k
es epimorsmo, f
0
es unico. Se puede probar que f
0
es un isomorsmo (vease el ejercicio 1).
Corolario 2.2.4. Cada morsmo A
f
B en una categora abeliana ( se factoriza
a traves de un epimorsmo p y un monomorsmo q
A B
C
q
Demostracion. En la prueba de la proposicion anterior k
es un epimorsmo y l
f
0
es un monomorsmo.
Observaci on 2.2.5. A partir de la denicion 2.2.1 podemos concluir que toda
categora abeliana tiene objeto cero, productos y coproductos nitos, n ucleos y
con ucleos, es normal y conormal. Ademas, es facil vericar que toda categora
abeliana ( tiene igualadores y coigualadores. En efecto, si f, g Mor
(
(A, B), en-
tonces Ig(f, g) = ker(f g) y Coig(f, g) = coker(f g).
Proposici on 2.2.6. Si ( es una categora con productos nitos e igualadores, en-
tonces ( tiene productos brados. En particular, toda categora abeliana tiene pro-
ductos brados.
Demostracion. Sean A
1
f
1
A y A
2
f
2
A morsmos y
p
1
: A
1
A
2
A
1
, p
2
: A
1
A
2
A
2
60 CAP
ITULO 2. CATEGOR
IAS ABELIANAS
el producto. Consideremos el igualador C
k
A
1
A
2
de f
1
p
1
y f
2
p
2
:
C A
2
A
1 A
p
2
k
p
1
k
f
2
f
1
Veamos que (C, p
1
k, p
2
k) es el producto brado de f
1
y f
2
. Sean B
g
1
A
1
, B
g
2
A
2
morsmos tales que f
1
g
1
= f
2
g
2
. Existe un unico morsmo h : B A
1
A
2
tal
que p
i
h = g
i
, i = 1, 2. As, f
1
p
1
h = f
1
g
1
= f
2
g
2
= f
2
p
2
h. Existe un
unico morsmo m : B C tal que k m = h. Notese que p
2
k m = p
2
h = g
2
y
p
1
k m = p
1
h = g
1
:
B
C A
2
A
1 A
g
2
`
`
`
`
`
`
`
`
`
g
1
p
2
k
p
1
k
f
2
f
1
Sea m
otro morsmo tal que p

1
k m
= g
1
y p
2
k m
= g
2
. Por la unicidad de
h se tiene que k m
= h, y de la unicidad de m se tiene m
= m.
Proposici on 2.2.7. Una categora con productos brados tiene intersecciones ni-
tas. En particular, toda categora abeliana tiene intersecciones nitas.
Demostracion. Sean A
1
l
1
A y A
2
l
2
A subobjetos de A y su producto brado el
siguiente diagrama:
C A
2
A
1 A
g
2
g
1
l
2
l
1
Seg un la proposicion 1.8.3 del captulo anterior, C precede tanto a A
1
como a A
2
.
Sea X
g
A un morsmo factorizable a traves de A
1
y A
2
: l
1
k
1
= g = l
2
k
2
. Por
la condicion del producto brado existe un unico morsmo m : X C tal que los
2.2. CATEGOR
IAS ABELIANAS 61
siguientes diagramas conmutan:
X C
A
1 A
k
1
g
1
l
1
g
1
l
1
X C
A
2 A
k
2
g
2
l
2
g
2
l
2
En particular, l
2
g
2
m = l
2
k
2
= g = l
1
g
1
m = l
1
k
1
. Puesto que l
2
g
2
es
un monomorsmo, m es unico.
Proposici on 2.2.8. Si A
f
B es un morsmo en una categora abeliana (, en-
tonces:
(i) f es un monomorsmo si, y solo si, f es el n ucleo de su con ucleo. En parti-
cular, A

= ker(coker(f)).
(ii) f es un epimorsmo si, y solo si, f es el con ucleo de su n ucleo. De aqu,
B

= coker(ker(f)).
Demostracion. Si tenemos en cuenta que por denicion cada n ucleo es un monomor-
smo, basta probar (i) en la direccion . Para (ii) aplicamos el principio de dualidad.
Si A
f
B es un monomorsmo, su n ucleo es 0 A. Ademas, (A
i
A
A) =
coker(0 A). Por tanto, se tiene el siguiente diagrama conmutativo, donde f
0
es
un isomorsmo (proposicion 2.2.3):
0 A A
coker(f)
B
ker(coker(f))

i
A
f
0
h
En consecuencia, se tiene la equivalencia de subobjetos
(A
f
B)

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

=
ker(coker(f)).
Corolario 2.2.9. Toda categora abeliana es balanceada.
Demostracion. Sea A
f
B un bimorsmo. Notese que B
0
B es el con ucleo de f.
Seg un la proposicion 2.2.8, f es el n ucleo de B
0
B. Puesto que 0 i
B
= 0, existe
62 CAP
ITULO 2. CATEGOR
IAS ABELIANAS
un morsmo t : B A tal que f t = i
B
.
A B B
B
0
`
t
i
B
Ademas, f (t f) = i
B
f = f = f i
B
, y dado que f es un monomorsmo,
t f = i
B
. Por tanto, f es un isomorsmo.
Proposici on 2.2.10. Toda categora abeliana ( tiene imagenes y coimagenes. Mas
exactamente, si A
f
B es un morsmo en (, entonces Im(f) = ker(coker(f)) y
Coim(f) = coker(ker(f)).
Demostracion. Dado que la categora es abeliana, el morsmo f
0
del diagrama
(2.2.1) es un isomorsmo. De esta manera, si z := f
0
k
, tenemos que z es un
epimorsmo y el siguiente diagrama conmutativo:
A B
ker(coker(f))
f
`
`
`
`
z
donde l
es denida como en (2.2.1).

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

A B
ker(coker(f))
Y
`
`
`
`
z
`
`
`
`
`
`
`
t
Seg un la proposicion 2.2.7, ( tiene intersecciones nitas. Sea ker(coker(f))
Y
l
B
la interseccion de ker(coker(f))
l
B y Y
h
B,
A
ker(coker(f)) Y
ker(coker(f))
B
l
1
l
>
>
>
>
>
> >.
f
A
ker(coker(f)) Y
Y B
`
`
`
`
`
`
`
l
2
.
f
2.2. CATEGOR
IAS ABELIANAS 63
La existencia de m y la conmutatividad de los diagramas anteriores estan garanti-
zados por la condicion de interseccion. Por tanto, se tiene el diagrama conmutativo
A B
A
ker(coker(f))
B
ker(coker(f)) Y
Y
i
A
z
`
`
`
`
`
`
`
`
`
`
`
`
`
m
f
`
`
`
`
`
`
`
`
`
`
`
`
`
t
`
i
B
l
2
`
l
`
l
1
`
h
En particular, l
l
1
= l, de donde l
l
1
m = l m = f = l
z. Como l
es un
monomorsmo, entonces l
1
m = z. Dado que z es un epimorsmo, l
1
tambien lo
es, con lo cual l
1
es un isomorsmo (recuerdese que ( es balanceada). Por tanto,
obtenemos el morsmo ker(coker(f))
l
2
(l
1
)
1
Y tal que h
l
2
(l
1
)
1
= l
. El
hecho que h
sea un monomorsmo implica que l

2
(l
1
)
1
es unico. 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 imagenes epimorcas y coimagenes
monomorcas.
Demostracion. En la prueba anterior se mostro que z es un epimorsmo. La segunda
armacion se sigue por dualidad.
Corolario 2.2.12. Si ( es una categora abeliana, se tiene que:
(i) A
f
B es un monomorsmo si, y solo si, Coim(f) = (A
i
A
A).
(ii) A
f
B es un epimorsmo si, y solo si, Im(f) = (B
i
B
B).
Demostracion. Al aplicar dualidad, basta probar (i).
64 CAP
ITULO 2. CATEGOR
IAS ABELIANAS
): tenemos el diagrama conmutativo
A B
A
Y
i
A
`
`
`
`
`
`
`
`
g
f
`
g
1
`
h
Puesto que suponemos que h g = f y f es un monomorsmo, tenemos que g
tambien lo es. Ahora, dado que ( es balanceada, g es un isomorsmo.
): 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 denidas en categoras mas generales,
supondremos en esta seccion que trabajamos en categoras abelianas.
Denici on 2.3.1. Una sucesion de morsmos
A
i
f
i
A
i+1
f
i+1
A
i+2
(2.3.1)
se dice exacta si para cada i, Im(f
i
) = ker(f
i+1
).
Esta denicion tambien puede plantearse en terminos de con ucleo y coimagen.
El con ucleo de f
i
, A
i+1
coker(f
i
), es un epimorsmo, as por las proposiciones
2.2.8 y 2.2.10 tenemos que
coker(f
i
) = coker(ker(coker(f
i
)))
= coker(Im(f
i
))
= coker(ker(f
i+1
))
= Coim(f
i+1
)
Consideremos ahora algunas sucesiones exactas especiales.
Proposici on 2.3.2. (i) 0 A
f
B es exacta si, y solo si, f es monomorsmo.
(ii) A
f
B 0 es exacta si, y solo si, f es epimorsmo.
(iii) 0 A
f
B 0 es exacta si, y solo si, f es isomorsmo.
2.3. SUCESIONES EXACTAS 65
(iv) 0 A
f
B
g
C es exacta si, y solo si, f es el n ucleo de g.
(v) A
f
B
g
C 0 es exacta si, y solo si, g es el con ucleo de f.
(vi) 0 A
f
B
g
C 0 es exacta si, y solo si, f es el n ucleo de g y g es
epimorsmo si, y solo si, g es el con ucleo de f y f es un monomorsmo.
Demostracion. (i) Seg un el corolario 2.2.12, f es un monomorsmo si, y solo si, se
cumple que Coim(f) = A
i
A
A. Ademas, coker(0 A) = (A
i
A
A).
(ii) Principio de dualidad.
(iii) Al tener en cuenta que una categora abeliana es balanceada, (iii) es conse-
cuencia de (i) y (ii)
(iv) ): como la sucesion es exacta, f es un monomorsmo e Im(f) = ker(g).
Ahora, dado que f es un monomorsmo, f coincide con su imagen:
A B
A
C
i
A
`
`
`
`
`
`
`
`
h
`
t
): si (A
f
B) = ker(g), entonces f es un monomorsmo y, por lo tanto, (A
f
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
0 A
f
B
g
C 0 (2.3.2)
se denominan exactas cortas. Seg un (vi), g es el con ucleo de f y f es un monomor-
smo. En la categora Mod
A
el con ucleo de f es precisamente B/Im(f). Dado que
f es un monomorsmo 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 monomorsmo
A
f
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 CAP
ITULO 2. CATEGOR
IAS ABELIANAS
1
, A
2
, S objetos y p
i
: S A
i
, q
i
: A
i
S, 1 i 2,
morsmos. Las siguientes condiciones son equivalentes:
(i) S = A
1
A
2
, con proyecciones p
i
e inyecciones q
i
, 1 i 2.
(ii) p
i
q
i
= i
A
i
, 1 i 2 y las sucesiones
0 A
1
q
1
S
p
2
A
2
0 (2.3.3)
0 A
2
q
2
S
p
1
A
1
0 (2.3.4)
son exactas.
(iii) q
i
, q
2
son monomorsmos, p
1
, p
2
son epimorsmos y ademas
q
1
p
1
+q
2
p
2
= i
S
; (q
i
p
i
)
2
= q
i
p
i
, 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 p
2
es una retraccion, resulta ser un epimorsmo. Resta ver que q
1
es el n ucleo de
p
2
. Seg un (i), p
2
q
1
= 0. Sea f : C S tal que p
2
f = 0. Notese que el morsmo
p
1
f hace conmutativo el siguiente diagrama:
A
1 S A
2
C
q
1
p
2
`
p
1
f
f
En efecto, q
1
p
1
f = q
1
p
1
f + q
2
p
2
f = (q
1
p
1
+ q
2
p
2
) f = f, ya que
seg un el corolario 2.1.2, q
1
p
1
+q
2
p
2
= i
S
. Ademas, como q
1
es un monomosmo,
se sigue que p
1
f es el unico que hace conmutativo el diagrama anterior.
(ii) (i): sean f
i
: B A
i
, i = 1, 2, morsmos, y sea f := q
1
f
1
+ q
2
f
2
:
B S. Se tiene que p
i
f = f
i
, i = 1, 2. Supongase que existe otro morsmo
g : B S tal que p
i
g = f
i
, i = 1, 2. Esto implica que p
i
(f g) = 0, y como
q
1
= ker(p
2
), existe un unico morsmo h : B A
1
tal que q
1
h = f g, es decir,
f g = q
1
i
A
1
h = q
1
p
1
q
1
h = q
1
p
1
(f g) = 0, con lo cual f = g. Esto
muestra que S junto con p
1
y p
2
conforman el producto de A
1
y A
2
. De manera dual
se establece que S con q
1
y q
2
conforman el coproducto.
(i) (iii) Consecuencia directa del corolario 2.1.2.
(iii) (i) Para aplicar el corolario 2.1.2 basta mostrar que
p
j
q
i
=
_
i
A
i
, i = j,
0 i ,= j.
2.4. EJERCICIOS 67
Como q
1
p
1
q
1
p
1
= q
1
p
1
= q
1
i
A
1
p
1
, al cancelar obtenemos p
1
q
1
=
i
A
1
. Analogamente, p
2
q
2
= i
A
2
. Ademas, el hecho q
1
p
1
+ q
2
p
2
= i
S
implica
p
2
q
1
p
1
+p
2
q
2
p
2
= p
2
, con lo cual, p
2
q
1
p
1
+p
2
= p
2
, esto es, p
2
q
1
p
1
= 0,
y por tanto, p
2
q
1
= 0. De manera similar puede verse que p
1
q
2
= 0.
Tal como dijimos al inicio de la seccion, todos los resultados que hemos probado
son aplicables a la categora Mod
A
.
2.4. Ejercicios
1. Demuestre que el morsmo f
0
de la proposicion 2.2.3 es un isomorsmo.
2. Demuestre que si ( es una categora con coproductos nitos y coigualadores,
entonces ( tiene sumas bradas. En particular, toda categora abeliana tiene
sumas bradas.
3. Demuestre que toda categora abeliana tiene imagenes inversas.
4. Demuestre que toda categora abeliana tiene uniones nitas.
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.
Denici on 3.1.1. Sean B, ( categoras. Un funtor covariante F : B ( se
dene por:
(i) Una funcion, denotada tambien por F : Ob(B) Ob((), que asigna a cada
objeto B de B un objeto F(B) de (;
(ii) Para cada par de objetos A, B de B se dene una funcion tambien denotada
por
F : Mor
B
(A, B) Mor
(
(F(A), F(B))
f F(f)
que cumple las siguientes condiciones:
(iii) F(f g) = F(f) F(g)
(iv) F(i
B
) = i
F(B)
para cualesquiera morsmos f, g de B compatibles para la composicion y para cada
objeto B de B.
Un funtor contravariante de B en ( se dene como antes pero cambiando
(ii) y (iii) de la siguiente manera:
F : Mor
B
(A, B) Mor
(
(F(B), F(A))
dado por f 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 i
B
de una categora B en s misma, tal que i
B
(B) =
B, i
B
(f) = f, para cualesquiera B Ob(B) y f Mor(B).
(ii) Funtor inclusion L de una subcategora / de B en B, denidio de manera
natural, L(A) := A y L(f) := f, para cada objeto A de / y cada morsmo f
de /.
(iii) Funtor olvido F
0
de una categora ( cuyos objetos son conjuntos con alguna
estructura (algebraica, topologica, etc) y con morsmos que respetan dicha
estructura, en la categora Conj de conjuntos. F
0
asigna a cada objeto C de
( el conjunto C olvidandose de su estructura, y a cada morsmo f de ( la
funci on conjuntista subyacente f. Ademas de este funtor, se tienen funtores
que olvidan parcialmentela estructura:
Ani Ab
Mod
A
Ab,
donde Ab es la categora de grupos abelianos.
(iv) A cada funtor covariante F : B ( corresponde un funtor contravariante
F
: B
(, denido 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 ( correspon-
de un funtor contravariante (covariante) F
: B C
denido 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.
Denici on 3.1.3. Dados dos funtores F : B ( y G : ( T se dene el funtor
composicion G F : B T de manera natural
G F(B) = G(F(B)), B Ob(B),
G F(f) = G(F(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 (co-
variante), la composicion G F es contravariante. Es evidente que la composicion
de funtores es asociativa, y ademas F i
B
= F, i
(
F = F, para cada funtor F
70 CAP
ITULO 3. FUNTORES
con i
B
, i
(
denidos como en el ejemplo 3.1.2. Notemos que si Cat denota la co-
leccion de categoras peque nas, entonces Cat es una categora cuyos morsmos son
los funtores.
Ejemplo 3.1.4. Sea ( una categora y A un objeto jo de ( (denominado en es-
tos casos objeto representante). Se tienen los funtores F
A
:= Mor
(
(A, ) y
F
A
:= Mor
(
(, A), denominados funtor representable covariante y funtor
representable contravariante, y estan denidos por:
F
A
: ( Conj
X F
A
(X) := Mor(A, X)
X
f
Y F
A
(f) : Mor(A, X) Mor(A, Y ), g f g
Denotamos F
A
(f) := f
A
.
F
A
: ( Conj
X F
A
(X) := Mor(X, A)
X
f
Y F
A
(f) : Mor(Y, A) Mor(X, A), g g f.
Denotamos F
A
(f) := f
A
. Notemos que
(F
A
)
= F
A
, (F
A
)
= F
A
.
Denici on 3.1.5. Sean B y ( categoras tales que los conjuntos de morsmos en ca-
da una de ellas tengan estructura de grupos abelianos , y ademas que la composicion
sea bilineal respecto de la adicion en dichos grupos (tales categoras se denominan
preaditivas). Un funtor F : B ( covariante (contravariante) se dice aditivo si
F(f + g) = F(f) + F(g) para cualesquiera mormos f, g en B compatibles para la
adicion.
Esta condicion es equivalente a que cada una de las funciones
Mor
B
(A, B)
F
Mor
(
(F(A), F(B)),
Mor
B
(A, B)
F
Mor
(
(F(B), F(A))
sea un homomorsmo de grupos. Observese que F(0) = 0 para cada cero morsmo
0 en B. Ademas, F
A
y F
A
son funtores aditivos para cada categora preaditiva ( y
cada objeto A de (. 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 homomorsmo en algebra. As, queremos
denir las nociones de funtor inyectivo, sobreyectivoy biyectivo.
3.1. FUNTORES 71
Denici on 3.1.6. Sean B y ( categoras. Un funtor F : B ( se dice el si cada
una de las funciones Mor
B
(A, B)
F
Mor
(
(F(A), F(B)), es inyectiva. El funtor
se dice pleno si cada una de las funciones Mor
B
(A, B)
F
Mor
(
(F(A), F(B)) es
sobreyectiva. F se dice representativo si dado C Ob(() existe B Ob(B) tal
que F(B)

= C. Una equivalencia entre B y ( es un funtor F : B ( que
sea el, pleno y representativo. Dos categoras se dicen equivalentes si existe una
equivalencia entre ellas.
Notese que si F es aditivo, ser el es equivalente a que para cada f ,= 0 en
Mor(A, B), F(f) ,= 0 en Mor
(
(F(A), F(B)). De otra parte, la relacion de equi-
valencia entre categoras es claramente reexiva y transitiva. La proposicion 3.1.8
mostrara que dicha relacion tambien es simetrica.
Denici on 3.1.7. Sean B y ( categoras y F, G : B ( funtores covariantes. Una
transformacion natural : F G asigna a cada objeto X de B un morsmo
X
: F(X) G(X) en (, tal que para cada morsmo X
f
Y de B el siguiente
diagrama es conmutativo:
X
Y
f
F(X) G(X)
F(Y ) G(Y )
F(f)
G(f)
Y
Una transformacion natural entre functores contravariantes se dene de la siguiente
manera:
X
Y
f
F(X) G(X)
F(Y ) G(Y )
X
`
F(f)
Y
`
G(f)
Un ejemplo trivial de transformacion natural lo constituye la identica de cada
funtor F : B (, i
F
: F F, que asigna a cada objeto X de B el morsmo
identidad F(X)
i
F(X)
F(X).
Si para cada objeto X de B,
X
es un isomorsmo, decimos que es un iso-
morsmo natural o isomorsmo funtorial (en tal caso, tambien se tiene el
isomorsmo funtorial
1
: G F denido por (
1
)
X
= (
X
)
1
, para cada X
de B). Si : F G y : G H son transformaciones naturales se dene su
72 CAP
ITULO 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, () de todos los funtores
covariantes de B en ( junto con las transformaciones naturales constituyen una
categora (la coleccion de transformaciones naturales entre dos funtores F, G : B (
es un subconjunto del conjunto producto cartesiano
XObB
Mor
B
(F(X), G(X))).
El contenido de la siguiente proposicion puede tomarse como la denicion de
categoras equivalentes, la cual resulta ser una relacion simetrica, y por la denicion
3.1.6, una relacion de equivalencia.
Proposici on 3.1.8. Un funtor F : B ( es una equivalencia si, y solo si, existe
un funtor G : ( B e isomorsmos funtoriales G F

i
B
, F G

i
(
.
Demostracion. ): sea F : B ( un funtor el, pleno y representativo. Denimos
G : ( B de la siguiente manera: dado C Ob(() 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(B)

= C). Sea C
f
C
un morsmo en ( y h
C
, h
C
isomorsmos tal como se
ilustra en el siguiente diagrama:
.
F(B)
C
F(B
)
C
h
C
(h
C
)
1
fh
C
h
C
Puesto que Mor

B
(B, B
) Mor
(
(F(B), F(B
)) es sobreyectiva e inyectiva, existe

un unico

f : B B
tal que F(
f) = (h
C
)
1
f h
C
. Por esta razon se dene
G(f) :=

f. Veamos que G es un funtor; podemos esquametizar la prueba de la
3.1. FUNTORES 73
siguiente manera:
C
f
1
C
f
2
C
, F(B)

= C, F(B
)

= C
, F(B
)

= C
F(B)
C
F(B
)
C
F(B
)
C
h
C
(h
C
)
1
f
1
h
C
f
1
(h
C
)
1
f
2
h
C
h
C
f
2
h
C
de donde se obtiene
G(f
1
) =

f
1
, donde F(
f
1
) = (h
C
)
1
f
1
h
C
, G(f
2
) =

f
2
, con F(
f
1
) = (h
C
)
1
f
2
h
C
.
Por tanto, G(f
2
f
1
) =

f
2

f
1
, ya que F(
f
2

f
1
) = (h
C
)
1
f
2
f
1
h
C
. Ahora,
dado que F(i
B
) = i
C
se sigue G(i
C
) = i
B
= i
G(C)
, con F(B)

= C.
Veamos que existe un isomorsmo funtorial entre F G e i
(
. Sea C Ob(().
Se tiene que F G(C)

= C, con isomorsmo
(
= h
C
:
C
C
f

F G(C)
C
F G(C
)
C
FG(f)
(3.1.1)
Ahora mostremos la existencia de un isomorsmo funtorial entre G F e i
B
. Sea
B
z
B
un morsmo en B y sean F(B) = C, F(B
) = C
. Existen

B,

B
en B tales
que F(
B)

= C, F(
)

= C
, por lo que G(C) :=

B y G(C
) :=

B
. Sea f := F(z).
Al aplicar (3.1.1) se obtiene el diagrama conmutativo
C = F(B)
C
= F(B
F(z)=f

F[G(F(B))] F(B)
F[G(F(B
))] F(B
F(B)
F[G(f)]
F(B
)
(3.1.2)
74 CAP
ITULO 3. FUNTORES
Puesto que F es un funtor el y pleno, existen isomorsmos ( unicos) G(F(B))

B
B,
G(F(B
))

B
tales que F(
B
) =
F(B)
y F(
B
) =
F(B
)
. Dado que F es pleno,
existe w : G F(B) G F(B
) tal que F(w) = F G(f). Ahora, por la delidad

de F se tiene w = G(f). Por consiguiente
B
B
z

G F(B)
B
G F(B
)
B
w=GF(z)
La conmutatividad se obtiene de la conmutatividad de (3.1.2) y del hecho que F es

el.
): la hipotesis garantiza la conmutatividad de los siguientes diagramas en los
cuales
C
,
C
,
B
,
B
, son isomorsmos:
C
C
f

F G(C)
C
F G(C
)
C
FG(f)
B
B
z

G F(B)
B
G F(B
)
B
GF(z)
Veamos que F es representativo: dado C Ob(() existe G(C) Ob(B) tal que
F[G(C)]

= C. Mostremos que F es el: sean z
1
, z
2
: B
1
B
1
morsmos en B tales
que F(z
1
) = F(z
2
). Se tiene que G F(z
1
) = G F(z
2
), lo cual implica
1
(G F)(z
1
) = z
1

B
1
,
1
(G F)(z
2
) = z
2

B
1
,
de donde z
1
B
1
= z
2
B
1
, y as, z
1
= z
2
. En consecuencia, F es el, y por simetra,
G es el.
3.2. FUNTORES EXACTOS 75
Finalmente, mostremos que F es pleno. Sea f : F(B) F(B
) un morsmo de
Mor
(
(F(B), F(B
)). Al considerar el isomorsmo funtorial se induce z : B B
G F(B)
B
G F(B
)
B
G(f)
z=
B
G(f)(
B
)
1
Veamos que F(z) = f. Tenemos

B
B
z

G F(B)
B
G F(B
)
B
GF(z)
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 el.
Denici on 3.1.9. Sean F : B ( y G : ( 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 isomorsmo funtorial
: Mor
(
(F, ) Mor
B
(, G)
entre los bifuntores
F := Mor
(
(F, ) : B ( Conj (Contr cov)
G := Mor
B
(, G) : B ( Conj (Contr cov).
3.2. Funtores exactos
En la seccion anterior se establecio la aditividad de los funtores representables
Mor(A, ) : ( Ab y Mor(, A) : ( Ab, donde ( es una categora abeliana
y A un objeto jo de (. Cuando ( = Mod
A
y N es un A-modulo jo, los fun-
tores representables se denotan por Hom
A
(N, ) y Hom
A
(, 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 intro-
duciremos a continuacion pueden ser tratadas en categoras mas generales, nosotros
supondremos, si no se advierte lo contrario, que las categoras son abelianas.
76 CAP
ITULO 3. FUNTORES
Denici on 3.2.1. Un funtor F : B ( 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 (. 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 (. 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 (, 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 (. 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 ( es exacto a izquierda si, y solo si, preserva n ucleos,
es decir, F(ker(f)) = ker(F(f)) para cada morsmo f de B.
(ii) Un funtor F : B ( es exacto a derecha si, y solo si, preserva con ucleos.
Denici on 3.2.2. Un funtor F : B ( 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 (.
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 ( es aditivo si, y solo si, preserva sumas
directas nitas con las correspondientes proyecciones e inyecciones.
Demostracion. ): consideremos la suma directa (vease el corolario 2.1.2)
A
1
A
1
A
2
A
2
A
1
A
2
q
1
i
A
1
p
2
p
1
i
A
2
q
2
donde
p
j
q
i
=
_
i
A
i
, i = j,
0, i ,= j
q
1
p
1
+q
2
p
2
= i
A
1
A
2
.
3.2. FUNTORES EXACTOS 77
Se tiene que
F(p
j
) F(q
i
) =
_
i
F(A
i
)
, i = j,
0, i ,= j
y F(q
1
) F(p
1
) + F(q
2
) F(p
2
) = i
F(A
1
A
2
)
. Seg un el corolario 2.1.2, F(A
1
A
2
)
es suma directa de F(A
1
) y F(A
2
) con inyecciones F(q
i
) y proyecciones F(p
i
) 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 = _
B
(f g)
A
, donde
_
B
, f g,
A
estan denidos por las siguientes identidades (veanse la denicion
1.10.10 y (2.1.2)):
_
B
q
B
i
= i
B
, p
A
i

A
= i
A
, i = 1, 2,
A A B B
A B
fg
`
q
A
1
f
`
q
B
1
A A B B
A B
fg
`
q
A
2
g
`
q
B
2
Al aplicar F encontramos
F(_
B
) q
F(B)
i
= i
F(B)
, i = 1, 2
p
F(A)
i
F(
A
) = i
F(A)
, i = 1, 2
esto es, F(_
B
) = _
F(B)
y F(
A
) =
F(A)
. Ademas, F((f g) q
A
1
) = F(q
B
1
f)
implica F(f g) q
F(A)
1
= q
F(B)
1
F(f), y de F((f g) q
A
2
) = F(q
B
2
f), se obtiene
F(f g) q
F(A)
2
= q
F(B)
2
F(g). Por consiguiente, F(f g) = F(f) F(g), y en
consecuencia F(f)+F(g) = _
F(B)
(F(f)F(g))
F(A)
= F(_
B
(f g))
A
) =
F(f +g).
Proposici on 3.2.4. Todo funtor semiexacto F : B ( es aditivo.
Demostracion. Seg un la proposicion 3.2.3, basta probar que F preserva las sumas
directas nitas. Sea S = A
1
A
2
la suma directa de A
1
y A
2
con inyecciones q
1
, q
2
y proyecciones p
1
, p
2
; de la proposicion 2.3.3 tenemos que p
i
q
i
= i
A
i
, i = 1, 2, y la
exactitud de las sucesiones 0 A
1
q
1
S
p
2
A
2
0, 0 A
2
q
2
S
P
1
A
1
0. Al
aplicar el funtor F obtenemos las siguientes sucesiones exactas:
0 F(A
1
)
F(q
1
)
F(S)
F(p
2
)
F(A
2
) 0
0 F(A
2
)
F(q
2
)
F(S)
F(p
1
)
F(A
1
) 0.
En efecto, F(p
i
) es un epimorsmo y F(q
i
) es un monomorsmo para i = 1, 2, ya
que F(p
i
) F(q
i
) = i
F(A
i
)
, i = 1, 2. La semiexactitud completa la prueba.
78 CAP
ITULO 3. FUNTORES
Ejemplo 3.2.5. Para cada A-modulo jo N, el funtor covariante representable dado
por Hom
A
(N, ) : Mod
A
Ab, es aditivo y exacto a izquierda. Analogamente,
el funtor contravariante representable Hom
A
(, N) : Mod
A
Ab, es aditivo y
exacto a izquierda. En efecto, en la denicion 3.1.5 se haba notado que los funtores
representables son aditivos. Esto tambien puede obtenerse de la proposici on 3.2.4
si probamos que dichos funtores son exactos a izquierda. Consideremos el caso co-
variante; el contravariante lo dejamos a cargo del lector. Sea 0 M
1
f
M
2
g
M
3
una sucesion exacta de A-modulos. Al aplicar Hom
A
(N, ) se obtiene la sucesion
0 Hom
A
(N, M
1
)
f
N
Hom
A
(N, M
2
)
g
N
Hom
A
(N, M
3
). Debemos probar que
Im(f
N
) = ker(g
N
) y que f
N
es inyectiva (recordemos que Ab = Mod
Z
). Sea
h : N M
1
tal que f
N
(h) = 0, es decir, f h = 0. Dado que f es un monomorsmo,
h = 0 y as f
N
es inyectiva. Ahora, sea t : N M
2
tal que g
N
(t) = 0, esto es,
g t = 0. Como f es el n ucleo de g existe un A-homomorsmo r : N M
1
tal
que f r = t, es decir, f
N
(r) = t. Esto indica que t Im(f
N
). Recprocamente, sea
t Im(f
N
). Existe r : N M
1
tal que t = f r, y de aqu, gt = gf r = 0 ya que
g f = 0. En conclusion, t ker(g
N
) y la igualdad Im(f
N
) = ker(g
N
) esta probada.
3.3. Lmites y colmites
Presentamos en esta secci on 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.
Denici on 3.3.1. Sea F : L ( un funtor, donde L es una categora peque na y (
una categora cualquiera. Para X Ob(() y cada i I := Ob(L) supongase dado
un morsmo f
i
: X F
i
, con F
i
:= F(i). La familia (f
i
)
iI
se dice compatible si
para cada morsmo g : i j en L se tiene que f
j
= F(g) f
i
:
i
j
g

X
F
i
F
j
f
i
f
j
F(g)
Un lmite (o lmite proyectivo) de F es un objeto Lim
F de ( junto con una

familia compatible de morsmos p
i
: Lim
F F
i
, tal que para cualquier otra familia
compatible f
i
: X F
i
existe un unico morsmo f : X Lim
F para el cual
3.3. L
IMITES Y COL
IMITES 79
p
i
f = f
i
, esto es,
i
j
g

X
Lim
F
F
i
F
j
-
f
i
`
`
`
`
`
`
`
`
`
f
j
p
i
p
j
F(g)
Se dice que ( es una categora completa si para cada categora peque na L y cada
funtor F : L ( existe el lmite proyectivo.
Debido a la unicidad, el lmite de F es unico salvo isomorsmo. De manera dual
se dene el colmite de un funtor covariante F : L (, donde L es nuevamente una
categora peque na y ( una categora cualquiera. No sobra en este momento repetir
las ideas duales.
Denici on 3.3.2. Un colmite (o lmite inductivo) de F es un objeto Lim
F de
( con una familia compatible de morsmos q
i
: F
i
Lim
F, tal que para cualquier

otra familia compatible f
i
: F
i
X existe un unico morsmo f : Lim
F X para
el cual f q
i
= f
i
:
i
j
g

X
Lim
F
F
i
F
j
`
f
`
f
i
q
i
F(g)
q
j
`
`
`
`
`
`
`
`
`
f
j
Se dice que ( es cocompleta si Lim
F existe para cada categora peque na L y cada

funtor F : L (.
El colmite de F es unico salvo isomorsmo. Antes de probar que Mod
A
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 CAP
ITULO 3. FUNTORES
Ejemplo 3.3.3. Sean ( una categora cualquiera, I un conjunto no vaco, X
i
iI
un conjunto de objetos de ( (uno por cada i I), f
ij
: X
i
X
j
iI
un conjunto
dado de morsmos en (, donde para cada par i, j de I puede haber mas de un
morsmo o ninguno de X
i
en X
j
. Ademas, se supone que f
ii
= i
X
i
para cada i I.
Se denen el lmite y el colmite de (X
i
)
iI
de la siguiente manera: sea L la categora
peque na donde Ob(L) := I, y a cada morsmo f
ij
: X
i
X
j
se asocia un morsmo
f
ij
: i j. Se dene el funtor F : L (, F(i) := X
i
, F(f
ij
) := f
ij
. As, se dene
Lim
X
i
:= Lim
F, y, Lim
X
i
:= Lim
F (en caso de que los ultimos lmites existan). En

particular, al tomar como conjunto dado de morsmos (f
ij
: X
i
X
j
)
iI
solamente
las identidades, entonces Lim
X
i
=
X
i
y Lim
X
i
=
X
i
.
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 ( es una categora cualquiera, un funtor F : I ( se
denomina sistema directo (o dirigido) de ( sobre I; se acostumbra a identicar
a F con sus imagenes: F
i
:= F(i), f
ij
iI
, donde f
ij
: F
i
F
j
es el morsmo
correspondiente a i j. Ademas,
f
ii
= i
F
i
, (i j k f
jk
f
ij
= f
ik
).
Un sistema inverso de ( sobre I es cualquier funtor F : I
(. Sea I un
conjunto dirigido y F : I ( un sistema directo de (, F
i
, f
ij
i,jI
; se llama lmite
directo de F (o de F
i
iI
) al lmite inductivo Lim
F. El lmite proyectivo Lim
F
del sistema inverso F : I
( 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 M
i
, f
ij
iI
un sistema dirigido
de A-modulos. El lmite directo Lim
M
i
existe y se calcula como sigue: formamos la
union disyunta

M
i
de los conjuntos M
i
, i I, denimos la relacion en

M
i
por:
x y (x M
i
, y M
j
, existe k I con i k, j k y f
ik
(x) = f
jk
(y) M
k
).
Notese que es de equivalencia. Veamos que Lim
M
i
=

M
i
/ . Para cada i I
se tiene la funcion canonica
q
i
: M
i
Lim
M
i
x
i
q
i
(x
i
) := x
i
tal que si i j entonces q
j
f
ij
= q
i
. Esto indica que q
i
iI
es una familia compatible
de morsmos. Observese que cada elemento x Lim
M
i
es de la forma x = q
i
(x
i
)
3.3. L
IMITES Y COL
IMITES 81
para alg un i I y x
i
M
i
. Se dice que x es representado por x
i
. Debemos mostrar
que Lim
M
i
es un A-modulo y que q
i
es un A-homomorsmo. Sean x, y Lim
M
i
representados por x
i
M
i
, y
j
M
j
, respectivamente. Sea k I tal que i k, j k.
Denimos x+y como el elemento de Lim
M
i
representado por f
ik
(x
i
)+f
jk
(y
j
) M
k
.
Para a A se dene x.a como el representado por x
i
.a M
i
. Estas operaciones
estan bien denidas y dotan a Lim
M
i
de estructura de A-modulo. Ademas, q
i
es
una A-homomorsmo para cada i I: nos limitaremos a probar que la adicion
esta bien denida; las pruebas de las armaciones restantes las encomendamos al
lector. Sean x, y Lim
M
i
representados por x
i
M
i
y y
j
M
j
, respectivamente,
de tal manera que x + y = f
ik
(x
i
) +f
jk
(y
j
), con i, j k; supongase que x =
x
r
, y = y
s
, entonces x
r
= x
i
, y
s
= y
j
y existen l i, r y w j, s tales que
f
rl
(x
r
) = f
il
(x
i
), f
sw
(y
s
) = f
jw
(y
j
). Sea t l, w, se tiene t l i y f
lt
(f
il
(x
i
)) =
f
lt
(f
rl
(x
r
)), es decir, f
it
(x
i
) = f
rt
(x
r
). Analogamente, t w j y f
jt
(y
j
) = f
st
(y
s
).
Por consiguiente, t r, s y x +y = f
rt
(x
r
) +f
st
(y
s
) = f
it
(x
i
) +f
jt
(y
j
). Sea v t, k.
Tenemos v k i, j y f
kv
(f
ik
(x
i
)+f
jk
(y
j
)) = f
iv
(x
i
)+f
jv
(y
j
). Tambien, v t i, j
con lo cual f
tv
(f
it
(x
i
) +f
jt
(y
j
)) = f
iv
(x
i
) +f
jv
(y
j
). Esto indica que
f
ik
(x
i
) +f
jk
(y
j
) = f
it
(x
i
) +f
jt
(y
j
) = f
rt
(x
r
) +f
st
(y
s
),
lo cual completa la prueba.
Resta vericar el cumplimiento de la propiedad universal del lmite inductivo:
sea h
i
: M
i
N, i I, una familia compatible de A-homomorsmos. Denimos la
aplicacion h : Lim
M
i
N como sigue: h(x
i
) := h
i
(x
i
). La condicion de compati-
bilidad garantiza que h es un A-homomorsmo bien denido. Ademas, es claro que
h q
i
= h
i
para cada i I. Esto completa la prueba de que

M
i
/ es el lmite
inductivo de M
i
, f
ij
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 Mod
A
es completa y cocompleta. La siguiente proposicion puede
ser demostrada bajo hipotesis mas debiles. Sin embargo, para nuestros propositos es
suciente el siguiente enunciado.
Proposici on 3.3.6. Si ( una categora abeliana con productos, entonces ( es com-
pleta.
Demostracion. En efecto, sea L una categora peque na y g : i j un morsmo en
L. Denotamos
d(g) := dominio de g = i;
c(g) := codominio de g = j.
82 CAP
ITULO 3. FUNTORES
Sea F : L ( un funtor. Para cada g denotamos por k
g
el morsmo
k
g
:= F(g) p
d(g)
p
c(g)
:
iI
F(i) F(c(g)),
donde las p son las proyecciones del producto
iI
F(i) e I := Ob(L). Por la
propiedad universal del producto
gMor(L)
F(c(g)), se induce un unico morsmo
k :
iI
F(i)
gMor(L)
F(c(g))
F
i
F(c(g)) F(c(g))
k
`
`
`
`
`
`
kg
pr(g)
donde pr(g) es la proyeccion canonica. Sea ker(k)
l

F(i) el n ucleo de k. Veamos

que Lim
F = ker(k) con la familia de morsmos h

i
:= p
i
l : ker(k) F(i)
iI
.
Notese en primer lugar que h
i
iI
es una familia compatible de morsmos
i
j
g

ker(k)
F(i) F(j)
h
i
h
j
F(g)
F(g) h
i
= F(g) p
i
l = (k
g
+p
j
) l = k
g
l +p
j
l = 0 +p
j
l = h
j
(k l = 0 pr(g) k l = 0 k
g
l = 0).
Sea t
i
: X F(i)
iI
una familia compatible de morsmos. Se induce un unico
morsmo t : X
F(i) tal que el siguiente diagrama conmuta

X
F(i) F(i)
t
i
p
i
3.3. L
IMITES Y COL
IMITES 83
Notese que para cada i
g
j se cumple que la familia k
g
t
g
induce un unico
z : X
F(c(g)) para el cual se tiene el siguiente diagrama conmutativo:

X
F(c(g)) F(c(g))
z
`
`
`
`
`
``
kgt
pr(g)
Notemos que k
g
t = (F(g) p
d(g)
p
c(g)
) t = F(g) t
i
t
j
= 0; pero 0 y k t
tambien cumplen esta condicion (pr(g) k t = k
g
t = 0). As, z = 0 = k t. Existe
un unico morsmo w : X N(k) tal que el siguiente diagrama conmuta
ker(k)
F(i)
F(c(g))
X
F(c(g))
k
`
`
`
`
``
kg
pr(g)
`
w
t
Obtenemos el diagrama conmutativo
X
ker(k)
F(i) F(j)
-
t
i
`
`
`
`
`
`
`
`
`
t
j
h
i
h
j
F(g)
(l w = t p
i
l w = p
i
t h
i
w = t
i
, para todo i I)
Solo resta mostrar la unicidad de w. Sea w
tal que para cada i I, h

i
w
= t
i
.
As, h
i
w = t
i
= h
i
w
, es decir, p
i
(l w) = p
i
(l w
), para cada i I. La
unicidad en el producto garantiza que l w = l w
, y dado que l es monomorsmo,

w = w
.
Ejemplo 3.3.7. Notese que Mod
A
es una categora completa. Mas exactamente,
si L es una categora peque na y F : L Mod
A
un funtor, se tiene
Lim
F = (x
i
)
iI
F
i
[ F(g)x
i
= x
j
,
84 CAP
ITULO 3. FUNTORES
donde I := Ob(L). En efecto,
ker(k) =
_
(x
i
)
F(i) [ k
g
[(x
i
)] = 0, para cada i
g
j de L
_
=
_
(x
i
)
F(i) [ F(g) p
i
[(x
i
)] = p
j
[(x
i
)], para cada i
g
j de L
_
=
_
(x
i
)
F(i) [ F(g)x
i
= x
j
, para cada i
g
j de L
_
.
De manera dual se obtienen las siguientes conclusiones: si ( es una categora abeliana
con coproductos, entonces ( es una categora cocompleta. Mas exactamente, si L es
una categora peque na y F : L ( es un funtor, entonces
Lim
F = coker
_

gMor(L)
F(d(g))
u
iI
F(i)
_
,
con I = Ob(L) y u es el morsmo inducido por la coleccion de morsmos
u
g
= q
c(g)
F(g) q
d(g)
: F(d(g))
iI
F(i),
donde las funciones q son las inyecciones del coproducto
iI
F(i). En particular,
Mod
A
es una categora cocompleta.
3.4. Ejercicios
1. Sean B y ( categoras abelianas y sea F : B ( un funtor covariante. De-
muestre 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 (.
2. Demuestre que el funtor contravariante representable Hom
A
(, N) : Mod
A

Ab es exacto a izquierda.
3. Sea ( una categora completa. Demuestre que para cada categora peque na L
se cumple
Lim
: Func(L, () (
F Lim
F
es un funtor.
3.4. EJERCICIOS 85
4. Sea M
i
, f
ij
iI
un sistema directo de submodulos de un modulo M, donde
f
ij
: M
i
M
j
son las inclusiones canonicas. Demuestre que Lim
M
i
=
M
i
.
5. Sea (M
i
)
iI
un sistema directo de A-modulos y sea N un A-modulo jo. De-
muestre los siguientes isomorsmos de grupos abelianos:
Hom
A
(N, Lim
M
i
)

= Lim
(Hom
A
(N, M
i
)).
Hom
A
(Lim
M
i
, N)

= Lim
(Hom
A
(M
i
, N)).
Captulo 4
Introducci on a la K-teora
86
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, Modulos y Categoras, Facultad de
Ciencias, Universidad Nacional de Colombia, 1994. iv
[6] Lezama, O., Cuadernos de

Algebra, No. 1: Grupos, SAC
2
, Departamen-
to de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 1

Algebra, No. 2: Anillos, SAC
2
, Departamen-
www.matematicas.unal.edu.co/sac2 v, 1, 6

Algebra, No. 3: Modulos, SAC
2
, Departamen-
www.matematicas.unal.edu.co/sac2 v, 1, 26, 39, 42

Algebra, No. 6: Anillos y modulos, SAC
2
, Depar-
tamento 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.
87

Categorias PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Categorias PDF

Transféré par

Droits d'auteur :

Formats disponibles

CUADERNOS DE

denota el grupo multiplicativo de los elemen-

. La matriz identica de tama no

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

es tambien un objeto de (. En terminos de contenencia de

es la inducida por la composicion de mor-

, el morsmo identidad es el mismo morsmo iden-

, denominada la categora dual de (, y denida de la siguiente

(Y, X), entonces la compuesta se dene por

son las mismas que en (. De la denicion

. Si P es una armaci on demostrada categoricamente (es

se considera tambien demostrado

es un teorema sobre categoras.

: N M la inclusion. Se tiene (X, l)

1.4. SUBOBJETO Y OBJETO COCIENTE 13

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

A es subobjeto equivalente a X, entonces

es tambien interseccion. La respuesta a esta pregunta es armativa. En efecto,

morsmos tales que l h = l

es un monomorsmo, t k es unico con la condicion anterior.

. En efecto, se tiene en este

A son uniones del conjunto X

A). Se tiene entonces que X

De aqu obtenemos la primera condicion para la union.

Para la segunda condicion basta observar la siguiente secuencia de diagramas con-

N a traves de f, tal como muestra el siguiente diagrama conmu-

B de B a traves de f. Como se ilustra en los siguientes diagramas

. El objeto Y de la imagen se acostumbra

A es un subobjeto de A, denimos f(A

un epimorsmo para el cual existe g

M/N(f) de tal forma que el siguiente diagrama conmuta

(m)), es decir, f(m) = f(m

. Ademas h es evidentemente un A-homomorsmo y cumple la

= j. La unicidad de h se desprende del hecho de ser j

que cumpla (i), existe un unico morsmo

tal que el siguiente diagrama es conmutativo:

. As, se tiene el morsmo Z

h resulta un monomorsmo, con lo cual Z es un subobjeto de X. De otra parte, si

Seg un vimos en la observacion 1.7.3, el n ucleo Z

N es un homomorsmo tal que j f

l = 0, entonces el siguiente diagrama es conmutativo

(m), con x = f(m) para todo x N.

es con ucleo de h, existe t

= 0. Como h es con ucleo de f, existe t

X otro morsmo tal que

a traves de f al producto brado de f y l:

. De otra parte, supongase que X

A son morsmos tales que l g

. Supongase que existe otro morsmo t : X

(q w), de donde obtenemos

es un sumbodulo de M, que junto con la inclusion f

h = l, esto es, f(A

) tal que el siguiente diagrama

es n ucelo de k, existe un unico morsmo

otro morsmo tal que p

es denida como en (2.2.1).

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

Seg un la proposicion 2.2.7, ( tiene intersecciones nitas. Sea ker(coker(f))

sea un monomorsmo implica que l

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

(B) := F(B), B Ob(B) y F

. Notese que si F es contravariante, F

. Esta observacion permite efectuar el estudio de la