Eine exakte Erweiterung 0 -> A -> E -> B -> 0, die nicht isomorph zur direkten oder trivialen Erweiterung A ⊕ B (oder zur entsprechenden semidirekten/trivialen Zerlegung in der betreffenden Kategorie) ist; äquivalent ist ihre Klasse in der passenden Ext- oder Klassifikationsgruppe ungleich null.

Prinzip

Nicht-gesplittete Erweiterungen repräsentieren echte Weisen, A und B zu einem neuen Objekt zusammenzusetzen, das kein direktes Summand ist; sie entsprechen nichttrivialen Elementen der Extensionsgruppen und kodieren zusätzliche Wechselwirkungsdaten (Modul-Erweiterungen, nichttriviale Gruppen Erweiterungen, indekomposable Objekte).

Demonstration

Eine kurze exakte Folge von abelschen Gruppen, die keinen Schnitt besitzt, liefert eine nicht-gesplittete Erweiterung: eine nichtverschwindende Klasse in Ext^1(B,A) erzeugt ein E, das nicht isomorph zu A ⊕ B ist; ebenso erzeugen nichttriviale Gruppen Erweiterungen Gruppen, die keine direkten Produkte sind.

Fehlanwendung

Jedes nichtisomorphe Mittelfeld E pauschal als nicht-gesplittete Erweiterung zu bezeichnen, ohne zu prüfen, ob ein Splitting bis auf Isomorphismus existiert; oder 'nicht-gesplittet' mit 'nicht einfach' oder 'indecomposable' zu verwechseln, da eine nicht-gesplittete Erweiterung sich in einer weiteren Kategorie anders zerlegen kann.

Konsequenz

Nicht-gesplittete Erweiterungen erzeugen neue algebraische Strukturen und führen häufig zu indekomposablen oder wirklich neuen Objekten; ihre Klassifikation über Ext-Gruppen beleuchtet Modultheorie, Darstellungstheorie und homologische Algebra, indem sie verborgene Extensionsdaten aufdeckt.

Umkehrung

Die Umkehrung ist eine gesplittete Erweiterung: die exakte Folge ist isomorph zur direkten Summe oder besitzt einen Schnitt und entspricht damit der Nullklasse in Ext; das Umkehren des Blicks betont die Rolle der trivialen Extensionsklasse als Trennlinie.

Abgrenzung

Gilt in abelschen Kategorien und in vielen nichtabelschen Erweiterungstheorien, aber die Bedeutung von 'gesplittet' hängt vom kategorialen Kontext ab (Existenz von Schnitten, semidirekte Produktstrukturen oder Produktisomorphien), daher ist Vorsicht beim Wechsel der Kontexte geboten.

Semantische Spannung

Spannungen bestehen zwischen dem Begriff 'nicht-gesplittet' und verwandten Begriffen wie 'indecomposable' oder 'nichttrivial bis auf Isomorphismus'; obwohl verbunden, bezieht sich 'nicht-gesplittet' spezifisch auf das Versagen eines Splitting-Morphismus oder einer trivialen Klasse, nicht auf alle Formen von Nichttrivialität.

Synthese

Eine nicht-gesplittete Erweiterung ist eine exakte Folge mit nichtverschwindender Extensionsklasse, die ein Mittelfeld E erzeugt, das A und B wirklich zusammenfügt statt als direkte Summe zu zerfallen; sie ist der algebraische Zeuge eines nichttrivialen Verklebes.