Eine assoziative Algebra, deren (links/rechts) Moduln vollständig reduzibel sind; im endlich-dimensionalen Fall äquivalent zu einer Algebra mit verschwindendem Jacobson-Radikal, die sich als endliches direktes Produkt einfacher Algebren darstellt.

Prinzip

Semisimpelheit ordnet eine Algebra durch ihre einfachen Bausteine: Moduln zerfallen in direkte Summen einfacher Moduln, und die Algebra zerlegt sich im Artin–Wedderburn-Sinn im endlich-dimensionalen Fall.

Demonstration

Eine endlich-dimensionale semisimple Algebra über einem Körper zerfällt in ein direktes Produkt von Matrixalgebren über Divisionsringen, etwa M_n(F) × M_m(D), was die vollständige Reduzibilität endlicher Moduln gewährleistet.

Fehlanwendung

Semisimple mit einfach verwechseln (semisimple Algebren können summe von einfachen Blöcken sein), oder fälschlich Semisimpelheit aus dem Fehlen nilpotenter Elemente abzuleiten ohne das Radikal zu prüfen; oder 'semisimple' unqualifiziert in unendlich-dimensionalen Kontexten zu verwenden.

Konsequenz

Die Darstellungstheorie vereinfacht sich: jeder endliche Modul ist direkte Summe einfacher Moduln, homologische Dimensionen sinken, und Strukturtheoreme wie Artin–Wedderburn klassifizieren die Algebra bis auf Isomorphismus.

Umkehrung

Eine Algebra mit nicht verschwindendem Jacobson-Radikal oder eine, deren Moduln nicht in direkte Summen einfacher Moduln zerfallen; solche Algebren zeigen nichttriviale Erweiterungen zwischen einfachen Moduln und nilpotentes Verhalten.

Abgrenzung

Wird häufig für endlich-dimensionale assoziative Algebren formuliert; unendlich-dimensionale Algebren können semisimple sein, bedürfen aber genauer Behandlung. Schließt Algebren mit nichtverschwindendem Jacobson-Radikal aus.

Semantische Spannung

Spannung zwischen 'semisimple' und nahegelegenen Begriffen wie 'semiprime' oder 'semiperfekt' oder 'einfach'; alle teilen die Idee des Fehlens gewisser Pathologien, unterscheiden sich jedoch im Modul- und Idealverhalten.

Synthese

Eine semisimple Algebra besteht aus einfachen Blöcken, sodass Moduln in Summen einfacher Moduln zerfallen und die Algebra, in endlicher Dimension, als direktes Produkt von Matrixalgebren über Divisionsringen dargestellt werden kann.