Die Eigenschaft eines Rings, einer Algebra, eines Moduls, eines Objekts oder einer Kategorie, dass es nicht als Direktsumme (bzw. kategoriales Äquivalent) einfacher (semisimpler) Bestandteile zerlegt werden kann; äquivalent ist das Vorhandensein nichttrivialer Erweiterungen oder eines nichtverschwindenden Radikals.

Prinzip

Nicht-Semisimplizität wird durch das Vorhandensein von Erweiterungen, nilpotenten Endomorphismen oder einem nichtverschwindenden Jacobson- bzw. kategorialen Radikal bestimmt: Sind Ext^1-Gruppen zwischen einfachen Objekten nichttrivial oder bestehen nilpotente Ideale fort, scheitert die semisimple Zerlegung.

Demonstration

Konkretes Beispiel: Über einem Körper der Charakteristik p besitzt die Gruppenalgebra einer nichttrivialen p-Gruppe projektive Moduln, die nicht einfach sind, und zeigt Jordan–Hölder-Folgen mit nichttrivialen Erweiterungsklassen; die einfachen Bestandteile existieren, aber Module zerfallen nicht in direkte Summen einfacher Module.

Fehlanwendung

Einzelnes indekomposables oder nicht einfaches Objekt als 'nicht-semisimples' zu bezeichnen, ohne zu prüfen, ob die umgebende Kategorie oder Algebra eine semisimple Zerlegung erlaubt; Nicht-Semisimplizität mit Nicht-Einfachheit oder mit anderen, schwächeren Begriffen zu verwechseln.

Konsequenz

Bei Nicht-Semisimplizität muss die Klassifikation Erweiterungsdaten und homologische Invarianten berücksichtigen: Blöcke, Radikale, projektive Hüllen und Phänomene in der abgeleiteten Kategorie werden relevant, und eine simple Aufzählung der einfachen Objekte genügt nicht.

Umkehrung

Semisimplizität: Jedes Objekt zerfällt in eine direkte Summe von einfachen Objekten und die Erweiterungsgruppen zwischen Simplem sind null; die Zerlegungsdaten reduzieren sich auf eine Multimenge einfacher Typen.

Abgrenzung

Gilt für Ringe, Algebren, Moduln und abelsche oder additive Kategorien; ist abhängig vom Grundkörper und von Endlichkeitsannahmen (endlichdimensionale vs. unendliche Objekte); schließt Kontexte aus, in denen Semisimplizität nicht definiert ist.

Semantische Spannung

Im Widerstreit mit dem Begriff der Indecomponierbarkeit: Ein indekomposables Objekt kann gleichzeitig einfach (und damit trivialerweise semisimple) sein, daher darf 'nicht-semisimpel' nicht mit 'indecomponierbar' oder mit schwächeren Begriffen wie 'nicht vollständig reduzierbar' gleichgesetzt werden.

Synthese

Nicht-Semisimplizität bezeichnet das strukturelle Versagen der vollständigen Zerlegung in einfache Teile, sichtbar durch nichtverschwindende Erweiterungsklassen oder Radikale; ihre Erkennung verlagert die Analyse auf Erweiterungen, Kohomologie und projektive Auflösungen, wobei Feld- und Endlichkeitsbedingungen häufig entscheidend sind.