Der Begriff der exakten Folge oder exakten Sequenz spielt eine zentrale Rolle im mathematischen Teilgebiet der homologischen Algebra . Besonders wichtig sind die kurzen exakten Folgen .
Definition
Eine Folge
M
′
⟶
M
⟶
M
″
{\displaystyle M'\longrightarrow M\longrightarrow M''}
von
heißt exakt an der Stelle
M
{\displaystyle M}
, wenn
ker
(
M
→
M
″
)
=
i
m
(
M
′
→
M
)
{\displaystyle \ker(M\to M'')=\mathrm {im} (M'\to M)}
gilt, d.h. wenn das Bild eines Pfeils gleich dem Kern des nächsten ist. Eine längere Folge
M
1
⟶
M
2
⟶
M
3
⟶
M
4
⟶
M
5
{\displaystyle M_{1}\longrightarrow M_{2}\longrightarrow M_{3}\longrightarrow M_{4}\longrightarrow M_{5}}
heißt exakt , wenn sie exakt an den Stellen
M
2
{\displaystyle M_{2}}
,
M
3
{\displaystyle M_{3}}
und
M
4
{\displaystyle M_{4}}
ist (analog für kürzere oder längere Folgen).
Beispiele
0
⟶
M
′
⟶
M
{\displaystyle 0\longrightarrow M'\longrightarrow M}
ist genau dann exakt, wenn
M
′
→
M
{\displaystyle M'\to M}
ein Monomorphismus ist.
M
⟶
M
″
⟶
0
{\displaystyle M\longrightarrow M''\longrightarrow 0}
ist genau dann exakt, wenn
M
→
M
″
{\displaystyle M\to M''}
ein Epimorphismus ist.
Für jeden Homomorphismus
f
:
M
→
N
{\displaystyle f\colon M\to N}
von Vektorräumen (abelschen Gruppen, Moduln, jeden Morphismus einer abelschen Kategorie) ist die Folge
0
⟶
ker
f
⟶
M
⟶
N
⟶
c
o
k
e
r
f
⟶
0
{\displaystyle 0\longrightarrow \ker f\longrightarrow M\longrightarrow N\longrightarrow \mathrm {coker} \,f\longrightarrow 0}
exakt. (Für beliebige Gruppen muss man noch voraussetzen, dass das Bild von
f
{\displaystyle f}
ein Normalteiler in
N
{\displaystyle N}
ist, so dass der Kokern existiert.)
Für eine Gruppe
G
{\displaystyle G}
seien
Z
(
G
)
{\displaystyle Z(G)}
das Zentrum ,
A
u
t
G
{\displaystyle \mathrm {Aut} \,G}
die Gruppe der Automorphismen ,
I
n
n
G
{\displaystyle \mathrm {Inn} \,G}
die Gruppe der inneren Automorphismen und
O
u
t
G
=
A
u
t
G
/
I
n
n
G
{\displaystyle \mathrm {Out} \,G=\mathrm {Aut} \,G/\mathrm {Inn} \,G}
die Gruppe der äußeren Automorphismen
von
G
{\displaystyle G}
. Dann ist die Folge
1
⟶
Z
(
G
)
⟶
G
⟶
A
u
t
G
⟶
O
u
t
G
⟶
1
{\displaystyle 1\longrightarrow Z(G)\longrightarrow G\longrightarrow \mathrm {Aut} \,G\longrightarrow \mathrm {Out} \,G\longrightarrow 1}
exakt. Der mittlere Pfeil ist dabei durch
g
↦
(
h
↦
g
h
g
−
1
)
∈
I
n
n
G
⊆
A
u
t
G
{\displaystyle g\mapsto (h\mapsto ghg^{-1})\in \mathrm {Inn} \,G\subseteq \mathrm {Aut} \,G}
gegeben.
Kurze exakte Folgen
Eine exakte Folge der Form
0
⟶
M
′
⟶
M
⟶
M
″
⟶
0
{\displaystyle 0\longrightarrow M'\longrightarrow M\longrightarrow M''\longrightarrow 0}
heißt kurze exakte Folge .
Eine kurze exakte Folge spaltet oder ist spaltend , wenn sie isomorph zu einer kurzen exakten Folge der Form
0
⟶
N
′
⟶
N
′
⊕
N
″
⟶
N
″
⟶
0
{\displaystyle 0\longrightarrow N'\longrightarrow N'\oplus N''\longrightarrow N''\longrightarrow 0}
ist. Eine kurze exakte Folge spaltet genau dann, wenn
M
→
M
″
{\displaystyle M\to M''}
einen Schnitt oder
M
′
→
M
{\displaystyle M'\to M}
eine Retraktion hat.
Die jeweilige Abbildung heißt dann auch Spaltung der kurzen exakten Folge.
Aufspaltung einer langen exakten Folge
Jede lange exakte Folge lässt sich in kurze exakte Folgen zerlegen, indem man Kerne und Kokerne einfügt: Ist
M
1
⟶
M
2
⟶
M
3
⟶
M
4
⟶
M
5
{\displaystyle M_{1}\longrightarrow M_{2}\longrightarrow M_{3}\longrightarrow M_{4}\longrightarrow M_{5}}
eine exakte Folge, so sei
Z
n
:=
ker
(
M
n
→
M
n
+
1
)
=
i
m
(
M
n
−
1
→
M
n
)
=
c
o
k
e
r
(
M
n
−
2
→
M
n
−
1
)
.
{\displaystyle Z_{n}:=\ker(M_{n}\to M_{n+1})=\mathrm {im} (M_{n-1}\to M_{n})=\mathrm {coker} (M_{n-2}\to M_{n-1}).}
Dann gibt es kurze exakte Folgen
0
⟶
Z
n
⟶
M
n
⟶
Z
n
+
1
⟶
0.
{\displaystyle 0\longrightarrow Z_{n}\longrightarrow M_{n}\longrightarrow Z_{n+1}\longrightarrow 0.}
Ist
(
M
∗
)
{\displaystyle (M_{*})}
ein Kettenkomplex , so ist die Exaktheit der kurzen Folgen äquivalent zur Exaktheit der langen Folge.
Erweiterungen
Im Kontext einer kurzen exakten Folge
0
⟶
M
′
⟶
M
⟶
M
″
⟶
0
{\displaystyle 0\longrightarrow M'\longrightarrow M\longrightarrow M''\longrightarrow 0}
sagt man auch, dass
M
{\displaystyle M}
eine Erweiterung von
M
″
{\displaystyle M''}
durch
M
′
{\displaystyle M'}
ist.
Siehe Ext , Gruppenkohomologie
Siehe auch