Radical de Jacobson

Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En algèbre, le radical de Jacobson d'un anneau commutatif est l'intersection de ses idéaux maximaux. Cette notion est due à Nathan Jacobson qui le premier en a fait l'étude systématique. Un élément x appartient au radical de Jacobson de l'anneau A si et seulement si 1 + ax est inversible pour tout a de A.

Démonstration

Notons J le radical de Jacobson de l'anneau commutatif A et exploitons le fait que (d'après le théorème de Krull) 1 + ax est non inversible si et seulement s'il appartient à un idéal maximal.

Si x n'appartient pas à J, soit M un idéal maximal ne contenant pas x. Alors M + Ax = A donc il existe m dans M et a dans A tels que 1 = m – ax, et 1 + ax n'est pas inversible.
Réciproquement, si, pour un certain a dans A, 1 + ax appartient à un idéal maximal M, alors M ne contient pas x, donc x n'appartient pas à J.

Dans le cas non commutatif, on définit le radical de Jacobson comme étant l'intersection de tous les idéaux maximaux à gauche et l'on a encore : x appartient au radical si et seulement si tous les 1 + ax sont inversibles à gauche^[1]. C'est un idéal bilatère et on aurait pu définir de manière équivalente le radical de Jacobson comme l'intersection de tous les idéaux maximaux à droite^[1].

Note et référence[modifier | modifier le code]

↑ ^{a et b} (en) Tsit Yuen Lam, A First Course in Noncommutative Rings, Springer, coll. « GTM » (n^o 131), 2001, 2^e éd. (1^re éd. 1991), 385 p. (ISBN 978-0-387-95183-6, lire en ligne), p. 50-51.

Articles connexes[modifier | modifier le code]

Anneau semi-primitif (anneau dont le radical de Jacobson est nul)
Nilradical
Radical d'un anneau (en)

Portail de l’algèbre

[Lam-1] {a et b} (en) Tsit Yuen Lam, A First Course in Noncommutative Rings, Springer, coll. « GTM » (n^o 131), 2001, 2^e éd. (1^re éd. 1991), 385 p. (ISBN 978-0-387-95183-6, lire en ligne), p. 50-51.

[1]