Eine Technik mit exakten Folgen in der homologischen Algebra, die aus einem kommutativen Diagramm von kurzen exakten Folgen eine lange exakte Folge konstruiert, welche Kerne und Kokerne (bzw. Homologiegruppen) mittels einer durch Diagrammverfolgung definierten Verbindungsabbildung miteinander verknüpft.

Prinzip

Aus einem kommutativen Quadrat von Moduln (oder Objekten in einer abelschen Kategorie) mit exakten Zeilen führt eine Diagrammverfolgung zur Definition einer Verbindungsabbildung vom Kern der rechten vertikalen Abbildung zum Kokern der linken vertikalen Abbildung; das Verketten dieser Abbildungen ergibt eine lange exakte Folge, die Kerne und Kokerne verbindet.

Demonstration

Angewendet auf eine kurze exakte Folge von Kettenkomplexen liefert das Schlangenlemma die lange exakte Homologiefolge: Kerne werden zu Zyklen, Kokerne zu Rändern modulo Bilder, und die Verbindungsabbildung identifiziert Klassen, die das Heben von Zyklen durch die kurze exakte Folge behindern.

Fehlanwendung

Das Lemma anzuwenden, wenn die Zeilen nicht exakt sind, das Diagramm nicht kommutiert oder die umgebende Kategorie keine Kerne und Kokerne besitzt (d. h. nicht abelsch ist), macht die Konstruktion ungültig; Vorzeichenfehler oder ungenaues Verfolgen können ebenfalls falsche Verbindungsabbildungen erzeugen.

Konsequenz

Stellt eine systematische Methode bereit, lokale algebraische Informationen (Kerne und Kokerne) über exakte Diagramme zu verknüpfen und bildet die Grundlage vieler Konstruktionen in der homologischen Algebra, wie der langen exakten Folge in der Homologie und Beweisen vom Typ 'Fünf-Lemma'.

Umkehrung

Die duale Aussage vertauscht Kerne und Kokerne und gilt in der dualen abelschen Kategorie, wobei sie analoge lange exakte Folgen für Kohomologie liefert; das Denken in Dualität macht die Symmetrie des Lemmas deutlich.

Abgrenzung

Setzt ein kommutatives Diagramm mit exakten Zeilen in einer abelschen Kategorie (Module, abelsche Gruppen, Garben usw.) voraus; in nicht‑abelschen Kontexten gilt es nicht ohne Anpassungen und bricht zusammen, wenn die Voraussetzungen von Exaktheit oder Kommutativität fehlen.

Semantische Spannung

Spannungen bestehen zu einfacheren Diagrammlemmata (z. B. Fünf-Lemma oder Neun-Lemma): Das Schlangenlemma konstruiert Verbindungsabbildungen und lange exakte Folgen, während das Fünf-Lemma Isomorphiekriterien liefert, sobald lange Folgen vorliegen—beide sind komplementäre Werkzeuge mit Überschneidungen.

Synthese

Das Schlangenlemma ist ein Instrument der Diagrammverfolgung, das ein kommutatives Quadrat kurzer exakter Folgen in eine lange exakte Folge überführt und Kerne und Kokerne mittels einer kanonischen Verbindungsabbildung verbindet, wodurch algebraische Invarianten über kurze exakte Diagramme transferiert werden können.