Estructuras Algebraicas

Módulos Proyectivos, Inyectivos y Homs

Marı́a Gabriela Correa
Marzo, 2008

1 Introducción
El concepto de módulo proyectivo sobre un anillo R es una generalización más flexible de
la idea de módulo libre (que son módulos con base). Varias de las caracterizaciones de
módulos libres pueden llevarse a módulos proyectivos. Los módulos actúan como objetos
en una categorı́a, con un homomorfismo de R-módulos actuando como morfismo. Ası́,
un módulo proyectivo es tan sólo un objeto proyectivo dentro de esta categorı́a. La
inyectividad es la noción dual de proyectividad.
La primera parte de este trabajo incluirá conceptos previos, para luego introducir la
noción de módulos proyectivos, inyectivos y Hom.

Módulos sobre un anillo son una generalización de grupos abelianos (los cuales son
módulos sobre el anillo Z). Por este motivo algunos conceptos y resultados de teorı́a de
grupos pueden ser traı́dos a módulos. Es el caso de los siguientes teoremas, se enunciarán
para grupos y a continuación para módulos.
Definición 1.1. Sea F un objeto en una categorı́a concreta C, X un conjunto no vacı́o,
y ι : X → F un mapa (de conjuntos) F es libre sobre el conjunto X con tal que para
cualquier objeto A ∈ C y un mapa (de conjuntos) f : X → A, existe un único morfismo
de C, f¯ : F → A, tal que f¯ι = f (como un mapa de conjuntos X → A)
Definición 1.2. Un grupo abeliano F se dice grupo abeliano libre (sobre un conjunto X)
si satisface alguna de las condiciones equivalentes:
1. F tiene una base no vacı́a.
2. F es la suma directa (interna) de una familia de infinitos subgrupos cı́clicos.
3. F es (isomorfo a) una suma directa de copias del grupo aditivo Z de enteros.
4. Existe un conjunto no vacı́o X y una función ι : X → F con la siguiente propiedad:
Dado un grupo abeliano G y una función f : X → G, existe un único morfismo de
grupos f¯ : F → G tal que f¯ι = f . En otras palabras, F es un objeto libre en la
categorı́a de los grupos abelianos.

1
1 INTRODUCCIÓN 2

Teorema 1.3. Todo grupo abeliano G es la imagen homomórfica de un grupo libre abeliano
de rango |X|, donde X es el conjunto generadores de G.
Teorema 1.4. Si f : G → H es un morfismo de grupos, entonces f induce un isomorfismo
G/ ker f ∼
= Imf
Teorema 1.5. Si f : G → H es un morfismo de grupos, N C G, M C H, y f (N ) < M ,
entonces f induce un morfismo f¯ : G/N → H/M , dado por a + N 7→ f (a) + M .
f¯ es un isomorfismo si y sólo si Imf ∨ M = H y f −1 (M ) ⊂ N . En particular si f es un
epimorfismo tal que f (N ) = M y el ker f ⊂ N , entonces f¯ es un isomorfismo.
Notación:N C G quiere decir que N es un subgrupo normal de G
DefiniciónS1.6. Sea {Ni |i ∈ I} una familia de S subgrupos normales de un grupo G tal
que G =< i∈I Ni > y para cada k ∈ I, Nk ∩ < i6=k Ni >=< e >. Entonces G se dice
producto directo interno débil de la familia {Ni |i ∈ I} (o suma directa interna si G es
abeliano (aditivo)).
Notación:Escribimos G = Πw i∈I Ni para indicar que el grupo G es producto directo
interno débil de la familia de estos subgrupos {Ni |i ∈ I}.
TeoremaQ1.7. Sea {fi : GQ i → Hi tal Q que i ∈ I} una familia de morfismos grupos y
sea f = fi un mapa de i∈I Gi → Qw por {ai } 7→ Q
Qw i∈I Hi dado {fi (ai )}. Entonces f
es
Q un morfismo de grupos tal que f ( i∈I Gi ) ⊂ i∈I Hi , ker f = i∈I ker fi y Im f =
i∈I Im fi .
f es monomorfismo (epimorfismo) si y sólo si cada fi lo es.
Teorema 1.8. Si R es una anillo y f : A → B es un morfismo de R-módulos y C es un
submódulo del ker f , entonces existe un único morfismo de R-módulos f¯ : A/C → B tal
que:
• f¯(a + C) = f (a), ∀a ∈ A
• Im f¯ = Im f
• ker f¯ = ker f /C
f¯ es un isomorfismo de R-módulos si y sólo si f es un epimorfismo de R-módulos y
C = ker f . En particular, A/ ker f ∼
= Imf
Corolario 1.9. Si R es un anillo y A0 es un submódulo del R-módulo A y B 0 un submódulo
del R-módulo B y f : A → B es un morfismo de R-módulos, tal que f (A0 ) ⊂ B 0 , entonces
f induce un morfismo de R-módulos

f¯ : A/A0 → B/B 0 dado por a + A0 7→ f (a) + B 0

f¯ es un isomorfismo de R-módulos si y sólo si Imf + B 0 = B y f −1 (B 0 ) ⊂ A0 . En

particular si f es un epimorfismo tal que f (A0 ) = B 0 y ker f ⊂ A0 entonces f¯ es un
isomorfismo de R-módulos.
1 INTRODUCCIÓN 3

Teorema 1.10. Sea R un anillo, {Ai |i ∈ I} una familia de R-módulos, C un R-módulo

y {ψi : C → Ai |i ∈ I} Q una familia de morfismos de R-módulos,
Q entonces existe un
único morfismo ψ : C → i∈I Ai tal que πi ψ = ψi , ∀i ∈ I y i∈I Ai quedaQ únicamente
determinada, salvo isomorfismo, por esta propiedad. En otras palabras, i∈I Ai es un
producto en la categorı́a de los R-módulos.

Teorema 1.11. Sea R un anillo, {Ai |i ∈ I} una familia de R-módulos, B un R-módulo y

{ψi :P
Ai → B} una familia de morfismos de R-módulos,
P entonces existe un único morfismo
ψ : A
i∈I i → B tal que ψιi = ψi , ∀i ∈ I y i∈I i queda
A P únicamente determinada,
salvo isomorfismo, por esta propiedad. En otras palabras, i∈I Ai es un coproducto en la
categorı́a de los R-módulos.
f g
Definición 1.12. Un par de morfismos de módulos A −→ B −→ C se dice exacta en B
f1 f2 f3
si Im f = ker g. Una sucesión finita de morfismos de módulos A0 −→ A1 −→ A2 −→
fn−1 fn
... −→ An−1 −→ An es exacta si Im fi = ker fi+1 para i = 1, 2, ..., n − 1. Una suceción
fi−1 fi fi+1 fi +2
infinita de morfismos de módulos ... −→ Ai−1 −→ Ai −→ Ai+1 −→ ... es exacta si Im
f g
fi = ker fi+1 para i ∈ Z Una sucesión exacta de la forma 0 → A −→ B −→ C → 0 se
llama corta, observemos que f es monomorfismo y g es epimorfismo.

Lema 1.13. Sea R un anillo y

f g
0→ A −→ B −→ C → 0
↓α ↓β ↓γ
f0 π
0→ A0 −→ B 0 2
−→ C0 →0

un diagrama conmutativo de R-módulos tal que cada fila es una sucesión exacta corta.
Entonces

1. Si α, γ son monomorfismos ⇒ β es un monomorfismo

2. Si α, γ son epimorfismos ⇒ β es un epimorfismo

3. Si α, γ son isomorfismos ⇒ β es un isomorfismo

f g
Teorema 1.14. Sea R un anillo y 0 → A1 −→ B −→ A2 → 0 una sucesión exacta corta
de morfismos de R-módulos. Entonces las siguientes condiciones son equivalentes:

1. ∃ un morfismo de R-módulos h : A2 → B con gh = 1A2 ;

2. ∃ un morfismo de R-módulos k : B → A1 con kg = 1A1 ;

3. La sucesión exacta corta es isomorfa (con los mapas identidad sobre A1 y A2 ) a la

ι1 π2
sucesión exactas corta de la suma directa 0 → A1 −→ A1 ⊕ A2 −→ A2 → 0; en
particular B ∼= A1 ⊕ A2
1 INTRODUCCIÓN 4
f g
Definición 1.15. Una sucesión exacta corta 0 → A1 −→ B −→ A2 → 0 de morfismos
de R-módulos se dice split o exacta split si satisface las condiciones del Teorema 1.14

Demostración: (Teorema 1.14) 1) ⇒ 3): Los morfismos de R-módulos f y h inducen

un único morfsmo ϕ : A1 ⊕ A2 → B dado por (a1 , a2 ) 7→ f (a1 ) + h(a2 ) (Teorema 1.11).
Veamos que el siguinte diagrama es conmutativo.
1 ι 2π
0→ A1 −→ A1 ⊕ A2 −→ A2 →0
↓1A1 ↓ϕ ↓1A2 (1)
f g
0→ A1 −→ B −→ A2 →0

ϕι1 (a1 ) = ϕ(a1 + 0A2 )

= f (a1 ) + h(0)
= f (a1 ) + 0
= f (a1 )

por lo tanto, ϕι1 = f = f 1A1

gϕ(a1 + a2 ) = g(f (a1 ) + h(a2 )

= gf (a1 ) + gh(a2 )
= gf (a1 ) + a2
=(∗) a2
= π2 (a1 + a2 )
(∗)
: gf = 0 pues la sucesión es exacta.
Por lo tanto el diagrama es conmutativo y ϕ es un isomorfismo (Lema 1.13)
2) ⇒ 3): Usando el teorema 1.10, los morfismos de R-módulos g : B → A2 y k : B →
A1 inducen un morfismo ψ : B → A1 ⊕ A2 dado por ψ(b) = k(b) + g(b) para todo b ∈ B.
Veamos que el diagrama conmuta.
f g
0→ A1 −→ B −→ A2 →0
↓1A1 ↓ψ ↓1A2
ι
1 2π
0→ A1 −→ A1 ⊕ A2 −→ A2 →0

ψf (a1 ) = k(f (a1 ) + gf (a1 )

= a1 + 0 A 2
= ι(a1 )
1 INTRODUCCIÓN 5

Por lo tanto, ψf = ι = 1A1 ι1

π2 ψ(b) = π2 (k(b) + g(b))

= g(b)

Por lo tanto, π2 ψ = g = 1A2 g

El diagrama conmuta y ψ es un isomorfismo por el Lema 1.13.
3) ⇒ 1) y 2) El diagrama

0→ A1 ιπ11 A1 ⊕ A2 πι22 A2 →0
↓1A1 ↓ψ ↓1A2
f g
0→ A1 −→ B −→ A2 →0

tiene las filas exactas y es conmutativo(∗∗) .

Definimos h : A2 → B por h = ϕι2 y k : B → A1 por k = π1 ϕ−1
Veamos que kf = 1A1 y que hg = 1A2 .

kf (a1 ) = π1 ϕ−1 (f (a1 ))

=(∗∗) π1 ϕ−1 (ϕι1 (a1 ))
= π1 ι1 (a1 )
= 1A1 (a1 )

gh(a2 ) = gϕι2 (a2 ))

=(∗∗) 1A2 π2 ι2 (a2 ))
= 1A2 (a2 )

Por lo tanto son ciertos 1) y 2)

Definición 1.16. Un R-módulo unitario F sobre un anillo R con unidad, se dice libre sobre
un conjunto X si satisface las condiciones equivalentes:

1. F tiene una base no vacı́a

2. F es la suma directa interna de una familia de R-módulos cı́clicos, cada uno de los
cuales es isomorfo como R-módulo a izquierda a R.

3. F es un R-módulo isomorfo a una suma directa de copias del R-módulo a izquierda

R

4. Existe un conjunto no vacı́o X y una función ι : X → F con la siguiente propiedad:

Dado cualquier R-módulo unitario A y una función f : X −→ A, existe un único
morfismo de R-módulos f¯ : F → A tal que f¯ι = f . En otras palabras, F es un
objeto libre en la categorı́a de R-módulos unitarios.
1 INTRODUCCIÓN 6

Definición 1.17. Sea R cualquier anillo (posiblemente sin unidad) y X un conjunto no

vacı́o. Un R-módulo F se llamará módulo libre sobre X si F es un objeto libre sobre X
(definición 1.1) en la categorı́a de todos los R-módulos a izquierda.
Propiedad 1.18. Todo módulo unitario A sobre un anillo R (con unidad) es la imagen
homomórfica de un R-módulo libre F . Si A está finitamente generado, entonces F puede
ser elegido finitamente generado.
Propiedad 1.19. Si R tiene unidad y A es un R-módulo, entonces:
1. Existen submódulos B y C de A tal que B es unitario, RC = 0 y A = B ⊕ C.
2. Sea A1 otro R-módulo, con A1 = B1 ⊕ C1 (B1 unitario y RC1 = 0). Si f : A −→ A1
es un morfismo, entonces f (B) ⊂ B1 y f (C) ⊂ C1
3. Si el mapa f de la parte 2) es un epimorfismo (respectivamente isomorfismo), en-
tonces f |B : B → B1 y f |C : C → C1 también lo son.
Demostración: 1. Definimos B = {1R a tal que a ∈ A}, B ⊂ A
Veamos que B es un grupo aditivo de A abeliano.
Sean a, b ∈ B entonces existen a0 , b0 ∈ A tal que a = 1R a0 y b = 1R b0 luego
a − b = 1R a0 − 1R b0
= 1R (a0 − b0 ) ∈ B
¿ Tiene neutro aditivo? Sea b ∈ B, existe a ∈ A tal que b = 1R a y 0B = 1R 0A = 0A ⇒
0B + b = 1R 0A + 1R a = 1R (0A + a) = 1R a = b para todo b ∈ B. Por lo tanto 0B es el
neutro aditivo de B y este es un subgrupo aditivo conmutativo de A (la conmutatividad
es heredada).
Definimos C = {a ∈ A : 1R a = 0}
Sean a, b ∈ C entonces 1R (a − b) = 1R a − 1R b = 0 − 0 = 0. Veamos que 0A es el neutro
de C
1R (0A + 0A ) = 1R (0A )
1R (0A ) + 1R (0A ) = 1R (0A )
1R (0A ) = 0A
Por lo tanto C es un subgrupo abeliano aditivo de A
Como B y C son subgrupos de A y A es un R-módulo tenemos que son submódulos de A
Veamos que RC = 0
Sea r ∈ R y c ∈ C ⇒ rc = (1R )c = r(1R c) = r.0 = 0 Por lo tanto RC = 0
¿A = B ⊕ C?
Dado a ∈ A, veamos que a − 1R a ∈ C
1R (a − 1R a) = 1R a − 1R (1R a)
= 1R a − 1R a
= 0
2 MÓDULOS PROYECTIVOS E INYECTIVOS 7

Entonces, a − 1R a ∈ C y tenemos que a = b + c donde b = 1R a y c = a − 1R a.

Por lo tanto A = B ⊕ C

2. Sea f : B ⊕ C → B1 ⊕ C1 un morfismo.
Si b ∈ B ⇒ f (b) ∈ B1
1R f (b) = f (1R b) = f (b) ∈ B

Si c ∈ C ⇒ f (c) ∈ C1

1R f (c) = f (1R c) = f (0) = 0 ⇒ f (c) ∈ C1

Por lo tanto f (B) ⊂ B1 y f (C) ⊂ C1

3. Por 2. es trivial

2 Módulos Proyectivos e Inyectivos

Definición 2.1. Un módulo P sobre un anillo R se dice proyectivo si dado cualquier

diagrama de morfismos de R-módulos

P
↓f
g
A −→ B →0

con la fila inferior exacta (g epimorfismo), existe un morfismo de R-módulos h : P → A

tal que el diagrama

P
h. ↓f
g
A −→ B →0

es conmutativo (gh = f )

Ejercicio 2.2. Si R tiene unidad y P es unitario, entonces P es proyectivo si y sólo si

para todo par de módulos unitarios A, B y el diagrama de morfismos de R-módulos

P
↓f
(2)
g
A −→ B →0

con g epimorfismo, es conmutativo (esto es, existe un morfismo h : P → A tal que gh = f )

2 MÓDULOS PROYECTIVOS E INYECTIVOS 8

Demostración: ⇒) Veamos, como P es proyectivo el diagrama (2) conmuta para todo

A y B, en particular, para A y B unitarios.
⇐) Dados A y B R-módulos, por la propiedad 1.19 de la introducción, existen submódulos
A0 , A1 ⊂ A y B0 , B1 ⊂ B tal que A = A1 ⊕ A0 , B = B1 ⊕ B0 con A1 y B1 unitarios y
RA0 = RB0 = 0
Por hipótesis,

P
↓f
conmuta, existe h tal que gh = f
g
A1 −→ B1 → 0

πA ιB1
1
Si consideramos A1 ⊕ A0 −→ A1 y B1 ,→ B1 ⊕ B0 y el diagrama

P
↓ιB1 f
ιB1 gπA1
A1 ⊕ A0 −→ B1 ⊕ B0 → 0

Veamos que es conmutativo. Defino h̄ := ιA1 h y llamemos ḡ = ιB1 gπA1

ḡ h̄ = ιB1 gπA1 ιA1 h

= ιB1 g1A1 h
= ιB1 gh
= ιB1 f

Por lo que P es proyectivo.

Teorema 2.3. Todo módulo libre F sobre un anillo R con unidad es proyectivo.

Observación 2.4. Recordemos que si R es un anillo sin unidad y F es un módulo libre

es la categorı́a de todos los R-módulos a izquierda (como en la definición 1.17). Los
resultados que se enuncian también son válidos y la demostración es similar.
Demostración: Para ver que F es proyectivo, por el ejercicio 2.2, podemos considerar
A y B R-módulos unitarios en el diagrama

F
↓f
con g epimorfismo. (3)
g
A −→ B →0

Como F es libre, existe un conjunto X y una función ι : X → F que cumple que para
cualquier R-módulo unitario A y una función k : X → A existe una único morfismo de
2 MÓDULOS PROYECTIVOS E INYECTIVOS 9

R-módulos k̄ : F → A tal que k̄ι = k (F es un objeto libre en la categorı́a de R-módulos

unitarios).
Para cada x ∈ X, f (ι(x)) ∈ B, Como g es epimorfismo

∃ax ∈ A tal que g(ax ) = f (ι(x)) (4)

Si k esta dada por x 7→ ax , k̄ cumple que k̄ι(x) = ax para todo x ∈ X.

g(ax ) = g(k̄ι(x)) (5)

= f ι(x) (6)

(5) y (6) ⇒ g k̄ = f . Ası́, el diagrama (3) conmuta y F es proyectivo.

Corolario 2.5. Todo módulo A sobre un anillo R es la imagen homomórfica de un R-

módulo proyectivo.

Demostración: Por la propiedad 1.18, A es la imagen homomórfica de un R-módulo

libre F . Por el teorema 2.3. F es proyectivo. Luego es cierto el corolario.

Teorema 2.6. Sea R un anillo. Las siguientes condiciones sobre un R-módulo P son
equivalentes:

1. P es proyectivo.
f g
2. Toda sucesión exacta corta 0 → A −→ B −→ P → 0 es split (De acá, B ∼
= A ⊕ P ).
3. Existe un módulo libre F y un R-módulo K tal que F ∼
= K ⊕ P.

Demostración: 1 ⇒ 2: Consideramos el diagrama con la fila inferior exacta

P
↓1P
g
B −→ P →0

Como P es proyectivo ∃ h : P → B tal que gh = 1P . Por lo tanto, la sucesión exacta

corta
f
0 → A −→ B  gh P → 0 es split y B ∼
= A ⊕ P (definición 1.14 item 3)

2 ⇒ 3: Por la propiedad 1.18, existe un R-módulo libre F y un epimorfismo g : F → P .

g
Si K = ker g, luego 0 → K ,→ F −→ P → 0 es exacta. Por hipótesis la sucesión es split
yF ∼= K ⊕ P.
2 MÓDULOS PROYECTIVOS E INYECTIVOS 10

3 ⇒ 1: Sean ϕ : F → K ⊕ P isomorfismo y πP : K ⊕ P → P la proyección canónica.

Definimos π : F → P por π = πP ϕ. De igual manera, definimos ι : P → F por ι = ϕ−1 ιP ,
donde ιP : P → K ⊕ P es la inyección canónica.
Dado el diagrama de morfismos de R-módulos
P
↓f
(7)
g
A −→ B →0

con la fila inferior exacta. Consideremos el diagrama

F
π ↓↑ι

P
↓f
g
A −→ B →0

donde F es libre y por lo tanto proyectivo (Teorema 2.3) ⇒ ∃h1 : F → A morfismo de

R-módulos tal que gh1 = f π. Sea h = h1 ι : P → A, entonces gh = f ya que:
gh = gh1 ι
= f πι
= f 1P
= f
∴ el diagrama (7) conmuta y P es proyectivo.

Ejemplo 2.7. Si R = Z6 , entonces Z3 y Z2 son Z6 -módulos y ∃ un isomorfismo de

Z6 -módulos: Z6 ∼
= Z2 ⊕ Z3 . Luego Z2 y Z3 son proyectivos pero no Z6 -módulos libres.

Demostración: Como Z2 yZ3 son grupos abelianos aditivos, veamos que son Z6 -módulos.
Definimos ψi : Z6 × Zi → Zi (con i = 2, 3) dada por (r 6 , a i ) 7→ ra i que
 está bien definida
0, 1 si i = 2
pues r = 6n + t y a = im + k donde n, m ∈ Z, t = 0, 1, ..., 5 y k = .
0, 1, 2 si i = 3
Luego si i = 2

ra = (6n + t)(2m + k)
= 2m(6n + t) + k(6n + t) si t = m1 + k1 donde m1 ∈ Z y k1 = 0, 1
= 2m(6n + t) + k(2.3.n + (2.m1 + k1 )),
= 2[m(6n + t) + (3n + m1 )k] + k1 k, con k1 k = 1, 0
= 2l + k2 , con l = m(6n + t) + (3n + m1 )k ∈ Z y k2 = k1 k
2 MÓDULOS PROYECTIVOS E INYECTIVOS 11

Además,
i) r(a + b) = ra + rb.
ii) (r + s)a = ra + sa.
iii) (rs)a = r(sa).
iv) 1Z6 a = a, ∀a ∈ Z2
pues es cierto en Z
Ahora, consideremos el diagrama

Z2
↓f
(8)
g
A −→ B →0

con la fila inferior exacta, siendo A y B Z6 -módulos.

Definimos f (0) = 0 y f (1) = b 6= 0, para algún b ∈ B. Luego como g es epimorfismo
∃a ∈ A no nulo tal que g(a) = b y g(0) = 0. Ası́, ∃ h : Z2 → A tal que h(0) = 0 y h(1) = a
y tenemos g(h(0)) = g(0) = 0 = f (0) y g(h(1)) = g(a) = b = f (1) luego el diagrama (8)
conmuta y Z2 es proyectivo.
Z2 no es Z6 módulo libre pues si tuviera una base deberı́a ser B := {1} que no es lineal-
mente independiente ya que por ejemplo 2.1 = 0(mod 2).
De forma análoga se ve para Z3 .

P
Proposición 2.8. Sea R un anillo. Una suma directa de R-módulos i∈I Pi es proyectivo
si y sólo si cada Pi es proyectivo.
P
Demostración: ⇒) Supongamos que i∈I Pi es proyectivo, luego ∃F R-módulo libre
∼ P
y K R-módulo tal que F = K ⊕ i∈I Pi (teorema 2.6). Además,
X X X
Pi = Pi ⊕ Pj ⇒ F = K ⊕ Pi ⊕ Pj = L ⊕ P j
i∈I i6=j i6=j
P
con L = K ⊕ i6=j Pi R-módulo, luego Pj es proyectivo ∀j ∈ I (teorema 2.6)

⇐) ∀j ∈ I, Pj es proyectivo luego ∃ hj : Pj → A tal que el diagrama con g epimorfismo

Pj
↓ fj
g
A −→ B →0

es conmutativo. P P
Por el teorema 1.11, ∃! f : i∈I Pi → B dada por f = i∈I fi y f ιj = fj , luego se tiene
2 MÓDULOS PROYECTIVOS E INYECTIVOS 12

Pj
ιj ↓↑πj
P
i∈I Pi

↓f
g
A −→ B →0

donde ιj y πj son la inyección y la proyección canónicas respectivamente.

P
ComoP P j es proyectivo ghj = f ιj = f j . Por el teorema 1.11, ∃!
P h : i∈I Pi → A tal que
h = i∈I hi y hιj = hj , ∀j ∈ I. Veamos que gh = f . Sea p ∈ Pi

X
gh(p) = g( hi (p)), con I0 ⊂ I finito
i∈I0
X
= ghi (p)
i∈I0
X
= fi (p)
i∈I0
= f (p)

Por lo tanto P
i∈I Pi
↓f
g
A −→ B →0
P
conmuta y i∈I Pi es proyectiva.

Definición 2.9. Un módulo J sobre un anillo R se dice inyectivo si dado cualquier

diagrama de morfismos de R-módulos
g
0 → A −→ B
f↓

J (9)

con la fila superior exacta (esto es g es un monomorfismo), existe un morfismo de R-

módulos h : B → J tal que el diagrama (9) sea conmutativo (hg = f ).

Observación 2.10. Asi como en la observación 2.2, podemos ver que un módulo unitario
J sobre R, anillo unitario, es inyectivo si y sólo si existen un par de R-módulos unitarios
2 MÓDULOS PROYECTIVOS E INYECTIVOS 13

A, B tal que el diagrama conmuta (g monomorfismo)

g
0 → A −→ B
f↓

Muchos de los conceptos pueden ser dualizados (no todos) como la proposición que sigue,
que es el dual de la proposición 2.8.

Q
Proposición 2.11. Un producto directo de R-módulos i∈I Ji es inyectivo si y sólo si Ji
es inyectivo ∀i ∈ I
Q
Demostración: ⇒) Como i∈I Ji es inyectivo consideremos el diagrama conmutativo,
con g monomorfismo y A y B R-morfismos.
g
0 −→ A −→ B
f↓ .h
Q
i∈I Ji
Q
Como, i∈I Ji es un producto directo luego
Q h
i∈I Ji ←− B
πi ↓ .li
Ji

conmuta (li = πi h). Por lo que el diagrama composición

g
0 −→ A −→ B
πi f ↓ .l
Ji

también. Ya que πi f = πi hg = lg, y por lo tanto Ji es inyectivo ∀i ∈ I

⇐) Ji , ∀i ∈ I es inyectivo, el diagrama con g monomorfismo y A y B R-módulos.
g
0 −→ A −→ B
f↓ .ϕi (10)
Ji
2 MÓDULOS PROYECTIVOS E INYECTIVOS 14

conmuta (ϕi g =Qf ), ∀i ∈ I,

Además, como i∈I Ji es el producto de por Ji tenemos que
ϕi ψi
B −→ Ji Ji −→ B

Qϕ↓ % πi Qιi ↓ %ψ (11)

i∈I Ji i∈I Ji

conmutan pues ψιi = ψi y πi ϕ = ϕi . Veamos que el diagrama composición también

g
0 −→ A −→ B
f↓ ϕi .%ψi ϕ↓↑ψ (12)

ιπii
Q
Ji i∈I Ji

como ιi πi = 1Qi∈I Ji ⇒ ιi ϕi =11 ιi πi ϕ = ϕ. (13)

Se tiene ιi f =10 ιi ϕi g =13 ϕg ⇒ el diagrama (12) conmuta y
Q
i∈I Ji es inyectivo.

Observación 2.12. Como concepto de módulo libre no puede ser dualizado, no hay
teoremas análogos al 2.3 y 2.6(3) para módulos inyectivos. Sin embargo el corolario 2.5
puede ser dualizado (se verá más adelante, proposición 2.19). Una vez hecho esto, el dual
del teorema 2.6(1),(2) es fácilmente probado (proposición 2.20)
Comenzaremos por caracterizar R-módulos inyectivos en términos de ideales a izquierda
(submódulos) del anillo R.

Lema 2.13. Sea R un anillo con unidad. Un R-módulo unitario J es inyectivo si y sólo
si para todo ideal a izquierda L de R, cualquier morfismo de R-módulos L −→ J puede
ser extendido a un morfismo de R-módulos R −→ J
Demostración:⇒) Decir que f : L → J puede ser extendido a R significa que existe
un morfismo h : R → J tal que el diagrama
⊂
0 −→ L −→ R
f↓ .h
J
es conmutativo. Es claro que si J es inyectivo siempre existe tal h.
⇐) Supongamos que J tiene dicha propiedad de extensión y supongamos que damos un
diagrama de morfismos de R-módulos
g
0 −→ A −→ B
f↓
J
2 MÓDULOS PROYECTIVOS E INYECTIVOS 15

con la fila de arriba exacta. Para mostrar que J es inyectivo debemos encontrar un mor-
fismo h : B → J con hg = f .
Sea S el conjunto de todos los morfismos de R-módulos h : C → J, donde Im g ⊂ C ⊂ B.

• S es no vacı́o pues f g −1 : Im g → J es un elemento de S (g es monomorfismo

entonces ∃g −1 : Im g → A).
• S esta parcialmente ordenado por extensión:
h1 ≤ h2 si y sólo si Dom h1 ⊂ Dom h2 y h2 |Dom h1 = h1
luego por el Lema de Zorn tiene máximo y J es inyectivo.
Veamos que satisface las hipótesis del Lema de Zorn:
La cadena h1 ≤ h2 ≤ ... ≤ hn ≤ ... en S esta acotada superiormente pues Dom h1 ⊆
Dom h2 ⊆ ... ⊆ Dom hn ⊆ ... ⊆ B está acotada. Luego por el Lema de Zorn existe un
elemento maximal en S. Sea h : H → J con Im g ⊆ H ⊆ B el maximal de S.
Para completar la demostración debemos mostrar que H = B.
Si H 6= B y b ∈ B − H, entonces L = {r ∈ R|rb ∈ H} es un ideal a izquierda de R
El mapa G : L → J dado por r 7→ h(rb) es un morfismo de R-módulos bien definido.
G(a + mc) = h((a + mc)b)
= h(ab + mcb)
= h(ab) + mh(cb)
= G(a) + mG(c)
Por hipótesis existe un morfismo de R-módulos k : R → J tal que k(r) = h(rb), ∀r ∈ L.
Sea c = k(1R ) y definimos el mapa h̄ : H + Rb → J por a + rb 7→ h(a) + rc. h̄ está bien
definida.
Si para a1 6= a2 y r1 6= r2 tenemos que a1 + r1 b = a2 + r2 b ∈ H + Rb, entonces a1 − a2 =
(r2 − r1 )b ∈ H ∩ Rb y r2 − r1 ∈ L

h(a1 ) − h(a1 ) = h(a1 − a2 )

= h((r2 − r1 )b)
= k(r2 − r1 )
= (r2 − r1 )k(1R )
= (r2 − r1 )c
Asi, h(a1 ) + r1 c = h(a2 ) + r2 c y por lo tanto,
h̄(a1 + r1 b) = h(a1 ) + r1 c
= h(a2 ) + r2 c
= h̄(a2 + r2 b)
2 MÓDULOS PROYECTIVOS E INYECTIVOS 16

y h̄ está bien definida.

Verifiquemos que h̄ : H + Rb → J es un morfismo de R-módulo.
Dados a1 + r1 b, a2 + r2 b ∈ H + Rb y n ∈ R

h̄((a1 + r1 b) + n(a2 + r2 b)) = h̄(a1 + na2 + (r1 + nr2 )b)

= h(a1 + na2 ) + (r1 + nr2 )c
= h(a1 ) + nh(a2 ) + r1 c + nr2 c
= h̄(a1 + r1 b) + nh̄(a2 + r2 b)

Lo que nos dice que es un elemento de S. Esto contradice que h sea máximo de S por lo
que b no está en H y tenemos que H $ H + Rb. Por lo tanto H = B y J es inyectivo.

Definición 2.14. Un grupo abeliano D se dice divisible si dado cualquier y ∈ D y

0 6= n ∈ Z, existe un x ∈ D tal que nx = y.

Lema 2.15. Un grupo abeliano D es divisible si y sólo si D es un Z-módulo (unitario)

inyectivo.
Demostración: ⇐) Si D es inyectivo, sean y ∈ D y 0 6= n ∈ Z, f :< n >→ D es el
único morfismo que verifica f (n) = y (< n > es un Z-módulo libre). Como D es inyectivo,
existe un morfismo h : Z → D tal que el diagrama
1Z |<n>
0 −→ < n > −→ Z
f↓ .h
D
es conmutativo. Sea x ∈ D, definimos h(1) = x entonces

nx = h(n)
= h1Z |<n> (n)
= f (n) = y

Por lo tanto, D es divisible

⇒) Todo ideal a izquierda de Z es un grupo cı́clico < n >, n ∈ Z. Si D es divisible y
f :< n >→ D es un morfismo, entonces ∃ x ∈ D tal que nx = f (n). Definimos h : Z → D
por h(1) = x. Veamos que h es un morfismo que extiende a f (Lema 2.13).

h|<n> (kn) = kn.h|<n> (1), con kn ∈< n >, ∀k ∈ Z

= kn.x
= k.f (n)

∴ D es inyectivo
2 MÓDULOS PROYECTIVOS E INYECTIVOS 17

Lema 2.16. Todo grupo abeliano A puede ser embebido en un grupo abeliano divisible.
Demostración: Como todo grupo abeliano A es la imagen homomórfica de un grupo
abeliano libre F con rango |X|, donde X es el conjunto de generadores de A (teorema
1.3), existe f : FL→ A epimorfismo. Si K = ker f , luego F/K ∼
= A (Teorema 1.4) y como
∼
F es libre F = x∈X Z (teorema 1.2) y Z ⊂ Q . Luego

F ∼
M M
= Z⊂ Q=D
x∈X x∈X

pues todo grupo puede ser embebido en una suma directa (teorema 1.7). Pero D es
divisible pues Q lo es, luego Q es inyectivo por lo que D también lo es y se tiene la
afirmación anterior (Proposición 2.11, Lema 2.15). Si el monomorfismo f : F → D es
un embebimiento, entonces f induce un isomorfismo F/K ∼ = f (F )/f (K) (Corolario 1.5
∼ ∼
de la introducción). Ası́, la composición A = F/K = f (F )/f (K) ⊂ D/f (K) es un
monomorfismo. Pero D/f (K) es divisible ya que es la imagen homomórfica de un grupo
divisible. (∃ h : A → D/f (K) tal que h(A) = D/f (K))

Observación 2.17. Si R es un anillo con unidad y J es un grupo abeliano, entonces

HomZ (R, J), el conjunto de todos los morfismos de Z-módulos R → J es un grupo
abeliano. Verifiquemos que HomZ (R, J) es un Z-módulo unitario a izquierda, con la
acción de R definida por (rf )(x) = f (rx), con r, x ∈ R; f ∈ HomZ (R, J).
• (r(f + g))(x) = (f + g)(rx) = f (rx) + g(rx) = (rf )(x) + (rg)(x) = (rf + rg)(x).
• (r + s)(f )(x) = f ((r + s)x) = f (rx + sx) = f (rx) + f (sr) = (rf )(x) + (sf )(x).
• r(sf (x)) = rf (sx) = f (rsx) = ((rs)f )(x).
• 1R f (x) = f (1r x) = f (x), ∀ f ∈ HomZ (R, J).

∴ HomZ (R, J) es un Z-módulo unitario a izquierda

Lema 2.18. Si J es un grupo abeliano divisible y R es un anillo con unidad, entonces
HomZ (R, J) es un R-módulo inyectivo.
Demostración: Por el lema 2.13, basta con ver que para cada ideal a izquierda L de R,
todo morfismo de R-módulos f : L → HomZ (R, J) puede ser extendido a un morfismo de
R-módulos h : R → HomZ (R, J). El mapa g : L → J dado por g(a) = (f (a))(1R ) es un
morfismo de grupos. Como J es un Z-módulo inyectivo, el diagrama
⊂
0 → L −→ R
g↓

J (14)
2 MÓDULOS PROYECTIVOS E INYECTIVOS 18

conmuta y por el lema 2.15 J es un grupo abeliano divisible. ∃ ḡ : R → J tal que ḡ|L = g.
Definiendo h : R → HomZ (R, J) por r 7→ h(r) donde h(r) : R → J es un mapa dado por
[h(r)](x) = ḡ(xr) con x ∈ R. Veamos que h está bien definida (h(r) es un morfismo de
grupos). Sean r, x, y ∈ R

[h(r)](x + y) = ḡ((x + y)r)

= ḡ(xr + yr)
= ḡ(xr) + ḡ(yr)
= [h(r)](x) + [h(r)](y)

∴ h(r) : R → J es un morfismo de grupos.

¿h : R → HomZ (R, J) es un morfismo de R-módulos? Sea s ∈ R.

[h(r + s)](x) = ḡ(x(r + s))

= ḡ(xr + xs)
= ḡ(xr) + ḡ(xs)
= [h(r)](x) + [h(s)](x)
= [h(r) + h(s)](x)

[h(rs)](x) = ḡ(x(rs))
= ḡ((xr)s)
= [h(s)](xr)
= r[h(s)](x)
∴ h : R → HomZ (R, J) es un morfismo de R-módulos.

Supongamos que r ∈ L y x ∈ R, entonces rx ∈ L y

[h(r)](x) = ḡ(xr)
= g(xr)
= [f (xr)](1R ) (15)

Ya que f es un morfismo de R-módulo y HomZ (R, J) un R-módulo,

[f (xr)](1R ) = [xf (r)](1R )

= f (r)(1R x)
= f (r)(x) (16)
2 MÓDULOS PROYECTIVOS E INYECTIVOS 19

Por lo tanto, h(r) = f (r) para r ∈ L y h es una extensión f

Ahora estamos en condiciones de probar los duales del corolario 2.5 y del teorema 2.6.

Proposición 2.19. Todo módulo unitario A sobre un anillo R con unidad puede ser
embebido en un R-módulo inyectivo.

Demostración: Sea A un R-módulo, como A es un grupo abeliano, existe un grupo

abeliano divisible J y f : A → J tal que f (A) ⊂ J (lema 2.16). Sea el mapa f¯ :
HomZ (R, A) → HomZ (R, J) dado por f¯(g) = f g. Veamos que es un morfismo de R-
módulos. Sean g, h ∈ HomZ (R, A); x ∈ R.

f¯(g + kh)(x) = [f (g + kh)](x)

= f (g(x) + kh(x))
= f g(x) + kf h(x)
= [f¯(g) + k f¯(h)](x)

como todo morfismo de R-módulos es un morfismo de Z-módulos, se tiene que HomR (R, A) ⊂
HomZ (R, A). Veamos, sean f ∈ HomR (R, A) y k ∈ Z, y, x ∈ R

f (x + ky) = f (x) + f (ky)

= f (x) + f (y + y + ... + y) (k − veces)
= f (x) + f (y) + f (y) + ... + f (y)
= f (x) + kf (x)

luego f ∈ HomZ .
Finalmente, hay que verificar que el mapa P : A → HomR (R, A) dado por a 7→ fa ,
donde fa (r) = ra, es monomorfismo (es más, es un isomorfismo).

P (a) = 0 ⇔ fa = 0 ⇔ ra = 0, ∀r ∈ R ⇔ a = 0
(a = 0 pues si r = 1 ⇒ 1a = a = 0). Componiendo estos mapas
P ⊂ f¯
A −→ HomR (R, A) −→ HomZ (R, A) −→ HomZ (R, J)

y por el lema 2.18, HomZ (R, J) es inyectivo. Se tiene que A está embebido en un R-
módulo inyectivo.

Proposición 2.20. Sea R un anillo con unidad. Las siguientes condiciones sobre un
R-módulo unitario J son equivalentes:

1. J es inyectvo.
3 HOM 20
f g
2. Toda sucesión exacta corta 0 → J −→ B −→ C → 0 es split (asi, B ∼
= J ⊕ C).

3. J es un sumando directo de cualquier módulo B del cual es un submódulo.

Demostración: 1 ⇒ 2: Considerar
f
0 → J −→ B
1J ↓
(17)
J

con la fila superior exacta (f es monomorfismo). Como J es inyectivo ∃ h : B → J tal que

g
hg = 1J . Por lo tanto la sucesión exacta corta 0 → J fh B −→ C es split y B ∼ = J ⊕C
(definición 1.14)
⊂ π
2 ⇒ 3: Ya que la sucesión 0 → J −→ B −→ B/J es split (∃ ι : B/J → B tal que
πι = 1B/J ). Luego por la definición 1.14 B ∼ = J ⊕ B/J,el isomorfismo está dado por
(x, y) 7→ x + ι(y), luego B = J ⊕ ι(B/J).
3 ⇒ 1: Por la proposición 2.19, J es embebido en un módulo inyectivo Q, ∃f : J → Q
tal que f (J) ⊂ Q (J es submódulo de Q). Q = J ⊕ K por hipótesis, como Q es inyectivo
por la proposición 2.11, J y K son inyectivos.

3 Hom
Si R = Z, se escribirá Hom(A, B) en lugar de HomZ (A, B). HomR (A, B) es un grupo
abeliano bajo la adición y esta adición es distributiva con respecto a la composición de
funciones h(f + g) = hf + hg y (f + g)k = f k + gk, donde f, g : A → B, h : B → C y
k : D → A.

Teorema 3.1. Sea A, B, C, D módulos sobre un anillo R y ϕ : C → A y ψ : B → D

morfismos de R-módulos. Entonces el mapa Θ : HomR (A, B) → HomR (C, D) dada por
f 7→ ψf ϕ es un morfismo de grupos abelianos.

Demostración: Sea f, g ∈ HomR (A, B)

[Θ(f + g)](x) = ψ(f + g)ϕ(x)

= ψ(f ϕ(x) + gϕ(x))
= ψf ϕ(x) + ψgϕ(x)
= [Θ(f )](x) + [Θ(g)](x)
= [Θ(f ) + [Θ(g)](x)

∴ Θ es un morfismo de grupos abelianos.

3 HOM 21

El mapa Θ del Teorema 3.1 usualmente se lo denota por Hom(ϕ, ψ) y se lo llama

morfismo inducido por ϕ y ψ. Observar que para morfismos ϕ1 : E → C, ϕ2 : C →
A, ψ1 : B → D, ψ2 : D → F .

Hom(ϕ1 , ψ2 )Hom(ϕ2 , ψ1 ) = Hom(ϕ1 ϕ2 , ψ2 ψ1 ) : HomR (A, B) → HomR (E, F ).

Veamos esto, sea f ∈ HomR (A, B)

Hom(ϕ1 , ψ2 )Hom(ϕ2 , ψ1 )(f ) = Hom(ϕ1 , ψ2 )(ψ1 f ϕ2 )

= ψ1 ψ2 f ϕ2 ϕ1
= Hom(ψ1 ψ2 , ϕ2 ϕ1 )

Hay dos casos especiales importantes de morfismos inducidos. Si B = D y ψ = 1B ,

entonces el mapa inducido por ϕy1B es Hom(ϕ, 1B ) : HomR (A, B) → HomR (C, B) está
dado por f 7→ f ϕ y es denotado ϕ̄. Análogamente, si A = C y ϕ = 1A el mapa inducido
por ψy1A es Hom(1A , ψ) : HomR (A, B) → HomR (A, D) está dado por f 7→ ψf y se lo
denota ψ̄. Ahora examinemos el comportamiento de HomR con respecto a las sucesiones
exactas.
ϕ ψ
Teorema 3.2. Sea R un anillo 0 → A −→ B −→ C es una sucesión exacta si y sólo
ϕ̄ ψ̄
si para todo R-módulo D, 0 → HomR (D, A) −→ HomR (D, B) −→ HomR (D, C) es una
sucesión exacta de grupos abelianos.
ϕ ψ
Demostración: ⇒) Si 0 → A −→ B −→ C es exacta debemos probar:

i) ker ϕ̄ = 0 ( o sea ϕ̄ es monomorfismo)

ii) Imϕ̄ ⊂ ker ψ̄

iii) ker ψ̄ ⊂ Imϕ̄

ϕ
i) Si f ∈ ker ϕ̄ ⇒ [ϕ̄(f )](x) = [ϕf ](x) = 0, ∀x ∈ D. Como 0 → A −→ B es exacta ϕ es
monomorfismo ⇒ f (x) = 0, ∀x ∈ D y f = 0

∴ ker ϕ̄ = 0

ii) Por la exactitud de la sucesión se tiene que Imϕ = ker ψ, luego ψϕ = 0, dado f ∈
HomR (D, A), ψ̄ ϕ̄(f ) = ψ̄ϕf = ψϕf = 0(f ) = 0.

∴ Imϕ̄ ⊂ ker ψ̄
3 HOM 22

iii) Dado g ∈ ker ψ̄ ⇒ ψ̄(g) = ψg = 0 ⇒ Img ⊂ ker ψ = Imϕ como ϕ es un monomor-

fismo ϕ : A → Imϕ es un isomorfismo ⇒ ∃ϕ−1 : Imϕ → A. Si h = ϕ−1 g (Img ⊂
Imϕ) ⇒ g = ϕh = ϕ̄(h)
∴ ker ψ̄ ⊂ Imϕ̄

⇐) Supongamos que la sucesión de Hom de mapas inducidos es exacta para todo D. En

primer lugar, sean D = ker ϕ y ι : D → A el mapa inclusión. Como ker ϕ̄ = 0 (por la
exactitud de la sucesión) y ϕ̄(ι) = ϕι = 0 ⇒ ι = 0 ∴ D = 0, o sea ker ϕ = 0. Por lo
ϕ
tanto, 0 → A −→ B es exacta.
En segundo lugar, sea D = A. Como ker ψ̄ = Imϕ̄ tenemos 0 = ψ̄ ϕ̄(1A ) = ψϕ1A = ψϕ ⇒
Imϕ ⊂ ker ψ
Y en tercer lugar, sea D = ker ϕ y sea j : D → B el mapa inclusión. Ya que 0 = ψj = ψ̄(j)
y ker ψ̄ = Imϕ̄ se tiene que j = ϕ̄(f ) = ϕf para f : D → A ∴ ∀x ∈ D = ker ψ, x =
j(x) = ϕf (x) ⇒ x ∈ Imϕ y ker ψ ⊂ Imϕ
ϕ ψ
∴ ker ψ = Imϕ y 0 → A −→ B −→ C es una sucesión exacta

θ ς
Proposición 3.3. Sea R un anillo A −→ B −→ C −→ 0 es una sucesión exacta de
ς¯ θ̄
R-módulos si y sólo si para todo R-módulos D 0 → HomR (C, D) −→ HomR (B, D) −→
HomR (A, D) es una sucesión exacta de grupos abelianos.
θ ς
Demostración: ⇒) Si A −→ B −→ C −→ 0 es exacta veamos que ker θ̄ ⊂ Im ς¯.
Si f ∈ ker θ̄, entonces θ̄(f ) = f θ = 0 ⇒ f (Imθ) = 0 = f (ker ϕ). Por el teorema 1.8,
f induce un morfismo f¯ : B/ ker ς → D tal que f¯(b + ker ς) = f (b); y además ∃ un
isomorfismo ϕ : B/ ker ς → C tal que ϕ(b + ker ς) = ς(b). Entonces f¯ϕ−1 : C → D es un
morfismo de R-módulos tal que

ς¯(f¯ϕ−1 )(x) = = f¯ϕ−1 ς(x)

= f¯ϕ−1 ϕ(x + ker ς)
= f¯(x + ker ς)
= f (x)

⇒ f ∈ Im ς¯ y por lo tanto ker θ̄ ⊂ Im ς¯.

Como Im θ = ker ς por la exactitud de la sucesión, ςθ = 0
Sea f : C → D

θ̄¯
ς (f ) = θ̄f ς
= f ςθ
= f0
= 0
3 HOM 23

⇒ Im ς¯ ⊂ ker θ̄ ∴ Im ς¯ = ker θ̄
Falta ver que ker ς¯ = 0. Sea f ∈ ker ς¯

ς¯(f )(x) = f ς(x) = 0, ∀x ∈ B.

Como ς es un epimorfismo f (y) = 0, ∀y(= ς(x)) ∈ C ⇒ f = 0

ς¯ θ̄
∴ ker ς¯ = 0 y la sucesión 0 → HomR (C, D) −→ HomR (B, D) −→ HomR (A, D) es exacta.

⇐) Si la sucesión Hom es exacta para todo D. Sea D = C/Im ς y sea π : C → D

la proyección canónica. Entonces ς¯(π) = πς = 0 pero ker ς¯ = 0 ⇒ π = 0 y por lo tanto
ς
C = Im ς y ς es un epimorfismo, luego B −→ C → 0 es exacta.
De manera análoga se ve que ker ς ⊂ Im θ, considerando D = B/Imθ y π : B → D la
proyección canónica [θ̄(π)](x) = π(θ(x)) = 0, ∀x ∈ A como ker θ̄ = Im ς¯ ⇒ π ∈ Im ς¯ ∴
∃f : C → D tal que ς¯(f ) = π si x ∈ ker ς, [¯ ς (f )](x) = f ς(x) = f (0) = 0 = π(x) ⇒ x ∈
Im θ. ∴ ker ς ⊂ Im θ.
Finalmente, si D = C, entonces 0 = θ̄¯ ς (1C ) = ςθ ⇒ Im θ ⊂ ker ς.
θ ς
∴ Im θ = ker ς y A −→ B −→ C → 0 es exacta

Observación 3.4. No es cierto en general que una sucesión exacta corta A −→ B −→

C −→ 0 induce una sucesión exacta corta 0 −→ HomR (D, A) −→ HomR (D, B) −→
HomR (D, C) −→ 0. (y análogamente en la primer variable). Sin embargo, el siguiente
teorema muestra que este resultado se da en algunos casos
Proposición 3.5. Las siguientes condiciones sobre módulos sobre un anillo R son equiv-
alentes.
ϕ ψ
i) 0 → A −→ B −→ C → 0 es una sucesión exacta split de R-módulos.
ϕ̄ ψ̄
ii) 0 → HomR (D, A) −→ HomR (D, B) −→ HomR (D, C) → 0 es una sucesión exacta
split de grupos abelianos para todo R-módulo D.
ψ̄ ϕ̄
iii) 0 → HomR (C, D) −→ HomR (B, D) −→ HomR (A, D) → 0 es una sucesión exacta
split de grupos abelianos para todo R-módulo D.
Demostración:i) ⇒ iii)) Por el definición 1.14, existe un morfismo α : B → A tal que
αϕ = 1A veamos que el morfismo inducido ᾱ : HomR (A, D) → HomR (B, D) es tal que
ϕ̄ᾱ = 1HomR (A,D) . Sea f ∈ HomR (A, D),
ϕ̄ᾱ(f ) = ϕ̄f α
= f αϕ
= f (1A )
= f
3 HOM 24

∴ ϕ̄ᾱ = 1HomR (A,D) ⇒ ϕ̄ es epimorfismo y junto con la proposición 3.3, se tiene iii)
iii) ⇒ i) Si D = A y f : B → A tal que 1A = ϕ̄(f ) = f ϕ (ϕ̄ es epimorfismo) ⇒ ϕ es
monomorfismo pues f ϕ(x) = 0 ⇔ 1A (x) = 0 ⇔ x = 0. Luego por la proposición 3.3 y la
definición 1.14 tenemos i).
ϕ̄ ψ̄
i) ⇒ ii) Por la proposición 3.2, 0 → HomR (D, A) −→ HomR (D, B) −→ HomR (D, C) →
0 es exacta. Por la definición 1.14 ∃β : C → B tal que ψ̄ β̄ = 1H omR (D, C) Sea f ∈
HomR (D, C)

[ψ̄ β̄(f )](x) = ψ̄(βf )(x)

= ψβf (x)
= f (x)

∴ ψ̄ β̄ = 1H omR (D, C) ⇒ ψ̄ es epimorfismo y obtenemos ii)

ϕ ψ
ii) ⇒ i) Por la proposición 3.2, 0 → A −→ B −→ C → 0 es exacta. Sea D = C, como
ψ̄ es un epimorfismo ∃f : C → B tal que ψ̄(f ) = 1C ⇒ ψf = 1C ⇒ ψ es epimorfismo y
ii) ⇒ i)

Teorema 3.6. Las siguientes condiciones sobre un R-módulo P son equivalentes.

i) P es proyectivo

ii) Si ψ : B → C es cualquier epimorfismo de R-módulos entonces ψ̄ : HomR (P, B) →

HomR (P, C) es un epimorfismo de grupos abelianos.
ϕ ψ
iii) Si 0 → A −→ B −→ C → 0 es cualquier sucesión exacta corta de R-módulos,
ϕ̄ ψ̄
entonces 0 → HomR (P, A) −→ HomR (P, B) −→ HomR (P, C) → 0 es una sucesión
exacta corta de grupos abelianos

Demostración:i) ⇔ ii) ψ̄ es un epimorfismo si y sólo si para todo morfismo f : P →

C, ∃g : P → B tal que ψ̄(g) = ψg = f o sea

P
g. ↓f
ψ
B −→ C →0

es conmutativo.
ϕ̄ ψ̄
ii) ⇒ iii) Para alguna ϕ : A → B si la sucesión 0 → HomR (P, A) −→ HomR (P, B) −→
ϕ ψ
HomR (P, C) es exacta entonces, por el teorema 3.2, 0 → A −→ B −→ C es exacta.
ϕ ψ
Como ψ es epimorfismo 0 → A −→ B −→ C → 0 es exacta.
3 HOM 25

iii) ⇒ ii) Dado ψ : B → C epimorfismo, aplicando iii) a la sucesión exacta corta 0 →

⊂ ψ ¯
⊂ ψ̄
ker ψ −→ B −→ C → 0 ⇒ 0 → HomR (P, ker ψ) −→ HomR (P, B) −→ HomR (P, C) → 0
es una sucesión exacta corta de grupos abelianos ⇒ ψ̄ es epimorfismo.

Proposición 3.7. Las siguientes condiciones sobre un R-módulo J son equivalentes

i) P es inyectivo

ii) Si θ : A → B es cualquier monomorfismo de R-módulos entonces θ̄ : HomR (B, J) →

HomR (A, J) es un epimorfismo de grupos abelianos.
θ ς
iii) Si 0 → A −→ B −→ C → 0 es cualquier sucesión exacta corta de R-módulos,
ς¯ θ̄
entonces 0 → HomR (C, J) −→ HomR (B, J) −→ HomR (A, J) → 0 es una sucesión
exacta corta de grupos abelianso

Demostración: i) ⇔ ii) θ̄ es epimorfismo ⇔ ∀f ∈ HomR (A, J), ∃g ∈ HomR (B, J) tal

que θ̄(g) = gθ = f , o sea
θ
0 −→ A −→ B
f↓ .g
J
conmuta y por lo tanto J es inyectivo.
ς¯ θ̄
ii) ⇒ iii) Para alguna ς : B → C si la sucesión 0 → HomR (C, J) −→ HomR (B, J) −→
θ ς
HomR (A, J) → 0 es exacta entonces, por el teorema 3.3, 0 → A −→ B −→ C → 0 es
θ ς
exacta. Como por hipótesis θ es monomorfismo 0 → A −→ B −→ C → 0 es exacta.
ς¯ θ̄
iii) ⇒ ii) Dado θ monomorfismo, por hipótisis 0 → HomR (C, J) −→ HomR (B, J) −→
HomR (A, J) → 0 es una sucesión exacta ⇒ θ̄ es epimorfismo. Por lo tanto se obtiene la
tesis.