title: Radical de Jacobson
text: # Radical de Jacobson
  
  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.
  
  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. 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.
  
  ## Note et référence
  
  * 1 2 (en) Tsit Yuen Lam, A First Course in Noncommutative Rings, Springer, coll. « GTM » $(n^o$ 131), 2001, 2e éd. (1re éd. 1991), 385 p. (ISBN 978-0-387-95183-6, lire en ligne), p. 50-51.
  