##  [Radical de Jacobson](/fr/node/63893) 

 Définition

Pour un anneau associatif unitaire R, le radical de Jacobson J(R) est l'intersection de tous les idéaux maximaux à gauche (équivalente à l'intersection des idéaux maximaux à droite), autrement dit l'ensemble des éléments qui annihilent tous les R-modules simples ; dans de nombreux contextes algébriques c'est le plus grand idéal quasi-régulier et, pour les anneaux artiniens, il est nilpotent.

 

 

 

 

 

 





## Principe

Principe

Organise le comportement non semi-simple via les idéaux maximaux et les modules simples : les éléments de J(R) sont exactement ceux qui agissent trivialement sur tout module simple et mesurent donc l'écart à la semi-simplicité.

 

 

 

 

 





## Démonstration

Démonstration

Exemple : pour l'algèbre des matrices M_n(D) sur un corps divisionnaire D, J(M_n(D)) = 0, donc l'algèbre est semi-simple. Pour l'anneau local k[x]/(x^m), le radical de Jacobson est l'idéal engendré par la classe de x.

 

 

 

 

## Mauvaise application

Mauvaise application

Confondre le radical de Jacobson avec le radical nil (intersection de tous les idéaux premiers) ou supposer que J(R)=0 chaque fois que R n'a pas d'éléments nilpotents non nuls ; ces assertions peuvent échouer pour des anneaux non commutatifs ou non réduits.

 

 

 

 

 





## Conséquence

Conséquence

Le quotient R/J(R) est un anneau semi-simple ; les modules se factorisent par ce quotient en composantes semi-simples et de nombreux théorèmes structurels (par exemple la décomposition de Wedderburn) s'appliquent à R/J(R).

 

 

 

 

## Inversion

Inversion

Si le radical de Jacobson est nul alors R est semi-primif (ses modules simples séparent les éléments) ; à l'opposé extrême, si R = J(R) alors R n'a pas de modules simples non nuls.

 

 

 

 

 





## Limite

Limite

Défini pour les anneaux associatifs unitaires et les catégories de modules à gauche/droite ; il ne coïncide pas en général avec les radicaux définis par les idéaux premiers en algèbre commutative et nécessite de la prudence pour les structures non unitaires ou non associatives.

 

 

 

 

 





## Tension sémantique

Tension sémantique

La tension provient de la comparaison radical de Jacobson / radical nil : tous deux détectent des défauts de régularité, mais reposent sur des classes d'idéaux différentes (maximaux vs premiers) et se comportent différemment hors du cadre commutatif.

 

 

 

 

 





## Synthèse

Synthèse

Le radical de Jacobson est l'idéal qui capte les éléments invisibles aux modules simples ; il mesure l'obstruction à la semi-simplicité et, en contexte artinien, devient un idéal nilpotent dont le quotient restitue le cœur semi-simple de l'anneau.