Ein diagrammverfolgendes Resultat, das aus einem kommutativen Diagramm zweier exakter Zeilen und einer Spalte von Abbildungen eine kanonische lange exakte Folge erzeugt, welche Kerne und Kokerne verbindet und einen verbindenden Homomorphismus δ enthält.

Prinzip

Das Verfolgen von Elementen in einem kommutativen Diagramm von kurzen exakten Folgen zeigt, wie Kerne auf Kerne und Kokerne auf Kokerne abgebildet werden, und konstruiert den verbindenden Morphismus, der die Kernfolge mit der Kokernfolge verknüpft, wodurch die Exaktheit der gesamten langen Folge entsteht.

Demonstration

Gegeben ein kommutatives Diagramm 0→A'→A→A''→0 mit vertikalen Abbildungen zu 0→B'→B→B''→0 in R-Moduln, erzeugt das Schlangenlemma die exakte Folge Kern(A'→B')→Kern(A→B)→Kern(A''→B'')→Kokern(A'→B')→Kokern(A→B)→Kokern(A''→B'') und einen Verbindungsabbildung δ:Kern(A''→B'')→Kokern(A'→B').

Fehlanwendung

Das Schlangenlemma anzuwenden, wenn die Zeilen nicht exakt sind, das Diagramm nicht kommutiert oder in Kategorien ohne Kerne/Kokerne führt zur Ungültigkeit der Konstruktion; die Naturalität von δ ohne Prüfung der fonktoriellen Voraussetzungen anzunehmen, kann ebenfalls irreführen.

Konsequenz

Stellt das grundlegende Werkzeug zur Verfügung, um lange exakte Folgen in Homologie und Kohomologie abzuleiten, Verbindungsabbildungen zu konstruieren und abgeleitete Funktoren entlang kurzer exakter Folgen zu vergleichen.

Umkehrung

Man kann manchmal aus einer gegebenen langen exakten Folge ein kommutatives Diagramm kurzer exakter Folgen rekonstruieren, doch ist diese Umkehr nicht kanonisch und erfordert zusätzliche Wahlentscheidungen; das Lemma selbst geht vom Diagramm zur langen Folge, nicht umgekehrt.

Abgrenzung

Funktioniert in abelschen Kategorien oder in jeder Kategorie mit Kernen und Kokernen, in der kurze exakte Folgen langexakte Verbindungen induzieren; in beliebigen nichtabelschen Kontexten steht es nicht direkt zur Verfügung.

Semantische Spannung

Verwandt mit der Konstruktion von Verbindungsabbildungen in langen exakten Folgen abgeleiteter Funktoren und mit Mapping-Cone-Konstruktionen; die Spannung liegt zwischen der elementaren Elementverfolgung und abstrakteren Interpretationen im abgeleiteten Kontext.

Synthese

Das Schlangenlemma wandelt ein kommutatives Diagramm kurzer exakter Folgen in eine kanonische lange exakte Folge von Kernen und Kokernen mit einem verbindenden Morphismus um und ermöglicht so den Übergang von lokaler Exaktheit zu globalen exakten Beziehungen in der homologischen Algebra.