Eine graduierte Folge abelscher Gruppen oder Moduln ...C_n... verbunden durch Randabbildungen d_n: C_n → C_{n-1} mit d_{n-1} ∘ d_n = 0 für alle n; dient zur Definition der Homologiegruppen H_n = ker d_n / im d_{n+1}.

Prinzip

Die leitende Regel ist ‚der Rand eines Randes ist null‘: aufeinanderfolgende Randabbildungen komponieren zu null, was Zyklen und Ränder isoliert und das Bilden von Quotienten für Homologie erlaubt.

Demonstration

Der singuläre Kettenkomplex eines topologischen Raums hat C_n erzeugt von stetigen Abbildungen vom standardisierten n-Simplex in den Raum; die Randabbildungen ergeben sich durch Einschränkung an die Seiten und liefern die singuläre Homologie.

Fehlanwendung

Gradierungszeichen zu ignorieren oder Abbildungen in falschem Grad zu komponieren, oder Kettenabbildungen, die nur Quasiisomorphismen sind, fälschlich als Isomorphismen der Homologie zu behandeln.

Konsequenz

Richtig konstruiert liefern Kettenkomplexe Homologiegruppen, die homotopieinvariante Invarianten von Räumen sind, sie erzeugen lange exakte Folgen aus kurzen exakten Folgen von Komplexen und ermöglichen Berechnungen abgeleiteter Funktoren.

Umkehrung

Durch Umkehrung der Pfeile und der Gradierung entsteht ein Kochenkomplex: die Kobränder erhöhen den Grad und Kohomologie entsteht als Kerne modulo Bilder in der entgegengesetzten Richtung.

Abgrenzung

Erfordert eine additive Kategorie (typischerweise abelsche Gruppen oder Moduln), um Kerne, Bilder und Quotienten zu bilden; nicht-gradierte Sequenzen oder nicht-additive Umgebungen fallen außerhalb dieser Definition, sofern keine geeignete Analogie gegeben ist.

Semantische Spannung

Eine Spannung besteht zwischen simplen Kettenkomplexen und differenziell graduellen Algebren/Modulen: Letztere besitzen zusätzliche multiplikative Strukturen und Kohärenzbedingungen, die verfügbare Konstruktionen und Invarianten verändern.

Synthese

Ein Kettenkomplex ist ein graduelles additives Objekt mit Randabbildungen, deren Quadrat null ist; die so definierten Zyklen und Ränder liefern Homologiegruppen, die algebraisch-topologische Informationen über das Ausgangsobjekt kodieren.