Capı́tulo 5

DESCOMPOSICION Y
CLASIFICACION DE MODULOS

En este capı́tulo D denotara un dominio de ideales principales.

Cuando escribamos (general) deseamos hacer notar que el resultado
no depende de una condición tan fuerte como la del tipo de dominio
mencionado. Para iniciar veamos una generalización del caso de co-
cientes, demostrado para Z. Antes una nota:

Si n, m ∈ D y n ∈ mD entonces nD ⊆ mD. Además si n = mk,

n
entonces escribimos k = m . Con esta notación tenemos:

5.1 Proposición:
Se cumple que
n
i mD/nD ' D/ m Dy

ii Si denotamos D/pD = DP entonces los sub D−módulos de Dm

son los D-modDm/n para n divisor de m en D.

Demostración:

i F : D →mD/nD dada por t → mt + nD es claramente un epi-

morfismo. F es el paso al cociente de f : (D, 0) → (mD,nD),
d → md. Ası́ pues N (F ) = N (f ) ∩ f −1 (nD) = m
n
D.

ii Es idéntica que el caso Z visto antes 2

139
 140 Teorı́a Categórica de Módulos

Iniciemos la parte de descomposición haciendo notar que si M =

Xn
Mi en Sm (M ) no necesariamente la suma está en D-mod. Para
i=1 L P
diferenciar los dos tipos de suma se escribe en cambio de en D
por lo menos en el caso finito que es el que nos interesa. En el caso de
Xn
que M = Mi y que además m1 + m2 + ... + mn → (m1 , m2 , ..., mn )
i=1
defina un isomorfismo, decimos que M se descompone en la suma di-
Mn
recta de los Mi y escribimos M = Mi .
i=1

5.2 Proposición:
Las siguientes afirmaciones son equivalentes:
Mn
i M= Mi
i=1
 
n
X X
ii M = Mi para cada j,  Mi  ∩ Mj = 0
i=1 i6=j

iii Cada m ∈ M se descompone de una única manera como m =

m1 + m2 + ... + mn con mi ∈ Mi

Demostración:
i → ii Con la hipótesis i resta demostrar en ii la segunda igualdad, pero
si x pertenece a la intersección entonces tiene dos imágenes que
coinciden por el isomorfismo (función):

(0, ..., x, ..., 0) y (m1 , m2 , ...,0, . . . , mj+1 , . . . , mn )

̂
Ası́ que x = 0. (0 significa 0 en la posición j-ésima).
̂
ii → iii Es suficiente demostrar que 0 se escribe únicamente como 0 =
0 + 0 + ... +
X0. Supuesto 0 = m1 + m2 + ... + mj , entonces
mj ∈ Mj ∩ Mi . Luego mj = 0.
i6=j
 Capı́tulo 5. Descomposición y Clasificación de Módulos 141

L
iii → i Supuesto iii la función h : M → Mi , dada por
m1 + m2 + ... + mn 7→ (m1 , m2 , ..., mn )
está bién definida. Si x = m1 + ... + mn y y = m01 + ... + m0n
entonces x + y = (m1 + m01 ) + (m2 + m02 ) + ... + (mn + m0n ) es
la escritura única de x + y. Luego h(x) + h(y) = h(x + y). De
manera similar se recibe h(αx) = αh(x). La sobreyectividad e
inyectividad son claras.

Descomposición de Módulos Cı́clicos

El primer teorema de descomposición es el siguiente:

5.3 Proposición:
mk
Suponga que n ∈ D y n = pm 1
1 ...pk en donde p1 , p2 , ..., pk son
elementos irreducibles de D y m1 , ..., mk ∈ N y además pi 6= pj para
Mn
i 6= j. Entonces Dn = Dpmi (general).
i
i=1

Demostración:
Si ni = n/pni i entonces (n1 , n2 , ..., nk ) = 1. Entonces, como en el
caso de Z, se tiene que n1 D + n2 D + .... + nk D = (n1 , n2 , ..., nk )D
(problema 6.1) y por tanto n1 D + n2 D + .... + nk D = D. Ası́ pues
Xk Xk
D/nD = ni D/nD = (ni D/nD). En esta última suma la escri-
i=1 i=1
tura es única porque si n1 x + n2 x2 + ... + nk xk ∈ nD entonces como
∼∼
Pini divide a n y también a n1 x + ...+ ni xi + · · · + nk xk (∼ significa
término excluido) entonces divide a ni xi y por tanto divide a xi . Ası́
ni x = ni Pinit = nt y cada ni x + nD = 0. Finalmente
n n n
M M n M
Dn = ni D/nD = D = DP ni 2
ni i
i=1 i=1 i=1

Como caso particular se recibe el teorema corriente de descomposición

de grupos cı́clicos: sean p1 , ..., pn primos distintos. Entonces
Zr1 r2 ...rs ' Zr1 ⊕ Zr2 ⊕ ... ⊕ Zrs
142 Teorı́a Categórica de Módulos

para ri = Pini .
Por otra parte sabemos que si X ' Y entonces M L(X) ' M L(Y ).
Nos preguntamos si el converso es cierto. En general para un anillo
A supongamos que existe un módulo finito M , digamos de cardinal
n 6= 1. Entonces, como M L(X) ' M L(Y ) (por hipótesis) se tienen
dos posibilidades X es finito o no. Si X es finito entonces se recibe
que Hom(M L(X), M ) ' Hom(M L(Y ), M ) y por tanto que (M )#X '
⊕M . Puesto que el lado izquierdo es finito también lo es el derecho y
se recibe que Y es finito y por tanto, de (M )#X ' (M )#Y , se concluye
#X = #Y .
Por el mismo raciocinio anterior si X es infinito también lo es Y .
Es claro por lo demás que M puede reemplazarse arriba por cualquier
Dmor finito si este existe. Para la definición que sigue asumimos que
Dmod tiene objetos finitos no triviales.

5.4 Definición:
Sea M un Dmod libre.
i Si M tiene una base infinita se dice de rango infinito.
ii Si M tiene una base de n elementos se dice que M tiene rango
n2

Se tiene entonces

5.5 Corolario:
M tiene rango n ↔ M ' Dn 2

Nosotros sabemos que si α, β son funciones lineales sobre D (com-

ponibles) con βα = 1 entonces α es un monomorfismo y β es un
epimorfismo. En general en este caso (βα = 1) se dice que α es una
sección de β y que β es una retracción de α. Se tiene ası́ que dado
un morfismo α, si es una sección entonces α es un monomorfismo y si
β es una retracción, entonces es un epimorfismo.
En general el converso no es cierto (ver problema 2). La combinación
sección-retracción permite descomposiciones (en suma directa) del ob-
jeto intermedio. En la proposición que sigue anotamos formalmente
Capı́tulo 5. Descomposición y Clasificación de Módulos 143

este hecho y damos una condición suficiente para que un epimorfismo

sea una retracción.

5.6 Proposición:
Se cumple:
s r
i Si el compuesto N → M → N es 1N , entonces M = Im s ⊕ N (r).

ii Si N es un sumando directo de un módulo M entonces N es un

retracto de M (es decir existen r y s como en i)

iii Sea r : N → M un epimorfismo. Si M es libre entonces r es una

retracción.

iv Si r : N → M es un epimorfismo y M es libre entonces N con-

tiene (como submódulo) una copia isomorfa de M como sumando
directo.

Demostración:
i Que Im s ∩ N (r) = 0 es obvio. Si m ∈ M entonces m = sr(m) +
(m − sr(m))

ii Suponga M = N ⊕ T , tome como s la inclusión y r la proyección

sobre N .

iii Suponga X base de M . Por el axioma de elección existen fun-

f [
ciones X → r−1 (x) tales que f (x) ∈ r−1 (x). Cualquier
x∈X
función de este tipo se levanta en una sección de r.

iv Como r es un epimorfismo y M es libre entonces r es una re-

tracción con sección, digamos, s. Entonces M = Im (s) ⊕ N (r)2

Módulos Proyectivos

Los epimorfismos que son retracciones dependen, como hemos visto

del codominio. Aquı́ caracterizamos los módulos P tales que todo
epimorfismo N → P es una retracción.
144 Teorı́a Categórica de Módulos

En efecto tenemos

5.7 Proposición:
Sea P un módulo. Las siguientes afirmaciones son equivalentes.
i Todo diagrama lleno se cierra conmutativamente

P N

ii P es un sumando directo de un módulo libre.

iii Todo epimorfismo con codominio P es una retracción.

Demostración:
Pr
i →ii Conocemos que existe un epimorfismo M L(P ) → P . Luego se
tiene, por i, s : P → M L(P ) que cierra conmutativamente

ML (P )

s
Pr

P N
IP

Además se tiene que P ⊕ N (Pr) ' Im s ⊕ N (Pr) ' M L(P ). Ası́

P ⊕ N (Pr) es libre.
M
ii →i Suponga P ⊕T = A. Entonces dado el diagrama P −→ N ←g→ M
f
X
M π f
consideremos el compuesto A → P → N y una función de
X
Capı́tulo 5. Descomposición y Clasificación de Módulos 145

h
[
elección X → g −1 f πϕ(x) en donde ϕ : X → M L(X) =
M x∈X
A es la inclusión, la cual se extiende a H que deja conmuta-
x∈X
tivo el diagrama

pP f
ÅA x
P N

tomamos s = HiP (ip : P → P ⊕ T )

i→iii Obvio por el diagrama

3s

P P
Pr
iii→ii Obvio porque de iii M L(p) → P es una retracción y entonces
existe s tal que

ML (P )

s
Pr

P P
1
146 Teorı́a Categórica de Módulos

conmuta. Ahora sigue como en i → ii 2.

Los módulos ası́ caracterizados reciben un nombre especial:

5.8 Definición:
Los módulos que cumplen con las condiciones equivalentes de la
proposición 6.7 se denominan módulos proyectivos 2

En cuanto a ejemplos de módulos proyectivos tenemos

5.9 Proposición:
Se cumple que
i Todo módulo libre es proyectivo.

ii Si {PiP
}i∈I es una familia de módulos proyectivos entonces también
lo es Ai .

iii Todo retracto de un módulo proyectivo es proyectivo. En par-

ticular:

iv Todo sumando directo de un módulo proyectivo es proyectivo (es

decir el recı́proco de ii) 2

En lo que sigue para un Dmod M denotaremos

T (M ) = {m ∈ M |∃α ∈ D, α 6= 0 tal que αm = 0}

A T (M ) se le llama la torsión de M . Se dice que M es libre de

torsión si T (M ) = 0 y si T (M ) = M se dice que M es un módulo
de torsión. La propiedades básicas de T son

5.10 Proposición:
Se cumple que:
i T (M ) es un Dmod.

ii La función Dmod → Dmod, M → T (M ) y (f : M → N )→

f /T (M ) es bien definida y un funtor covariante (denotado T ).
Capı́tulo 5. Descomposición y Clasificación de Módulos 147

iii T es un funtor lineal i.e. es aditivo y preserva multiplicación por

escalar.
n n
!
M M
iv T Mi = T (Mi )
i=1 i=1

v M/T (M ) es libre de torsión.

vi Si N ⊆ M → T (N ) ⊆ T (M )

vii Si N ⊆ M y M es libre de torsión, entonces también N lo es 2

Para la descomposición completa de módulos finitamente generados

iniciemos con una herramienta útil: el cambio de bases.

Cambio de Bases

5.11 Teorema:
i Si M = Dy1 ⊕ Dy2 ⊕ . . . ⊕ Dyn ;
n
X
ii ai = D = D con ai ∈ D y
i=1
n
X
iii x1 = ai yi
i=1

Entonces existen x2 , . . . , xn ∈ M tales que M = Dx1 ⊕Dx2 ⊕. . .⊕Dxn .

Demostración:
Para n = 1 es inmediato. Supongamos la afirmación del teorema
cierta, para números menores que n y demostremos para n. Sean M ,
yi , ai , x1 como en i, ii, iii.
Consideramos el siguente conjunto de datos:
n n
M X ai
N= Dyi D=D
d
i=2 i=2
148 Teorı́a Categórica de Módulos

en donde d = (a2 , ..., an ), para esto suponemos por supuesto que d 6= 0.

Pero si a2 = .... = an = 0 entonces a1 6= 0. En este caso por ejemplo,
n
X ai
descartarı́amos a2 y y2 en cambio de a1 y y1 , y z2 = yi . Entonces
d
i=2
M n
por la hipótesis de inducción existen z3 , ..., zn tales que Dyi =
i=2
n
M
Dzi . Ahora aplicamos la hipótesis de inducción a Dy1 ⊕Dz2 , a1 D+
i=2
dD = D,x1 = a1 y1 + dz2 (los datos deben ser verificados pero son
obvios) y tenemos entonces que existe x2 tal que Dy1 ⊕ Dz2 = Dx1 ⊕
Dx2 . Se recibe por tanto Dy1 ⊕ Dy2 ⊕ ...Dyn = Dy1 ⊕ Dz2 ⊕ ... ⊕ Dzn =
Dx1 ⊕Dx2 ⊕Dz3 ⊕...⊕Dzn . Esto termina la demostración del teorema.

Recı́procamente tenemos:

5.12 Teorema:
Sea M un módulo (no necesariamente libre) y sea Y ⊆ M lineal-
Xn
mente independiente. Sea x = ai yi con yi ∈ Y . Si existe S ⊆ M ,
i=1
linealmente independiente tal que x ∈ S y Dy1 ⊕Dy2 ⊕...⊕Dyn ⊆< S >
entonces a1 D + a2 D + ... + an D = D

Demostración:
Sea N =< S >. Sea x ∈ S, x 6= 0. Por tanto hay al menos un
a1 6= 0. Se tiene entonces que a1 D + a2 D + ... + an D =
6 0 digamos
D + a2 D + ... + an D = dD. Veamos que dD = D para lo cual es
suficiente que d|1. Puesto que N = Dx⊕ < S − {x} > entonces
N/Dx = Dx⊕ < S − {x} ≥ /Dx ' S − {x} >.

Ası́ pues N/Dx es libre y por tanto sin torsión. Ahora bien, como
Xn n
X
(ai /d)yi ∈ N consideramos d( (ai /d)yi )) + Dx = x + Dx = 0.
i=1 i=1
n
X
Como N/Dx no tiene torsión se recibe que (ai /d)yi ∈ Dx. Luego
i=1
Capı́tulo 5. Descomposición y Clasificación de Módulos 149

n n
X ai X ai
existe α tal que yi = α a i yi ↔ = αai ∀i = 1, ..., n. Como
d d
i=1 i=1
al menos uno de los ai 6= 0, 1 = dα

5.13 Corolario:
n
X
Sea M = Dy1 ⊕ ... ⊕ Dyn y x1 = ai yi . Entonces existen
i=1
x2 , ..., xn tales que M = Dx1 ⊕ Dx2 ⊕ ... ⊕ Dxn si y sólo si D =
a1 D + a2 D + ... + an D 2

Relación entre Libre y Sin Torsión

Ahora damos la relación entre módulo libre y libre de torsión. Ini-

ciemos con el hecho de que libre implica libre de torsión. Nosotros
vamos un poco más lejos.

5.14 Teorema:
Y
i M= entonces M es libre de torsión.
s
M
ii Si M = D entonces M es libre de torsión
s

Demostración:
M Y
Como D⊆ D entonces ii sigue de i.
s s

Demostremos entonces i. Suponga que a 6= 0, en M es tal que ra = 0,

σ
con r 6= 0. Entonces dada una función lineal Da → D se tiene que
0 = σ(ra) = rσ(a), como r 6= 0, σ(A) = 0 y por tanto σ = 0. Sigue
entonces que Hom(Da, D) = 0. Considere ahora Hom(Da, M ). Es
claro que la inclusión Da → M no es cero (Da 6= 0) y por tanto
Hom(Da, M ) 6= 0. Pero puesto que Hom(Da, D) = 0, se tiene
Y Y
Hom(Da, M ) = Hom(Da, D) ' Hom(Da, D) = 0
s s

(contradicción) 2
150 Teorı́a Categórica de Módulos

5.15 Corolario:
Todo módulo libre es libre de torsión.

5.16 Teorema:
Si M es finitamente generado y sin torsión, entonces M es libre,
de rango finito.

Demostración:
Suponga M = Dx1 +...+Dxn . Denotemos X = {x1 , ..., xn }. Entonces
σ
M L(X) → M la extensión lineal de σ(xi ) = xi , i = 1, 2, ..., n es un
epimorfismo. Podemos pues seleccionar un epimorfismo con dominio
libre de rango y codominio M .

Por brevedad supongamos que σ lo es. Veamos que entonces es un

isomorfismo. Si suponemos que no, sea x ∈ M L(X) con x 6= 0 tal que
σ(x) = 0.
n
X n
X
Como x = ai xi 6= 0 entonces al menos un ai 6= 0. Si ai D = dD
i=1 i=1
n
X ai
considere y1 = xi . Entonces existe una base {y1 , y2 , ..., yn } de
d
i=1
Xn
L(X). Además dσ(y1 ) = σ(dy1 ) = σ( ai xi ) = σ(x) = 0. Como
i=1
d 6= 0 y M es in torsión se tiene σ(y1 ) = 0. Entonces la función
Dy2 ⊕ Dy3 ⊕ ... ⊕ Dyn → M , x → σ(x) es de nuevo un epimorfismo
con rango del dominio menor que el mı́nimo 2

La dificultad para tratar submódulos de sumas directas es que estas

no reconocen submódulos. Si M = T ⊕ Q y N ⊆ M entonces (sólo)
puede decirse que N ⊇ (T ∩ N ) ⊕ (Q ∩ N ). Pero esto puede no servir
para nada. Por ejemplo en R2 = Re1 ⊕ Re2 y ∆ = {(x, x)|x ∈ R} es
un submódulo. Claramente Re1 ∩ ∆ = {0} = Re2 ∩ ∆. Ası́, hasta el
presente no podemos siquiera afirmar que un submódulo, de un módulo
finitamente generado, es finitamente generado. Pero si lo sabemos
para el caso libre entonces los teoremas precedentes permiten pasar el
resultado al no libre. Ası́ pues solo sabemos que
Capı́tulo 5. Descomposición y Clasificación de Módulos 151

5.17 Corolario:
Si M es un módulo libre y N es un submódulo finitamente ge-
nerado, entonces N es libre.

Demostración:
N es entonces sin torsión 2

Nos entendemos ahora con el número de elementos de las bases. Ve-

remos que es un número fijo en cada módulo (finitamente generado).

Unicidad del Rango

5.18 Teorema:
Si M = Dy1 ⊕ ... ⊕ Dyn entonces toda base de M tiene n ele-
mentos.

Demostración:
Que otra base tiene que ser finita es claro por requerir un número
finito de elementos para generar {y1 , ..., yn }. Hagamos indución sobre
n. Sean n = 1, M = Dy. Si X = {x1 , ..., xnm } es una base como
x1 = a1 y1 . Entonces a1 D = D{x1 } es una base por tanto X = {x1 } es
una base por tanto X = {x1 }.

Supongamos la afirmación de unicidad cierta para existencia de bases

de menos de n elementos y veamos que la afirmación es cierta para
n. Suponga que {x1 , ..., xm } es una base de M = Dy1 ⊕ ... ⊕ Dyn
Xn Xn
como x1 = ai yi está en una base entonces a1 D = D y por
i=1 i=1
∼ ∼
tanto existe una base {x1 , x2 , ..., xn }
de M . Se tienen entonces bases
∼ ∼
de M/Dx1 , {x2 + Dx1 +, ..., +xm + Dx1 } y {x2 +Dx1 , ..., xn +Dx1 }
por tanto aplicando el axioma de inducción m − 1 = n − 1 y n = m

5.19 Teorema:
Si M es un D-módulo libre de rango n y N es un submódulo de
M , entonces N es libre y de rango menos o igual a n.
152 Teorı́a Categórica de Módulos

Demostración:
Para n = 1, M ' D y un submódulo de M es un ideal. Como D es
principal si N es un submódulo entonces N ' aD. Si a = 0, N ' 0 el
módulo libre generado por φ (demostrar). Si a 6= 0, aD ' D puesto
que D es un dominio y el rango de N es tambien 1. Supongamos el
teorema cierto en caso de rango de M menor que n y demostremos
entonces para n. Suponga pues que N ⊆ M = Dy1 ⊕ ... ⊕ Dyn . Sea
V 0 = Dy2 ⊕ ... ⊕ Dyn entonces M/V , ' Dy1 . Como N + V 0 es un
submódulo de M entonces N + V 0 /V ⊆ M/V 0 ' D. Se tiene que
N + V 0 = V 0 o bien N + V 0 6= V 0 . En el primer caso n + 0 ∈ V 0 ası́que
N ⊆ V 0 y por tanto (por hipótesis de inducción) N es libre de rango
≤ n − 1. En el otro caso N + V 0 6= V 0 , entonces N + V 0 /V 0 tiene un
generador que debe estar representado por n1 ∈ N − V 0 . si N ∩ V 0 = 0
entonces N ' N + V 0 /V 0 y N es monogenerado. Si N ∩ V 0 6= 0 como
N ∩ V 0 ⊆ V 0 , entonces por la hipótesis de inducción N ∩ V 0 es libre
con base digamos {n2 , ..., nm }, m ≤ n. Entonces {n1 , ..., nm } es una
base de N , según se sigue de la proposición 3.13.

5.20 Corolario:
Sea M un módulo finitamente generado. Si N es un submódulo
de M , entonces N es finitamente generado.

Demostración:
Bajo hipótesis, existe un epimorfismo σ : L(X) → M con X finito.
σ −1 (N ) es un submódulo de L(X), entonces libre y finitamente gene-
rado, digamos por Y . Entonces σ(Y ) genera a N 2

Con el objeto de hacer una presentación simplificada (o rápida) de

la unicidad de la descomposición de módulos (salvo isomorfismo) pre-
sentamos sin demostración un resultado sobre la relación entre bases
de los submódulos con aquellos de los módulos. Contrario al caso de
los espacios vectoriales en que a partir de una base del subespacio se
completa una del espacio, en el caso de módulos la relación es indi-
recta (pero precisa). Note por ejemplo que una base de 2Z es {2} la
cual no puede ser completada en una base de Z sobre Z. (La única es
{1}). La relación de divisibilidad entre los elementos de esas dos bases
Capı́tulo 5. Descomposición y Clasificación de Módulos 153

persiste en el caso general como veremos. Nosotros no daremos una

demostración de este resultado. Simplemente lo usaremos 1

5.21 Teorema:
Sea F un D0 -módulo libre de rango n y E 6= {0} es un submódulo
de F . Entonces existe una base {x1 , ..., xn } de F y {d1 , ..., dn } ⊆ D
tales que:

i di |di+1 para 1 ≤ i ≤ m − 1, dm 6= 0, dm+1 = ... = dn = 0

ii {d1 x1 , ..., dm xm } es una base de E 2

5.22 Teorema:
Suponga que M es un D-módulo finitamente generado. Entonces
existe d1 , ..., dm ∈ D d1 |d2 |...|dm y k ∈ N tales que M ' Dd1 ⊕ Dd2 ⊕
... ⊕ Ddm ⊕ Dk en donde si α ∈ D, Dα ≡ D/αD

Demostración:
Supongamos que M es finitamente generado, entonces existe un epi-
σ
morfismo Ds → M para el cual s es mı́nimo. Si σ es 1-1 entonces
k = s y d1 = d2 = ... = dm = 0. Suponga entonces que σ no
es 1-1 y por tanto ker σ 6= 0. Entonces existen descomposiciones:
ker σ = Dd1 x1 ⊕Dd2 x2 ⊕...⊕Ddm xm ⊆ Dxm ⊕Dxm+1 ⊕...⊕Dxs (' Ds )
con di |di+1 .

Como M ' Ds / ker σ = DxDd 1 ⊕...⊕Dxm ⊕Dxm+1 ⊕...Dxs

1 x1 ⊕Dd2 x2 ⊕...⊕Ddm xm
' Dx1 /Dd1 x1 ⊕
Dx2 /Dd2 x2 ⊕ ... ⊕ Dxn /Ddn xm ⊕ Dxm+1 /0 ⊕ ... ⊕ Dxs /0

Como Ds e libre si x 6= 0, Dx ' D. Es obvio que Dx1 /Dd1 x1 → D/d1 D

dada por rx1 + Dd1 x1 → r + d1 D es una función que es además un
isomorfismo. Ası́ pues M ' Rd1 ⊕ Rd2 ⊕ Rdn ⊕ R ⊕ ... ⊕ R.

Invariante de la Descomposición.
1
Un trabajo minucioso de demostración del teorema que sigue puede encontrarse
en el texto Introducción a la Teoria de Módulos de M. F. Suarez (Universidad del
Valle)
154 Teorı́a Categórica de Módulos

Como ' N (en general) ↔ T (M ) ' T (N ) y Li(M ) ' Lin(N ) (Li:

parte libre) y como T (M ) ' T (N ) ↔ ∀π primo Mπ ' N π debemos
dar condiciones para que M π ' N π. Tomemos por tanto un módulo
de torsión M π. Según la escritura dada antes se tiene que

M π ' D/d1 D ⊕ ... ⊕ D/dm D

Donde d1 |d2 |...|dm . Ahora bien: dado x ∈ M π se tiene que dn x − 0.

Como π es el único primo que anula elementos de M π entonces dn =
π vn en donde vn ∈ N . Ası́ di = π vn con v1 ≤ v2 ≤ ... ≤ vm . Además,
[∞
según la definición de M π se tiene que M π = M (π n ) = M (π vm ).
n=1
Se tiene hasta ahora entonces que M π ' D/π v1 D ⊕ ... ⊕ D/π vm D.
Naturalmente si (v1 , ...vm ) = (w1 , ..., wm ) entonces

D/π v1 D ⊕ ... ⊕ D/π vm D ' D/π w1 D ⊕ ... ⊕ D/π wm D

Se trata de decidir si el converso es cierto. Para eso damos algu-

nas bases: Sea hπ : D → D, x → πx la homotesia asociada
π. Para cada n ∈ N , hπ induce un homomorfismo de pares h(π,n) :
(D, π n D) → (D,π n D).
∼
El paso al cociente da como resultado h(π,n) : D/π n D → D/π n D. Con
la siguiente consecuencia:

5.23 Teorema:
∼
i Im h (π, n) ' Dπn−1 si n > 1 e Im h(π, 1) = 0.
∼
ii ker h(π,n) ' Dπ
∼
i h
iii 0 → Dπ → Dπn → Dπn−1 → 0 es exacta 2

Por otra parte tenemos algunos aspectos que permiten hacer los cálculos
más elementales, a saber

5.24 Teorema:
i Si M = A ⊕ B → ∀α ∈ R, M (α) = A(α) ⊕ B(α)
Capı́tulo 5. Descomposición y Clasificación de Módulos 155

ii Para los Rπn se tiene


Dπr si r<n
r
(Dπn )(π ) = 2
Dπn si r≥n

Esto permite avanzar en dos puntos fundamentales

5.25 Teorema:
i (Dπn )r ' (Dπn )s ↔ n = s.
q
M p
M
ii Dπni ' Dπmj → q = p y np = mp . Es decir los últimos
i=1 j=1
exponentes de π coinciden.

Demostración:
i Si n = 1 se tiene que ϕ : (Dπ )n → (Dπ )s , un D-isomorfismo, es
también Dπ -isomorfismo. Como Dπ es un cuerpo (campo) en-
tonces (Dπ )n es Rπ -libre y n = s.
En general se recibe que si (Dπn )r ' (Dπn )s entonces (Dπn )r (π) '
(Dπn )s (π) ↔ (Dπn (π))n ' (Dπn (π))s , (Dπ )n ' (Dπ )s → n = s.

ii De nuevo se aplica la π componente en los dos lados (como en i)

y se obtiene (Dπ )q ' (Dπ )p → q = p.

Un paso intermedio, que permite además visualizar la demostración

del teorema general, es:

5.26 Lema:
Dπm ' Dπn ↔ m = n.

Demostración:
Sólo resta demostrar →). Suponga que ϕ : Dπm ' Dπn es un isomor-
fismo. Entonces ϕ((Dπm (π)) = Dπn (π). Es decir que ϕ(Dπ ) = Dπ .
∼ ∼
Por tanto ϕ(ker h(π,m) = ker h(π,n) y se tiene un diagrama de suce-
siones exactas
156 Teorı́a Categórica de Módulos

i h( p,m)
0 ker h(p,m) Wp m Im h(p,m) 0
j | j j

0 ker h(p,n) Wp n Im h(p,n) 0

i h(p,n)

Ahora puesto que ϕ| es sobreyectiva y la restricción de ϕ es un iso-

∼
morfismo, como también lo es ϕ, se concluye que ϕ es un isomorfismo.
∼ ∼
Se recibe entonces Dπn−1 ' Im h(π,m) ' Im h(π,n) ' Rπn−1 . Pero la
implicación Dπm ' Dπn → Dπm−1 ' Dπn−1 permite usar inducción y
sólo resta entonces decidir qué sucede cuando Dπ ' Dπn . Como Dπ
es un campo también Dπn y por tanto π n es irreducible. Luego n = 1
(fin del lema).

Ahora demostremos el caso general. Supongamos inicialmente que

M p Mn
M= Dπni y N = Dπmi , con exponentes ordenados como antes.
i=1 i=1
ϕ
Supongamos que M ' N pero que mp < np . Entonces existe a ∈ D tal
que a ∈ π np D pero a 6= π mp D. a ∈ π ni D para i = p, ..., 1. Entonces
tenemos que ϕ−1 (t) = aϕ−1 (0, ..., [1]) = 0 (porque a ∈ π ni D para
i = 1, ..., p). Ası́ pues t = 0 y aπ mp D (contradicción). De la misma
manera se tiene que mp < np lleva a contradicción luego np = mp 2

5.27 Teorema:
Si M ' N con la notación precedente, entonces p = q y ni = mi
para i = 1, 2, ..., p.

Demostración:
Por inducción sobre el máximo exponente de π. Si este es 1 entonces
ni = 1 = m, ∀i. Supongamos ahora que el teorema es cierto si el
máximo exponente es menor que s y veamos que también es cierto
cuando el máximo exponente es s.
Sabemos que M (π np−1 ) ' N (π np−1 ). Como ni ≤ np−1 y mi ≤ np−1
entonces M (π np−1 ) ' Dπni ⊕ Dπn2 ⊕ ... ⊕ Dπnp−1 y N (π np−1 ) ' Dπmi ⊕
Capı́tulo 5. Descomposición y Clasificación de Módulos 157

Dπn2 ⊕ ... ⊕ Dπnp−1 . Como np−1 < np = s entonces por inducción

n1 = m1 , ..., np−1 = mp−1 que np = mp ya lo sabemos 2

Tenemos, como resumen, el resultado que sigue, para el cual damos

antes algunas notaciones. Sean π1 , ..., πt (elementos) irreducible de D
y n1 , ..., nt ∈ N. Formamos el conjunto

CP = {(π1n1 , ...., πtnt )|πi irreducible en D, ni ∈ N, t ∈ N}

en donde CP representa la idea de componente primaria y aquı́

significará descomposición en componente primaria. En CP de-
n
finimos la relación (π1n1 , ...., πtnt ) ' (I1m1 , ...., Iq q ) si y sólo si t = q, y la
segunda q -upla es una permutación de la primera. Note que, entonces
πini = Itmt y por tanto πi = It y ni = mt . Nosotros omitimos el sı́mbolo
“—” al denotar la clase de equivalencia módulo asociación, pero será
entendido siempre en tal sentido. Denotamos por [π1m1 , ...., πtnt ] a
la clase de (π1n1 , ...., πtnt ) por ∼. Si π n1 i , ...., π nt t = r con r ∈ D deci-
mos que [π1n , ...., πtnt ] es una descomposición primaria de r. Si los
πi son diferentes será llamada descomposición primaria mı́nima.
Es decir [π1n1 , ...., πtnt ] se dice una descomposición primaria mı́nima si
i 6= j → πi 6= πj . También es claro que toda descomposición primaria
es una descomposición en potencias menores de la descomposición pri-
maria mı́nima.

5.28 Teorema:
i Existe una correspondencia, F , biunı́voca entre las clases (por
isomorfismo) de módulos de torsión, de tipo finito, y las descom-
posiciones primarias de D (asignando a 0 la descomposición [0]),
la cual asigna M → [π1n1 , ...., πtnt ] si y sólo si M ' Dπn1 ⊕ ... ⊕ Dπntt .

ii M es cı́clico si y sólo si F [M ] es mı́nima.

iii (Si F [M ] = [π1n1 , ...., πtnt ] entonces π n1 1 π n2 2 , ...., πtnt = r se llama

el orden de M ). Para cada r existen tantos módulos no iso-
morfos de orden r como descomposición primarias distintas con
producto r.

iv Existe un único módulo cı́clico de orden r (salvo isomorfismo)

158 Teorı́a Categórica de Módulos

Demostración:
i Es claro que todo módulo de tipo finito, de torsión, se descom-
pone en M ' Dπn1 ⊕ ... ⊕ Dπntt en donde los πi , son elementos
irreducibles de D. Por otro lado
(Dπn11 ⊕ ... ⊕ Dπntt )π = ⊕{Dπj nj |πj = π}
Claramente esta descomposición se ordena de manera única por
el orden de la potencias. Entonce la asignación F es clara.
ii M es cı́clico si y sólo si M ' Rd ' Rπn11 ⊕ Rπn22 ⊕ ... ⊕ Rπnm
m en
n1 n2 n
donde d = π1 π2 ...πm y πi ∼ πj si i 6= j (∼ no asociado) si y
m

sólo si [π1n1 π2n2 ...πm

nm ] = F (M ) es primaria mı́nima.

m tiene orden r si y sólo si π n1 ...π nm = r. Note que

iii Dπn11 ⊕ ... ⊕ Dπnm 1 m
los irreducibles en la descomposición de r son únicos. Luego si
◦N = r = ◦M con D(N ) = [π1m , ..., πm nt ] y D(M ) = [δ m1 , ...δ mp ]
1 s
−m1 −ms
entonces π n1 1 ...π nt t = r = δ 1 , ...δ s y por tanto para cada i
existe uno y un sólo j tal que π i = δ j y viceversa. Ası́, si N y
M tienen el mismo orden, entonce las descomposiciones de N y
M tienen los mismos factores, irreducibles con la misma suma
de exponentes. Para N ' M se tiene, equivalentemente que
Nπi ' Mπi . Es decir que una vez ordenadas las potencias de πi
coinciden y ésto para cada i.
iv Que existe es claro porque Dr = Dπn11 ⊕ ... ⊕ Dπnm m en donde r =
n1 n
π1 , ..., πmm es la descomposición primaria mı́nima de r. Además
si Dλn11 ⊕ ... ⊕ Dλntt es cı́clico de orden r entonces r = λn1 1 ...λnt t y
Dλn11 ⊕ ... ⊕ Dλntt = Dq . Entonces q = λn1 1 ...λnt t es mı́nima y
Dλn11 ⊕ ... ⊕ Dλntt = Dr

En el caso de Z, como además existe orden, se tiene facilidad para

denotar descomposición primarias si se impone orden ası́: dado m ∈ Z
una descomposición primaria de m es una t-upla [π1n1 , ..., πtnt ] tal que
πi ≤ πj si i < j y si πi = πj → ni ≤ nj , con πi primo y tal que
m = π1n1 , ..., πtnt . Cuando i < j → πi < πj , entonces [π1n1 , ..., πtnt ] se
dice también canónica. Note que aquı́
[π1n1 , ..., πtnt ] = [δ1m1 , ..., δkmk ] ↔ t = k ∧ πini = δini ∀i ↔ t = k;
Capı́tulo 5. Descomposición y Clasificación de Módulos 159

πi = δi ∀i; ni = mi ∀i.

Tanto en el caso general como en el presente es claro que tomando ciclos

primos distintos de potencia ordenados se obtienen representaciones
cı́clicas de mı́nimo tamaño (de sumandos) de una clase de isomorfismo.
160 Teorı́a Categórica de Módulos

5.29 Ejemplo:
Considere [23 , 23 , 24 , 33 , 34 , 5, 52 , 57 , 7, 7] se puede ordenar en los
ciclos [23 , 33 , 5, 7], [23 , 34 , 52 , 7], [24 , 57 ]. Puesto que cada ciclo es mı́nimo
representa un módulo cı́clico. Se tienen pues una representación mı́nima
en módulo cı́clico. Ası́ si
M = Z23 ⊕ Z23 ⊕ Z24 ⊕ Z33 ⊕ Z34 ⊕ Z5 ⊕ Z52 ⊕ Z7 ⊕ Z24 ⊕ Z57
' (Z23 ⊕ Z33 ⊕ Z5 ⊕ Z7 ) ⊕ (Z23 ⊕ Z34 ⊕ Z52 ⊕ Z7 ) ⊕ (Z24 ⊕ Z57 )
' Z23 ×33 ×5×7 ⊕ Z23 ×34 ×52 ×7 ⊕ Z24 ×57
que es una representación en número mı́nimo de grupos cı́clicos de
M . Note que, en general, entre más largos sean los ciclos de primos
distintos más corta es la representación en grupos cı́clicos. En general
entre las mı́nimas existe una, ordenada, que se usa de manera corriente:

5.30 Corolario:
Sea M un módulo de tipo finito y de torsión. Entonces existen
d1 , d2 , ..., dn ∈ D con di |di+1 tales que M ' Dd1 ⊕ Dd2 ⊕ ... ⊕ Ddn ,
Ddj ∼ = 0. Ddj 6= D. Además si M ' Dd01 ⊕ ... ⊕ Dd0k con d01 |d0i+1 y Dd0j
no trivial para toda j, entonces n = k y, para cada i, Ddi = Ddi 2
Capı́tulo 5. Descomposición y Clasificación de Módulos 161

PROBLEMAS

1. Considere un dominio D de ideales principales. Denote a ∼ b ↔

existe una unidad (elemento invertible con el producto) µ tal que
a = µb. Denote aDb (a divide (a)b) si b = ka para k ∈ D.

i Dé las propiedades (de relación) de ∼ y D. En particular

decida si D es de orden, módulo ∼.
ii Si A ⊆ D, defina (A) = inf A para el orden D (módulo
∼) y [A] = sup A. En el caso finito se denotan, para
A = {a1 , a2 , ..., an }, (A) = (a1 , ..., an ) y [A] = [a1 , ..., an ]
respectivamente. Dé ejemplos para los cuales (A) no existe.
Lo mismo para [A]. Sean a1 , a2 , ..., an ∈ D. Muestre que:
a. a1 D+a2 D + ...an D = (a1 , a2 , ..., an )D.
b. a1 D∩a2 D∩...∩an D = [a1 , a2 , ..., an ]D.
c. (a1 , a2 , ..., an ) = 1 si y sólo si existen x1 , ..., xn ∈ D
tales que a1 x1 + a2 x2 + ... + an xn = 1.

2. Recordemos que si βα = 1, α se dice una sección y β una re-

tracción. En tal caso α es un monomorfismo y β un epimorfismo.
Muestre que el converso no es cierto en el caso general. Para el
efecto y otros resultados solucione lospuntos que siguen.

i Qué homomorfismos (Z lineales) hay de Q en Z? Muestre

que no hay epimorfismos Q → Z y por tanto no hay res-
tricciones Q → Z y entonces no hay secciones Z → Q y
monomorfismos?
ii Calcule los homomorfismos Zp → Z. Muestre que las proyec-
ciones Z → Zp no son retracciones.
iii Muestre según i Z no es un sumando directo de Q.
iv Muestre que si M es un módulo libre, entonces Z es un
sumando directo de M . Concluya que Q es libre de torsión
pero no libre.
162 Teorı́a Categórica de Módulos

v Para el caso de R si λ es un irracional de R, λQ es un

Z-submódulo de R. Si f : R → Z es un homomorfismo
h f|
también lo es Q −→ λQ −→ Z donde h es la multiplicación
por λ el cual es un isomorifsmo. Concluya que f | = 0 y que
f (λ) = 0.
vi Siga iv para mostrar que R (y entonces C) son libres de
torsión pero no libres.

7. Se puede demostrar que todo submódulo de un módulo libre es

libre (ver Hilton-stammbach: A Course In Homological Algebra,
Springer Verlag GMT). En el caso que setamos estudiando de
dominios de ideales principales, use este hecho para demostrar:

i Si un Z-módulo M contiene a Q como submódulo, entonces

no es libre.
ii Si D es un dominio de ideales principales entonces para un
D − mod, ser libre es equivalente a ser proyectivo.
iii Complete (b) dando un ejemplo de un módulo proyectivo
no libre.

8. Si D es un campo (caso en el cual usamos la notación K) un

D-mod se dice un espacio vectorial. Usando el material de la
sección muestre que

i En un espacio vectorial todo conjunto unitario no cero es

linealmente independiente.
ii Suponga que V tiene una base finita (V un espacio vec-
torial). Muestre que entonces todo elemento no cero se
completa en una base del mismo número de elementos.
iii Muestre que si {x1 , ..., xn } es base de V también lo es {α1 x1 ,
α2 x2 , ..., αn xn } en donde αi ∈ K, αi 6= 0. Muestre que si w
es un subespacio de V entonces cada base de w se completa
en una base de V .
Capı́tulo 5. Descomposición y Clasificación de Módulos 163

iv Un módulo M se dice semisimple si todo submódulo es

sumando directo y simple si solo tiene submódulos tri-
viales. Muestre que en general son
Mequivalentes las afir-
maciones: X es semisimple; X = Mλ con Mλ simple;
X λ
X= Mλ0 con Mλ0 simple.
λ
v Note que para K un campo K es simple sobre K y todo
espacio (sobre K) monogenerado es simple. Muestre que y
todo espacio vectorial V sobre K es libre sobre K(porque
obviamente V es una suma de módulos simples (no cero) y
entonces una suma directa de módulos simples. La demos-
tración se concluye en cuanto catalogue los módulos simples
sobre un campo K).
vi Muestre, usando el material de la sección, que si V ∗ =
Hom(V, K) entonces, si V ∗ = Hom(V, K) entonces, si V
es de dimensión finita, V ∗ ' V .

9. Catalogue los módulos que siguen entre finitamente generados,

libre, proyectivos, libres de torsión, de rango finito, de torsión:
i Z.
ii Q.
iii R.
iv Cn .
v Hom(Z, Q).
vi Hom(Z, R).
vii Hom(Q, Z).
viii Hom(C, Z).
ix Hom(Z ⊕ Zp , R ⊕ C).
∞
!
M
x Hom Zp .
n=1
∞
!
M
n
xi Hom R .
n=1
164 Teorı́a Categórica de Módulos

xii Aut(Zn ) = {f ∈ Hom(Zn , Zn ) | f es un iso} con la opera-

ción composición.
δ
10. Un complejo de cadena es una sucesión Cn → Cn−1 , n ∈ N tal
δ δ
que Cn+1 → Cn → Cn−1 es cero. Muestre que si cada Cn es libre
entonces núcleos e imágenes de los δ son libres y decida cuáles
de ellos son sumandos directos de los Cn .

11. Catalogue

i Los grupos Zd1 ⊕ Zd2 ⊕ ... ⊕ Zdn = X donde di |di+1 y X es

cı́clico.
ii Los grupos cı́clicos X, tales que AU T (X) ' X.
iii Los grupos abelianos de orden impar menor o igual a 50.

12. Calcule la descomposición primaria y luego en invariantes divi-

sibles (Teorema 6.22) por los módulos que siguen.

i El anulador en Hom(Z ⊕ R ⊕ Z3 , Z12 ⊕ Z16 ⊕ Z) de 342.

ii Hom((Z12 ⊕ Z ⊕ R)(124), (Z6 ⊕ Z8 ⊕ Z)(461)).
iii Hom(Mπ ⊕Mπ2 , M π3 ) donde π1 , π2 , π3 son dos a dos primos
relativos.
Capı́tulo 5. Descomposición y Clasificación de Módulos 165