Anneau de Jacobson

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

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

Un anneau de Jacobson est un anneau commutatif[1] dont tout idéal premier est intersection d'idéaux maximaux. Comme tout idéal radiciel est intersection des idéaux premiers qui le contiennent, un anneau de Jacobson est tel que tout idéal radiciel soit intersection d'idéaux maximaux.

  • Un anneau local artinien est de Jacobson car son idéal maximal est le seul idéal premier. Ce sont d'ailleurs les seuls anneaux locaux de Jacobson.
  • Une algèbre de type fini sur un corps est un anneau de Jacobson. Plus généralement, une algèbre de type fini sur un anneau de Jacobson est de Jacobson.
  • Si A est un anneau de Jacobson, et si B est de type fini sur A, alors pour tout idéal maximal de B, alors l'image réciproque de par le morphisme est un idéal maximal de A. De plus, par Nullstellensatz, le morphisme induit entre les corps est une extension finie de corps.
Une conséquence est que les idéaux maximaux de sont nécessairement à corps résiduel fini.

Certaines de ces propriétés peuvent se démontrer à l'aide du Lemme de normalisation de Noether.

  • D'un point de vue géométrique, A est de Jacobson si et seulement si dans toute partie fermée non-vide du spectre de A, l'ensemble des points fermés est dense. Il en résulte qu'un élément vu comme fonction régulière sur s'annule aux points fermés de si et seulement si appartient au radical de . Ainsi les anneaux de Jacobson forment la classe d'anneaux parfaite pour fournir une version générale du Nullstellensatz.

Notes[modifier | modifier le code]

  1. La notion peut être étendue aux anneaux non nécessairement commutatifs, mais les propriétés énoncées ici sont référencées uniquement dans le cas commutatif.

Références[modifier | modifier le code]

A. Grothendieck, J. Dieudonné : Éléments de géométrie algébrique (édition 1971, Springer), Chapitre 1, § 6.4 et Chapitre 0, § 2.8.