## [Versagen der Vollständigen Reduzierbarkeit](/de/node/62480) Definition 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 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 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 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 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 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 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 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 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.