##  [Jacobson-Radikal](/de/node/63893) 

 Definition

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

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

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

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

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

Umkehrung

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

 

 

 

 

 





## Abgrenzung

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

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

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.