Módulos finitamente generados sobre dominios a

ideales principales
Marı́a Julia Redondo

1 Introducción
Se llama sucesión exacta corta a toda sucesión de A-módulos y A-morfismos
f g
0 → X −→ Y −→ Z → 0

con f un monomorfismo, g un epimorfismo y Nu g = Im f . Dicha sucesión

se dice que se parte a derecha si existe un A-morfismo s : Z → Y

Z
s

f  g
0 /X /Y /Z /0

tal que g ◦ s = idZ , y se dice que se parte a izquierda si existe un A-

morfismo t : Y → X
f g
0 /X /Y /Z /0

~ t
X

tal que t ◦ f = idX .

Ejemplo 1.

1) La sucesión
X ι Z π
0 → X −→ X ⊕ Z −→ Z→0
con ιX (x) = (x, 0) y πZ (x, z) = z, es una sucesión exacta corta, que
se parte a derecha y a izquierda: basta tomar ιZ : Z → X ⊕ Z y
πX : X ⊕ Z → X.

1
 2) La sucesión
f g
0 → Z/Z2 −→ Z/Z4 −→ Z/Z2 → 0
con f (x + Z2 ) = 2x + Z4 y g(x + Z4 ) = x + Z2 es una sucesión exacta
corta que no se parte ni a derecha ni a izquierda.
f g
Proposición 1.1. Dada una sucesión exacta corta 0 → X → Y → Z → 0,
las siguientes condiciones son equivalentes:
1. la sucesión se parte a derecha;

2. la sucesión se parte a izquierda;

3. existe un isomorfismo ψ : Y → X ⊕ Z que hace conmutativo el dia-

grama
f g
0 /X /Y /Z /0

ψ
ιX 
0 /X / X ⊕ Z πZ /Z /0

Demostración.
(3) ⇒ (2) Basta definir t : Y → X como t = πZ ◦ ψ.
(3) ⇒ (1) Basta definir s : Z → Y como s = ψ −1 ◦ ιZ
(2) ⇒ (3) La función ψ : Y → X ⊕ Z definida por ψ(y) = (t(y), g(y)) es
un A-morfismo pues g y t lo son, y claramente πZ ◦ ψ = g. Además

ψ ◦ f (x) = ((t ◦ f )(x), (g ◦ f )(x))

= (idX (x), 0)
= ιX (x).

Veamos que ψ es un monomorfismo: si ψ(y) = 0, entonces g(y) = 0, esto es,

y ∈ Nu g = Im f . Luego y = f (x) y, por lo tanto, x = t◦f (x) = t(y) = 0. Ası́
concluı́mos que y = f (x) = 0. Por último, veamos que ψ es un epimorfismo:
dado (x, z) ∈ X ⊕ Z, sabemos que existe y ∈ Y tal que g(y) = z. Un cálculo
directo muestra que ψ(y + f (x − t(y))) = (x, z).
(1) ⇒ (3) La función φ : X ⊕ Z → Y definida por φ(x, z) = f (x) + s(z)
es un A-morfismo pues f y s lo son. Además, φ es un monomorfismo pues
φ(x, z) = 0 implica que s(z) = −f (x). Aplicando g a la igualdad anterior
tenemos que z = (g ◦ s)(z) = −(g ◦ f )(x) = 0. Luego z = 0 y por lo tanto
x = 0 pues f es monomorfismo y f (x) = −s(z) = 0. Veamos que φ es
epimorfismo: dado y ∈ Y , como y − (s ◦ g)(y) ∈ Nu g, existe x ∈ X tal que
f (x) = y − (s ◦ g)(y). Luego φ(x, g(y)) = y.

2
 Finalmente, como

(g ◦ φ)(x, z) = (g ◦ s)(z) = z = πZ (x, z),

(φ ◦ ιX )(x) = φ(x, 0) = f (x),

el isomorfismo ψ = φ−1 hace el diagrama conmutativo. 
Corolario 1.2. Si L es un A-módulo libre y f : X → L es un epimorfismo
de A-módulos, entonces existe un A-módulo Y tal que X ' L ⊕ Y .
Demostración. La sucesión exacta
f
0 / Nu f /X /L /0

se parte a derecha: en efecto, si {vi }i∈I es una base de L, la función t :

{vi }i∈I → X definida por t(vi ) = xi si f (xi ) = vi se extiende a un único
A-morfismo t : L → X que verifica f ◦ t = idL . Por la proposición anterior
tenemos que X ' L ⊕ Nu f . 
Teorema 1.3. Si A es un anillo conmutativo, las bases de cualquier A-
módulo libre tienen el mismo cardinal.
Demostración. Por el Lema de Zorn, el anillo conmutativo A tiene un
ideal maximal M, y por lo tanto A/M es un cuerpo. Sea {mi }i∈J una base
del A-módulo libre M . El A-módulo cociente M/MM tiene estructura de
A/M-módulo, es decir, es un A/M-espacio vectorial. Como M = ⊕i∈J Ami ,
entonces MM = ⊕i∈J Mmi , y por lo tanto

M/MM ∼
= ⊕i∈J Ami /Mmi ∼
= ⊕i∈J A/M.

Entonces el cardinal de J es la dimensión del A/M-espacio vectorial M/MM .

Como las bases de cualquier espacio vectorial tienen el mismo cardinal, toda
base de M tendrá el mismo cardinal que J. 
Definición 1. Si M es un A-módulo libre, se llama rango de M y se nota
rg M al cardinal de cualquiera de sus bases.
Teorema 1.4. Todo submódulo M de un A-módulo libre finitamente gen-
erado L es libre, y rg M ≤ rg L.
Demostración. Sin pérdida de generalidad podemos suponer que L = An
para un número natural n. Si n = 1 y M es un A-submódulo de L = A
entonces M es un ideal de A. Como A es un dominio a ideales principales,
M = xA, {x} es una base de M y rg M = rg L = 1.

3
 Supongamos que el resultado vale para cualquier módulo libre de rango
estrictamente menor que n, y probémoslo para n. Sea πn : An → A la
proyección πn (a1 , . . . , an ) = an . Si M es un A-submódulo de An , considere-
mos la sucesión exacta
/ M ∩ Nu πn /M πn / / 0.
0 πn (M )

Como πn (M ) es un A-submódulo de A y M ∩ Nu πn es un A-submódulo de

Nu πn ' An−1 , por hipótesis inductiva ambos submódulos son libres. Por el
corolario anterior tenemos que M ' M ∩ Nu πn ⊕ πn (M ). Luego M es libre
y rg M = rg M ∩ Nu πn + rg πn (M ) ≤ (n − 1) + 1 = n. 

Definición 2. Un elemento m de un A-módulo M se dice de torsión si

existe a ∈ A, a 6= 0, tal que am = 0. Un A-módulo M se dice de torsión si
todos sus elementos son de torsión, y se dice libre de torsión si M 6= {0}
y el único elemento de torsión es el 0.

Ejemplo 2. 1. Todo grupo abeliano finito es un Z-módulo de torsión.

2. El grupo abeliano Q/Z es un Z-módulo de torsión.

3. El Z-módulo Z es libre de torsión.

4. Todo ideal no nulo de un dominio de integridad A es un A-módulo

libre de torsión.

Lema 1.5. Sea M un A-módulo y sea t(M ) = {m ∈ M : m es de torsión}.

Entonces

1. t(M ) es un A-submódulo de M ;

2. t(M ) es un A-módulo de torsión;

3. M/t(M ) es un A-módulo libre de torsión.

Demostración. Es fácil ver que t(M ) es un A-submódulo de M pues A

es un dominio de integridad, y claramente todos los elementos de t(M ) son
de torsión, por definición, luego t(M ) es un A-módulo de torsión.
Veamos que M/t(M ) es un A-módulo libre de torsión. Sea m ∈ M/t(M ),
m 6= 0, esto es, m 6∈ t(M ), y supongamos que existe a ∈ A, a 6= 0, tal que
am = 0. Entonces am ∈ t(M ), y por lo tanto, existe b ∈ A, b 6= 0, con
bam = 0. Como A es un dominio de integridad, ba 6= 0 y por lo tanto
m ∈ t(M ). Este absurdo provino de suponer que M/t(M ) tenı́a torsión. 

4
Teorema 1.6. Todo A-módulo finitamente generado y libre de torsión es
libre.
Demostración. Si M = {0} el resultado es trivial. Supongamos que
M 6= {0} y sea X un conjunto de generadores de M . Por hipótesis podemos
asumir que X es un conjunto finito no vacı́o. Sea

F = {T : T ⊂ X, T es un conjunto linealmente independiente}.

El conjunto F es no vacı́o ya que cualquier elemento de X forma un conjunto

linealmente independiente pues M es libre de torsión. Además F es un
conjunto finito cuyos elementos son conjuntos finitos, entonces existe S ∈ F
tal que S es maximal. Sea S = {m1 , . . . , mk } y sea L = ⊕ki=1 Ami el A-
módulo libre con base S. Si x ∈ X \ S, el conjunto {m1 , . . . , mk , x} es
linealmente dependiente, estos es, existen a1 , . . . , ak , ax no todos nulos tales
que ki=1 ai mi + ax x = 0. Más precisamente, el elemento ax no puede ser
P

nulo, y por lo tanto, ax x = − ki=1 ai mi ∈ L. Sea c = x∈X\S ax . Como

P Q
cX ⊂ L y X genera M , tenemos que cM ⊂ L. Consideremos el A-morfismo
f : M → M definido por f (m) = cm. Como M es libre de torsión, f resulta
ser un monomorfismo. Entonces M ' Im f , y como Im f = cM es un
submódulo del módulo libre L de rango finito, Im f resulta ser un A-módulo
libre, ver Teorema 1.4. 
Corolario 1.7. Todo A-módulo M finitamente generado admite un submódulo
libre L tal que M = t(M ) ⊕ L.
Demostración. Como M/t(M ) es finitamente generado y libre de torsión,
el teorema anterior nos dice que es libre. Entonces la sucesión exacta corta

0 → t(M ) → M → M/t(M ) → 0

se parte, y por lo tanto, M ' t(M ) ⊕ M/t(M ). 

El resultado anterior nos dice que si A es un dominio a ideales principales,

todo A-módulo finitamente generado M es isomorfo a la suma directa de
copias del anillo A más su submódulo de torsión, esto es,

M ' As ⊕ t(M ).

Por ejemplo, todo grupo abeliano finitamente generado es isomorfo a la suma

directa de copias de Z más un grupo abeliano finito.

Por lo tanto, para describir los módulos finitamente generados sobre un

dominio a ideales principales, basta describir su submódulo de torsión.

5
2 Teorema de descomposición
Proposición 2.1. Sea M un A-módulo de torsión y sea p irreducible en A.
El conjunto

tp (M ) = {m ∈ M : pk m = 0 para algún entero k ≥ 0}

es un A-submódulo de M y M = ⊕p∈A tp (M ).

Demostración.
P Es fácil ver que tp (M ) es un A-submódulo de M , y por
lo tanto, p∈A tp (M ) es un P A-submódulo de M . Veamos que la suma es
directa, esto es, tp (M ) ∩ ( q∈A,q6=p tq (M )) = 0. Si

x ∈ tp (M ) ∩ (tq1 (M ) + · · · + tqr (M ))

entonces pk x = 0 y (q1 . . . qr )j x = 0. Como (p, q1 . . . qr ) = 1, entonces

(pk , (q1 . . . qr )j ) = 1, y por lo tanto, existen a, b ∈ A tales que 1 = apk +
b(q1 . . . qr )j . Ası́ x = 1.x = apk x + b(q1 . . . qr )j x = 0.
Por último veamos que M ⊂ ⊕p∈A tp (M ). Si x ∈ M , como M es de
torsión, existe a ∈ A, a 6= 0, tal que ax = 0. Sea a = pe11 . . . pess la factoriza-
ción de a en elementos irreducibles de A, y sea
a
aj = e .
pj j

Como (a1 , . . . , as ) = 1 sabemos que existen bj ∈ A tales que 1 = sj=1 bj aj .

P
Ps ej
Luego x = 1.x = j=1 bj aj x y como pj (aj x) = 0 tenemos que aj x ∈
tpj (M ). 

La proposición anterior nos muestra que para estudiar un A-módulo de

torsión M basta estudiar cada uno de sus sumandos directos tp (M ).

Corolario 2.2. Si M es un A-módulo de torsión finitamente generado,

entonces existe a ∈ A, a 6= 0, tal que am = 0 para todo m ∈ M . Si
a = pe11 · · · perr es la factorización en elementos irreducibles en A, entonces

M = tp1 (M ) ⊕ · · · ⊕ tpr (M )

y tpi (M ) = {m ∈ M : pi k m = 0 para algún entero k, 0 ≤ k ≤ ei }.

Demostración. Sea {m1 , · · · , ms } un conjunto de generadores de M y,

para cada i, sea ai ∈ A, ai 6= 0 tal que ai mi = 0. Si a es el mı́nimo común
múltiplo de a1 , · · · , as entonces am = 0 para todo m ∈ M .

6
 Veamos que tp (M ) = (0) cuando p es un irreducible que no aparece en
la factorización de a. En efecto, si m ∈ tp (M ), sabemos que pk m = 0 para
algún k. Como (pk , a) = 1, existen b, c ∈ A tales que 1 = bpk + ca y por lo
tanto m = 1.m = bpk m + cam = 0.
Por último, si pi k m = 0 y k > ei , como am = 0 entonces (pki , a)m = 0 y
(pki , a) = pei i . 

Lema 2.3. Sea M = tp (M ) finitamente generado y sea x ∈ M de orden

maximal pn , esto es, pn x = 0, pn−1 x 6= 0 y pn y = 0 para todo y ∈ M .
Entonces la sucesión exacta corta
ψ
0 / Ax ι /M / M/Ax /0

se parte.
Demostración. Por la Proposición 2.3 sabemos que basta probar que
existe ϕ : M → Ax tal que ϕ ◦ ι = ϕ/Ax = idAx . Sea
F = {(Y, ϕY ) : Ax ⊂ Y ⊂ M y ϕY : Y → Ax es
un A-morfismo que verifica ϕY /Ax = idAx }.
Claramente F 6= ∅ pues (Ax, idAx ) ∈ F . Sea (Y, ϕY ) ∈ F y supongamos
que Y ( M . En M/Y existe un elemento u de orden maximal ps , esto es,
ps u ∈ Y , ps−1 u 6∈ Y y ps v ∈ Y para todo v ∈ M . Sea z = ps−1 u, y por lo
tanto, z 6∈ Y y pz ∈ Y .
Estudiemos el elemento ϕY (pz) = ax ∈ Ax. Como pn−1 ϕY (pz) =
ϕY (pn z) = 0, entonces pn−1 ax = 0, y como x es un elemento de orden
pn , a es divisible por p y ϕY (pz) = pw para algún w ∈ Ax. Sea Ỹ = Y + Az
y veamos que podemos definir un A-morfismo ϕỸ tal que (Ỹ , ϕỸ ) ∈ F . De-
finamos ϕỸ (z) = w y ϕỸ (y) = ϕY (y). Para verificar la buena definición
de este morfismo tenemos que ver que ambas definiciones coinciden en la
intersección.
Veamos que Y ∩ Az = Apz. En efecto, si az ∈ Y y p no divide a a,
entonces 1 = sp + ta y por lo tanto, z = spz + taz ∈ Y , absurdo. Luego
p divide a a y Y ∩ Az = Apz. Ası́ vemos que ϕỸ está bien definida pues
ϕỸ (pz) = ϕY (pz) = pw.
Finalmente observemos que como M es finitamente generado, este pro-
ceso termina en un número finito de pasos obteniendo el elemento buscado
(M, ϕM ) ∈ F . 
Teorema 2.4. Si M = tp (M ) es un A-módulo finitamente generado en-
tonces existen números naturales n1 ≥ n2 ≥ . . . nr unı́vocamente determi-
nados tales que M ' ⊕ri=1 A/Apni .

7
Demostración. Probaremos el teorema por inducción en el número de
generadores de M . Si M = Ax y o(x) = pn , el A-epimorfismo A → Ax
con núcleo Apn nos muestra que M = Ax ' A/Apn . Supongamos que
{x1 , . . . , xm } es un conjunto de generadores de M , y sea x1 un elemento de
orden maximal pn1 . Usando el Lema 2.3 tenemos que la sucesión exacta
corta
ψ
0 / Ax1 ι /M / M/Ax1 /0

se parte, y por lo tanto, M ' Ax1 ⊕ M/Ax1 . Como M/Ax1 está generado
por {x2 , . . . , xm }, por hipótesis inductiva sabemos que

M/Ax1 ' A/Apn2 ⊕ · · · ⊕ A/Apnr

con n2 ≥ n3 ≥ · · · ≥ nr . Como pn2 es el orden maximal de M/Ax1 , existe

un generador xi tal que o(xi ) = pn2 . Entonces

pn2 = o(xi ) ≤ o(xi ) ≤ o(x1 ) = pn1

y por lo tanto, n1 ≥ n2 .
La unicidad de n1 es clara pues pn1 es maximal en el conjunto de los
grados de los elementos de M , y la unicidad de n2 ≥ · · · ≥ nr sigue por
hipótesis inductiva. 

3 Aplicaciones
3.1 Sucesiones de Fibonacci
Las sucesiones de Fibonacci son sucesiones (an )n≥0 de números complejos
tales que an+2 = an + an+1 para todo n.
El conjunto M = {(an )n≥0 , an ∈ C} de todas las sucesiones de números
complejos tiene estructura de C[x]-módulo, definiendo:

M ×M →M
((an ), (bn )) → (an + bn )

C[x] × M → M
(z, (an )) → ([Link] ), z ∈ C
(x, (an )) → (an+1 ),

8
y por lo tanto, (z0 + z1 x + · · · + zm xm ).(an ) es la sucesión que en el lugar n
tiene al número complejo

z0 .an + z1 .an+1 + · · · + zn .an+m .

Las sucesiones de Fibonacci son elementos de torsión, más precisamente,

(an ) es una sucesión de Fibonacci sı́ y sólo si (x2 − x − 1)(an ) = 0. Entonces
el conjunto de todas las sucesiones de Fibonacci coincide con el submódulo
tx2 −x−1 (M ).
Si α, β son las raı́ces del polinomio x2 − x − 1, (x − α) y (x − β) son los
polinomios irreducibles que aparecen en su factorización. Luego, el Corolario
2.2 nos dice que

tx2 −x−1 (M ) = tx−α (M ) ⊕ tx−β (M ).

El submódulo tx−α (M ) está formado por las sucesiones (bn ) tales que

(x − α).(bn ) = (bn+1 − αbn ) = 0,

esto es, (bn ) = (b0 αn ) es una progresión geométrica de razón α. Ası́ deduci-
mos que toda sucesión de Fibonacci (an )n≥0 se descompone, y de manera
única, como suma de progresiones geométricas de razón α y β:

(an ) = b(αn ) + c(β n ).

√ √
Un cálculo directo muestra que α = 1+2 5 y β = 1−2 5
y por lo tanto, el
n-ésimo término de la sucesión de Fibonacci es
√ √
1+ 5 n 1− 5 n
an = b( ) + c( )
2 2
con b, c ∈ C determinados unı́vocamente por a0 y a1 .

3.2 Ecuaciones diferenciales

Consideremos la ecuación diferencial f 00 (t) = −f (t). El conjunto

M = {f (t) = x(t) + iy(t), x, y ∈ C ∞ (R, R)}

tiene estructura de C[x]-módulo definiendo

M ×M →M
(f, g) → f + g

9
 C[x] × M → M
(z, f ) → z.f, z ∈ C
(x, f ) → f 0 ,

esto es,

(z0 + z1 x + · · · + zm xm ).f = z0 .f + z1 .f 0 + · · · + zm .f (m) .

Las soluciones de la ecuación diferencial son elementos de torsión, más pre-

cisamente, f es solución sı́ y sólo si (x2 + 1).f = 0. Entonces el conjunto de
soluciones de la ecuación diferencial coincide con el submódulo tx2 +1 (M ).
Como la factorización de x2 + 1 en producto de polinomios irreducibles es
(x − i)(x + i), el Corolario 2.2 nos dice que

tx2 +1 (M ) = tx−i (M ) ⊕ tx+i (M ).

Si a es un número complejo, las soluciones de la ecuación

(x − a).f = f 0 − af = 0

son las funciones f (t) = λeat , λ ∈ C. Por tanto, toda solución de la ecuación
diferencial f 00 (t) = −f (t) se escribe de una única manera como suma de dos
exponenciales
f (t) = λeit + µe−it , λ, µ ∈ C.

3.3 Forma de Jordan

Sea V un K-espacio vectorial de dimensión finita y T : V → V una trans-
formación lineal. Es facil ver que V admite estructura de K[x]-módulo con
la acción dada por

K[x] × V → V
(k, v) → k.v
(x, v) → T (v),

esto es,

(a0 + a1 x + · · · + an xn ).v = a0 .v + a1 .T (v) + · · · + an .T n (v).

Con esta estructura de K[x]-módulo, es claro que S es un subespacio T -

invariante de V sı́ y sólo si S es un K[x]-submódulo de V . Ası́, descomponer

10
a V como suma directa de subespacios T -invariantes es equivalente a des-
componer a V como suma directa de K[x]-submódulos.
Por el teorema de Cayley-Hamilton sabemos que existe un polinomio no
nulo PT (x) ∈ K[x] tal que PT (x).v = PT (v) = 0 para todo v ∈ V . Entonces
V es un K[x]-módulo de torsión. El Corolario 2.2 y el Teorema 2.4 nos dicen
que
V ' K[x]/K[x]pe11 ⊕ · · · ⊕ K[x]/K[x]perr
donde p1 , · · · , pr son polinomios irreducibles en K[x] que aparecen en la
factorización de PT (x), y las matrices asociadas a los polinomio pe11 , . . . , perr
son los bloques de Jordan de la transformación lineal T .

11