Für einen assoziativen unitalen Ring R ist das Jacobson-Radikal J(R) der Durchschnitt aller maximalen Linksideale (äquivalent aller maximalen Rechtsideale), also die Menge der Elemente, die jedes einfache links R-Modul annihilieren; in vielen Kontexten ist es das größte quasi-reguläre Ideal und bei artinischen Ringen nilpotent.

Prinzip

Ordnet nicht-semi-simple Eigenschaften mittels maximaler Ideale und einfacher Moduln: Elemente von J(R) wirken auf allen einfachen Moduln trivial und messen damit die Abweichung von Semisimpelität.

Demonstration

Beispiel: Für die vollen Matrizenalgebra M_n(D) über einem Divisionsring D gilt J(M_n(D)) = 0, daher ist die Algebra semisimpel. Für den lokalen Ring k[x]/(x^m) ist das Jacobson-Radikal das von der Klasse von x erzeugte Ideal.

Fehlanwendung

Das Jacobson-Radikal mit dem Nilradikal (Schnitt aller Primideale) zu verwechseln oder zu glauben, J(R)=0 gelte immer, wenn R keine nichttrivialen nilpotenten Elemente besitzt; solche Aussagen können für nichtkommutative Ringe falsch sein.

Konsequenz

Der Quotient R/J(R) ist semisimpel; Moduln faktorieren durch diesen Quotienten in semisimple Bestandteile, und Struktur­sätze (z. B. Wedderburn-Zerlegung) gelten für R/J(R).

Umkehrung

Ist das Jacobson-Radikal null, so ist R semiprimitiv; im entgegengesetzten Extrem, R = J(R), besitzt R keine einfachen Moduln.

Abgrenzung

Definiert für assoziative unitalen Ringe und Linke/Rechte Modulkategorien; es stimmt nicht im Allgemeinen mit Radikalen überein, die über Primideale in der kommutativen Algebra definiert sind, und ist bei nichtunitären oder nichtassoziativen Strukturen mit Vorsicht zu behandeln.

Semantische Spannung

Spannung besteht zwischen Jacobson-Radikal und Nilradikal: Beide sind ‚Radikale‘, aber sie basieren auf unterschiedlichen Idealklassen (maximale vs. prim) und verhalten sich außerhalb des kommutativen Rahmens verschieden.

Synthese

Das Jacobson-Radikal ist das Ideal, das die an allen einfachen Moduln unsichtbaren Elemente auffängt; es misst die Obstruktion zur Semisimpelität und bildet im artinischen Fall ein nilpotentes Ideal, dessen Quotient den semisimplen Kern des Rings ergibt.