Eine assoziative Algebra (über einem Körper oder Ring), deren Modul-Kategorie Module enthält, die nicht semisimpel sind; äquivalent ist, dass die Algebra als Ring nicht semisimpel ist, z. B. ihr Jacobson-Radikal ist nicht null und sie zerfällt nicht in eine direkte Summe/Produkt einfacher Algebren im artinischen semisimplen Sinn.

Prinzip

Semisimplizität bedeutet, dass jedes Modul als direkte Summe einfacher Module zerlegt werden kann und die Algebra im endlichdimensionalen artinischen Fall ein Produkt von Matrixalgebren über Schiefkörpern ist. Nichtsemisimplizität zeigt das Vorhandensein nichttrivialer Erweiterungen und eines nichtverschwindenden Radikals, das die Zerlegung in Simple verhindert.

Demonstration

Die Algebra der oberen Dreiecksmatrizen n×n über einem Körper ist nicht semisimpel, weil die strikt oberen Dreiecksmatrizen ein nichttriviales nilpotentes Ideal (den Radikal) bilden; es gibt indekomponible Moduln, die keine direkten Summen einfacher Module sind. Ein weiteres Beispiel ist die Gruppenalgebra kG, wenn char(k) einen Teiler der Ordnung der endlichen Gruppe G darstellt: Maschkes Satz greift nicht und die Algebra ist nicht semisimpel.

Fehlanwendung

Alle Darstellungen als vollständig reduzibel zu behandeln (z. B. Maschke-artige Schlüsse ohne Prüfung der Voraussetzungen) oder das Fehlen von Erweiterungen zwischen Simplen anzunehmen; semisimple Klassifikationstechniken unangebracht einzusetzen führt dazu, projektive Hüllen, Radikalfiltrationen und Blockstruktur zu übersehen.

Konsequenz

Nichtsemisimple Algebren besitzen nichttriviale Ext^1-Gruppen, Radikale und Filtrationen (Loewy- und Radikalserien), Blockzerlegungen und ein reichhaltigeres homologisches Verhalten: indekomponible Moduln, projektive Hüllen und Darstellungstypen (endlich, zahm, wild) werden zu zentralen Fragen.

Umkehrung

Eine semisimple Algebra, in der jedes Modul vollständig reduzibel in eine direkte Summe von Simplen zerlegt werden kann und der Radikal null ist, was eine starre und vollständig dekomponierbare Darstellungstheorie liefert.

Abgrenzung

Der Begriff bezieht sich auf die darstellungstheoretische Zerlegbarkeit von Moduln über der Algebra und nimmt oft eine assoziative Algebrastruktur an; Endlichdimensionalität und Artin-Annahmen schärfen die Dichotomie semisimpel / nicht semisimpel, während unendlich-dimensionale Algebren zusätzliche Feinheiten aufweisen können.

Semantische Spannung

„Nichtsemisimpel“ kann mit „nicht einfach“ verwechselt werden (einfache Algebren haben keine nichttrivialen zweiseitigen Ideale). Die Spannung besteht darin, dass Semisimplizität eine kategoriale Zerlegungseigenschaft ist, während Einfachheit eine idealtheoretische Unzerlegbarkeit darstellt; eine Algebra kann nichtsemisimpel sein, ohne dass die Begriffe identisch sind.

Synthese

Eine Nichthalb-Einfache Algebra ist eine Algebra, deren Modul-Kategorie nichttriviale Erweiterungen und Indecomposable neben den Simplen aufweist: Das Vorhandensein eines nichtverschwindenden Radikals und reicher homologischer Invarianten verlangt Techniken jenseits der semisimplen Klassifikation, mit Fokus auf Radikale, Projektive, Extensions- und Blocktheorie.