Eine strukturelle Lage, bei der ein Objekt in einer linearen oder additiven Kategorie (z. B. Modul oder Gruppenrepräsentation) nicht als direkte Summe irreduzibler (einfacher) Unterobjekte dargestellt werden kann; mit anderen Worten: das Objekt ist nicht semisimpel und invarianten Komplementen zu Unterobjekten müssen nicht existieren.

Prinzip

Das ordnende Prinzip ist, dass das Vorhandensein von invarianten Komplementen (Spaltungen) entscheidend ist: vollständige Reduzierbarkeit gilt genau dann, wenn jedes Unterobjekt ein Komplement besitzt, und sie schlägt fehl, wenn nichttriviale Extensionsklassen solche Komplemente verhindern.

Demonstration

Konkretes Beispiel: Für eine endliche Gruppe G über einem Körper k, dessen Charakteristik |G| teilt, ist die Gruppenalgebra kG nicht semisimpel und es gibt kG-Moduln, die sich nicht als direkte Summen einfacher Moduln schreiben lassen (man findet indekomposable Objekte vom Jordan-Block-Typ).

Fehlanwendung

Das Versagen der vollständigen Reduzierbarkeit als bloße Pathologie abzutun und alle betroffenen Objekte zu verwerfen; etwa zu behaupten, jede endlichdimensionale Darstellung über jedem Körper zerfalle in einfache Komponenten und dadurch Extensionsklassen (Ext^1) zu übersehen, die wichtige arithmetische oder geometrische Informationen tragen.

Konsequenz

Wenn die vollständige Reduzierbarkeit versagt, erwartet man nichtverschwindende Extensionsklassen, Blockstrukturen in der Modul-Kategorie, indekomposable aber reduzible Moduln und eine reichere homologische Theorie (nichttrivialer Radikal, projektive Hüllen) statt einer einfachen Auflistung der einfachen Komponenten.

Umkehrung

Das Gegenteil ist Semisimplizität bzw. vollständige Reduzierbarkeit: Jedes Objekt zerfällt in eine direkte Summe einfacher Objekte und Ext^1 zwischen verschiedenen einfachen Objekten verschwindet.

Abgrenzung

Gilt für Objekte in additiven/abelschen Kategorien (Repräsentationen, Moduln, perverse Garben etc.); ausgeschlossen sind Kontexte, in denen man direkte Summen durch Kompositionsreihen ersetzt oder in denen infinite Summen/Produkte das Zerlegungsverhalten ändern. Rein operatorische Bedeutungen von 'Reduzierbarkeit' einzelner linearer Abbildungen fallen nur dann darunter, wenn sie als Modulprobleme formuliert werden.

Semantische Spannung

Der Begriff steht im Spannungsfeld zu 'indecomposable' (nicht als direkte Summe zerlegbar) und zu dem Begriff der 'Reducibility' in der Operatorentheorie; die Spannung liegt zwischen dem Fehlen globaler Semisimplizität (Extensionsdaten) und lokaler Indecomposability (Blöcke, die selbst aus Simples aufgebaut sind).

Synthese

Das Versagen vollständiger Reduzierbarkeit bedeutet, dass nichttriviale Extensionsdaten die Zerlegung in Simples verhindern; es weist auf einen nichtverschwindenden Radikal hin und verlangt Untersuchung von Extensionsklassen, Blockstruktur und homologischen Invarianten statt einer rein simplen Klassifikation.