##  [Exakte Folge](/de/node/61134) 

 Definition

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

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

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

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

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

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

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

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

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.