Académique Documents
Professionnel Documents
Culture Documents
MONOGRAFA
Para optar el Ttulo de Licenciado en Matemtica
AUTOR
Francisco Quirz Garca
LIMA PER
2007
Aprobado por:
LIMA PER
Febrero 2007
ii
DEDICATORIA
A mis padres:
Sergio y Marlene.
Y a Rogger, Margarita y Betzabeth.
iii
Agradecimientos
Al Mg. Jos del Carmen Prez Arteaga por la asesora brindada y lo aprendido en clase.
Al Mg. Napolen Caro Tuesta por la orientacin acadmica y consejos durante el
desarrollo del presente trabajo.
A mis profesores de la E.A.P. de Matemtica que ayudaron a mi formacin acadmica.
iv
Asesor
Ttulo Obtenido
: Licenciado en Matemtica
Resumen
En este trabajo caracterizaremos los mdulos planos por ideales finitamente
generados y por ecuaciones lineales. Para ello hemos dividido el trabajo en 4 captulos :
En el captulo 1 utilizaremos el lenguaje de categoras y funtores para presentar
los mdulos proyectivos y planos como aquellos mdulos M que hacen exactos a los
funtores HomR(M,-) y M R respectivamente.
En el captulo 2 estudiaremos las propiedades bsicas de los mdulos planos, as
como algunos ejemplos.
Los funtores de torsin sern presentados en el captulo 3.
En el captulo 4, como aplicacin de los funtores de torsin, probaremos los dos
teoremas principales de nuestra monografa. El primer teorema mostrar que M es plano
si y solamente si el funtor de torsin 1 dimensional Tor 1R (M, R ) = 0 para todo
I
ideal finitamente generado I . Y el segundo teorema caracterizar los mdulos planos
usando ecuaciones lineales. Finalmente probaremos que si R es un anillo local y M es
un R- mdulo finitamente generado, entonces M es plano si y solamente si M es
proyectivo si y solamente si M es libre.
ndice
INTRODUCCIN
1. Preliminares
23
2.1 Definiciones...............................................................................................23
2.2 Propiedades bsicas...................................................................................26
3. El funtor Tor
31
35
Bibliografa
45
Introduccin
Sea R un anillo conmutativo con unidad y M un R mdulo. El funtor
HomR(M,-) es exacto a izquierda, pero en general no es exacto ; aquellos mdulos para
los cuales este funtor es exacto son los denominados mdulos PROYECTIVOS. El
funtor M R es exacto a derecha, pero en general no es exacto . Los mdulos M
para los cuales este funtor es exacto son los llamados mdulos PLANOS. Todo mdulo
proyectivo es plano, pero el recproco no siempre es cierto.
La nocin de mdulo plano fue introducida por Jean Pierre Serre en su libro
GOMTRIE ALGBRIQUE ET GOMTRIE ANALYTIQUE ( Ann. Inst. Fourier. Vol 6.
Captulo 1
Preliminares
En el desarrollo de la presente monografa, R denotar un anillo conmutativo con unidad
1 0, arbitrariamente dado.
f : AB.
1A o g = g.
Observacin. No podemos decir que C consta de todos los objetos A, B, C,..., etc., pues
este "conjunto" sera una total ilegitimidad en la teora usual de los conjuntos. Sin
embargo, si adoptamos los axiomas de Gdel - Bernays - Von Neumann para la teora de
conjuntos, tendremos totalidades ms grandes que los conjuntos, llamadas clases, y
entonces s podemos hablar de la clase de todos los objetos A, B, C, etc.
Ejemplos.
1) La categora Conj: Los objetos son los conjuntos, los morfismos son las
aplicaciones de un conjunto en otro y la composicin de morfismos es la
composicin de aplicaciones.
2) La categora Top: Los objetos son los espacios topolgicos, los morfismos son las
aplicaciones continuas y la composicin de morfismos es la composicin de
aplicaciones continuas.
3) La categora Gr: Los objetos son los grupos, los morfismos son los
homomorfismos de grupos y la composicin de morfismos es la composicin de
homomorfismos.
4) Sea S un semigrupo con unidad (o sea un monoide). Definimos C como sigue.
Obj C = {A} (o sea un solo objeto)
HomC(A,A) = S (es decir, los morfismos son los elementos de S), y la
composicin es la multiplicacin en S.
Note que HomC (A,A) no es conjunto de funciones.
5) Sea R un anillo conmutativo con unidad. La Categora ModR: Los objetos son los
R-mdulos a izquierda, los morfismos son los R-homomorfismos de mdulos y la
composicin de morfismos es la composicin de R-homorfismos.
6) Sean C y D dos categoras. La categora producto CD es definida como sigue:
Un objeto de C D es un par (A, B) donde A es un objeto de C y B es un objeto de
D.
Un morfismo de (A1, B1) en (A2, B2) es un par (f1, f2) HomC (A1, A2) HomD (B1, B2).
F(1A ) = 1F ( A)
Definicin 1.1.3.
una aplicacin que a cada objeto A de C le asigna un objeto G(A) de D y a cada morfismo
f : A B de HomC(A,B) un morfismo G(f) : G(B) G(A) de HomD(G(B), G(A)) de
modo que
a) G(f o g) = G(g) o G(f)
b) G(1A)
= 1 G ( A)
Ejemplos.
1) Sea C una categora. El funtor identidad de C es definido por 1C(A) = A
(respectivamente 1C(f) = f) para todo objeto A (respectivamente para todo
morfismo f) de C.
2) Definimos el funtor F: Gr Conj que a cada grupo G le asigna el conjunto G y a
cada homomorfismo de grupos f: GH le asocia la aplicacin f: GH.
3) Sea C una categora y sea A un objeto de C.
Definimos HomC(A, -): C Conj que a cada objeto B de C le asigna el conjunto
HomC(A, -) (B) = HomC(A, B) y a cada morfismo f : B C de C le asigna
el morfismo
HomC(C, A)
g
HomC(B, A)
gof
i
X
F(X)
f
F(f)
F(f) o i = f
Y
Definicin 1.1.4. Una sucesin exacta es una sucesin finita o infinita
f
g
..
X
Z
..
Z
..
Q
0
de la sucesin
implica la exactitud de la sucesin
(f)
(g)
F(N) F
F(P) F
F(Q)
0
G(Q)
a f( ) = f o
es un R-homomorfismo.
Usaremos la notacin HomR(M, f ) para referirnos a f
R-homomorfismo
Prueba.
f
g
0
N
Sea
R ( M, f )
R (M ,g )
HomR(M,N) Hom
HomR(M,P) Hom
HomR(M,Q)
ii) Supongamos
que
Im (HomR(M,f)),
entonces
=f o
para
algn
HomR(M,N).
Luego HomR(M, g)( )= g o = g o (f o ) = (g o f) o = 0, pues, g o f = 0; por tanto,
Im (HomR(M, f)) Ker(HomR(M,g)).
Recprocamente, sea Ker(HomR(M, g)), es decir, g o = 0
Si x M, entonces (x) Ker g = Imf, luego existe un nico y N tal que (x)=f(y),
pues, f es un monomorfismo.
Definimos : MN mediante (x) = y = f -( (x)), entonces HomR(M,N) y
ms an
HomR(M, f) ( ) = f o = .
Por tanto Im(HomR(M, f)).
Observacin. En general el funtor HomR(M, -) no es exacto a derecha.
Veamos los siguientes ejemplos:
Ejemplo 1
Consideremos la sucesin exacta de -mdulos
i
0
/
0 ,
donde:
: Cuerpo de los racionales.
Sea M = 2 como -mdulo
Entonces:
Hom ( Z , )
Z
2
0. Sin embargo
/ definido
Hom Z ( 2, /) 0, basta tomar el homomorfismo : 2
(0 ) = 0
por:
(1) =
1
+ .
2
Ejemplo 2
Sea R = K [x ] donde K es cualquier cuerpo y consideremos R
xR
como R-mdulo.
R
R
0
R
xR
xR
xR
,R)
Hom R ( R
xR
,R)
Hom R ( R
xR
, R
xR
xR
xR
, R
xR
)
0
, R ) = 0 pero
) 0.
n
Ahora, si Hom R ( R
xR
( p = a0 + xR )
, R ) entonces:
( a0 + xR) = 0, pues x 0.
Sin embargo Hom R ( R
xR
, R
xR
Observacin. Aquellos mdulos para los cuales el funtor HomR(M, -) es exacto a derecha
10
:M Q
para
todo R-epimorfismo
g: P Q
de
R-mdulos, existe
un
Proposicin 1.2.1.4.
Proposicin 1.2.1.5.
Prueba.
(ver [H ] , pgina 84 )
11
Lema 1.2.1.6.
1M
Proposicin 1.2.1.7.
de un mdulo libre.
Prueba.
i: M F
g: P Q un epimorfismo.
y
: FM
o i =1M.
Como F es libre, entonces es proyectivo.
12
Por ejemplo: Si R = 6
Entonces 6 2 3 (Suma directa externa). Ahora 6 es un 6 mdulo libre, luego
por el teorema anterior 2 es 6 - mdulo proyectivo, pero no es libre, pues todo
6-mdulo libre debe tener por lo menos 6 elementos.
13
1.3 El Funtor
Definicin 1.3.1.
en la categora ModR
M R
R-mdulo T, junto con una aplicacin bilineal f: M N T tal que, para toda aplicacin
bilineal g: M N P en un R-mdulo P, existe un nico R-homomorfismo h: T P tal que
h o f = g.
MN
!h
h o f = g.
Proposicin 1.3.2.
M y N; ms an si (T, f) y
(ver [R ], pgina 22 )
Observaciones.
14
Sean
M P M RP
N Q N RQ
o (f g) : M P
N Q
M RP
f g
f g
NQ
Luego
N R Q
R-homomorfismo
m M y nM.
Luego M (g o f) = (M g) o (M f).
ii) Sea 1N: N N, entonces para (m, n) M N
M 1N(m n) = m 1N(n) = m n = 1M N(m n)
Luego M 1N =1M N
15
Proposicin 1.3.4.
Prueba.
Sea:
f
g
N
Q
0
r (m
i =1
qi ) para algunos m i M y q i Q.
Luego
r (m
i =1
pi ) M P y ms an
n
n
n
M g ri (mi p i ) = ri (mi g ( p i ) ) = ri (mi q i ) =
i =1
i =1
i =1
Por tanto
v=
r (m
i =1
Entonces
M g(v) =
f ( ni ) ) = 0
g o f ( ni ) ) = 0
r (m
i =1
pues g o f = 0.
( M P)
Im(M f )
M Q tal que o = M g .
16
M g
M P
M Q
M P
Im(M f )
Por otro lado, como g es sobreyectiva, para cada qQ existe pP tal que q = g(p).
Ahora bien, si q = g(p 1 ) para otro p 1 P, entonces p - p 1 Kerg = Imf.
Luego, si mM entonces tenemos que m (p-p 1 )Im(M f)
Por tanto, m p + Im(M f) = m p 1 +Im(M P)
Luego, la aplicacin:
: M Q M P Im(M f )
(q, m) a p m+Im(M f)
donde q = g(p) est bien definida y es bilineal.
Por la propiedad universal del producto tensorial, existe un R-homomorfismo
: M Q
M P
Im(M f )
MQ
M Q
M P
Im(M f )
17
Observacin.
/2
0
es exacta,
donde f :
homomorfismo definido por f (m) = 2m, para todo m y es la
proyeccin cannica.
Tensorando con el -mdulo /2 se tiene la sucesin
f
/2 Z
/2 Z /2
0
0
/2 Z Z/2Z
/2 Z
(n+2) Z m
/2
mn+2
/2
2mn+2 = 2
Finalmente, /2 Z f no es inyectiva.
18
Ejemplo 2
Consideremos el anillo conmutativo K [x ] donde K es cualquier cuerpo y la sucesin
exacta de R-mdulos:
x
R
R
0
R
xR
xR
xR
x
xR R
R
R R
xR
R R
R
xR
R R
xR
xR
R R
xR
0
R
xR
x
xR R
R R
xR
R R
R
R
q(x)p(x) + xR
xR
xR
x q(x)p(x) + xR = xR
xR
R R
no es
inyectiva.
2) Los R-mdulos M para los cuales el funtor M R es exacto a izquierda sern los
denominados mdulos planos, que sern estudiados en los siguientes captulos.
19
Sea ( I
ii)
f = f o f
M
f
f = f o f
M
Tal sistema es denotado por ( M , f ) , I .
,
todo I ,
(g ) I
f = f o f
y para todo
de R homomorfismos g : M
N tal que si
20
! g
M
g
M
f
g
f
M
Dado
Proposicin 1.4.3.
h:M
M tal que
f = h o f .
Prueba.
21
Proposicin 1.4.4.
22
Captulo 2
Mdulos planos y fielmente planos.
2.1 Definiciones
Definicin 2.1.1.
f
g
0
N
Q
0
g
0
M RN Mf M RP M
M RQ
0
es exacta.
23
Proposicin 2.1.2.
Prueba.
f
0
P
N
(I)
R R N
R(I) f
P
f(I)
N(I)
R(I) R P
P(I)
donde N :(r i ) iI n a (r i n ) iI y
(I)
Corolario 2.1.3.
Prueba.
f
0
N
f
0
F RN F
F RP
es exacta.
Pero F R f = M R f M1 R f, luego M R f es inyectiva.
24
Proposicin 2.1.4.
Sea
RS R N
RS R P
0
donde N :
fS
PS
r
n Rs N a
s
rn
NS y
s
r
s
rp
PS son los isomorfismos cannicos y
s
P : p Rs P a
fS:
NS
n
Ns a
s
f ( n)
PS
s
1)
2)
m
/(n, p) = 1}
n
25
Observaciones.
Consecuentemente
pero
es inyectiva
G = 0 no es inyectiva.
G G G
26
Prueba.
(i) (ii)
Sea N un R-mdulo tal que M RN = 0.
Entonces la sucesin 0
M RN es exacta
0
N es inyectiva, por tanto N = 0
Im(g)
0
Ker(g)
P
Im(g)
0
donde g = v o
M RKer(g) = Ker(M R g)
Como M R g = 0 entonces M R Im(g), por tanto, Im(g) = 0 luego g = 0
(iii) (i)
Sea
f
g
N
R f
R g
M RP M
M RQ
0 sea exacta
M RN M
Como
M R (g o f) = (M R g) o (M R f)=0
entonces
gof = 0
La sucesin exacta
Ker ( g )
h
Im(f)
Ker(g)
Im( f )
pues M es plano.
Ahora
M RIm(f) = Im(M R f) y
M RKer(g) = Ker(M R g)
mM
27
M R R
y que
0
m
(iv)(ii)
La condicin (iv) implica la condicin M R R
M R R
Luego la sucesin 0
M R R
M RN es exacto.
Proposicin 2.2.2.
submdulos de N.
Identificando M RNi (i=1,2) como submdulos de M RN usando las inyeciones
cannicas, tenemos la igualdad
M R (N1 N2) = (MRN1) (MRN2)
Prueba.
28
Proposicin 2.2.3.
Si M1 y M2 son planos
M1 RM2.
Prueba.
M 1 R (M 2 R N )
M 1 (M 2 f )
M 1 (M 2 g )
M 1 R ( M 2 R P)
M 1 R ( M 2 R Q)
(M 1 M 2 ) f
(M 1 R M 2 ) R N
(M 1 M 2 ) g
(M 1 R M 2 ) R P
(M 1 R M 2 ) R Q
Proposicin 2.2.4.
29
Observacin.
30
Captulo 3
El funtor Tor
n +1
n 1
....
Pn+1
Pn
Pn-1
.....
31
0, entonces la sucesin
Proposicin 3.1.1.
Prueba.
N es isomorfo a un cociente
F0
N0
N0 es isomorfo a un cociente F1
N1
n
n +1
..
Pn
Pn-1
Pn+1
tomando
Pn =
Si n = -1
Fn
Si n 0
Si n < -1
n =
Si n = 0
n 1 o n
Si n > 0
Si n < 0
32
n0
n
n +1
n 1
Pn+1
Pn
Pn-1
Como
(M R n) o (M R n+1) = M R ( n o n+1) = M R 0 = 0
Q:
Im(M R n +1 )
Qn
Definicin 3.2.2.
Tor nR (M, N)
Observacin.
33
Sea M un R-mdulo y
Proposicin 3.2.3.
f
g
P
Q
0
N
Tor nR (M,N)
Tor nR (M,P)
Tor nR (M,Q)
Tor nR1 (M,N)
...
...
Tor 1R (M, Q)
MR N
MR P
MR Q
0
...
Prueba.
Proposicin 3.2.4.
Prueba.
mdulo, entonces:
lim Tor1R ( M , M ) = Tor1R ( M , lim M )
Prueba.
34
Captulo 4
Aplicaciones de los funtores Tor a los mdulos
planos
4.1 Caracterizacin de los mdulos planos por los ideales
finitamente generados.Teorema 4.1.1.
(i) M es plano.
(ii) Tor 1R (M, N) = 0 para todo R-mdulo N.
(iii) Tor 1R (M, N) = 0 para todo R-mdulo N finitamente generado.
(iv) Tor 1R (M, R ) = 0 para todo ideal I de R.
I
(v) Tor 1R (M, R ) = 0 para todo ideal I de R finitamente generado.
I
(vi) La aplicacin cannica M RI
M
( x
ri a ri xi ) es inyectiva para
35
Prueba.
(i) (ii)
Sea
0
Q
P
N
0
R
1
(M, P)
Tor
R
1
(M, N)
M RP
M RQ
M RN
0
Sea
f
g
0
P
L
0
...
Tor 1R (M, L)
M RP
M RQ
M RL
0
Luego
Tor 1R (M, N) = Tor 1R (M, lim N )
= lim Tor 1R (M, N )
= 0,
pues Tor 1R (M, N ) = 0.
(ii) (iv) Es claro.
36
(iv) (iii) Haremos la prueba por induccin sobre el cardinal n de un sistema finito de
generadores del R-mdulo N.
Si n = 1, entonces N = x , luego considerando el epimorfismo:
f:
rx
Kerf
Kerf
N.
) = 0 , entonces Tor1R ( M , N ) = 0 .
Ii
sobre R
Ij
R
0
I
37
. Es suficiente razonar
Tor 1R (M, R )
MRI
MRR M
0 = Tor 1R (M, R)
I
la cual demuestra la equivalencia.
Sea R un dominio de ideales principales, M un R-mdulo. Las
Corolario 4.1.2.
implica r = 0 o x = 0
la aplicacin s a sr de R en R.
r
0
R
R, ( Pues,
es inyectiva)
M
y gracias al isomorfismo cannico M RR
r
M
M,
0
donde rM es la aplicacin x a rx de M en M.
Luego, si
rx =0
rM ( x) = 0
x = 0 (Pues, rM es inyectiva)
De donde, M es sin torsin.
(ii) (i) Sea I un ideal de R, entonces I = a para algn a. Por probar, que la
aplicacin : M RI a M es inyectiva y por la parte (vi) del teorema 4.1.1. M ser
plano.
38
(m r)
= 0
, m 0 M,
r I.
( o (M R a )) (m r) = 0
(m ra)
= 0
(ra) m = 0
r (am) = 0
r = 0
entonces :
( M es sin torsin)
m r = 0
De donde, es inyectiva.
Observacin.
39
(i) M es plano.
(ii) Sea: aij elementos de R ,xi elementos de M (i = 1, ..., r; j = 1...n) tales que
r
a
i =1
ij
xi = 0 (j = 1, , n)
xi =
i =1
b
k =1
ik
yk
Prueba.
a b
i =1
Rr
Rn
v
0
M RN
Mr
M n donde:
40
ij
ij
z i y es la
i =1
Las condiciones
a
i =1
ij
(x1,...,xr) = y k t k
k =1
, algn s N
xi = yk R bik
k =1
xi =
ik
yk
k =1
a b
ij ik
i =1
=0
M RI
M es inyectiva.
ai . El pertenece al ncleo de si
i =1
a x
i =1
=0
=
x
a
b
y
a
y
a
b
=0
i
i
ij
j
i
j
i
ij
i =1
i =1 j =1
j =1
i =1
41
mM = ri xi / ri m , xi M es un submdulo de M.
i =1
Entonces
Luego M
R
m tiene una estructura de m - espacio vectorial dada por la aplicacin
R
M
m x m
(r + m, x + mM)
rx + mM
En efecto:
(i) Sea x M
m ; donde x = x + mM con x M
x = r1x1 + ..................... + rn xn
x = ( r1 x1 + mM) +.+ ( rn xn + mM)
x = ( r1 + m)( x1 + mM) ++ ( rn + m)( xn + mM)
Entonces
{x1 ,..., x n }
generan
m .
} es linealmente independiente.
En efecto; sea:
( r1 + m)( x1 + mM)++ ( rn + m)( xn + mM) = 0
r1 x1 ++ rn xn + mM = 0
r1 x1 ++ rn xn mM
42
m .
Luego
r1 x1 ++ rn xn =
Supongamos
s u
con si m , ui M.
i i
i =1
l = 1:
r1 x1 ++ rn xn = su .
Como u M , se tiene
r1 x1 ++ rn xn = ss1 x1 ++ ssn xn
} no es minimal
()
Proposicin 4.2.2.
} es linealmente independiente.
es una base.
Por la observacin 4.2.1.1, sus clases mdulo mM son linealmente independiente sobre
el cuerpo residual k = R
43
Caso n = 1
Sea a Ann(x1).
Existen y1,..., yr elementos de M y b1,..., br de R tales que abi = 0 (i = 1,..., r) y
r
x1 =
b y
i
i =1
Sea
a x
i =1
xi =
a b
i =1
yj y
ij
j =1
=0
i ij
c a
i =1
As:
n 1
0=
a x = a (x
i =1
i =1
+ ci x n )
Las clases mdulo mM de los elementos xi+cixn (i = 1,..., n-1) son linealmente
independientes sobre k.
Por hiptesis de induccin, ai = 0 (i=1,..., n-1). Luego por el caso n = 1, resulta que
an = 0 .
44
Bibliografa
[H S ] P. J. HILTON U. STAMMBACH ,
A course in homological
[M ]
[N ]
[R ]
45