Topologia Algebraica.

Primavera 2010 Andreu Correa Casablanca

5. Lema dels cinc. Donat el diagrama commutatiu de morfismes de grups abelians

f1 f2 f3 f4
A −→ B −→ C −→ D −→ E
↓α ↓β ↓γ ↓δ ↓η
f0 f0 f0 f0
A0 1
−→ B0 2
−→ C0 3
−→ D0 4
−→ E0

en el qual les files són successions exactes, demostreu:

1. Si α és epimorfisme i β i δ són monomorfismes aleshores γ és monomorfisme.

2. Si η és monomorfisme i β i δ són epimorfismes aleshores γ és epimorfisme.

En particular, que α, β, δ i η siguin isomorfismes implica que γ és isomorfisme.

Solució.

1. Per veure que γ és monomorfisme (és a dir, que és injectiu) en tindrem prou amb
veure que el seu nucli és {0} ja que γ és morfisme. Com tots els conjunts considerats
al diagrama son grups, tots ells tenen un element 0, i les imatges de les aplicacions
considerades contenen el 0 per ser morfismes.
Per començar, escollim un element c ∈ C tal que c ∈ γ −1 (0C 0 ), voldrem veure que c
només pot ser 0C , ja que això ens dirà que Ker(γ) = {0}.
Aplicant la commutativitat del diagrama tenim que (f30 ◦ γ)(c) = (δ ◦ f3 )(c), és a
dir, tenim (f30 ◦ γ)(c) = f30 (γ(c)) = f30 (0) = 0 = δ(f3 (c)). De la darrera part de la
igualtat en podem extreure que f3 (c) = 0 per la injectivitat de δ, el que significa
que c ∈ Ker(f3 ).
Com les files son complexos de cadenes exactes, tenim que Ker(f3 ) = Im(f2 ), i d’aquı́
en podem deduir que c ∈ Im(f2 ) i per tant ∃b ∈ B tal que f2 (b) = c. Aplicant
un altre cop la commutativitat del diagrama veiem que f20 (β(b)) = (f20 ◦ β)(b) =
(γ◦f2 )(b) = γ(f2 (b)) = γ(c) = 0. Aixı́ doncs β(b) ∈ Ker(f20 ) i per tant β(b) ∈ Im(f10 ).
Sabem a partir del resultat anterior que ∃a0 ∈ A0 tal que β(b) = f10 (a0 ). Ara, per la
exhaustivitat de α, sabem també que ∃a ∈ A tal que a0 = α(a).
Aplicant la commutativitat del diagrama és clar que β(b) = (f10 ◦α)(a) = (β◦f1 )(a) =
β(f1 (a)). Si apliquem la injectivitat de β deduı̈m que b = f1 (a). Com b ∈ Im(f1 ),
per exactitud sabem que b ∈ Ker(f2 ), és a dir, que f2 (b) = 0, i finalment, com
c = f2 (b) tenim el que volı́em, que c = 0.

2. Per veure que γ és epimorfisme haurem de veure que tots els elements de C 0 tenen
preimatge a través de γ. Escollim c0 ∈ C 0 qualsevol, voldrem veure que ∃c ∈ C tal
que γ(c) = c0 .
Trobem d0 = f30 (c0 ), per ser δ epimorfisme tenim que d0 = δ(d), on d ∈ D. Conside-
rem e0 = f40 (d0 ), com que e0 = f40 (d0 ) = f40 (f30 (c0 )) i el complex de cadenes és exacte,
sabem que e0 = 0.

1
Topologia Algebraica. Primavera 2010 Andreu Correa Casablanca

Per commutativitat del diagrama tenim que η(f4 (d)) = (η ◦ f4 )(d) = (f40 ◦ δ)(d) =
e0 = 0, i aplicant la injectivitat de η deduı̈m que f4 (d) = 0. Com d ∈ Ker(f4 ) i
tenim exactitud, sabem que d ∈ Im(f3 ). Aixı́ doncs, ∃c̄ ∈ C tal que f3 (c̄) = d.
Podem dir doncs que (δ ◦ f3 )(c̄) = d0 = (f30 ◦ γ), la primera part de la igualtat la
coneixem pel procés de construcció de c̄, mentre que la segona part la coneixem
perquè el diagrama és commutatiu.
La segona part igualtat anterior ens dona informació essencial per a continuar, ja
que ens permet establir que f30 (γ(c̄)) = d0 = f30 (c0 ), si passem restant un dels dos
membres i fem servir que f30 és morfisme, tenim que:

f30 (γ(c̄)) − f30 (c0 ) = f30 (γ(c̄) − c0 ) = 0

Tenim que γ(c̄) − c0 pertany a Ker(f30 ), i per exactitud també a Im(f20 ), és a dir,
∃b̃0 ∈ B 0 tal que f20 (b̃0 ) = γ(c̄) − c0 . A partir de la exhaustivitat de β veiem que
existeix b̃ ∈ B tal que β(b̃) = b̃0 .
Anomenem c̃ = f2 (b̃), per la commutativitat del diagrama tenim que

γ(c̃) = (γ ◦ f2 )(b̃) = (f20 ◦ β)(b̃) = c0 − γ(c̄)

Aı̈llem c0 = γ(c̃) + γ(c̄) = γ(c̃ + c̄) i aixı́ queda provat que c0 té preimatge c a través
de γ, éssent c = c̃ + c̄, i per tant γ és epimorfisme.
Si α, β, δ i η son isomorfismes, en particular tenim que α és epimorfisme i β i δ son
monomorfismes, pel que γ és monomorfisme. També tenim que, en particular, β i δ
son epimorfismes, i η monomorfisme, pel que γ és epimorfisme. Aixı́ doncs, com és
epimorfisme i monomorfisme deduı̈m immediatament que γ és també isomorfisme.