You are on page 1of 50

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMTICAS


E.A.P. DE MATEMTICA

Caracterizacin de los mdulos planos por ideales


finitamente generados

MONOGRAFA
Para optar el Ttulo de Licenciado en Matemtica

AUTOR
Francisco Quirz Garca

LIMA PER
2007

CARACTERIZACIN DE LOS MDULOS PLANOS POR


IDEALES FINITAMENTE GENERADOS

FRANCISCO QUIRZ GARCA

Monografa presentada a consideracin del cuerpo docente de la


Facultad de Ciencias Matemticas de la Universidad Nacional Mayor de
San Marcos, como requisito parcial para obtar el Ttulo Profesional de
Licenciado en Matemtica.

Aprobado por:

Mg. Jos de Carmen Prez Arteaga

Mg. Lord Livin Barrera Bocanegra

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.

Lima, Febrero del 2007


FRANCISCO QUIRZ GARCA

iv

CARACTERIZACIN DE LOS MDULOS PLANOS POR


IDEALES FINITAMENTE GENERADOS
FRANCISCO QUIRZ GARCA

Asesor

: Mg. Jos del Carmen Prez Arteaga

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.

PALABRAS CLAVES: Funtores de Torsin


Ideal finitamente generado
Mdulo Plano
Mdulo Proyectivo
Resolucin Proyectiva.

ndice
INTRODUCCIN

1. Preliminares

1.1 Categoras y funtores ..................................................................................3


1.2 El funtor HomR(M,-) en la categora ModR ...............................................7
1.3 El Funtor M R en la categora ModR.........................................................................14
1.4 Lmites inductivos en la categora ModR ..................................................20
2. Mdulos planos y fielmente planos.

23

2.1 Definiciones...............................................................................................23
2.2 Propiedades bsicas...................................................................................26

3. El funtor Tor

31

3.1 Resoluciones proyectivas..........................................................................31


3.2 Funtor Torn ...............................................................................................33
4 Aplicaciones de los funtores Tor a los mdulos planos

35

4.1 Caracterizacin de los mdulos planos por los ideales finitamente


generados....................................................................................................35
4.2 Caracterizacin de los mdulos planos por ecuaciones lineales................40

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.

1955/56 ) y son de importancia fundamental en la geometra algebraica moderna.


El objetivo principal de la presente monografa es caracterizar los mdulos planos
va los ideales finitamente generados del anillo, ms concretamente mostraremos que
dado un R-mdulo M, l ser plano si y solamente si el funtor de torsin 1- dimensional
Tor 1R (M, R ) = 0 para todo ideal finitamente generado I. Tambin caracterizaremos
I
los mdulos planos por ecuaciones lineales. Finalmente, probaremos que si el anillo es
local y el mdulo es finitamente generado, ser plano es equivalente a ser proyectivo.

Captulo 1
Preliminares
En el desarrollo de la presente monografa, R denotar un anillo conmutativo con unidad
1 0, arbitrariamente dado.

1.1 Categoras y funtores


Definicin 1.1.1. Una categora C consiste de
(i) Una clase Obj C cuyos elementos A, B, C,son llamados objetos de C
(ii) Para cada par de objetos ( A, B ) de la categora C , un conjunto denotado por
HomC (A,B), cuyos elementos f son llamados morfismos de A en B y denotados
con

f : AB.

(iii)Para cada terna de objetos A, B, C de la categora C , una aplicacin


(f, g) g o f de HomC (A,B) HomC (B, C) HomC (A, C)
( llamada composicin) que satisface los siguientes axiomas:
a) Para cada cudruple de objetos A, B, C y D de la categora C de
morfismos y toda terna f : AB, g : BC y h : CD, se cumple que
h o (g o f) = (h o g) o f.
b) Para todo objeto A de la categora C , existe un morfismo 1A HomC (A,
A), llamado morfismo identidad, tal que para todo objeto B de C y para
todo f HomC(A,B), f o 1A = f

y para todo g HomC(B, A),

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).

La composicin (g1, g2) o (f1, f2) es (g1 o f1, g2 o f2).

Definicin 1.1.2. Sean C y D dos categoras. Un funtor covariante F : C D es una


aplicacin que a cada objeto A de C le asigna un objeto F(A) de D y a cada morfismo
f : A B HomC(A,B) un morfismo F(f) : F(A) F(B) de HomD(F(A), F(B)) de
modo que:
a) F(f o g) = F(f) o F(g)
b)

F(1A ) = 1F ( A)

Definicin 1.1.3.

Sean C y D dos categoras. Un funtor contravariante G : C D es

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(A, -) (f) : HomC(A, B) HomC(A, C)


g af o g

Entonces HomC(A, -) es un funtor (covariante) de la categora C en la categora de


conjuntos Conj.

4) Sea C una categora y sea A un objeto de C


Definimos HomC (-, A) : C Conj la aplicacin que a cada objeto B de C le
asigna el conjunto
HomC(-, A) (B) = HomC(B, A) y a cada morfismo f : B C de C le asocia
HomC(-, A) (f) :

HomC(C, A)
g

HomC(B, A)
gof

Entonces HomC(-, A) es un funtor contravariante.


5) Consideremos la aplicacin F : Conj ModR que asigna a cada conjunto (objeto)
X el R-mdulo libre generado por X, F(X), y a cada aplicacin de conjuntos
f: XY el nico R-homomorfismo F(f) : F(X) Y que extiende f a F(X).
Entonces F es un funtor (covariante)

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
..

de homomorfismos de R-mdulos tal que la imagen del homomorfismo entrante coincide


con el ncleo del homomorfismo saliente de todo mdulo distinto de los extremos (si
existen) de la sucesin. Por ejemplo, en el mdulo Y, deber ser
Im ( f ) = Ker ( g ).
Una sucesin semiexacta es una sucesin finita o infinita
f
g
..
X

Z
..

de homomorfismos de R-mdulos tal que la imagen del homomorfismo entrante esta


incluida en el ncleo del homomorfismo saliente de todo mdulo distinto de los extremos
(si existen) de la sucesin. Por ejemplo, en el mdulo Y, deber ser
Im ( f ) Ker ( g ).

Una sucesin exacta de la forma


f
g
0
Y
Z
X

se llamar sucesin exacta corta.


Definicin 1.1.5. Sea ModR la categora de R-mdulos.
1) Un funtor covariante F: ModR ModR es llamado exacto a derecha si la exactitud
f
g
N

Q
0

de la sucesin
implica la exactitud de la sucesin

(f)
(g)
F(N) F
F(P) F

F(Q)
0

2) Un funtor covariante G: ModR ModR es llamado exacto a izquierda si la exactitud


de la sucesin
f
g
0
P
Q
N

implica la exactitud de la sucesin


(f)
(g)
0
G(N) G
G(P) G

G(Q)

1.2 El funtor HomR(M,-) en la categora ModR.


1.2.1 El Funtor HomR(M,-)
Sean M y N dos R-mdulos. El conjunto HomR(M, N) = { f : M N / f es un Rhomomorfismo} con las operaciones
(f+g)(x) = f(x) + g(x) y
(f)(x) = f(x),
adquiere de modo natural una estructura de R-mdulo.
Si f: NP es un R-homomorfismo, la aplicacin
f* : HomR(M, N) HomR(M, P)

a f( ) = f o

es un R-homomorfismo.
Usaremos la notacin HomR(M, f ) para referirnos a f

Proposicin 1.2.1.1. Sea M un R-mdulo. La aplicacin HomR(M,-): ModR ModR que


asigna a cada R-mdulo N, el R-mdulo HomR(M, N) y a cada

R-homomorfismo

f : NP el R-homomorfismo Hom(M, f) es un funtor (covariante) de la categora ModR en


la categora ModR.
Prueba.
i) Sean f : N P y g : P Q dos R-homomorfismos y HomR(M, N),
entonces
HomR(M, g o f)( ) = (g o f) o = g o (f o ) = HomR(M, g)(f o ) =
HomR(M, g) o (HomR(M, f)( )) = [HomR(M, g) o HomR(M, f)]( )
Luego HomR(M, g o f) = HomR(M, g) o HomR(M, f)
ii) Sea 1N: NN el R-homomorfismo identidad y HomR(M, N) , entonces:
HomR(M, 1N)( ) = 1N o = = (1Hom R (M,N))( )
Por tanto HomR(M, 1N ) = 1 Hom R (M,N)
Proposicin 1.2.1.2.

Sea M un R-mdulo . El funtor HomR(M,-) es exacto a izquierda.

Prueba.
f
g
0
N

Sea

una sucesin exacta, probemos que


0

R ( M, f )
R (M ,g )
HomR(M,N) Hom

HomR(M,P) Hom

HomR(M,Q)

es una sucesin exacta.


En efecto:
i)

Sea HomR(M, N) y supongamos que HomR(M, f)( ) = 0, es decir, f o (x) = 0


para todo x M.
Como f es un monomorfismo, (x) = 0 para todo x M.
Luego = 0 y; por tanto, HomR(M, f) es monomorfismo.

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

Hom Z ( , /) no puede ser sobreyectiva,


Hom Z ( 2, )

pues Hom Z ( , ) = 0 mientras que Hom Z ( 2, /) 0


En efecto, si Hom Z ( , ) entonces:
0 = (0) = ( 1 + 1 ) = (1) + (1) = 2 (1), luego (1) = 0 pero

(n) = n (1) = 0 de donde se concluye que

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.

Luego se tiene la sucesin exacta de R-mdulos:


x

R
R
0
R

Aplicando el funtor Hom R ( R


0
Hom R ( R

xR

xR

xR

) a esta sucesin, se tiene:

,R)
Hom R ( R

xR

,R)
Hom R ( R

Esta sucesin no es exacta a derecha pues, Hom R ( R


Hom R ( R

xR

, R

xR

xR

xR

, R

xR

)
0

, R ) = 0 pero

) 0.
n

En efecto, ver que si p R, entonces p = ai x i


i =0

Ahora, si Hom R ( R

xR

( p = a0 + xR )

, R ) entonces:

0 = ( 0 ) = ( (a0 + xR)(x + xR) ) = ( x (a0 + xR) ) = x ( a0 + xR), luego

( a0 + xR) = 0, pues x 0.
Sin embargo Hom R ( R

xR

, R

xR

) 0, basta tomar el homomorfismo identidad.

Observacin. Aquellos mdulos para los cuales el funtor HomR(M, -) es exacto a derecha

sern los llamados mdulos proyectivos.(ver proposicin 1.2.1.4)

10

Definicin 1.2.1.3. Un R- mdulo M es llamado proyectivo si para todo R-homomorfismo

:M Q

para

todo R-epimorfismo

g: P Q

de

R-mdulos, existe

un

R-homomorfismo : M P tal que = g o

Proposicin 1.2.1.4.

Sea M un R-mdulo. Entonces M es proyectivo si y solamente si

el funtor HomR (M, -) es exacto a derecha.


Prueba.

Es clara a partir de la definicin.

Proposicin 1.2.1.5.

Todo mdulo libre es proyectivo.

Prueba.

(ver [H ] , pgina 84 )

11

Lema 1.2.1.6.

Sea M un R-mdulo proyectivo y g: P M un epimorfismo.

Entonces P = Kerg M 1 donde M 1 es isomorfo a M.


Prueba.

Como M es proyectivo existe : M P tal que g o = 1M , bastar tomar M 1 = Im

1M

Un R-mdulo M es proyectivo si y slo si es un sumando directo

Proposicin 1.2.1.7.

de un mdulo libre.
Prueba.

Supongamos que M es proyectivo, como todo mdulo es cociente de un mdulo libre,


entonces existe un mdulo libre F y un epimorfismo : F M
Entonces por el Lema anterior F = Ker M 1 , donde M 1 M.
Recprocamente: Supongamos que existe un R-mdulo libre F y un R-mdulo N tal que
F = M N
Sea : M Q y
Sean

i: M F

g: P Q un epimorfismo.
y

: FM

las aplicaciones inclusin y proyeccin, entonces

o i =1M.
Como F es libre, entonces es proyectivo.

12

Luego existe : F P; tal que g o = o

Consecuentemente existe = o i : M P tal que g o = .


Por tanto M es proyectivo.
M
= i

Observacin. Existen mdulos proyectivos que no son libres.

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

Sean M y N dos R-mdulos. Un producto tensorial de M y N es un

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.

Dados dos R-mdulos M y N, existe un producto tensorial de

M y N; ms an si (T, f) y

(T, f) son productos tensoriales de M y N, entonces

existe un nico isomorfismo h: T T tal que h o f = f


Prueba.

(ver [R ], pgina 22 )

Observaciones.

1) La proposicin anterior garantiza que todo par de R-mdulos M y N determina un


producto tensorial (T , f ) esencialmente nico. Denotaremos a T con el smbolo
M RN, el cual ser llamado producto tensorial de M y N.
2) Para cada par (m, n) M N, el elemento f(m, n) M RN ser denotado por m n.
3) M RN es generado por el conjunto de los m n.
4) Sean f : M N y g : P Q homomorfismos de R-mdulos y
f g : M P N Q la aplicacin (f g)(x, y) = (f(x), g(y)).

14

Sean

M P M RP

N Q N RQ

las funciones bilineales respectivas.


Consideremos la funcin bilineal :

o (f g) : M P

N Q

Como M RP es el producto tensorial, existe un nico R-homomorfismo


h : M RP N RQ que denotaremos con f g tal que el siguiente diagrama
conmuta:
MP

M RP

f g

f g

NQ

Luego

N R Q

(f g)(x y) = f(x) g(y), x M, y P.

En el caso que N = M y f = 1M, el R-homomorfismo:


1M g : M RP M RQ ser denotado con M g.
Proposicin 1.3.3.

Sea M un R-mdulo. La aplicacin M R -: ModR ModR que

asigna a cada R-mdulo N el R-mdulo M RN y a cada

R-homomorfismo

f : N P el R-homomorfismo M f: M RN M RP es un funtor covariante de la


categora ModR .
Prueba.

i) Sean f : N P y g : P Q dos R-mdulos.


Entonces:
M (g o f)(m n) = m (g o f)(n) = m g(f(n)) = M g(m f(n)) = (M g) o (M f) (m n);

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

Sea M un R-mdulo. El funtor M R - es exacto a derecha.

Proposicin 1.3.4.
Prueba.

Sea:
f
g
N

Q
0

una sucesin exacta.


Probemos que
g
M RN Mf M RP M
M RQ
0

es una sucesin exacta.


En efecto:
i) Sea M Q, entonces =

r (m
i =1

qi ) para algunos m i M y q i Q.

Como g es epimorfismo, q i = g(p i ) para algunos p i P.


n

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 M g es un epimorfismo.


ii) Sea v Im (M f), entonces v = M f( ), para algn M N.
n

Luego = ri (mi ni ) para algunos r i R, m i M, n i N


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.

Esto prueba que Im(M f) Ker(M g). Lo cual induce un homomorfismo

( 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 )

Ahora, es fcil ver que = 1


Por tanto es un isomorfismo y como o = M g , se tiene que
Im(M f) = Ker = Ker( o ) = Ker(M g)

17

Observacin.

1) En general el funtor M R no es exacto a izquierda.


Veamos los siguientes ejemplos:
Ejemplo 1
La sucesin de - mdulos
f

/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

Esta sucesin no es exacta a izquierda, pues /2 Z f no es inyectiva.


En efecto, consideremos el siguiente diagrama conmutativo:
f
/2 Z Z/2Z

/2 Z

(n+2) Z m

(n+2) Z f(m) = (n+2) Z 2m

/2

mn+2

/2
2mn+2 = 2

Donde y son los isomorfismos cannicos, luego se tiene que:


0 o = o ( /2 Z f )
0 = o ( /2 Z f )
/2 Z f = 0

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

donde x es la multiplicacin por x.


Tensorando con el R-mdulo R
0
R

xR

,se tiene la sucesin:

xR

x
xR R

R
R R

xR

R R
R

xR

R R

xR

xR

R R

xR

Esta sucesin no es exacta a izquierda.


En efecto, consideremos el siguiente diagrama conmutativo:

0
R

xR

x
xR R
R R

xR

R R
R

(p(x) + xR) q(x)

(p(x) + xR) x q(x)

R
q(x)p(x) + xR

xR

xR

x q(x)p(x) + xR = xR

Donde y son los isomorfismos cannicos, luego se tiene que

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

1.4 Lmites Inductivos en la categora ModR


Definicin 1.4.1.

Sea ( I

, ) un conjunto dirigido, es decir I es un conjunto

preordenado por tal que dados , I existe I con

Un sistema inductivo de ModR indexado por I consiste de :


i)

Para todo I , se tiene un R-mdulo M .

ii)

Para todo par ( , ) I2 tal que , se tiene un R homomorfismo


f d e M en M tal que f = 1M para todo I y si
( , , I ).

f = f o f

osea el diagrama conmuta.

M
f

f = f o f

M
Tal sistema es denotado por ( M , f ) , I .

Definicin 1.4.2. Sea ( M , f ) , I un sistema inductivo de ModR indexado por I.

Un lmite inductivo de ( M , f ) , I consiste de un R mdulo M y de una familia de


R homomorfismos f de M en M tal que si ,
R-mdulo N y toda familia

,
todo I ,

(g ) I

f = f o f

y para todo

de R homomorfismos g : M
N tal que si

g = g o f , existe un nico R homomorfismo g de M en N tal que para


g = g o f .

20

O sea el siguiente diagrama es conmutativo:

! g

M
g

M
f

g
f

M
Dado

Proposicin 1.4.3.

( M , f ) , I un sistema inductivo de ModR indexado

por I, existe un lmite inductivo ( M , f ) I de ( M , f ) , I . Ms an, si


( M , f ) I es otro lmite inductivo de ( M , f ) , I , existe un nico
R isomorfismo

h:M
M tal que

f = h o f .

Prueba.

(ver [L] , pgina 28 )


Observaciones.

1. Dado ( M , f ) , I un sistema inductivo de ModR. El lmite inductivo de este


sistema es denotado por lim M .
2. Si I est dotado del orden trivial, el lmite inductivo de un sistema inductivo
( M ) I es llamado suma de la familia ( M ) I y es denotada por M .
I

21

Proposicin 1.4.4.

Sea M un R- mdulo . Entonces M es lmite directo de una familia

de mdulos finitamente generados.


Prueba.

(ver [L] , pgina 124 )

22

Captulo 2
Mdulos planos y fielmente planos.
2.1 Definiciones

Definicin 2.1.1.

Sea M un R-mdulo. Diremos que M es plano si el funtor M R

de la categora Mod(R) en la categora Mod(R) es exacto, es decir, si la condicin


(i) La sucesin

f
g
0
N

Q
0

de Mod(R) es exacta implica la condicin.


(ii) La sucesin

g
0
M RN Mf M RP M
M RQ
0

es exacta.

El R-mdulo M es fielmente plano si la condicin (i) es equivalente a la condicin (ii).


En virtud a la exactitud a derecha del producto tensorial, M ser plano si para todo
R-homomorfismo inyectivo f: N P, la aplicacin M R f : M RN M RP
es inyectiva.

23

Proposicin 2.1.2.

Todo R-mdulo libre es plano.

Prueba.

Sea F un R-mdulo libre. Entonces F es isomorfo a un R-mdulo R(I) = R


iI

Consideremos un R-homomorfismo inyectivo

f
0
P
N

El diagrama siguiente es conmutativo

(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

P :( s i ) iI p a (s i p ) iI son los isomorfismos cannicos y


f (I) : (n i ) iI a (f(n i ) iI

Como f es inyectivo se sigue que f

(I)

es inyectivo y de la conmutatividad del diagrama

concluimos que R(I) R f es inyectiva.

Corolario 2.1.3.

Todo R-mdulo proyectivo es plano.

Prueba.

Sea M un R-mdulo proyectivo, entonces por la proposicin 1.2.1.7 existe un R-mdulo


libre F y un R-mdulo M1 tal que
F = M M1
Consideremos ahora un R-homomorfismo inyectivo
Por la planitud de F tenemos que la sucesin

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 S un subconjunto multiplicativo del anillo R. El anillo de

fracciones de R con respecto a S, RS es un R-mdulo plano.


Prueba.
f
0
P
N

Sea

una sucesin exacta

El diagrama siguiente es conmutativo


RS

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

Como f es inyectivo entonces f S es inyectivo, luego de la conmutatividad del diagrama


concluimos que RS R f es inyectivo.
Ejemplos:

1)

Sea P un ideal primo de R. El conjunto S=R\P es multiplicativo.

Escribiremos RP para RS en este caso. RP es por tanto un R-mdulo plano llamado


localizacin de R en P.
En el caso especial de R = y P = (p) (p: nmero primo), la localizacin de en (p) es
(p) ={

2)

m
/(n, p) = 1}
n

Si R es un dominio de integridad, entonces P = (0) es un ideal primo. En este caso

la localizacin R es un cuerpo llamado cuerpo de fracciones de R


En el caso de R = tenemos que R =

25

Observaciones.

1) Del ejemplo 2, es un -mdulo plano; sin embargo, no es un -mdulo


proyectivo.
2) Sea G un grupo abeliano de torsin no trivial, es decir, para cada g G existe n
tal que ng = 0.
Por ejemplo, todo grupo abeliano no finito. Tambin, el grupo multiplicativo de las
races de la unidad, etc.
Entonces G es un -mdulo que no es plano, pues G G, pero G = 0 pues
si g G, existe n tal que ng = 0, luego si q Tenemos:
q
q
q
g q = g n = (ng) = 0 = 0
n
n
n
i

Consecuentemente
pero

es inyectiva

G = 0 no es inyectiva.
G G G

2.2 Propiedades bsicas


Proposicin 2.2.1.

Sea M un R-mdulo, las siguientes afirmaciones son equivalentes:

(i) M es fielmente plano.


(ii) Si M es plano y M RN = 0, entonces N = 0
(iii) M es plano y si g es un R-homomorfismo g: N P, tal que M R g = 0,
entonces g = 0
(iv) M es plano y para todo ideal mximal m de R, m M M

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

Como M es fielmente plano, la sucesin


(ii)(iii)

La tensorizacin por el mdulo plano M de las sucesiones exactas


0
Im(g )
N
N

Im(g)

0
Ker(g)
P
Im(g)
0
donde g = v o

muestra que M R Im(g) = Im(M R g)

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

una sucesin de Mod(R) tal que la sucesin

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

Luego Im(f) Kerg.

entonces

gof = 0

La sucesin exacta

Ker ( g )
h
Im(f)
Ker(g)

Im( f )

induce la sucesin exacta


Rh

M R Ker ( g )
0
M RIm(f)
M RKer(g) M
0
Im( f )

pues M es plano.
Ahora

M RIm(f) = Im(M R f) y

M RKer(g) = Ker(M R g)

Por tanto M R h= 0, luego h = 0, consecuentemente Im(f) = Ker(g)


(ii)(iv) Es suficiente observar que M

mM

27

M R R

y que

0
m

(iv)(ii)
La condicin (iv) implica la condicin M R R

0 para todo ideal I distinto de A.

En efecto, sea m un ideal maximal que contienen a I.


De la sucesin exacta
R

tenemos la sucesin exacta


M R R

M R R

de donde, M R A es no nulo como en el caso M R R


m
I
Ahora sea N un R-mdulo no nulo. Entonces existe una sucesin exacta
0
R
N
I

donde I es un ideal propio de R.

Luego la sucesin 0
M R R

M RN es exacto.

Lo que prueba que M RN es no nulo como M R R

Proposicin 2.2.2.

Sea M un R-mdulo plano, N un R-mdulo, N1 y N2 dos

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.

Es suficiente tensorar por M la sucesin exacta


0
(N1 N2)
N
(N/ N1) (N/ N2)

28

Siendo M1 y M2 dos R-mdulos.

Proposicin 2.2.3.

Si M1 y M2 son planos
M1 RM2.

(respectivamente fielmente planos) entonces ocurre lo mismo con

Prueba.

Utilicemos el isomorfismo funtorial de (M1 RM2) RN sobre M1 R(M2 RN).


f
g
Sea N

Q una sucesin exacta. Si M1 y M2 son planos, obtenemos un

diagrama conmutativo donde la primera lnea es exacta.

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

Donde las flechas verticales son los isomorfismos cannicos


De donde la segunda lnea es exacta.
Luego M1 RM2 es plano.
Si adems M1 y M2 son fielmente planos, (M1 RM2) RN = 0 implica que M2 RN = 0
(Pues M1 es fielmente plano) y N = 0 (pues M2 es fielmente plano)

Proposicin 2.2.4.

Sea (M , f ) , I un sistema inductivo indexado por un conjunto

dirigido I. Supongamos que para todo I , M es un R- mdulo plano, entonces el


lmite inductivo lim M es plano.
Prueba.

(ver [L] , pgina 206 )

29

Observacin.

Si R es un dominio, entonces su cuerpo de fracciones es lmite inductivo de mdulos


cclicos, cada uno isomorfo a

R . Como R es plano ( por ser R libre) tenemos como

consecuencia de la proposicin anterior que es plano.

30

Captulo 3
El funtor Tor

3.1 Resoluciones Proyectivas


Sea N un R-mdulo. Una resolucin proyectiva de N es una sucesin exacta descendente.
P:

n +1
n 1
....
Pn+1
Pn
Pn-1
.....

de R-mdulos tal que


i) P= N
ii) Pn = 0 para todo n < -1
ii) Pn es un R-mdulo proyectivo para todo n 0
En particular, si Pn es un R-mdulo libre para todo n
descendente P se llama resolucin libre del mdulo N.
Es claro que toda resolucin libre es proyectiva.

31

0, entonces la sucesin

Proposicin 3.1.1.

Todo R-mdulo N posee una resolucin libre.

Prueba.

N es isomorfo a un cociente

F0

N0

, donde F0 es un R-mdulo libre

Por tanto existe una sucesin exacta corta


0
0
0
F0
N
N0
0

N0 es isomorfo a un cociente F1

N1

, donde F1 es un R-mdulo libre.

Luego, existe una sucesin exacta corta


1
1
0
N1
F1
N0
0

Por induccin, obtenemos una sucesin exacta corta


n
n
0
Nn
Fn
Nn-1
0

para todo n > 0, donde Fn es un R-mdulo libre.


Definimos una sucesin
P:

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

Afirmamos que P es una resolucin libre de N.


En efecto: basta mostrar que Im( n +1 ) = Ker( n ) n 0
Como n es monomorfismo y n es epimorfismo; para todo n 0, tenemos
Im( n+1) = Im( n) = Ker( n) = Ker( n)

32

n0

3.2 Funtor Torn


Sean M y N dos R-mdulos y sea P resolucin proyectiva de N
P:

n
n +1
n 1

Pn+1
Pn
Pn-1

Consideremos su "producto tensorial" M R P, que es la sucesin


R n +1
R n
R n 1
M R P: ....
M RPn+1 M
M RPn M
M RPn-1 M
..

Como

(M R n) o (M R n+1) = M R ( n o n+1) = M R 0 = 0

Por tanto M R P es una sucesin descendente semiexacta.


Para todo entero n, consideremos el mdulo de homologa n-dimensional
Hn (M R P) = Ker(M R n )
Proposicin 3.2.1.

Q:

Im(M R n +1 )

Para cualquier otra resolucin proyectiva.


' n +1
'n
'n 1

Qn+1
Qn-1

Qn

del mdulo N, se cumple


Hn(M R P) Hn(M R Q) para todo entero n.
Adems:
Hn(M R P) = 0 para todo n 0
Prueba.

(ver [H ] , pgina 144 )

Definicin 3.2.2.

Sean M y N dos R-mdulos y sea


n
n +1
n 1
P: .
Pn+1
Pn
Pn-1

una resolucin proyectiva de N.


Para todo entero positivo n, el R-mdulo Hn(M R P) recibe el nombre de producto torsin
n-dimensional sobre R de M y N y ser denotado por

Tor nR (M, N)

Observacin.

La definicin anterior se justifica gracias a la proposicin antecedente.

33

Sea M un R-mdulo y

Proposicin 3.2.3.

f
g
P
Q
0
N

una sucesin exacta corta de R-mdulos.


Entonces existe una sucesin exacta larga.

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.

(ver [H ] , pgina 152 )

Proposicin 3.2.4.

Si el R-mdulo P es proyectivo, entonces:


Tor1R ( M,P) = 0

para todo R-mdulo M.

Prueba.

(ver [H S ] , pgina 113 )


Proposicin 3.2.5.

Sea (M , f ) , I un sistema inductivo de R mdulos y M un R-

mdulo, entonces:
lim Tor1R ( M , M ) = Tor1R ( M , lim M )

Prueba.

(ver [L] , pgina 239 )

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.

Sea M un R-mdulo.Las siguientes afirmaciones son equivalentes:

(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

todo ideal (respectivamente todo ideal finitamente generado) I de R.

35

Prueba.

(i) (ii)

Sea
0
Q
P
N
0

una sucesin exacta de R-mdulos donde P es proyectivo.


Entonces existe una sucesin exacta larga
.
Tor

R
1

(M, P)
Tor

R
1

(M, N)
M RP
M RQ

M RN
0

Como P es proyectivo, Tor 1R (M, P) = 0, entonces Tor 1R (M, N) = Ker ( ).


Pero es inyectivo, pues, M es plano, luego Tor 1R (M, N) = 0
(ii) (i)

Sea
f
g
0
P

L
0

una sucesin exacta.


Entonces existe una sucesin exacta larga.

...
Tor 1R (M, L)
M RP

M RQ
M RL
0

Como Tor 1R (M, L) = 0, entonces es inyectiva.


Pero = M R f, luego M R f es inyectiva ; por tanto, M es plano.
(ii) (iii) Es claro.
(iii) (ii) Consideremos el R-mdulo N como lmite inductivo de sus submdulos
finitamente generados,

N = lim N (ver proposicin 1.4.3)

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

Se tiene por el teorema fundamental del isomorfismo que R


Por hiptesis Tor1R ( M , R

Kerf

Kerf

N.

) = 0 , entonces Tor1R ( M , N ) = 0 .

Supongamos que la afirmacin vale para n-1(n 2), sea N = Re1+...+Ren.


Consideremos la sucesin exacta:
0
P = Re1
N
Q = R e 2 ++R e n
0
Donde e i es la clase de ei mdulo P (i = 2,..., n).
Luego existe una sucesin exacta larga:
....
Tor 1R (M, P)
Tor 1R (M, N)
Tor 1R (M, Q)
...
donde los extremos son nulos (casos n = 1 y hiptesis de induccin),
luego Tor 1R (M, N) = 0
(iv) (v) Es claro.
(v) (iv) Notemos que el R-mdulo R

es lmite inductivo del sistema inductivo

R , f donde I recorre el conjunto de los ideales finitamente generados contenidos


i
I ji
i

en I e si Ii Ij, fji es la suryeccin cannica de R

Ii

sobre R

Ij

como en la prueba de (iii) (ii).


(iv) (vi)
A partir de la sucesin exacta
i

R
0
I

37

. Es suficiente razonar

se tiene la sucesin exacta

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.

siguientes afirmaciones son equivalentes:


(i) M es plano.
(ii) Sea r R, x M. La igualdad rx = 0

implica r = 0 o x = 0

(Osea el R-mdulo M es sin torsin).


Prueba.

La implicacin (i) (ii) es vlida con solamente la hiptesis que R es un dominio de


integridad. En efecto, sea r un elemento no nulo de R.
Designemos por

la aplicacin s a sr de R en R.

A partir de la sucesin exacta

r
0
R
R, ( Pues,

es inyectiva)

y por la planitud de M, obtenemos una sucesin exacta


R r
MR R M
M RR
0

M
y gracias al isomorfismo cannico M RR

una sucesin exacta

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

Del diagrama conmutativo:


R a
M RR
M RI M

= o (M R a ) donde es el isomorfismo cannico M RR M.


Luego, si

(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.

En caso particular R = , entonces los -mdulos son los grupos abelianos


consecuentemente los grupos abelianos finitos con por lo menos 2 elementos no son
-mdulos planos .

39

4.2 Caracterizacin de los mdulos planos por ecuaciones


lineales.Teorema 4.2.1.

Sea M un R-mdulo. Las siguientes afirmaciones son equivalentes:

(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)

Entonces existe un entero natural s, de elementos bik de R, de elementos yk de M


(k=1,...s) tales que
r

aij bik = 0 (j = 1,..., n)

xi =

i =1

b
k =1

ik

yk

(iii) La afirmacin (ii) sigue para j = 1.

Prueba.

(i) (ii) Sea g la aplicacin lineal natural de R r en R n que asocia al elemento


(b1,...,br) de R r el elemento de R n donde la j-sima componente es

a b
i =1

Sea N = Ker (g), f la inyeccin cannica de N en R r .


A partir de la sucesin exacta
f
g
0
N

Rr

Rn

y por la planitud de M, se deduce la exactitud de la sucesin:


g
0
M RN Mf M RR r M
M RR n

va los isomorfismos cannicos, la exactitud de la sucesin

v
0
M RN

Mr

M n donde:

40

ij

v(z1,...,zr) es un elemento de M n donde la j-sima componente es

ij

z i y es la

i =1

compuesta de M f y el isomorfismo cannico de M RR r sobre M r .


r

Las condiciones

a
i =1

ij

xi = 0 traducen el hecho de que el elemento (x1,...,xr) de M r

pertenece al ncleo de v y por lo tanto a la imagen de .


Entonces existen elementos tk de N e yk de M (k=1,..., s) tal que:
s

(x1,...,xr) = y k t k
k =1

, algn s N

Si tk = (b1k,...,brk); se tiene que:


s

xi = yk R bik
k =1

xi =

ik

yk

k =1

Como tk N = Ker ( g ) Ker (v)


v ( tk ) = 0
r

a b

ij ik

i =1

=0

(iii) (i) Demostraremos que, para todo ideal finitamente generado I de R, la


aplicacin cannica

M RI
M es inyectiva.

Sean a1 ,..., a r un sistema finito de generadores del ideal I.


Un elemento de M RI es de la forma

ai . El pertenece al ncleo de si

i =1

a x
i =1

=0

Siguiendo las notaciones de (ii), tenemos


r s
s

=
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

Observacin 4.2.1.1. Sea M un R-mdulo y (R , m ) un anillo local.

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

Sea M finitamente generado y {x1 ,..., xn


Afirmacin:

un sistema minimal de generadores de M.

{x1 + m, x2 + m,................, xn + m }es una base de

En efecto:
(i) Sea x M

m ; donde x = x + mM con x M

Como xM, r1 ,............., rn R , tal que


x = r1 x1 + ..................... + rn x n
x = r1x1 + . + rn x n

x = r1x1 + ..................... + rn xn
x = ( r1 x1 + mM) +.+ ( rn xn + mM)
x = ( r1 + m)( x1 + mM) ++ ( rn + m)( xn + mM)

Entonces

{x1 ,..., x n }

(ii) {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

(r1 ss1 ) x1 = ( ss2 r2 ) x2 + + ( ssn rn ) xn

Si (r1 ss1 ) m , entonces (r1 ss1 ) 1 que cumple:


x1 = 2 x2 + ................. + n xn

Luego, {x1 ,..., xn

donde j = (r1 ss1 ) 1 ( ss j rj ) para 1<j <n+1

} no es minimal

()

Finalmente, r1 ss1 m y como ss1 m , entonces r1 m.


Es as, que los ri m , luego {x1 ,..., x n

Proposicin 4.2.2.

} es linealmente independiente.

Sea R un anillo local, M un R-mdulo finitamente generado. Las

afirmaciones siguientes son equivalentes:


(i) M es plano.
(ii) M es proyectivo.
(iii) M es libre.
Prueba.

Como un mdulo libre es proyectivo y un mdulo proyectivo es plano, bastar probar


que (i) (iii).
En efecto, probaremos por induccin sobre n, que un sistema minimal

{x1 , x2 ,................, xn }de generadores de M

es una base.

Por la observacin 4.2.1.1, sus clases mdulo mM son linealmente independiente sobre
el cuerpo residual k = R

de R formando un sistema libre de M.

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

Como x1 no pertenece a mM entonces existe bi que no pertenece a m y por tanto es


inversible, luego a = 0.
Para n >1, supongamos que la afirmacin vale para n-1.
n

Sea

a x
i =1

= 0 donde ai A. Entonces existen y1,..., yr M y bij R

(i=1,...,n; j=1,....r) tales que:

xi =

a b
i =1

yj y

ij

j =1

=0

i ij

Uno de los elementos bij no pertenece a m y es por tanto inversible.


Entonces, a n puede ser escrito como:
n 1

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

Algebra. Second Edition- Springer- Verlag. New York, 1997.

[H ] S.T. HU, Introduction to Homological Algebra. Holden-day, 1968.


[J ] N. JACOBSON, Basic. Algebra II. Freeman and Company, 1980.

[L] J.P. LAFON, Les formalismes fondamentaux de lalgbre conmutative.


Collection enseignement des sciences. Hermann. Paris, 1974.

[M ]

H. MATSUMURA, Conmutative ring theory. Cambridge University

Press. Cambridge, 1986.

[N ]

NORTHCOTT D.G. An introduction to homological Algebra. Cambridge

University press, 1960

[R ]

J.J. ROTMAN, Notes on Homological Algebras. Van Nostrand Reinhold


Company. New York, 1970.

45