Eine Folge von Objekten und Morphismen ...A → B → C... in einer additiven oder abelschen Kategorie (oder jeder Kategorie mit Kernen und Bildern), so dass an jedem Objekt das Bild des eingehenden Morphismus gleich dem Kern des ausgehenden Morphismus ist; Exaktheit kodiert präzise algebraische Relationen.

Prinzip

Exaktheit erzwingt lokale Erhaltung algebraischer Information: nichts geht an jedem Knoten verloren oder bleibt unberücksichtigt, weil eingehende Bilder genau die Elemente erzeugen, die vom nächsten Morphismus vernichtet werden.

Demonstration

Eine kurze exakte Folge 0 → A → B → C → 0 bedeutet, dass der erste Morphismus injektiv, der zweite surjektiv ist und A sich mit ker(B→C) identifiziert; sie modelliert Erweiterungsprobleme und ergibt lange exakte Folgen in der Homologie nach Anwendung abgeleiteter Funktoren.

Fehlanwendung

Zu behaupten, jede kurze exakte Folge spalte sich (also B ≅ A ⊕ C), ohne ein Spaltungsbild zu prüfen; dieser Fehler übersieht nichttriviale Erweiterungsklassen, die mittelere Terme unterscheiden.

Konsequenz

Exakte Folgen führen zu Diagrammlemmas (Schlangenlemma, Fünf-Lemma) und erlauben unter homologischen Funktoren den Übergang zu langen exakten Folgen, wodurch Invarianten der beteiligten Objekte systematisch verbunden werden.

Umkehrung

Eine nicht-exakte Folge, in der Bilder lediglich in Kernen enthalten sind, aber nicht gleich sind, fehlt die präzise Ausgleichseigenschaft; solche Inexaktheit signalisiert verborgene Torsion oder Erweiterungsphänomene, die nicht durch naive Morphismen erfasst werden.

Abgrenzung

Der Begriff setzt das Vorhandensein von Kernen und Bildern voraus; in nicht-additiven Kategorien muss Exaktheit über Mono-/Epi- oder andere kategoriale Ersatzbegriffe interpretiert werden, und das Verhalten kann abweichen.

Semantische Spannung

Spannung besteht zwischen Exaktheit als punktweiser Eigenschaft einer Folge und Begriffen wie ‚exakter Funktor‘, die exakte Folgen erhalten; ein Funktor kann links- oder rechts-exakt sein, ohne volle Exaktheit zu bewahren.

Synthese

Eine exakte Folge ist eine Kette von Morphismen, in der jede Stufe das vorherige Bild genau in den nächsten Kern überträgt; diese lokale Gleichheit strukturiert Erweiterungen, Zerlegungen und homologische Berechnungen in vielen algebraischen Kontexten.