Академический Документы
Профессиональный Документы
Культура Документы
MODALIDAD DE INVESTIGACION
ANGELICA
MILUZCA VICTORIO CELIS
Codigo: 031038-K
N : 011-2014-CD-EPM-FCNM
RESOLUCION
Bellavista - Callao
Semestre: 2014-A
A. DATOS GENERALES
CODIGO
: 031038-K
INSTITUCION
FACULTAD
ESCUELA ACADEMICA
PROFESIONAL : Matematica
TITULO
: CATEGORIAS Y FUNTORES
SOBRE MODULOS
SEMESTRE ACADEMICO
: 2014-A
CODIGO
: 2807
CATEGORIA Y DEDICACION
: Asociado D.E.
CONDICION
: Nombrado
ESPECIALIDAD
: Matematica
FACULTAD
A3. DE LA INSTITUCION
INSTITUCION
DIRECCION
TELEFONO
: (051)429 7178
ii
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
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
DE LA MONOGRAFIA
C. PRESENTACION
iii
Indice
I.
RESUMEN
II. INTRODUCCION
CAPITULO I: Preliminares . . . . . . . . . . . . . . . . . . . . . . .
1.1.
Modulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
Homomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.
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
18
2.1.
Categoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.
2.3.
. . . . . . . . . . . . . . . .
27
2.4.
Satelites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
IV. ANALISIS
DE LOS RESULTADOS
18
49
CONCLUSIONES Y DISCUSION
50
51
52
V.
iv
I. RESUMEN
II. INTRODUCCION
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
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
1.3.
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
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
k
Xj S P
Xk ,
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.
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
AB
g
/
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:
~
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.
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.
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).
() = ().
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
(1 ) = ().
17
Categoras
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
(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
2.2.
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
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 )
()(X) = ig(X)
2.3.
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.
= o = 0,
= o = 0,
= o = iX ,
= o = iZ ,
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.
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)
0 X Y Z 0
29
de R-modulos, la sucesion
f ()
f ()
X Y Z
de R-modulos. Sea
A = Ker(),
B = Im() = Ker(),
C = Im().
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)
30
= qk = k o q.
f ()
f (X) f (Y ) f (Z)
y por ello completa la demostracion.
Analogamente, se puede establecer el siguiente teorema.
0 X Y Z 0
de R-modulos, la sucesion
f ()
f ()
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
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.
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
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
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
f ()
f ()
f (B)
f (k)
f (P )
f ()
f (Q)
36
37
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,
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 ()
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)
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
/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.
f ()
f ()
f (U )
f ()
f (K)
f ()
/ f (J).
0 X J U 0
tal que J es un modulo inyectivo, tenemos una sucesion exacta
f ()
f ()
f ()
f (K)
f ()
42
f (U )
f ()
f (V ).
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
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.
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.
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.
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
1
[S1 (f )](Z)
f (X).
[S1 (f )](Y )
Z
/
0.
0
0
A
P
Y
/
0.
47
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
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.
Atentamente,
52