Mdulos Libres sobre Dominio de Ideales
Principales
Irving Urieta
Maestra en Matemtica Pura
Resumen. En este trabajo estudiaremos los teoremas relacionados con mdulos
libres sobre dominios de ideales principales, estableciendo las semejanzas y
diferencias con los espacios vectoriales, cuando el anillo base del mdulo tiene esta
poderosa propiedad. Se probar que los submdulos de un mdulo libre sobre un
dominio son tambin libres. Luego, nuestro anlisis se concentrar en los mdulos
finitamente generados sobre un dominio de ideales principales donde se demostrar
que para un mdulo de rango n, todo conjunto generador de n elementos es una
base, pero un conjunto de n elementos linealmente independiente no necesariamenre
es una base para el mdulo. Finalmente estableceremos las condiciones para que un
mdulo finitamente generado sobre un dominio de ideales principales y deduciremos
una primera y sencilla descomposicin de un mdulo finitamente generado sobre un
dominio de ideales principales como suma directa de un mdulo libre finitamente
generado y su submdulo de torsin.
ndice general
Consideraciones Previas 4
Mdulos Libres sobre DIP 4
Mdulos Libres y Libres de Torsin 12
Descomposicin 16
Bibliografa 18
3
MDULOS LIBRES SOBRE DIP 4
Consideraciones Previas
Los requisitos mnimos que se impondrn sobre los anillos en este trabajo es que sean
conmutativos con identidad. A los anillos que cumplen la propiedad,
Si ab = 0 entonces a = 0 o b = 0,
se les llama Dominio de Integridad.
Ideal Principal de un anillo es un ideal generado por un elemento del anillo R. Es
decir,
I = hai = {ra | r R} ,
donde a R. R es un Dominio de Ideales Principales (DIP) si es un dominio de
integridad en el cual todo ideal es un ideal principal.
El complemento de un submdulo S de M es otro submdulo T de M para el cual,
M = ST . Todos los complemento de S son isomorfos a M/S y por lo tanto isomorfos
entre s (Teorema 4.13, [4]).
El soporte de una funcin f : B R se define por sop (f ) = {i B | f (i) 6= 0}. La
funcin f tiene soporte finito, si f (i) 6= 0 excepto posiblemente para una cantidad
finita de is. Al conjunto de funciones de B en R que tienen soporte finito, donde
Bes
cualquier conjunto y R es un anillo conmutativo con identidad se le denota por RB .
0
Cuando B es una base para un R-mdulo M , se tiene que M es isomorfo a RB
0
(Teorema 5.3, [4]). Si M es de rango finito n, entonces es isomorfo a Rn .
Si : M F es un R-epimorfismo y F es libre, entonces M = ker () N , donde
N F (Teorema 5.6, [4]). Aplicando este resultado a la aplicacin cannica : M
M/N , con N un submdulo de M (la cual es un R-epimorfismo), como M/N es libre
entonces que M = ker () F , donde F M/N .
Cuando M es finitamente generado, M/N tambin lo es.
Mdulos Libres sobre DIP
Un mdulo libre es, por definicin, el conjunto {0} o bien un mdulo que tiene una
base B.
A diferencia de los espacios vectoriales, un submdulo de un mdulo libre no
necesariamente es libre.
Ejemplo. El mdulo Z Z sobre s mismo es libre, pero el submdulo Z
{0} del mdulo sobre Z Z no es libre. En efecto, cualquier subconjunto
MDULOS LIBRES SOBRE DIP 5
{(zi , 0) | i = 1, 2, . . . , n} de Z {0} es linealmente dependiente pues
(0, 1) (z1 , 0) + . . . + (0, 1) (zn , 0) = (0, 0) .
Sin embargo, si R es un dominio de ideales principales entonces los submdulos de
un mdulo libre tambin son libres.
Teorema 1. Sea M un mdulo libre sobre un DIP R. Entonces cualquier submdulo
S de M es tambien libre y rk (S) rk (M ).
Demostracin. Primero se probar para mdulos de rango finito. Sea n el rango
de M . Entonces M Rn . As que supondremos que M = Rn .
Para cada k, con 1 k n, sea
Ik = {r R | (a1 , . . . , ak1 , r, 0, . . . , 0) S para algn a1 , . . . , ak1 R}
Entonces Ik es un ideal de R. En efecto, Ik no es vaco ya que la n-tupla
(a1 , . . . , ak1 , r, 0, . . . , 0), donde a1 = ... = ak1 = r = 0, pertenece a S, por lo
cual 0 Ik . Si r, s Ik entonces, existen n-tuplas en S de la forma
(a1 , . . . , ak1 , r, 0, . . . , 0) , (b1 , . . . , bk1 , s, 0, . . . , 0)
para ciertos a1 , . . . , ak1 , b1 , . . . , bk1 R. Como S es un submdulo, se tiene que
(a1 b1 , . . . , ak1 bk1 , r s, 0, . . . , 0) S
o sea r s Ik . Y si R, entonces, como S es un submdulo de M , se tiene que
(a1 , . . . , ak1 , r, 0, . . . , 0) = (a1 , . . . , ak1 , r, 0, . . . , 0) S
de donde r Ik . As pues, Ik es un ideal de R.
Como R es un DIP, tenemos Ik = hrk i, para algn rk R.
Sean uk = (a1 , . . . , ak1 , rk , 0, . . . , 0) y B = {uk | k = 1, ..., n, rk 6= 0}.
Probemos que B es una base para S. Para la independencia lineal, consideremos
(1) j1 uj1 + . . . + jm ujm = (0, . . . , 0) ,
Reordenando si es necesario, supongamos que ji < jk para i < k. Note que la
coordenada jm en la n-tupla que resulta a la izquierda de (1) es jm rjm ; luego,
jm rjm = 0. Como R es un dominio de integridad y rjm 6= 0, se tiene que jm = 0.
MDULOS LIBRES SOBRE DIP 6
Luego, (1) se reduce a
(2) j1 uj1 + . . . + jm1 ujm1 = (0, . . . , 0)
Aplicando el mismo razonamiento, llegamos a jm1 rjm1 = 0; luego jm1 = 0 ya que
rjm1 6= 0. Continuando de esta manera llegaremos a que todos los coeficientes en (1)
son 0. Por lo tanto, B es linealmente independiente.
Probemos ahora que B genera a S. Para x = (a1 , . . . , an ) S, denotemos por i (x) al
mximo ndice para el cual aj 6= 0. Por ejemplo, si x = (a1 , . . . , aj , 0, . . . , 0) y aj 6= 0,
entonces i(x) = j. Procederemos por induccin sobre i (x).
Si i (x) = 0, entonces x = (0, . . . , 0), el cual es elemento de hhBii.
Supongamos que para todo x en S, con i (x) < k, se tiene x hhBii.
Consideremos ahora x S, con i (x) = k. Es decir,
x = (a1 , . . . , ak , 0, . . . , 0) , ak 6= 0
Entonces, ak Ik = hrk i, donde rk 6= 0. Luego, ak = crk , para algn c R. Note que,
con uk = (b1 , . . . , bk1 , rk , 0, . . . , 0), se tiene
x cuk = (a1 cb1 , . . . , ak1 cbk1 , ak crk , 0 . . . , 0)
= (a1 cb1 , . . . , ak1 cbk1 , 0, 0 . . . , 0)
Esto implica que i (x cuk ) < k. Luego, por hiptesis de induccin, x cuk hhBii.
Y ya que cuk hhBii, tenemos x = cuk + (x cuk ) hhBii. Por lo tanto B genera a
S.
As pues, S es un submdulo libre de M , cuando M tiene rango finito.
Para mdulos de rango arbitrario , asumiremos que M = (R )0 es el R-mdulo
de funciones de en R con soporte finito, donde es un nmero cardinal. Adems,
supondremos, con base en el Principio del Buen Orden, que es un conjunto bien
ordenado.
Si , definimos el intervalo cerrado [0, ] por
[0, ] = {x | 0 x } .
Sea S un submdulo de M .
Para cada , con 0 < , sea
MDULOS LIBRES SOBRE DIP 7
I = {f () | f S, sop (f ) [0, ]} .
Este conjunto es un ideal de R. Veamos:
La funcin nula f : R est en S y tiene soporte sop (f ) = [0, ]. De donde,
f (x) = 0 I y por lo tanto, I 6= .
Si r, s I entonces existen funciones f y g en S tales que r = f (), s = g (), con
sop (f ) , sop (g) [0, ]. Como S es un submdulo se tiene que f g est en S. Note
que f g es no nula para a lo sumo todos los ndices en sop (f ) sop (g). Lo cual
implica que sop (f g) sop (f ) sop (g) [0, ]. As, tenemos que
r s = (f g) () , con f g S y sop (f g) [0, ]
De donde, r s est en I .
Adems, si a R, entonces, ar = (af ) (), donde af es una funcin en S, ya que es
un submdulo de M , y es no nula para a lo sumo todos los ndices en el soporte de
f ; osea, sop (af ) sop (f ) [0, ]. Por lo tanto, ar I .
As pues, I es un ideal de R. Como R es un DIP, I = hf ()i para alguna funcin
f S.
Probemos que B = {f | 0 < , f () 6= 0} es una base para S.
Para la independencia lineal, consideremos
(3) r1 f 1 + . . . + rn f n = 0
Reordenando si es necesario, supongamos que i < j , para i < j. Note que j < n
para todo j < n. Esto implica que n / [0, j ], o sea que n no est en el soporte de
fj . Por lo tanto, fj (n ) = 0 para todo j < n. As, al evaluar (3) en n obtenemos
rn fn (n ) = 0. Como fn (n ) 6= 0, entonces rn = 0. Luego, (3) se reduce a
(4) r1 f1 + . . . + rn1 fn 1 = 0
Aplicando el mismo razonamiento a fn1 llegaremos a rn1 = 0. Procediendo de esta
manera llegaremos a que todos los coeficientes son 0. Por lo tanto, B es un conjunto
linealmente independiente.
Probemos ahora que B genera a S.
MDULOS LIBRES SOBRE DIP 8
Como cada funcin f en S tiene soporte finito, existe un ndice mximo f = i (f )
para el cual f (f ) 6= 0. Ahora, si hhBii es un submdulo propio de S, entonces
S hhBii es no vaco; luego, el conjunto de ndices i (g), con g en S hhBii, es
no vaco. Como es bien ordenado, podemos elegir un g en S hhBii para el cual
= g = i (g) sea mnimo. Entonces, g est en S y sop (g) [0, ], lo que implica
que g () I = hf ()i con f S, por lo que g () = cf () para algn c R.
Adems, como g () 6= 0, se tiene que f () 6= 0. Entonces,
sop (g cf ) [0, ]
y
(g cf ) () = g () cf () = 0
Y as, i (g cf ) < . Si g cf est en S hhBii, tendramos una funcin con ndice
mximo menor al mnimo , lo que no puede ser. Esto que implica que g cf est en
hhBii. Pero entonces g = (g cf ) + cf est en hhBii, lo que es una contradiccin.
Por lo tanto, S = hhBii.
As pues, B es una base para S.
Adems, rk (S) = |B| = rk (M ).
En un espacio vectorial de dimensin n, todo conjunto de n vectores linealmente
independientes es una base. Para mdulos esto no siempre es cierto.
Ejemplo. Z es un Zmdulo de rango 1, pero {2}, que es un conjunto linealmente
independiente, no es una base para Z, ya que hh2ii =
6 Z.
Pero para un mdulo de rango n sobre un DIP, un conjunto generador de tamao n
si es una base para el mdulo.
Teorema 2. Sea M un R-mdulo libre de rango n, donde R es un DIP. Sea S =
{s1 , s2 , . . . , sn } un conjunto generador para M. Entonces S es una base para M.
Demostracin. Sea B = {b1 , b2 , . . . , bn } una base para M . Consideremos :
M M tal que
bi = si .
Podemos extenderla por linealidad a todo M para obtener un R-homomorfismo
suryectivo de M en M . Luego, como M es libre, se tiene que
M ker ( ) M = ker ( ) im ( )
MDULOS LIBRES SOBRE DIP 9
Como ker ( ) es un submdulo de un mdulo libre y como R es un DIP, por el teorema
anterior, ker ( ) es libre de rango a lo sumo n. Luego,
rk (M ) = rk (ker ( )) + rk (M )
De donde, rk (ker ( )) = 0; o sea ker ( ) = {0}, lo cual implica que es un
R-isomorfismo. Por lo tanto, S es una base para M .
Ahora bien, en general, una base para un submdulo de un mdulo libre sobre un
DIP no se puede extender a una base para el mdulo entero.
Ejemplo. El conjunto {2} es una base para el submdulo 2Z del Zmdulo Z, pero
ste no puede extenderse a una base para Z mismo, ya que el rango de Z es 1.
Para mdulos libres de rango finito sobre DIPs, es posible elegir generadores para
el mdulo y sus submdulos, los cuales estn relacionados de forma simple. La
demostracin (tomada de [2], pgina 371) hace uso del hecho de que todo DIP es un
anillo noetheriano. Esto es cierto ya que todos los ideales en un DIP estn finitamente
generados. Un anillo noetheriano satisface la condicin de cadena ascendente, la cual
es equivalente a que todo conjunto no vaco de ideales del anillo contiene un elemento
maximal con la inclusin de conjuntos.
Teorema 3. Sea M un R-mdulo libre de rango n, donde R es un DIP. Sea N un
submdulo de M que es libre de rango k n. Entonces existe una base B para M que
contiene un subconjunto S = {v1 , . . . , vk } para el cual {r1 v1 , . . . , rk vk } es una base
para N, para algunos elementos r1 , . . . , rk de R.
Demostracin. Supongamos que N 6= {0}, ya que para el espacio nulo es trivial.
Para cada Hom (M, R), (N ) es un submdulo de R, osea (N ) es un ideal de
R. Como R es DIP, existe a en R tal que (N ) = ha i.
Denotemos por F a la coleccin de todos los ideales principales de R obtenidos de
esta forma. Este conjunto es no vaco ya que para el homomorfismo nulo de M en R
se tiene que (N ) = {0} = h0i F . Como R es un DIP, R es noetheriano; luego,
F tiene al menos un elemento maximal; es decir, existe un homomorfismo de M
en R tal que el ideal principal (N ) = ha i es maximal.
Sea a1 = a y y N tal que (y) = a1 . Probemos que a1 es no nulo. Sea
{x1 , x2 , . . . , xn } una base para M . Considere la proyeccin natural i : M R
MDULOS LIBRES SOBRE DIP 10
i (1 x1 + . . . + i xi + . . . + n xn ) = i
la cual est en Hom (M, R). Como N 6= {0}, existe algn i para el cual i (N ) 6= {0}.
Luego, F contiene ideales no triviales. Como ha1 i es el maximal, se tiene que a1 6= 0.
Probemos que i (y) ha1 i. Sea d un generador del ideal ha1 , i (y)i. Entonces d =
r1 a1 + r2 i (y) para ciertos r1 , r2 R. Considere el homomorfismo = r1 + r2 i de
M en R. Entonces
(y) = r1 (y) + r2 i (y)
= r1 a1 + r2 i (y)
=d
De donde, d (N ). Por lo tanto, hdi (N ). Pero ha1 i hdi, ya que a
ha1 , i (y)i; as tenemos que ha1 i hdi (N ), donde (N ) F . Luego, por la
maximalidad de ha1 i se tiene ha1 i = hdi = (N ), de modo que i (y) hdi = ha1 i.
Entonces para cada i, 1 i n, podemos escribir i (y) = a1 bi . Definamos
n
X
v1 = bi x i
i=1
Note que
n
X
a1 v1 = a1 b i x i
i=1
n
X
= i (y) xi
i=1
=y
Como a1 = (y) = (a1 v1 ) = a1 (v1 ), se tiene a1 a1 (v1 ) = 0, o sea
a1 (1 (v1 )) = 0. Pero a1 es no nulo en el dominio de integridad R, por lo que
(v1 ) = 1.
Ahora verifiquemos que v1 se puede tomar como un elemento de una base B para M y
que a1 v1 se puede tomar como un elemento de una base para N . Para ello probaremos
que
(a) M = hhv1 ii ker ( )
(b) N = hha1 v1 ii (N ker ( )).
MDULOS LIBRES SOBRE DIP 11
Sea v M . Podemos escribir
x = (x) v1 + (x (x) v1 ) .
Note que
(x (x) v1 ) = (x) (x) (v1 )
= (x) (x) 1
=0
Luego, x (x) y1 est en ker ( ). Esto significa que M = hhv1 ii+ker ( ). Para ver que
la suma es directa, suponga que rv1 est en ker ( ). Entonces 0 = (rv1 ) = r (v1 ) =
r 1 = r, lo que implica que rv1 = 0 y hhv1 ii ker ( ) = {0}. As pues, (a) es cierto.
Para (b) observe que como (N ) = ha1 i, entonces para todo x0 en N existe b R tal
que se (x0 ) = ba1 . Escribiendo
x0 = (x0 ) v1 + (x0 (x0 ) v1 )
= ba1 v1 + (x0 ba1 v1 )
donde x0 ba1 v1 N y
(x0 ba1 v1 ) = (x0 ) ba1 (v1 ) = ba1 ba1 1 = 0.
O sea, x0 ba1 v1 ker ( ). As tenemos que N = hha1 v1 ii + (N ker ( )). Y si ra1 v1
est en N ker ( ), entonces lo est en ker ( ); luego, como anteriormente, r = 0 y
por lo tanto hha1 v1 ii (N ker ( )) = {0}. As pues, (b) es cierto.
Finalmente probaremos el teorema por induccin sobre el rango de M .
Para rk (M ) = 1, como ker ( ) es un submdulo de M , con rango menor o igual 1, la
suma directa (a) implica que rk (ker ( )) = 0. O sea ker ( ) = {0}. Por lo tanto, {v1 }
es una base para M y {a1 v1 } es una base para N .
Supongamos que para todo mdulo M de rango menor a n, existe una base B para
M que contiene un subconjunto {y1 , . . . , yk } para el cual {r1 y1 , . . . , rk yk } es una base
para N , para algunos elementos r1 , . . . , rk de R.
Sea M un submdulo de rango n. Entonces ker ( ) es un submdulo de M , con rango
menor o igual n. De hecho, (a) implica que el rango de ker ( ) es n 1. Aplicando la
hiptesis de induccin al mdulo ker ( ) y a su submdulo N ker ( ), existe una base
MDULOS LIBRES Y LIBRES DE TORSIN 12
B 0 para ker ( ) que contiene un subconjunto {y1 , . . . , yk } para el cual {r1 y1 , . . . , rk yk }
es una base para N ker ( ), para algunos elementos r1 , . . . , rk de R.
Ya que las sumas (a) y (b) son directas, B = {v1 } B 0 es una base para M
y C = {a1 v1 , r1 y1 , . . . , rk yk } es una base para N . Entonces basta tomar S =
{v1 , y1 , . . . , yk } B. Esto completa la induccin.
Mdulos Libres y Libres de Torsin
En esta seccin se establecern condiciones suficientes para que un mdulo finitamente
generado sobre un DIP sea libre.
Recordemos que el conjunto Mtor est formado por el 0 y los elementos de torsin de
M.
Teorema 4. Sea R un dominio de integridad. Entonces
a) Mtor es un submdulo de M .
b) M/Mtor es libre de torsin.
Demostracin. a) En efecto, sean u, v Mtor y a, b R. Entonces existen
r, s R no nulos tales que ru = sv = 0. Luego,
rs (au + bv) = rsau + rsbv
= sa (ru) + rb (sv)
=0+0
=0
donde rs 6= 0, ya que r y s son no nulos. Por lo tanto, au + bv est en Mtor .
Todo mdulo libre sobre un dominio de integridad es libre de torsin. La recproca
no es cierta.
b) Supongamos que v + Mtor 6= Mtor y que r (v + Mtor ) = rv + Mtor = Mtor , para
0 6= r R. Entonces rv Mtor , as que para algn s 6= 0 en R, tendramos 0 =
s (rv) = (sr) v. Pero sr 6= 0 ya que R es un dominio de integridad. Esto implica que
v Mtor , lo que es una contradiccin a v + Mtor 6= Mtor . As pus, M/Mtor es libre
de torsin.
Todo mdulo libre sobre un dominio de integridad es libre de torsin. La recproca
no es cierta.
MDULOS LIBRES Y LIBRES DE TORSIN 13
Ejemplo. Q como Z-mdulo es libre de torsin, pero no libre: Cualquier par
m p
de nmeros racionales no nulos y en una base para Q seran linealmente
n q
dependientes pues
m p
(pn) + (qn) = 0,
n q
donde pn y qn son nmeros enteros no nulos.
Teorema 5. Todo mdulo libre sobre un dominio de integridad es libre de torsin.
Demostracin. Sea M un mdulo libre sobre el dominio de integridad R.
Entonces Mtor es un submdulo de M ; luego Mtor es libre. As que Mtor es {0} o
bien tiene una base B = {bi | i I}.
Supongamos que Mtor es diferente a {0}. Entonces existe un elemento v no nulo en
Mtor , el cual podemos escribir como combinacin lineal de elementos de B:
v = r1 b1 + . . . + rn bn
Adems, v es un elemento de torsin, as que rv = 0, para algn r R no nulo.
Luego,
0 = rv = rr1 b1 + . . . + rrn bn
Como B es linealmente independiente, se tiene rri = 0 para todo i, con 1 i n.
Y ya que R es un dominio de integridad y r 6= 0, tenemos ri = 0 para todo i. Esto
implica que v = 0, lo que es una contradiccin.
Por lo tanto, Mtor es igual {0}. Es decir, M no tiene elementos de torsin no nulos.
As pues, M es libre de torsin.
Existe, sin embargo, una recproca si se asume que el mdulo es finitamente generado.
Teorema 6. Un mdulo finitamente generado y libre de torsin sobre un DIP es
libre.
Demostracin. Sea R un DIP y M un R-mdulo finitamente generado y libre
de torsin. Sea G = {v1 , v2 , . . . , vn } un conjunto generador de M .
Supongamos primero que n = 1; esto es, G solo contiene un elemento v, el cual es no
nulo. Si rv = 0, entonces r = 0, porque de lo contrario, v sera un elemento de torsin
de M , lo que contradice que M es libre de torsin. Por lo tanto, G es linealmente
independiente y por consiguiente, G es una base para M . As, M es libre.
MDULOS LIBRES Y LIBRES DE TORSIN 14
Consideremos ahora que n = 2. Sea G = {u, v}. Si G es linealmente dependiente,
existen r y s en R, no nulos, tales que ru + sv = 0. De aqu que sv = ru. Luego,
sM = s hhu, vii
= {s (a1 u + a2 v) | a1 , a2 R}
= {sa1 u + sa2 v | a1 , a2 R}
= {sa1 u + a2 sv | a1 , a2 R}
= {sa1 u a2 ru | a1 , a2 R}
= {(sa1 ra2 ) u | a1 , a2 R}
hhuii
Entonces, sM es un submdulo del mdulo libre hhuii. Por lo tanto, sM es libre.
Considere la aplicacin
: M sM
v = sv
Esta aplicacin es un isomorfismo. En efecto, es un R-homomorfismo:
(rv + r0 u) = s (rv + r0 u)
= r (sv) + r0 (su)
= r v + r0 u
Adems,
- ker ( ) = {v M | sv = 0} = {0} ya que M es libre de torsin. As, es inyectiva.
- Para cada u en sM , existe v en M tal que u = sv. Luego, v = sv = u. As, es
suryectiva.
Por lo tanto, es un R-isomorfismo. Como sM es libre, M tambin es libre.
Para el caso general, sea
G = {u1 , u2 , . . . , uk , v1 , . . . , vnk }
MDULOS LIBRES Y LIBRES DE TORSIN 15
donde S = {u1 , u2 , . . . , uk } es un subconjunto maximal linealmente independiente de
G. Este conjunto S es no vaco ya que por lo menos los conjuntos con un solo elemento
no nulo son linealmente independientes, pues M es libre de torsin.
Para cada vi , el conjunto {u1 , u2 , . . . , uk , vi } es linealmente dependiente ya que S es
maximal. As para cada i, con 1 i n k, existen ai R y ri1 , ri2 , . . . , rik R tal
que
(5) ri1 u1 + . . . + rik uk + ai vi = 0
Sea a = a1 a2 ank . Entonces,
aM = a hhu1 , u2 , . . . , uk , v1 , . . . , vnk ii
= {a (b1 u1 + . . . + bk uk + bk+1 v1 + . . . + bn vnk ) | bj R}
= {ab1 u1 + . . . + abk uk + abk+1 v1 + . . . + abn vnk | bj R}
En la expresin
ab1 u1 + . . . + abk uk + abk+1 v1 + . . . + abn vnk ,
reemplazamos a por a1 a2 ank , utilizamos (5) y finalmente agrupamos y se tiene
aM hhu1 , u2 , . . . , uk ii = hhSii. El mdulo hhSii es libre ya que es generado por el
conjunto S, el cual es linealmente independiente. As, hhSii es libre y por lo tanto,
aM tambin es libre.
El R-isomorfismo
: M sM
v = sv
prueba, como anteriormente, que M es libre.
De estos dos teoremas podemos concluir que: Un mdulo finitamente generado sobre
un DIP es libre si y slo si es libre de torsin.
DESCOMPOSICIN 16
Descomposicin
Podemos descomponer un mdulo finitamente generado sobre un DIP, como suma
directa de un mdulo libre finitamente generado (nico salvo isomorfismos) y un
mdulo de torsin finitamente generado (nico).
Teorema 7. Todo mdulo M finitamente generado sobre un DIP R es suma directa
de un R-mdulo libre finitamente generado y un R-mdulo de torsin finitamente
generado
M = Mfree Mtor
Mtor es nico ya que debe ser el conjunto de todos los elementos de torsin de M,
mientras que la parte libre es nica salvo isomorfismos, esto es, el rango de la parte
libre es nica.
Demostracin. Por el teorema anterior, M/Mtor es libre de torsin. Adems,
M/Mtor es finitamente generado ya que M lo es. Por lo tanto, M/Mtor es libre.
La proyeccin cannica : M M/Mtor es un R-epimorfismo y M/Mtor es libre;
luego,
M = ker () N ker () M/Mtor
donde N es libre y N M/Mtor . Pero,
ker () = {v M | v + Mtor = Mtor } = Mtor ,
as que
M = Mtor N
donde N es libre y N M/Mtor es libre.
Para la unicidad, supongamos que M = T G, donde T es un mdulo de torsin y
G es libre. Entonces, T Mtor .
Sea v Mtor . Como Mtor est contenido en M , podemos escribir v = t + g, donde
t T y g G. Luego, g = v t; osea que g est en Mtor . Pero, G es libre sobre un
DIP, as que es libre de torsin. Por lo tanto G Mtor = {0}, luego como g tiene que
ser 0. As, v = t T ; o sea Mtor T . Por lo tanto, la parte libre de torsin es nica.
Por otro lado, M = Mtor G significa que G es un complemento de Mtor . Luego, por
el Teorema 4.13, G es isomorfo a M/Mtor y por lo tanto a N .
DESCOMPOSICIN 17
Si {v1 , . . . , vn } es una base para Mfree podemos escribir
Mfree = hhv1 ii hhv2 ii . . . hhvn ii ,
donde cada submdulo cclico hhvi ii tiene anulador {0}. As, una descomposicin
parcial de M en suma directa de mdulos cclicos es
Mfree = hhv1 ii hhv2 ii . . . hhvn ii Mtor .
Bibliografa
[1] Adkins, W. y Weintraub, S., Algebra: An Approach via Module Theory, Springer, 1992.
[2] Dumit, D. y Foote, R., Abstract Algebra, Prentice Hall Inc., 1991.
[3] Francis, M. y McDonald I., Introduccin al lgebra Conmutativa, Editorial Revert, 1978.
[4] Roman, S., Advanced Linear Algebra, third edition, Springer, 2008.
[5] Rotman, J., Advanced Modern Algebra, Prentice Hall, 2002.
18
