Exakte Sequenz

Der Begriff der exakten Sequenz oder exakten Folge spielt eine zentrale Rolle im mathematischen Teilgebiet der homologischen Algebra. Besonders wichtig sind die kurzen exakten Sequenzen.

Definition

Eine Sequenz

$A'\longrightarrow A\longrightarrow A''$

von Objekten und Morphismen in einer geeigneten Kategorie heißt exakt an der Stelle $A$, wenn

$\mathrm {im} (A'\to A)=\ker(A\to A'')$

gilt, d. h. wenn das Bild eines Pfeils gleich dem Kern des nächsten ist. Eine längere Sequenz

$A_{1}\longrightarrow A_{2}\longrightarrow A_{3}\longrightarrow A_{4}\longrightarrow A_{5}$

heißt exakt, wenn sie exakt an den Stellen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_2} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_3} und $A_{4}$ ist (analog für kürzere oder längere Sequenzen).

Geeignet in diesem Sinne ist eine Kategorie offenbar nur dann, wenn sinnvoll von Kern und Bild gesprochen werden kann. Dies ist der Fall für alle abelschen Kategorien, aber auch beispielsweise für die Kategorie Grp der Gruppen und Gruppenhomomorphismen.

Beispiele

• Ist $f\colon A'\to A$ ein Homomorphismus zwischen abelschen Gruppen, dann ist $\operatorname {im} (A'\to A)=\operatorname {Bild} (f):=\{f(a')|a'\in A'\}$ und $\operatorname {ker} (A'\to A)=\operatorname {Kern} (f):=\{a'|a'\in A',f(a')=0\}$. Die Folge $A'{\overset {f}{\longrightarrow }}A{\overset {g}{\longrightarrow }}A''$ ist daher exakt an der Stelle $A$, wenn $\operatorname {Bild} (f)=\operatorname {Kern} (g)$ ist.
• Eine Sequenz Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 0\longrightarrow A'\;{\overset {f}{\longrightarrow }}\;A} ist genau dann exakt, wenn $f\colon A'\to A$ ein Monomorphismus, d. h. injektiv ist. Unter Verwendung eines Hakenpfeils kann dies auch mit 2 Termen geschrieben werden:Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A'\;{\overset {f}{\hookrightarrow }}\;A}
• Eine Sequenz

$A\;{\overset {g}{\longrightarrow }}\;A''\longrightarrow 0$ ist genau dann exakt, wenn Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle g\colon A\to A''} ein Epimorphismus, d. h. surjektiv ist. Unter Verwendung eines Zweispitzenpfeils kann dies auch mit 2 Termen geschrieben werden:

$A\;{\overset {g}{\twoheadrightarrow }}\;A''$

• Für jeden Homomorphismus $f\colon A\to B$ von Vektorräumen (abelschen Gruppen, Moduln, jeden Morphismus einer abelschen Kategorie) existiert eine exakte Sequenz, wie folgt:

$0\longrightarrow \ker f\longrightarrow A\longrightarrow B\longrightarrow \mathrm {coker} \,f\longrightarrow 0$

In Grp ist die Sequenz jedoch bei $B$ nur exakt, wenn das Bild von $f$ ein Normalteiler in $B$ ist. Auch in additiven, aber nicht abelschen Kategorien ist die Exaktheit nicht notwendigerweise gegeben. Dabei bezeichnet Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \operatorname {coker} f} den Kokern von $f$.

• Für eine Gruppe $G$ seien
  • $Z(G)\,$ das Zentrum,
  • $\mathrm {Aut} \,G$ die Gruppe der Automorphismen,
  • $\mathrm {Inn} \,G$ die Gruppe der inneren Automorphismen und
  • $\mathrm {Out} \,G=\mathrm {Aut} \,G/\mathrm {Inn} \,G$ die Gruppe der äußeren Automorphismen

von $G$. Dann ist die Sequenz

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\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\mapsto (h\mapsto ghg^{-1})\in \mathrm {Inn} \,G\subseteq \mathrm {Aut} \,G$

gegeben.

Kurze exakte Sequenzen

Definition

Eine exakte Sequenz der Form

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 0\longrightarrow A'\longrightarrow A\longrightarrow A''\longrightarrow 0}

heißt kurze exakte Sequenz.

Zerfallende kurze exakte Sequenzen

Eine kurze exakte Sequenz zerfällt, wenn Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A\to A''} einen Schnitt hat. Vereinzelt wird anstatt zerfällt auch die Bezeichnung spaltet auf benutzt, die auf eine nicht ganz korrekte Übersetzung des englischen Begriffs split zurückzuführen ist.

In einer additiven Kategorie folgt hieraus auch, dass $A'\to A$ eine Retraktion hat, dass die entstehende Sequenz

$0\longleftarrow A'\longleftarrow A\longleftarrow A''\longleftarrow 0$

ebenfalls exakt ist und dass diese Sequenzen isomorph zu

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 0\longrightarrow A'\longrightarrow A'\oplus A''\longrightarrow A''\longrightarrow 0}

bzw.

$0\longleftarrow A'\longleftarrow A'\oplus A''\longleftarrow A''\longleftarrow 0$

sind.

Zerfällt eine kurze exakte Sequenz in der Kategorie der Gruppen, ergibt sich daraus lediglich eine Operation von $A''$ auf $A'$, und dass $A$ semidirektes Produkt von $A'$ und $A''$ bezüglich dieser Operation ist. Beispielsweise ist die zyklische Gruppe Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mathbb {Z} /3\mathbb {Z} } Untergruppe der symmetrischen Gruppe $S_{3}$, woraus sich die kurze exakte Sequenz

$0\longrightarrow \mathbb {Z} /3\mathbb {Z} \longrightarrow S_{3}\longrightarrow \mathbb {Z} /2\mathbb {Z} \longrightarrow 0$

ergibt; indem man das nicht-neutrale Element der $\mathbb {Z} /2\mathbb {Z}$ auf ein Element der Ordnung 2 in $S_{3}$ abbildet, erhält man eine Spaltung.

Aufteilung einer langen exakten Sequenz

Jede lange exakte Folge lässt sich in kurze exakte Folgen zerlegen, indem man Kerne und Kokerne einfügt: Ist

$A_{1}\longrightarrow A_{2}\longrightarrow A_{3}\longrightarrow A_{4}\longrightarrow A_{5}$

eine exakte Sequenz, so sei

$Z_{n}:=\ker(A_{n}\to A_{n+1})=\mathrm {im} (A_{n-1}\to A_{n})=\mathrm {coker} (A_{n-2}\to A_{n-1}).$

Dann gibt es kurze exakte Sequenzen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0\longrightarrow Z_n\longrightarrow A_n\longrightarrow Z_{n+1}\longrightarrow0.}

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A_*)} ein Kettenkomplex, so ist die Exaktheit all dieser kurzen Sequenz äquivalent zur Exaktheit der langen Sequenz.

Erweiterungen

Im Kontext einer kurzen exakten Sequenz

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0\longrightarrow A'\longrightarrow A\longrightarrow A''\longrightarrow0}

sagt man auch, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine Erweiterung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A''} durch $A'$ ist.

Ist zum Beispiel $N$ ein Normalteiler in der Gruppe $G$ und $G/N$ die Faktorgruppe, so erhält man eine kurze, exakte Sequenz

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0\longrightarrow N\longrightarrow G\longrightarrow G/N\longrightarrow0} ,

wobei der zweite Pfeil die Einbettung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} und der dritte die Quotientenabbildung ist. Damit ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} eine Erweiterung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G/N} und man kann die Frage nach einer Klassifikation aller möglichen Erweiterungen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G/N} stellen. Entsprechende Fragestellungen erhält man etwa in der Kategorie der Ringe oder Moduln über einem festen Ring. Dies führt zu mathematischen Begriffen wie Ext oder Gruppenkohomologie.

Siehe auch

• Exakter Funktor
• Kettenkomplex

Literatur

• Siegfried Bosch: Lineare Algebra. Springer Verlag, 2008, ISBN 978-3-540-76437-3, S. 77–79.