Está en la página 1de 56

UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMATICA

ESCUELA PROFESIONAL DE MATEMATICA

INFORME FINAL DE PRACTICA


PRE-PROFESIONAL

MODALIDAD DE INVESTIGACION

CATEGORIAS Y FUNTORES SOBRE MODULOS

ANGELICA
MILUZCA VICTORIO CELIS
Codigo: 031038-K

N : 011-2014-CD-EPM-FCNM
RESOLUCION

Bellavista - Callao

Semestre: 2014-A

A. DATOS GENERALES

A1. DEL ESTUDIANTE


APELLIDOS Y NOMBRES

: Victorio Celis Angelica Miluzca

CODIGO

: 031038-K

INSTITUCION

: Universidad Nacional del Callao

FACULTAD

: Ciencias Naturales y matematicas

ESCUELA ACADEMICA
PROFESIONAL : Matematica
TITULO

: CATEGORIAS Y FUNTORES

SOBRE MODULOS

SEMESTRE ACADEMICO

: 2014-A

A2. DEL PROFESOR ASESOR


APELLIDOS Y NOMBRES

: Fajardo Campos Ezequiel

CODIGO

: 2807

CATEGORIA Y DEDICACION

: Asociado D.E.

CONDICION

: Nombrado

ESPECIALIDAD

: Matematica

FACULTAD

: Ciencias Naturales y Matematica

A3. DE LA INSTITUCION

INSTITUCION

: Universidad nacional del Callao

DIRECCION

: Av. Juan Pablo II 306, Bellavista-Callao

TELEFONO

: (051)429 7178

ii

B. CRONOGRAMA DE ACTIVIDADES REALIZADAS


El desarrollo de la practica pre-profesional en la modalidad de investigacion se realizo como indica el siguiente cronograma semanal de actividades:

Semanas
Descripcion

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

Recoleccion

bibliografica
Modulos, homomorfis-

x x x

mos, suma directas y


sucesiones exactas
Semigrupoides, cate-

x x x

goras y funtores
Transformaciones

x x x

morfismos funtoriales
Funtores lineales sobre

modulos, satelites
Analisis de resultados

Redaccion y exposi-

x
x

cion del informe

DE LA MONOGRAFIA
C. PRESENTACION

iii

Indice
I.

RESUMEN

II. INTRODUCCION

III. MARCO TEORICO

CAPITULO I: Preliminares . . . . . . . . . . . . . . . . . . . . . . .

1.1.

Modulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.

Homomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.

Productos directos y sumas directas . . . . . . . . . . . . . . .

1.4.

Modulos libres . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5.

Sucesiones exactas . . . . . . . . . . . . . . . . . . . . . . . .

1.6.

Productos tensoriales . . . . . . . . . . . . . . . . . . . . . . .

10

1.7.

Modulos de homomorfismos . . . . . . . . . . . . . . . . . . .

11

1.8.

Modulos proyectivos . . . . . . . . . . . . . . . . . . . . . . .

12

1.9.

Modulo inyectivo . . . . . . . . . . . . . . . . . . . . . . . . .

13

1.10.

Semigrupoides . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

CAPITULO II: Desarrollo del Trabajo de Investigaci


on . . . . . .

18

2.1.

Categoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.

Funtores y Transformaciones de Funtores o Morfismos Funtoriales 21

2.3.

Funtores Lineales sobre Modulos

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

27

2.4.

Satelites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

34

IV. ANALISIS
DE LOS RESULTADOS

18

49

CONCLUSIONES Y DISCUSION

50

VI. REFERENCIAS BIBLIOGRAFICAS

51

Visto Bueno del Profesor

52

V.

iv

I. RESUMEN

El objetivo principal de este trabajo consiste en estudiar Categoras Algebraicas y


Funtores entre Categoras, especficamente Funtores Contravariantes y Covariantes.
Aqu dos funtores especiales son el satelite S1 contravariante y el satelite S 1 covariante,
para lo cual usamos nociones de modulos, sucesiones exactas de modulos, modulos
proyectivos, modulos inyectivos y semigrupoides.
Concluyendo que para todo funtor R- lineal f : MR MR y toda sucesion exacta
corta 0 X Y Z 0 de R-modulos, se tiene asociada la sucesion semiexacta
de satelites
. . . [Sn (f )](X) [Sn (f )](Y ) [Sn (f )](Z) [Sn1 (f )](X) . . .,
para f contravariante,
. . . [Sn (f )](Z) [Sn (f )](Y ) [Sn (f )](X) [Sn1 (f )](Z) . . .,
para f covariante.


II. INTRODUCCION

En diferentes areas de la matematica se presenta el problema de existencia y


unicidad en tal sentido, la aparicion de los funtores se constituye en estos tiempos
como una solucion a este problema. En este trabajo presentamos los funtores y sus
propiedades de linealidad.
En (1.1) introducimos los modulos sobre un anillo R.
En (1.5) presentamos las sucesiones exactas de modulos y sus propiedades.
En (1.8) y (1.9) presentamos los modulos proyectivos e inyectivos.
En (1.10) presentamos los semigrupoides y su axiomatica.
En (2.1) estudiamos las categoras y se da una relacion de ejemplos.
En (2.2) introducimos los funtores y las transformaciones funtoriales.
En (2.4) estudiamos los funtores sobre R-modulos.
Finalmente en (2.5) estudiamos los satelites y su asociacion con las sucesiones exactas
de modulos.
El estudio de los funtores es muy importante, puesto que en la actualidad, mediante
estos, se estan resolviendo problemas de Topologa Algebraica, Geometra, Economa
y otros, tal es el caso de los funtores en Homotopa y Homologa.


III. MARCO TEORICO
CAPITULO I: Preliminares
1.1.

M
odulos

A lo largo del texto, R denotara un anillo conmutativo con unidad 1 6= 0, arbitrariamente dado.
Definici
on 1.1.1 (Modulo) Un modulo sobre R, o un R-modulo, es un grupo abeliano aditivo X, juntamente con una funcion
: R X X
del producto cartesiano R X en X, que satisface las tres condiciones siguientes:
(M1) La funcion es biaditiva; es decir,
( + , x) = (, x) + (, x),
(, x + y) = (, x) + (, y)
son ciertas para todo , en R y todo x, y en X.
(M2) Para cualesquiera , en R y x en X, se tiene
[, (, x)] = (, x).
(M3) Para todo elemento x de X,
(1, x) = x.
Ejemplo 1
1. Sea R el anillo Z de los enteros. Cualquiera que sea el grupo abeliano X, la
funcion
: Z X X,
definida por (n, x) = nx para todo n Z y todo x X, satisface las condiciones (M1)-(M3). de aqu que todo grupo abeliano pueda ser considerado como
un modulo sobre el anillo Z de los enteros.
3

2. El conjunto X = Rs de todas las funciones f : S R de un conjunto S en R


es un grupo abeliano respecto a la adicion funcional definida por
(f + g)(s) = f (s) + g(s)
para cualquiera f , g X y s S. La funcion
: R X X.
definida asignando a cada elemento (, f ) de R X la funcion f : S R,
dada por
(f )(s) = [f (s)]
para todo s S, satisface las condiones (M1)-(M3). Por ello X es un R-modulo.
Definici
on 1.1.2 (Submodulo) Un submodulo de X es un subconjunto A no vaco
de X que es un R-modulo respecto a la adicion y la multiplicacion escalar del modulo
X.
Ejemplo 2
1. Todo subgrupo A de un grupo abeliano aditivo X es un submodulo de X considerado como modulo sobre el anillo Z de los enteros.
2. Consideremos el R- modulo X = Rs del ejemplo (2) de modulos. Sea el subconjunto A de X formado por todas las funciones f : S R tales que f (x) = 0
para todos los elementos s S salvo a lo mas un n
umero finito de ellos. Entonces
A es un submodulo de X.
Lema 1.1.3 Un subconjunto no vaco A de un R-modulo X es un submodulo de X
si y solo si cualquiera que sean R y u, v X, se tiene u + v A y u A.
Demostraci
on. Ver Sze-Tsen Hu [5].

1.2.

Homomorfismo

Definici
on 1.2.1 (Homomorfismo) Un homomorfismo (o morfismo o aplicacion lineal) de un R-modulo X en un R-modulo Y es una funcion
f : X Y,
que es un homomorfismo del grupo abeliano aditivo de X en el grupo abeliano aditivo
de Y que conserva la multiplicacion escalar. En otros terminos, f es un homomorfismo
del modulo X en el modulo Y si y solo si
f (u + v) = f (u) + f (v),
f (u) = f (u)
para todo en R y u, v en X.
Definici
on 1.2.2 (Monomorfismo, epimorfismo e isomorfismo) Un homomorfismo
h : X Y de un R-modulo X en un R-modulo Y se dice monomorfismo si y
solo si es inyectivo; h se dice epimorfismo si y solo si es suprayectivo (sobre). Un
homomorfismo biyectivo (inyectivo y sobre) recibe el nombre de isomorfismo. Dos Rmodulos X e Y son isomorfos, X Y , si y solo si existe un isomorfismo h : X Y .
Proposici
on 1.2.3 El producto h = hof de dos homomorfismo f : X Y y g :
Y Z de R-modulos es el homomorfismo trivial si y solo si
Im(f ) Ker(g).

Demostraci
on. N ecesidad. Supongamos h = 0. Sea y Im(f ). Por definicion,
existe un elemento x X tal que f (x) = y. Entonces,
g(y) = g[f (x)] = h(x) = 0.
Luego y g 1 (0) = Ker(g), lo que prueba la inclusion
Im(f ) Ker(g).
5

Suf iciencia. Supongamos Im(f ) Ker(g). Sea x X. Entonces, tenemos h(x) =


g[f (x)]. Puesto que
f (x) Im(f ) Ker(g),
obtenemos g[f (x)] = 0, y de aqu h(x) = 0. Como x es arbitrario, resulta ser h = 0.

1.3.

Productos directos y sumas directas

Definici
on 1.3.1 (Productos directos y sumas directas) Consideremos una familia
arbitrariamente dada:
F = {Xi \ i M }
de R-modulos X1 y designemos con
P =

Xi

iM

el producto cartesiano de la familia F definido como en [4]. Por definicion, un elemento de P es una funcion
f : M U
del conjunto M de ndices en la union U de los conjuntos Xl tal que f (i) Xi para
todo i M .
Definamos una operacion binaria en P considerando, para dos elementos f y g de P ,
la funcion f + g : M U determinada por
(f + g)(i) = f (i) + g(i) Xi
para todo ndice i M . Se puede comprobar facilmente que esta operacion binaria
+ estructura a P como grupo abeliano aditivo. El elemento 0 de P es la funcion
0 : M U definida por
0(i) = 0 Xi
para todo i M . El elemento opuesto de f P es la funcion f : M U definida
por
(f )(i) = [f (i)]
6

para todo i M .
Por otra parte, se define una multiplicacion escalar
: R P P
asignado a cada R y cada f P el producto escalar
(, f ) = f : M U
dado por
(f )(i) = [f (i)]
para todo i M . Se comprueba facilmente que esta multiplicacion escalar estructura
al grupo abeliano aditivo P como R-modulo, que es conocido con el nombre de producto
directo de la familia dada F de R-modulo Xi , i M .
Consideremos ahora el subconjunto S de P que consiste de todo f P tal que f (i) = 0
para todo i M salvo a lo mas un n
umero finito. Evidentemente S es un submodulo
de P . Luego S es un R-modulo llamado suma directa de la familia dada F y es
designado por
S=

Xi .

iM

Si el conjunto M es finito, entonces P = S. En este caso, el R-modulo P = S


puede llamarse bien producto directo o bien suma directa de la familia finita F . Sin
embargo, la segunda denominacion es la mas extendida, y es la que utilizaremos en
lo sucesivo.
Para todo ndice j M , definamos una funcion dj : Xj S mediante

x (si i = j),
[dj (x)](i) =
0 (si i 6= j),
para todo x de Xj . Evidentemente, dj es un homomorfismo del modulo Xj en el
modulo S llamado inyeccion natural de Xj em la suma directa S.
Analogamente, definimos una funcion pk : P Xk para todo ndice k M tomando
pk (f ) = f (k)
7

para todo f : M U en P . Evidentemente, pk es un homomorfismo del modulo P


en el modulo Xk llamado proyeccion natural del producto directo P en el modulo Xk .
Ademas, su restriccion
qk = pk | S : S Xk
al submodulo S de P se llamara proyeccion natural de la suma directa S en el modulo
Xk .
Sea la sucesion de homomorfismos
dj

k
Xj S P
Xk ,

donde h : S P representa el homomorfismo inclusion.

1.4.

M
odulos libres

Definici
on 1.4.1 (Modulos libres) Un R-modulo libre sobre un conjunto S es un Rmodulo F juntamente con una funcion f : S F tal que, para toda funcion g : S
X del conjunto S en un R-modulo X, existe un u
nico homomorfismo h : F X del
modulo F en el modulo X tal que
hof = g
lo que expresa que el siguiente triangulo es conmutativo:
f

S
g

1.5.

/F
~

Sucesiones exactas

Definici
on 1.5.1 (Sucesiones Exactas) Una sucesion exacta (de modulos) es una
sucesion finita o infinita
f

... X Y Z ...

de homomorfismos de R-modulos tal que la imagen del homomorfismo entrante coincide con el n
ucleo del homomorfismo saliente de todo modulo distinto de los extremos
(si existen) de la sucesion. Por ejemplo, en el modulo Y , debera ser
Im(f ) = ker(g).
una sucesion exacta de la forma
f

0 X Y Z 0
se llamara sucesion exacta corta.
Como ejemplo de sucesion exacta corta, consideremos un submodulo arbitrario E de
un R-modulo X y el modulo cociente Q = X/E. Como el homomorfismo inclusion
i : E X es un monomorfismo, la proyeccion natural p : X Q es un epimorfismo,
y
Im(i) = E = ker(p),
obteniendose una sucesion exacta corta
p

0 E X Q 0.
Reciprocamente, consideremos una sucesion exacta corta arbitraria
f

0 A X B 0.
De la exactitud, se deduce que f es un monomorfismo, g es un epimorfismo, y
Im(f ) = ker(g).
Sea E este submodulo com
un Im(f ) = ker(g) de X. Entonces f define un isomorfismo
j : A E y g induce un isomorfismo k : Q B del modulo cociente Q = X/E. Si
identificamos los modulos A y B con los modulos E y Q por medio de los isomorfismos
j y k 1 , la sucesion exacta corta dada se convierte en
p

0 E X Q 0.
Por tanto, podemos decir que una sucesion exacta corta es simplemente otro nombre
para un submodulo y su modulo cociente.
9

Definici
on 1.5.2 (Sucesiones semiexactas) Una sucesion finita o infinita
f

... X Y Z ...
de homomorfismos de R-modulos se llama semiexacta si y solo si la imagen del homomorfismo entrante esta contenida en el n
ucleo del homomorfismo saliente en todo
modulo distinto de los extremos (si existen) de la sucesion. En virtud de (1.2.3), la
sucesion es semiexacta si y solo si el producto gof de dos homomorfismos cualesquiera consecutivos de la sucesion f y g es el homomorfismo trivial.

Toda sucesion exacta de homomorfismo de R-modulos es semiexacta, pero no


toda sucesion semiexacta es exacta. Por ejemplo, sea A un submodulo propio de un
R-modulo X, es decir, A 6= X y A X, y sea i : A X el homomorfismo inclusion.
Entonces, la sucesion
i

0 A X 0
es semiexacta, pero no exacta.

1.6.

Productos tensoriales

Definici
on 1.6.1 (Productos tensoriales) Sean A y B dos R-modulos cualesquiera y
consideremos el producto cartesiano A x B de los conjuntos A y B. Una funcion
g : A B X
de A B es un R-modulo X es llamada bilineal si y solo si
g(1 a1 + 2 a2 , b) = 1 g(a1 , b) + 2 g(a2 , b),
g(a, 1 b1 + 2 b) = 1 g(a, b1 ) + 2 g(a, b2 )
para todo a1 , a2 , a A, b1 , b2 , b B y 1 , 2 , 1 , 2 R.
Un producto tensorial (sobre R) de los modulos A y B, es un R-modulo T junto con
una funcion bilineal
f : A B X
10

tal que, para toda funcion bilineal


g : A B X
de A B en n R-modulo X, existe un u
nico homomorfismo h : T X del modulo
T en el modulo X que satisface la relacion de conmutatividad
hof = g
en el siguiente triangulo:
f

AB
g

/


Teorema 1.6.2 (Teorema de existencia) Dados dos R-modulos cualesquiera A y B,


existe un producto tensorial sobre R de A y B.
Demostraci
on. Ver Sze-Tsen Hu [5].

1.7.

M
odulos de homomorfismos

Definici
on 1.7.1 (Modulos de homomorfismos) Sean A y B modulos cualesquiera y
consideremos el conjunto
= HomR (A, B)
de todos los homomorfismos del modulo A en el modulo B. Como consideraremos el
anillo de coeficientes R fijo, usaremos el smbolo mas abreviado
= Hom(A, B)
siempre que no haya peligro de ambig
uedad.
Definamos una adicon + en este conjunto tomando como suma de los homomorfismos , : A B el homomorfismo
+ : A B

11

definido por (+)(x) = (x)+(x) para todo x A. Con esta adicion es , evidentemente, un grupo abeliano. Ahora, para cualesquiera R y , consideremos
la funcion
: A B
definida por ()(x) = ((x)) para todo x A. Mediante la conmutatividad de R,
se puede facilmente conbrobar que () es un homomorfismo de A en B y que la
correspondencia (, ) define una multiplicacion escalar
: R
en el grupo abeliano . Asi, queda estructurado como R-modulo recibiendo el nombre de modulo de los homomorfismos de A en B. El elemento cero de es el homomorfismo trivial 0.

1.8.

M
odulos proyectivos

Definici
on 1.8.1 (Modulos proyectivos) Un R modulo X se dice proyectivo si y solo
si, para todo homomorfismo f : X B y todo epimorfismo g : A B de R-modulos,
existe un homomorfismo h : X A que satisface
goh = f.
En lenguaje de diagrama, esta definicion puede ser expresada como sigue:
un R-modulo X es proyectivo si y solo si todo diagrama
X
f

de homomorfismos de R-modulos, cuya fila es exacta, puede ser inmerso en su diagrama conmutativo:

X
h

~
g

B
12

Proposici
on 1.8.2 Todo R-modulo libre es proyectivo.
Demostraci
on. Ver Sze-Tsen Hu [5].
Proposici
on 1.8.3 Todo sumando directo de un R-modulo proyectivo es proyectivo.
Demostraci
on. Ver Sze-Tsen Hu [5].

1.9.

M
odulo inyectivo

Definici
on 1.9.1 Un R-modulo X se dice inyectivo si y solo si, para todo homomorfismo f : A X y todo monomorfismo g : A B de R-modulos, existe un
homomorfismo h : B X que satisface
h o g = f.
En terminos de diagrama, esta definicion se enuncia como sigue: Un R-modulo X es
inyectivo si y solo si todo diagrama
0

X
de homomorfismos de R-modulos, cuya fila es exacta, puede ser inmerso en su diagrama conmutativo:

 ~

Teorema 1.9.2 Todo R-modulo es isomorfo a un submodulo de un R-modulo intectivo.


Demostraci
on. Ver MacLane [14]

13

1.10.

Semigrupoides

Un semigrupoide es una clase M tal que, para algunos pares , M esta definido
un producto
M
que satisface las dos condiciones de asociatividad siguientes:
(CA 1) Para elementos cualesquiera , , de M , el triple producto ()esta definido si y solo si () esta definido. En el caso en que cualquiera de los dos este definido,
se cumple la ley asociativa
() = ()
Este producto triple sera denotado por .
(CA 2) El triple producto esta definido siempre que esten definidos los productos
y .
Por ejemplo, todo semigrupo tal como se definio en [4] es un semigrupoide. Seg
un la
definicion, es obvio que un semigrupoide M es un semigrupo si y solo si el producto
esta definido para todo par , de elementos de M .
Un elemento de un semigrupoide se dice que es una identidad (o una unidad) de
M si y solo si = y = siempre que y esten definidos.
Un semigrupoide M se llama regular si y solo si, para todo elemento M , existen
unidades y en M tales que y esten definidos. Por ejemplo, tomo monoide
[4] es un semigrupoide regular.

Lema 1.10.1 Dado un elemento arbitrario de un semigrupoide regular M , existe


una u
nica identidad de M tal que este definido.
Demostraci
on. Sean y 0 dos identidades de M tales que y 0 esten definidos.
Como y 0 son identidades, el triple producto
( 0 ) = =

14

esta definido. Entonces, por (AC 1), se deduce que ( 0 ) esta tambien definido. Esto
implica que el producto 0 esta definido. Como y 0 son identidades, es
= 0 = 0 .
lo que prueba (1.10.1).
Esta identidad u
nica de (1.10.1) recibira el nombre de identidad por la izquierda del
elemento de M y se designara con el smbolo (). La correspondencia ()
define una funcion
: M M
del semigrupoide regular M en s mismo.
Analogamente, tenemos el siguiente lema.

Lema 1.10.2 Dado un elemento arbitrario de un semigrupoide regular M , existe


una u
nica identidad de M tal que esta definido.
Esta identidad u
nica de (1.10.2) recibira el nombre de identidad por la derecha del
elemento de M y se designara con el smcolo (). La correspondencia ()
define una funcion
: M M
del semigrupoide regular M en si mismo.
Sea I (M ) la clase de todas las identitades de M . Se tiene el siguiente corolario.
Corolario 1.10.3 Dado un semigrupoide regular M, tenemos
() = = ()
para todo I (M ). En consecuencia, tenemos
(M ) = I (M ) = (M ).

15

Demostraci
on. Por definicion de (), el producto () esta definido.
Como () y son identidades, se sigue que () = . Analogamente, se puede probar
que () = , lo que completa la demostracion del Corolario (1.10.3).

Lema 1.10.4 Si y son dos elementos cualesquiera de un semigrupoide regular


M , entonces esta definido si y solo si () = ().
Demostraci
on. N ecesidad. Supongamos que esta definido. Entonces el triple
producto
[()] =
esta definido. Por (AC 1) tambien esta definido [()], lo que implica que ()
esta definido. Por (1.10.2), obtenemos
() = ().
Suf iciencia. Supongamos () = (). Entonces estan definidos () y (). Por
(AC 2), esta definido (). Como () es una identidad, tenemos
() =
y por consiguiente esta definido.

Lema 1.10.5 Si el producto de dos elementos , de un semigrupoide regular


M esta definido, entonces
() = (),

() = ().

Demostraci
on. Como () y estan definidos, se deduce de (AC 2) que ()
esta definido. Por (1.10.1), esto implica () = (). Analogamente se prueba que
() = ().
Dado un elemento de un semigrupoide regular M , diremos que M es un inverso
16

de si y solo si = () y = (). Si posee un inverso, diremos que es


inversible.

Lema 1.10.6 Todo elemento inversible de un semigrupoide regular tiene un u


nico
inverso.
Demostraci
on. Sean y dos inversos de un elemento inversible arbitrariamente
dado de un semigrupoide regular M . Entonces estan definidos y . Por tanto,
por (AC 2), esta definido . De las relaciones
= () = () = ,
= () = () = ,
deducimos = .
El u
nico inverso del elemento inversibles de M se denotara por a1 , por definicion,
tenemos evidentemente
(1 ) = (),

(1 ) = ().

Obviamente, toda identidad de un semigrupoide regular M es inversible, siendo


1 = . En general, M posee elementos que no son inversibles.
Llamaremos grupoide a todo semigrupoide regular M en el que todo elemento es
inversible. Todo grupo es un grupoide, pero existen grupoide que no son grupos. Un
ejemplo importante de estos grupoides lo constituye el grupoide fundamental de un
espacio topologico [2].

17

CAPITULO II: Desarrollo del Trabajo de Investigaci


on
2.1.

Categoras

Una categoras C consiste de una clase K de elementos llamados objetos y un


semigrupoide regular M de elementos llamados morfismos justamente con una funcion
biyectiva
: K I (M )
de la clase K de objetos sobre la subclase I (M ) de las identidades de M .
Sea C = {K, M, } una categora arbitrariamente dada. Para cada objeto X K, la
identidad (X) I (M ) recibe el nombre de morfismo identidad del objeto X y lo
denotamos por ix . Para cada morfismo M , los objetos
Dom() = X = 1 [()],
Ran() = Y = 1 [()],
se llaman, respectivamente, dominio y rango del morfismo . En este caso, se dice
que es un morfismo de X en Y , denotandolo por
: X Y.
En particular, tenemos
ix : X X.
La siguiente proposicion es una consecuencia inmediata de (1.10.4) y (1.10.5).

Proposici
on 2.1.1 El producto de dos morfismos , M esta definido si y
solo si
Ran() = Dom().
Si : X Y y : Y Z son morfismos, entonces el morfismo producto
esta determinado por el siguiente triangulo:

Y
18

?Z

para dar ejemplos de categoras, se debe especificar los objetos y los morfismos de la
categora, e indicar como estan definidos los productos de morfismos. En la mayora
de los casos, las identidades y las condiciones de asociatividad son obvias.

Ejemplos de categoras

(1) Todo monoide X [4] constituye una categora con X como u


nico objeto y con
los elementos de X como morfismo. Los productos de morfismos estan definidos por
la multiplicacion de X.
(2) La categora Y de conjuntos consiste de todos los conjuntos como objetos
y todas las funciones (de un conjunto en un conjunto) como morfismos. los productos
de morfismos estan definidos por la composicion de funciones como sigue. El producto
de : X Y y : Y Z es
= o : X Z.

(3) La categora T de espacios topologicos consiste de todos los espacios topologicos como objetos y de las aplicaciones continuas como morfismos. Los productos de
morfismos estan definidos por la composicion, como en (2). Para las definiciones de
espacio topologico y aplicacion continua, consultar cualquier tratado de topologia general, por ejemplo [2].
(4) La categora G de grupos consiste de todos los grupos como objetos y todos
los homomorfismos (de grupo) como morfismos. Los productos de morfismos estan
definidos como en (2), por la composicion.
(5) La categora MR de R-modulos como objetos y sus homomorfismos como
morfismos. Los productos de morfismos estan definidos como en (2). Si R es el anillo Z de los enteros, entonces MR recibe el nombre de categora A de grupos abelianos.
19

(6) La categora L de sucesiones descendentes sobre R consiste de todas las


sucesiones descendientes de R-modulos como objetos y de sus homomorfismos como
morfismos. Los productos de morfismos estan definidos por composicion como en (2).
Analogamente, se puede definir la categora U de sucesiones ascendentes sobre R.
Sea ahora C = {K, M, l} una categora arbitrariamente dada. Con dos objetos
X, Y K de C , consideremos la subclase
Mor(X, Y ) = { M | : X Y }.
En el ejemplo (5), tenemos
Mor(X, Y ) = Hom(X, Y )
que es un R-modulo. Analogamente, se puede ver facilmente que, en el ejemplo (6),
Mor(X, Y ) es tambien un R-modulo. Esto suguiere la siguiente definicion.
Una categora C = {K, M, } se dice R-lineal si y solo si se satisface:
(LC1) Para cada dos objetos X, Y K de C , Mor(X, Y ) es un R-modulo.
(LC2) Para tres objetos cualesquiera X, Y, Z K de C ,el producto en M define
un funcion bilineal de Mor(X, Y ) Mor(Y , Z) en Mor(X, Z).
En particular, las categoras lineales sobre Z se llaman categoras aditivas, con Z el
anillo de los enteros.
Concluiremos esta seccion con algunas observaciones sobre la definicion de categoras.
la nocion de categora proviene de la consideracion de las propiedades comunes de los
ejemplos (2)-(6) y otros analogos.
La estructura de una categora C = {K, M, } esta determinada por el semigrupoide
regular M . En efecto, la clase de los objetos de C puede ser identificada con T (M )
por medio de la funcion biyectiva . Debido a esto, los semigrupoides regulares M se
llaman categoras abstractas. Por tanto, en una categora, son los morfismos los que
los que juegan un papel importante, mientras que el desempe
nado por los objetos
es secundario. De todas formas, en la mayora de las aplicaciones de este concepto,
los objetos tienen interes primordial. Esto explica por que la clase K de objetos es
20

introducida artificialmente en la nocion de categora mediante una funcion biyectiva


.
En los ejemplos (2)-(6), hemos utilizado los terminos la clase de todos los conjuntos
, etc. En la axiomatica usual de la teora de conjuntos, estas son totalidades ilegtimas
que deben ser evitadas. Sin embargo, si adoptamos los axiomas de Godel-Bernays-von
Neumann de la teora de conjuntos, disponemos de totalidades mas amplias llamadas
clases, y podemos hablar legtimamente de la clase de todos los conjuntos, etc. Asi,
en una categora arbitraria C = {K, M, }, K y M son en general clases. Se debe
tener cuidado de no efectuar sobre estas categoras ciertas operaciones, tales como la
formacion del conjunto de todos los conjuntos. Una categora se llama peque
na si y
solo si su clase K de objetos es un conjunto.

2.2.

Funtores y Transformaciones de Funtores o Morfismos


Funtoriales

Sean C y D categoras dadas y consideremos una funcion


f : C D
que asigna a cada objeto X de C un objeto f (X) de D y a cada morfismo de C
un morfismo f () de D.
La funcion f se dice que es un funtor covariante de C en D si y solo si satisface las
tres condiciones siguientes:

(CF1) Si : X Y , entonces f () : f (X) f (Y ).


(CF2) f (iX ) = if (X)
(CF3) Si esta definido, entonces f () = f ()f ().

La condicion (CF1) puede ser expresada en la forma siguiente:


f [Dom()] = Dom[f ()],

f [Ran()] = Ran[f ()].

As f es un funtor covariante si y solo si conmuta con las operaciones de las categoras.


21

En virtud de la condicion (CF2), un funtor f esta completamente determinado por la


funcion f () definida para los morfismos de C u
nicamente. As un funtor covariante
f : C D es esencialmente un homomorfismo del semigrupoide de los morfismos
de C en el de los de D, sujeto a la condicion de que las identidades (o unidades) se
apliquen en identidades.
Por otra parte, la funcion f se dice que es un funtor contravariante de C en D si y
solo si satisface las tres condiciones siguientes:
(CF1*) Si : X Y , entonces f () : f (Y ) f (X).
(CF2*) f (iX ) = if (X) .
(CF3*) Si esta definido, entonces f () = f ()f ().
Se tienen observaciones analogas a las anteriores, con modificaciones obvias que son
necesarias a causa de la contravariancia .
Sean f : C D y g : D E funtores arbitrariamente dados. Como f y g son
funtores, su producto
gof : C E
es una funcion bien definida que aplica objetos en objetos y morfismos en morfismos.
Proposici
on 2.2.1 La funcion compuesta g o f es un funtor covariante si f y g
tienen la misma variancia; g o f es un funtor contravariante si f y g son de variancia
opuesta.
Ejemplos de funtores
(1) Consideremos la categora Y de conjuntos y la categora MR de R-modulos.
Definamos una funcion
f : Y MR
como sigue. Un objeto arbitrario X de Y es un conjunto. Denotamos con f (X) el
R-modulo libre engendrado por X. Por otra parte, morfismo arbitrario de Y es
una funcion
: X Y f (Y ).
Puesto que f (X) es el R-modulo libre engendrado por X, se sigue que se extiende

22

a un u
nico homomorfismo
f () : f (X) f (Y )
de R-modulo. Es evidente que f es un funtor covariante.
(2) Consideremos la categora MR justamente con un R-modulo dado M .
Definamos una funcion
g : MR MR
como sigue. Para cada R-modulo X de MR , denotemos con g(X) el producto tensorial
X M sobre R de los modulos X y M . Por otra parte, para cada homomorfismo
: X Y de R-modulos de MR , sea g() el producto tensorial
i : X M Y M
de y el endomorfismo identidad i de M . Se comprueba facilmente que g es un funtor
covariante.
(3) Consideremos de nuevo la categora MR justamente con un R-modulo M
dado. Definamos una funcion
h : MR MR
como sigue. Para cada R-modulo X de MR sea h(X) el modulo Hom(X, M ) de los
homomorfismos de X en M . Por otra parte, para cada homomorfismo : X Y de
MR , sea h() el homomorfismo
Hom(, i) : Hom(Y , M ) Hom(X, M ),
donde i : M M representa el endomorfismo identidad de M . Facilmente se comprueba que h es un funtor contravariante. Definamos ahora una funcion
k : MR MR
en la forma siguiente. Para cada R-modulo X de MR , sea k(X) el modulo Hom(M ,
X). Ademas, para cada homomorfismo : X Y de MR , sea k() el homomorfismo
Hom(i, ) : Hom(M , X) Hom(M , Y ).

23

Se verifica que k es un funtor covariante.


(4) Consideremos la categora L de sucesiones descendentes sobre R y un entero
dado n. Definamos la funcion
Hn : L MR
de L en la categora MR de R-modulo como sigue. Para cada sucesion descendente
X de L , sea Hn (X) el modulo de homologa n-dimensional de X. Por otra parte,
para cada morfismo : X Y de L , sea Hn () el homomorfismo inducido
Hn () : Hn (X) Hn (Y ).
Se comprueba facilmente que Hn es un funtor covariante, llamando funtor de homologa n-dimensional.
Sean ahora C y D categoras R-lineales arbitrariamente dadas. Un funtor covariante f : C D se dice R- lineales si y solo si, para cualesquiera dos objetos X e Y
de C , define f un homomorfismo
f(X,Y ) : Mor(X, Y ) Mor[f (X),f (Y )]
de R-modulos. Analogamente, un funtor contravariante g : C D se dice R-lineal si
y solo si, para cualquiera dos objetos X e Y de C , g define un homomorfismo
g(X,Y ) : Mor(X, Y ) Mor[f (Y ),f (X)]
de R-modulos. Es facil comprobar que los funtores de los ejemplos (2)-(4) son Rlineales.
En particular, los funtores lineales sobre el anillo Z de los enteros reciben el nombre
de funtores aditivos.

Transformaciones de Funtores o Morfismos Funtoriales


Sean f y g dos funtores covariantes cualesquiera de una categora C en una categora
D. Una transformacion natural o morfismo funtorial del funtor f en el funtor g, es
una funcion que asigna a cada objeto X de la categora C un morfismo (X) de
24

la categora D cumpliendose las dos condiciones siguientes:


(NT1) Para todo objeto X de C , se tiene
(X) : f (X) g(X).
(NT2) Para todo morfismo : X Y de C , tenemos
f ()(Y ) = (X)g().
La condicion (NT1) es equivalente a la condicion de que los productos en (NT2)
esten siempre definidos. La condicion (NT2) afirma que el siguiente rectangulo es
conmutativo:
f ()

f (X)


/ f (Y )

(X)
g()

g(X)

(Y )

g(Y )

En el caso de ser f y g funtores contravariantes, la condicion (NT2) debe ser remplazada por la siguiente condicion:
(NT2*) Para todo morfismo : X Y de C , tenemos
f ()(X) = (Y )g().
Esta condicion afirma que el siguiente rectangulo es conmutativo:
f ()

f (X) o


f (Y )

(X)

g(X) o

g()

(Y )

g(Y )

Sean f , g : C D funtores arbitrariamente dados de la misma variancia.


Usaremos el smbolo
: f g
para denotar un morfismo funtorial del funtor f en el funtor g. Si el morfismo (X)
de D es una equivalencia para todo objeto X C , entonces recibe el nombre de
equivalencia natural o isomorfismo de los funtores f y g, en smbolos,
: f g.
25

Sea ahora : f g una equivalencia natural de los funtores f , g : C D.


Si f y g son funtores covariantes, se sigue de (NT2) que
g() = [(X)]1 f ()(Y )
para todo morfismo : X Y de la categora C . En caso de ser f y g funtores
contravariantes, entonces se deduce de (NT2*) que
g() = [(Y )]1 f ()(X)
para todo morfismo : X Y de la categora C .
Sean : f g y : g h morfismos funtoriales dadas de los funtores
f, g, h : C D. Definamos una funcion tomando
()(X) = (X)(X)
para todo objeto X C . Se puede comprobar facilmente que la funcion es un
morfismo funtorial del funtor f en el funtor h; en smbolos
: f h.
Sea ahora : f g una equivalencia natural arbitraria de los funtores f, g, : C D.
Definamos tomando
(X) = [(X)]1
para todo objeto X C . Es facil comprobar que es una equivalencia natural
: g f . Ademas, : f f y : g g son equivalencias naturales que
satisfacen
()(X) = if (X) ,

()(X) = ig(X)

para todo objeto X C .


Dos funtores f, g, : C D se dicen equivalentes naturalmente e isomorfos, en smbolos
f g,
si y solo si existe una equivalencia natural
: f g.
26

Por las consideraciones de la seccion precedente, es reflexiva, simetrica y transitiva.


Un ejemplo ilustrativo elemental de morfismos funtoriales puede verse en [3].

2.3.

Funtores Lineales sobre M


odulos

Los funtores que nos seran mas interesantes son los de la categora MR de R-modulos. La presente seccion esta dedicada a estos funtores. Como MR es una categora
R- lineal, la nocion de funtor lineal f : MR MR es ventajosa.
Como el elemento cero del R-modulo
Mor(X, Y ) = Hom(X, Y )
es el homomorfismo trivial 0 : X Y para dos R-modulos cualesquiera X, Y , el
lema siguiente es consecuencia inmediata de la definicion de funtores lineales.
Lema 2.3.1 Cualquier funtor lineal f : MR MR sobre R aplica todo homomorfismo trivial en un homomorfismo trivial.
Establezcamos ahora el siguiente teorema.
Teorema 2.3.2 Sea f : MR MR un funtor R-lineal covariante. Si

0 X Y Z 0
es una sucesion exacta corta descomponible de R-modulos, entonces igual sucede con
la sucesion
f ()

f ()

0 f (X) f (Y ) f (Z) 0.

Demostracon. Debido a la exactitud de la sucesion dada, es un monomorfismo,


es un epimorfismo, y
Im() = H = Ker().
Como esta sucesion se descompone, H es un sumando directo del modulo Y . Por
L
consiguiente existe un submodulo K de Y tal que Y = H
K. Esto implica la
existencia de dos homomorfismos : Y X y : Z Y de MR tales que
27

= o = 0,

= o = 0,

= o = iX ,

= o = iZ ,

donde iX e iZ son los endomorfismo identidad de X y Z, respectivamente. Como f


es un funtor R-lineal covariante, se deduce de (2.3.1) junto con (CF2) y (CF3) que
f () o f () = f ()f () = f () = f (0) = 0,
f () o f () = f ()f () = f () = f (0) = 0,
f () o f () = f ()f () = f () = f (iX ) = if (X) ,
f () o f () = f ()f () = f () = f (iZ ) = if (Z) ,
donde if (X) e if (Z) son los endomorfismos identidad de f (X) y f (Z), respectivamente.
Por tanto, f () es monomorfismos, f () es epimorfismo, y
Im[f ()] = Ker[f ()],

Im[f ()] = Ker[f ()],


L
f (Y ) = Im[f ()]
Im[f ()].

Esto implica que la sucesion


f ()

f ()

0 f (X) f (Y ) f (Z) 0
es exacta y se descompone.
Analogamente, se puede establecer el siguiente teorema.
Teorema 2.3.3 Sea f : MR MR un funtor R-lineal contravariante. si

0 X Y Z 0
es una sucesion exacta corta descomponible de R-modulos, tambien lo es
f ()

f ()

0 f (Z) f (Y ) f (X) 0.

Un funtor covariante f : MR MR se llama exacto si y solo si, para toda sucesion


exacta

X Y Z
28

de R-modulos, la sucesion
f ()

f ()

f (X) f (Y ) f (Z)
es tambien exacta. Analogamente, un funtor contravariante f : MR MR se llama
exacto si y solo si, para toda sucesion exacta

X Y Z
de R-modulos, la sucesion
f ()

f ()

f (Z) f (Y ) f (X)
es tambien exacta.
Lema 2.3.4 Cualquier funtor exacto f : MR MR aplica todo modulo nulo en un
modulo nulo; en smbolos, f (0) = 0.
Demostraci
on. Sea 0 un modulo nulo de MR . Entonces consideremos una sucesion
exacta
i

0 0 0
donde i representa el endomorfismo identidad. Como f es exacto, la sucesion
f (i)

f (i)

f (0) f (0) f (0)


es tambien exacta. Por (CF2) y (CF2*) de la seccion (4.2), f (i) es el endomorfismo
identidad de f (0). Por consiguiente obtenemos
f (0) = Im[f (i)] = Ker[f (i)] = 0
Por lo tanto f (0) = 0.

Teorema 2.3.5 Un funtor covariante f : MR MR es exacto si y solo si, para toda


sucesion exacta corta

0 X Y Z 0
29

de R-modulos, la sucesion
f ()

f ()

f (0) f (X) f (Y ) f (Z) f (0)


es siempre exacta.
Demostraci
on. Debido a (2.3.4), la necesidad de la condicion es obvia. Falta establecer la suficiencia.
Para ello, consideremos una sucesion exacta arbitrariamente dada

X Y Z
de R-modulos. Sea
A = Ker(),

B = Im() = Ker(),

C = Im().

entonces obtenemos tres sucesiones exactas cortas:


i

0 A X B 0,
0 B Y C 0,
0 C Z D 0,
donde i, j, k son homomorfismos inclusion, p y q estan definidos por , y r es la
proyeccion natural de Z sobre su modulo cociente
D = Coker() = Z/C.
Aplicando la condicion a estas sucesiones exactas cortas, obtenemos las siguientes tres
sucesiones exactas cortas:
f (i)

f (p)

f (j)

f (q)

f (k)

f (r)

0 f (A) f (X) f (B) 0,


0 f (B) f (Y ) f (C) 0,
0 f (C) f (Z) f (D) 0.
En particular, f (p) es epimorfismo, f (k) es monomorfismo, y
Im[f (j)] = Ker[f (q)].

30

Por la definicion de j, k, p, q, tenemos


= pj = j o p,

= qk = k o q.

Como f es un funtor covariante, tenemos


f () = f (pj) = f (p)f (j) = f (j) 0 f (p),
f () = f (qk) = f (q)f (k) = f (k) o f (q).
Como f (p) es epimorfismo y f (k) monomorfismo, tenemos
Im[f ()] = Im[f (j)] = Ker[f (q)] = Ker[f ()].
Esto implica la exactitud de la sucesion
f ()

f ()

f (X) f (Y ) f (Z)
y por ello completa la demostracion.
Analogamente, se puede establecer el siguiente teorema.

Teorema 2.3.6 Un funtor covariante f : MR MR es exacto si y solo si, para toda


sucesion exacta corta

0 X Y Z 0
de R-modulos, la sucesion
f ()

f ()

f (0) f (Z) f (Y ) f (X) f (0)


es siempre exacta.
Los funtores exactos no son frecuentes. La mayora de los funtores que encontraremos
conservan la exactitud solo parcialmente. Para definir las diversas nociones de exactitud parcial de un funtor f : MR MR consideremos una sucesion exacta corta
arbitrariamente dada

0 X Y Z 0
de R-moduls. Un funtor f : MR MR se dice semiexacto si y solo si la sucesion
f ()

f ()

f (X) f (Y ) f (Z)
31

es siempre exacta si f es covariante, y la sucesion


f ()

f ()

f (Z) f (Y ) f (X)
es siempre exacta si f es contravariante. Un funtor f : MR MR se dice exacto por
la izquierda si y solo si la sucesion
f ()

f ()

0 f (X) f (Y ) f (Z)
es siempre exacta si f es covariante, y la sucesion
f ()

f ()

0 f (Z) f (Y ) f (X)
es siempre exacta en el caso de ser f contravariante. Un funtor f : MR MR se dice
exacto por la derecha si y solo si la sucesion
f ()

f ()

f (X) f (Y ) f (Z) 0
es exacta en el caso de f covariante, y la sucesion
f ()

f ()

f (Z) f (Y ) f (X) 0
es exacta en el caso de f contravariante.
Las dos siguientes proposiciones son consecuencias inmediatas de (2.3.5), (2.3.6) y de
las definiciones.
Proposici
on 2.3.7 Un funtor f : MR MR es exacto si y solo si es exacto por la
izquierda y exacto por la derecha.
Proposici
on 2.3.8 Un funtor f : MR MR es semiexacto si es exacto por la
izquierda o exacto por la derecha.
Establezcamos ahora el siguiente teorema.
Teorema 2.3.9 Un funtor covariante f : MR MR es exacto por la izquierda si y
solo si, para toda sucesion exacta

0 X Y Z 0
32

de R-modulos, la sucesion
f ()

f ()

0 f (X) f (Y ) f (Z)
es tambien exacta.
Demostraci
on. La suficiencia de la condicion es obvia, establezcamos la necesidad.
Para ello, supongamos que f : MR MR es exacto por la izquierda. Sea
U = Im() Z,

Y = Z/U.

Entonces obtenemos dos sucesiones exactas cortas

0 X Y U 0,
0 U Z V 0,
donde es el homomorfismo definido por , es el homomorfismo inclusion y es la
proyeccion natural.
Como f es exacto por la izquierda, se determinan las dos sucesiones exactas
f ()

f ()

f ()

f ()

0 f (X) f (Y ) f (U ),
0 f (U ) f (Z) f (V ).
En particular, f () y f () son monomorfismos, y
Im[f ()] = Ker[f ()].
Como esta definido por y es el homomorfismo inclusion, tenemos
= o = .
Puesto que f es un funtor covariante, esto implica
f () = f () = f ()f () = f () o f ().
Por consiguiente, la sucesion
f ()

f ()

0 f (X) f (Y ) f (Z)
es exacta, lo que completa la demostracion.
Analogamente, se puede establecer los siguientes tres teoremas.
33

Teorema 2.3.10 Un funtor covariante f : MR MR es exacto por la derecha si y


solo si, para toda sucesion exacta

X Y Z 0
de R-modulos, la sucesion
f ()

f ()

f (X) f (Y ) f (Z) 0
es tambien exacta.
Teorema 2.3.11 Un funtor contravariante f : MR MR es exacta por la izquierda
si y solo si, para toda sucesion exacta

X Y Z 0
de R-modulos, la sucesion
f ()

f ()

0 f (Z) f (Y ) f (X)
es tambien exacta.
Teorema 2.3.12 Un funtor contravariante f : MR MR es exacto por la derecha
si y solo si, para toda sucesion exacta

0 X Y Z
de R-modulos, la sucesion
f ()

f ()

f (Z) f (Y ) f (X) 0
es tambien exacta.

2.4.

Sat
elites

A lo largo de la presente seccion, nos ocuparemos de un funtor arbitrariamente


dado y R-lineal:
f : MR MR
34

Para todo R-modulo X, elijamos una sucesion exacta corta particular

0 A P X 0
de R-modulos tal que P es proyectivo. Por ejemplo, podemos considerar que P sea
el R-modulo libre engendrado por el conjunto X y : P X el homomorfismo
u
nico tal que (x) x para todo x X P . Ademas, tomamos A = Ker() y sea
: A P el homomorfismo inclusion.
Si el funtor f es covariante, obtenemos un homomorfismo
f () : f (A) f (P ).
En este caso, denotemos
[S1 (f )](X) = X1 = Ker[f ()]
que es un submodulo de f (A).
Si el funtor f es contravariante, obtenemos un homomorfismo
f () : f (P ) f (A).
En este caso, denotemos
[S 1 (f )](X) = X = Coker[f ()]
que es un modulo cociente de f (A).
Ahora, sea : X Y un homomorfismo arbitrario de R-modulos. Consideremos el
diagrama
0
0

/A

X


donde las filas son las sucesiones exactas cortas elegidas para los modulos X e Y
como antes. Como P es proyectivo y es un epimorfismo, se sigue la existencia de un
homomorfismo : P Q que satisface
o = o .
35

Como l y k son monomorfismos, esta relacion de conmutatividad implica que determina un homomorfismo : A B que satisface
k o = o l.
As obtenemos un diagrama conmutativo:
/A

0
0

0
/

X


Si el funtor f es covariante, el cuadrado de la izquierda determina un cuadrado conmutativo:


f (A)


f ()

f ()

f (B)

f (k)

f (P )


f ()

f (Q)

La conmutatividad de este cuadro implica que f () aplica el submodulo X1 = Ker[f ()]


de f (A) es el submodulo Y1 = Ker[f (k)] de f (B) y por lo tanto define un homomorfismo
1 : X1 Y1 .
Lema 2.4.1 El homomorfismo 1 no depende de la eleccion del homomorfismo
: P Q.
Demostraci
on. Sea : P Q otro homomorfismo que satisface
o = o .
Entonces define un homomorfismo : A B que satisface
k o = o .
Consideremos el homomorfismo diferencia : P Q. Como
o ( ) = o o = o o = 0,

36

obtenemos Im( ) Ker() = Im(k). Puesto que P es proyectivo, se sigue la


existencia de un homomorfismo : P B que satisface
= k o .
Por lo tanto obtenemos
k o ( ) = k o k o = o o = ( ) o = k o o .
Como k es monomorfismo, esto implica
= o .
Puesto que f es un funtor covariante y es R-lineal, la relacion precedente implica
f () f () = f ( ) = f () o f ()).
Por lo tanto obtenemos
[f ()](X) = [f ()](X)
para todo elemento x de X1 = Ker[f ()]. Esto prueba que 1 no depende de la eleccion de : P Q.

En virtud de (2.4.1), el homomorfismo 1 : X1 Y1 depende solamente de : X Y


y del funtor f . Por lo tanto sera denotado por
[S1 (f )]() = 1 : [S1 (f )](X) [S1 (f )](Y ).
As, hemos construido una funcion
S1 (f ) : MR MR .
El lema siguiente es obvio.
Lema 2.4.2 Para todo funtor covariante f : MR MR , R-lineal, la funcion S1 (f ) :
MR MR es tambien un funtor covariante y R-lineal.

37

La construccion de este funtor covariante S1 (f ) : MR MR depende ademas de la


eleccion de una sucesion exacta corta particular

0 A P X 0,
con un modulo proyectivo P , para todo R-modulo X. Para una eleccion arbitraria de
una sucesion exacta corta
k

0 B Q X 0,
con un modulo proyectivo Q, para todo R-modulo, obtenemos otro funtor
S10 (f ) : MR MR .
Mediante el metodo usado antes, obtenemos un diagrama conmutativo:
/

0
0

A


/P

/X


/X

/ 0,

donde representa el homomorfismo identidad. Como antes, este diagrama determina


un u
nico homomorfismo
(X) : [S1 (f )](X) [S10 (f )](X).
Se puede comprobar facilmente que la correpondencia X (X) define una equivalencia natural
: S1 (f ) S10 (f ).
Por consiguiente, el funtor covariante
S1 (f ) : MR MR
esta determinado, salvo equivalencia natural, por el funtor covariante dado f : MR
MR y recibe el nombre de satelite por la izquierda de f .

La siguiente proposicion es ahora obvia.


38

Proposici
on 2.4.3 Si el funtor f : MR MR es covariante, entonces, para toda
sucesion exacta corta

0 A P X 0
siendo P modulo proyectivo, tenemos una sucesion exacta
f ()

0 [S1 (f )](X) f (A) f (P ).

Volvamos ahora de nuevo al principio de esta seccion. Si el funtor dado f es contravariante, entonces obtenemos un diagrama conmutativo:
f (Q)


f (K)

f ()

f (B) .

f (P )

f ()

f ()

f (A)

La conmutatividad de este cuadro implica que f () aplica el submodulo Im[f (k)] de


f (B) en el submodulo Im[f ()] de f (A) y por ello induce un homomorfismo
1 : Y 1 X 1
del modulo cociente Y 1 = Coker[f (k)] de f (B) en el modulo cociente X 1 = Coker[f ()]
de f (A).
Por argumentos duales a los usados en la demostracion de (2.4.1), se puede probar
que 1 depende u
nicamente de : X Y y del funtor f . Por ello sera denotado por
[S 1 (f )]() = 1 : [S 1 (f )](Y ) [S 1 (f )](X).
As hemos construido una funcion
S 1 (f ) : MR MR .
El siguiente lema, dual de (2.4.2), es inmediato.
Lema 2.4.4 Para todo funtor contravariante f : MR MR y R-lineal, la funcion
S 1 (f ) : MR MR es tambien un funtor contravariante y R-lineal.
39

Como en el caso covariante, se demuestra que este funtor contravariante


S 1 (f ) : MR MR
esta determinado, salvo equivalencias naturales, por el funtor contravariante dado
f : MR MR y recibe el nombre de satelite por la derecha de f .
El siguiente resultado, dual de (2.4.3), es obvio.
Proposici
on 2.4.5 Si el funtor f : MR MR es contravariante, entonces, para
toda sucesion exacta corta

0 A P X 0
siendo P un modulo de proyectivo, tenemos una sucesion exacta
f ()

f (P ) f (A) [S 1 (f )](X) 0.
Ahora, para todo R-modulo X, elijamos una sucesion exacta corta particular

0 X J U 0
de R-modulos tal que f es inyectivo. Por ejemplo, se puede seguir el metodo de alguna
de las demostraciones de la existencia del teorema (1.9.2) para construir un R-modulo
inyectivo J y un monomorfismo : X J. Ademas, escogemos U = Coker() y
: J U la proyeccion natural.
Si el funtor f es contravariante, obtenemos un homomorfismo
f () : f (U ) f (J).
En este caso, denotamos
[S1 (f )](X) = X1 = Ker[f ()]
que es un submodulo de f (U ). Si el funtor f es covariante, obtenemos un homomorfismo
f () : f (J) f (U ).
40

En este caso, denotemos


[S 1 (f )](X) = X 1 = Coker[f ()]
que es un modulo cociente de f (U ).
Sea ahora : X Y un homomorfismo arbitrario de R-modulos. Consideremos el
diagrama
/

/J

donde las filas son las sucesiones exactas cortas elegidas para los modulos X e Y como
anteriormente. Como K es inyectivo y es monomorfismo, se deduce que existe un
homomorfismo : J K que satisface
o = k o .
Este homomorfismo determina un u
nico homomorfismo : U V que satisface
o = o .
As obtenemos un diagrama conmutativo:
0
0

/J

/ 0.

Si el funtor f es contravariante, el cuadrado de la derecha determina un cuadrado


conmutativo:
f (V )


f ()

f ()

f (U )

f ()

f (K)


f ()

/ f (J).

La conmutatividad de este cuadrado implica que f () aplica el submodulo Y1 =


Ker[f ()] de f (V ) en el submodulo X1 = Ker[f ()] de f (U ) y por ello define un
homomorfismo
1 : Y1 X1 .
41

Como en (2.4.1), se puede probar que 1 no depende de la eleccion de : J K.


Por tanto sera denotado por
[S1 (f )]() = 1 : [S1 (f )](Y ) [S1 (f )](X).
As hemos construido una funcion
S1 (f ) : MR MR .
El siguiente lema es obvio.
Lema 2.4.6 Para todo funtor contravariante f : MR MR y R-lineal, la funcion
S1 (f ) : MR MR . es tambien un funtor contravariante y R-lineal.
Como antes, se puede comprobar que este funtor contravariante
S1 (f ) : MR MR .
esta determinado, salvo equivalencia natural, por el funtor contravariante dado
f : MR MR . Recibe el nombre de satelite por la izquierda de f .
La siguiente proposicion es inmediata.
Proposici
on 2.4.7 Si el funtor f : MR MR es contravariante, entonces, para
toda sucesion exacta corta

0 X J U 0
tal que J es un modulo inyectivo, tenemos una sucesion exacta
f ()

0 [S1 (f )](X) f (U ) f (J).


Si el funtor es covariante, tenemos un diagrama conmutativo:
f (J)


f ()

f ()

f (K)

f ()

42

f (U )


f ()

f (V ).

La conmutatividad de este cuadrado implica que f () aplica el submodulo Im[f ()]


de f (U ) en el submodulo Im[f ()] de f (V ) y por tanto induce un homomorfismo
1 : X 1 Y 1
del modulo cociente X 1 = Coker[f ()] de f (U ) en el modulo cociente Y 1 = Coker[f ()]
de f (V ).

Como antes, se puede probar que 1 no depende de la eleccion de : J K.


Por ello sera denotado por
[S 1 (f )]() = 1 : [S 1 (f )](X) [S 1 (f )](Y ).
As hemos construido una funcion
S 1 (f ) : MR MR .
El siguiente lema es inmediato.
Lema 2.4.8 Para todo funtor covariante f : MR MR y R-lineal, la funcion
S 1 (f ) : MR MR es tambien un funtor covariante y R-lineal.
Como antes, se puede demostrar que este funtor covariante S 1 (f ) : MR MR
esta determinado salvo una equivalencia natural, por el funtor covariante dado f .
Recibe el nombre de satelite por la derecha de f .

La siguiente proposicion es inmediata.

Proposici
on 2.4.9 Si el funtor f : MR MR es covariante, entonces, para toda
sucesion exacta corta

0 X J U 0
tal que J es modulo inyectivo, tenemos una sucesion exacta
f ()

f (J) f (U ) [S 1 (f )](X) 0.
43

As, para todo funtor f : MR MR que es R-lineal, hemos construido un satelite


por la izquierda y un satelite por la derecha de f . Son funtores de la misma variancia
que f
S1 (f ) : MR MR ,

S 1 (f ) : MR MR

y R-lineales tambien.
Podemos iterar la definicion de satelite poniendo
Sn+1 (f ) = S1 [Sn (f )],

S0 (f ) = f,

S n+1 (f ) = S 1 [S n (f )],

S 0 (f ) = f.

Es muy conveniente agrupar todos estos satelites en una sola sucesion


{Sn (f )| < n < }
poniendo S n (f ) = Sn (f ) para todo entero n, natural.
Consideremos ahora una sucesion exacta corta arbitraria

0 X Y Z 0
de R-modulos.
Consideremos el siguiente diagrama:
/

0
/

A
X

P
Y

Z
/

0.

donde la fila superior es una sucesion exacta corta tal que P es un modulo proyectivo
y representa el homomorfismo identidad. Como P es proyectivo, se puede demostrar
como antes que este diagrama se extiende a un diagrama conmutativo:
/

0
0

A


Z


0.

Si f : MR MR es covariante, la composicion del homomorfismo inclusion


j : [S1 (f )](Z) = Ker[f ()] f (A)
44

y el homomorfismo f () : f (A) f (X) es un homomorfismo


1 = f () o j : [S1 (f )](Z) f (X)
que satisface f () o 1 = 0. Si f : MR MR es contravariante, la composicion del
homomorfismo f () de f (X) en f (A) y la proyeccion natural
p : f (A) [S 1 (f )](Z) = Coker[f ()]
es un homomorfismo
1 = p o f () : f (X) [S 1 (f )](Z)
que satisface 1 o f () = 0.
Por otra parte, consideremos el diagrama siguiente:
/

X
/

0.

donde la fila inferior es una sucesion exacta corta con J modulo inyectivo y representa el homomorfismo identidad. Como J es inyectivo, se puede demostrar como
antes que este diagrama se extiende a un diagrama conmutativo:
0
0

X


Y
/

Z


0.

Si f : MR MR es contravariante, la composicion del homomorfismo inclusion


j : [S1 (f )](X) = Ker[f ()] f (U )
y el homomorfismo f () : f (U ) f (Z) es un homomorfismo
1 = f () o j : [S1 (f )](X) f (Z)
que satisface f () o 1 = 0.
Si f : MR MR es covariante, la composicion del homomorfismo f () : f (Z)
f (U ) y la proyeccion natural
p : f (U ) [S 1 (f )](X) = Coker[f ()]
45

es un homomorfismo
1 = p o f () : f (Z) [S 1 (f )](X)
que satisface 1 o f () = 0.
Como en (2.4.1), se puede demostrar que estos homomorfismos 1 y 1 no depende
de la eleccion de los homomorfismos : P Y y : P J.
Aplicando esto a los satelites de f , obtenemos una sucesion infinita
. . . [Sn (f )](X) [Sn (f )](Y ) [Sn (f )](Z) [Sn1 (f )](X) . . .,
definida para todos los enteros n, si f : MR MR es covariante, y una sucesion
infinita
. . . [Sn (f )](Z) [Sn (f )](Y ) [Sn (f )](X) [Sn1 (f )](Z) . . .
definida para todos los enteros n, si f : MR MR es contravariante. Los simbolos
de los homomorfismos omiten puesto que son obvios.
Cada una de estas dos sucesiones sera denominada la sucesion satelite del funtor
f : MR MR para la sucesion exacta corta dada.
Teorema 2.4.10 Para todo funtor f : MR MR que es R-lineal y toda sucesion
exacta corta

0 X Y Z 0
de R-modulo, la sucesion satelite es semiexacta.
Demostraci
on. Supongamos que el funtor f : MR MR es covariante. Como f es
R-lineal, tambien lo es Sn (f ) para todo entero n. Como o = 0, deducimos que la
parte
[Sn (f )](X) [Sn (f )](Y ) [Sn (f )](Z)
de la sucesion satelite es semiexacta para todo entero n.
Ahora, en la construccion de 1 , hemos observado la semiexactitud 1 o f () = 0 de
la sucesion
f ()

f (Y ) f (Z) [S 1 (f )](X).
46

Aplicando esto a S n (f ) en lugar de f , deducimos que la parte


[Sn (f )](Y ) [Sn (f )](Z) [Sn1 (f )](X)
de la sucesion satelite es semiexacta para todo n 0. Para establecer su semiexactitud
para todo n > 0, basta probar la de la sucesion
[S1 (f )]()

1
[S1 (f )](Z)
f (X).

[S1 (f )](Y )

Para ello, consideremos un diagrama conmutativo:


/

Z
/

0.

donde P , Q son proyectivos y : Z Z es el homomorfismo identidad. De las


definiciones de [S1 (f )]() y 1 , obtenemos
1 o [S1 (f )] = f () o f () | Ker[f ()].
Como antes, se sigue que, para toda eleccion del diagrama conmutativo
/

0
0

A


P


Y
/

0.

con P modulo proyectivo, tenemos siempre


1 o [S1 (f )] = f () | Ker[f ()].
En particular, podemos elegir = y por lo tanto = 0. Como f es R-lineal, esto
implica 1 o [S1 (f )] = 0.
Esto prueba la semiexactitud de la parte
[Sn (f )](Y ) [Sn (f )](Z) [Sn1 (f )](X)

47

de la sucesion satelite para todo entero n. Analogamente, se puede establecer la


semiexactitud de la parte
[Sn (f )](Z) [Sn (f )](X) [Sn1 (f )](Y )
para todo entero n.
Esto completa la demostracion para el caso en que f es covariante. Analogamente, se
puede probar el teorema para el caso en que f es contravariante.
Teorema 2.4.11 Si el funtor f : MR MR es semiexacto y R-lineal, entonces la
sucesion satelite es exacta para toda sucesion exacta corta de R-modulos
Demostraci
on. Ver Cartan, H. y S. Eilenberg [1].

48


IV. ANALISIS
DE LOS RESULTADOS

Este trabajo se ha desarrollado sobre la base de textos, papers, artculos en topologa algebraica y software especializado adecuandolo a nuestra necesidad.
Luego de realizar la recoleccion de datos necesarios para la investigacion. Los metodos
usados en la discusion de este trabajo son clasificados en:
1. Inductivo
2. Deductivo
3. Inductivo-Deductivo
El metodo deductivo es conciso y logico, que permite desarrollar la teora de satelites
sobre modulos y aplicarlas a las sucesiones exactas de modulos en forma ordenada.
El metodo inductivo-deductivo ha hecho posible mostrar el desarrollo del formulismo
que describen los conceptos de modulos, categoras y funtores, as como tambien el
analisis de las soluciones para los ejemplos presentados.
En conclusion estos metodos han permitido que el trabajo tenga contenido y mayor claridad abriendo nuevas puertas para la determinacion de extesiones de otras
estructuras algebraicas.

49


V. CONCLUSIONES Y DISCUSION

Considerando que el presente trabajo no tiene resultados experimentales obtenidos en gabinete o laboratorio, no es posible realizar una discusion en ese sentido. Sin
embargo podemos realizar una discusion respecto de otros trabajos.
Modulos sobre anillos particulares pueden ser vistos en Sze-Tsen Hu [5], Van Der
Waerden [7].
Sucesiones exactas de grupos, propiedades de exactitud y semiexactitud son estudiadas en Sze-Tsen Hu [3], Bourbaki Hu [10].
Modulos libres, proyectivos e inyectivos junto con sus propiedades universales pueden
ser vistos en Sze-Tsen Hu [5], Joseph Rotman [13].
Con el afan de dar a conocer uno de los topicos mas importantes de la topologa y
Geometra Algebraica, presentamos el trabajo Categoras y funtores de modulos,
especficamente
Funtores contravariantes y covariantes.
Satelites y su asociacion con sucesiones exactas de modulos.
Este trabajo es de mucha utilidad en matematica, fsica, ingeniera y ciencias economicas, sobre todo si se trabaja en topologa algebraica o diferencial.

50


VI. REFERENCIAS BIBLIOGRAFICAS
[1] cartan, h., y s. eilenberg, Homological Algebra, Princeton University Press,
Princeton, N.J., 1956.
[2] hu, s.-t, Elements of General Topology, Holden-Day, San Francisco, 1964.
[3] hu, s.-t, Elements of Modern Algebra, Holden-Day, San Francisco, 1965.
[4] hu, s.-t, Introduction to Contemporay Mathematics, Holden-Day, San Francisco,
1966.
[5] hu, s.-t, Introduction to Homological Algebra, Holden-Day, San Francisco, 1968.
[6] n.jacobson, Lectures in Abstract Algebra, Van Nostrand, Princeton, N.J., vol.
1(1951), vol. 2(1953), vil. 3(1964).
[7] van der waerden, Moderne Algebra, Springer Verlag, Berln, 1931.
[8] O. Zakiski y p. samuel, Commutative Algebra, Van Nostrand, Princeton, N.J.,
vol. 1(1958), vol. 2(1960).
[9] barr, m., Harrison Homology and Standard Constructions, In Seminar on Triples and Categorical Homology Theory, Lecture Notes in Math. No. 80. Berln,
Heidelberg, New York, Springer-Verlag, 1969.
[10] hu, bourbaki, n., Algebre Homologique, Ch. X of Algebre, Paris, San Francisco,
Masson Publ., 1980.
[11] cartan, H., and S. Eilemberg, Homological Algebra, Princeton, Princeton
University Press, 1956.
[12] milnor, j., On Oxiomatic Homology Theory, Pacific J. Math. 12(1962): 337-341.
[13] rotman, j., An Introduction to Homological Algebra, New York, Academy Press,
1979.
[14] MacLane, S., Homology, Academic Press, New York, 1963.
51

Visto Bueno del Profesor

UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMATICA

CONSTANCIA DE APROBACION

Por la presente se hace constar que la Srta. Angelica Miluzca Victorio Celis con codigo
N 031038-K ha realizado Practica Pre-Profesional en la modalidad de Investigacion
con el tema Categoras y Funtores sobre Modulos, cuyo objetivo principal ha sido
estudiar categoras y funtores sobre modulos.
En mi calidad de asesor le otorgo el caracter de APROBADO.

Se extiende esta esta constancia, para los fines pertinentes.

Atentamente,

Lic. Ezequiel Fajardo Campos

52

También podría gustarte