Eine Situation, in der eine Folge von Homomorphismen ...→A_{i-1}→A_i→A_{i+1}→... an einer Stelle i nicht exakt ist, d. h. das Bild der eingehenden Abbildung ist nicht gleich dem Kern der ausgehenden Abbildung; Homologiegruppen messen dieses Versagen.

Prinzip

Exaktheit erfasst das perfekte Gleichgewicht von Bildern und Kernen; das Versagen von Exaktheit signalisiert ein Hindernis, gemessen durch nichtverschwindende Homologie, und spiegelt versteckte Extensions-, Torsions- oder Relationsdaten wider.

Demonstration

Betrachte die Folge Z --×2--> Z --×3--> Z. Das Bild der ersten Abbildung ist 2Z, während der Kern der Multiplikation mit 3 gleich 0 ist, also Bild≠Kern und die Folge ist in der Mitte nicht exakt.

Fehlanwendung

Folgen fälschlich als exakt anzuwenden ohne Überprüfung — etwa das Anwenden von Verschwindensergebnissen für abgeleitete Funktoren oder Zerlegungsargumente auf nicht exakte Folgen — führt zu falschen homologischen Schlüssen.

Konsequenz

Nichtverschwindende Homologiegruppen dokumentieren Hindernisse für Hebungen, Zerlegungen oder Lösbarkeit; sie zeigen Extensions an, detektieren Torsion und verhindern naive Rechnungen in abgeleiteten Funktoren und Spektralsequenzen.

Umkehrung

Exakte Folgen, in denen Bilder und Kerne übereinstimmen, erlauben Zerlegungen, Hebungen und saubere Berechnungen abgeleiteter Funktoren; Exaktheit ist eine Voraussetzung für viele Strukturtheoreme.

Abgrenzung

Betrifft Ketten von Homomorphismen in Algebra, Topologie und Geometrie; das Versagen kann lokal oder global sein und ist von reinem Fehlen von Surjektivität oder Injektivität zu unterscheiden, da Exaktheit beide zusammenfasst.

Semantische Spannung

Zwischen Exaktheit als idealer Bedingung und praktischen Rechnungen: kurze Exaktheit, links- oder rechts-exakte Funktoren und das Vorhandensein abgeleiteter Funktoren bilden ein Gefüge partieller Exaktheitsbegriffe.

Synthese

Das Versagen der Exaktheit ist das konkrete homologische Signal für das Missverhältnis von Bildern und Kernen: Homologie misst die Obstruktion, die Extensions- und Torsionsdaten kodiert und vor naivem Übertragen eigenschaftsfordernder Argumente warnt.