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

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

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

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

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

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

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

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

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.