## [Versagen der Exaktheit](/de/node/63664) Definition 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 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 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 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 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 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 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 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 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.