Anneau de Goldman
En mathématiques, un anneau de Goldman est un anneau intègre A dont le corps des fractions est une algèbre de type fini sur A. Ces anneaux sont nommés ainsi en l'honneur d'Oscar Goldman, qui les introduisit dans son article consacré au Nullstellensatz de Hilbert[1].
Définition formelle
[modifier | modifier le code]Un anneau intègre R est de Goldman s'il vérifie les conditions équivalentes suivantes :
- son corps des fractions est une extension simple de R ;
- son corps des fractions est une extension finie de R ;
- l'intersection de ses idéaux premiers non nuls n’est pas réduite à 0 ;
- il existe un élément non nul tel que pour tout idéal non nul , il existe tel que [2].
Résultats élémentaires
[modifier | modifier le code]On dit qu'un idéal de R est un idéal de Goldman si R/I est un anneau de Goldman. Comme l'anneau quotient R/I est intègre si et seulement si l'idéal I est premier, tout idéal de Goldman est premier. Le radical d'un idéal est l'intersection de tous les idéaux premiers qui le contiennent. On montre que, dans cette intersection, il suffit de se restreindre aux idéaux de Goldman[3].
Tout idéal maximal est de Goldman, puisque le quotient par un idéal maximal est un corps et qu’un corps est trivialement un anneau de Goldman. Dans un anneau de Jacobson, il n'y a pas d'autres idéaux de Goldman que les idéaux maximaux. C'est en fait une caractérisation des anneaux de Jacobson : un anneau est de Jacobson si tous ses idéaux de Goldman sont maximaux. Cette observation, combinée au résultat que R[X] est un anneau de Jacobson si et seulement si R l'est, permet d’obtenir une démonstration simplifiée du Nullstellensatz[4].
Une extension d'un anneau de Goldman R est algébrique si et seulement si toute extension d'anneau de R contenue dans T est un anneau de Goldman[5].
Un anneau noethérien intègre est de Goldman si et seulement si son rang est inférieur ou égal à 1, et s'il n'a qu'un nombre fini d'idéaux maximaux (ou, de manière équivalente, d’idéaux premiers)[4].
Notes et références
[modifier | modifier le code]- (en) Oscar Goldman, « Hilbert Rings and the Hilbert nullstellensatz », Math. Z., vol. 54, 1951, p. 136-140.
- (en) Irving Kaplansky, Commutative Algebra, Polygonal Publishing House, , p. 12-13.
- Kaplansky 1974, p. 16-17.
- Kaplansky 1974, p. 19.
- (en) David Dobbs, G-Domain Pairs, coll. « Trends in Commutative Algebra Research », Nova Science Publishers, 2003, p. 71-75.
Références
[modifier | modifier le code]- (en) Irving Kaplansky, Commutative rings (édition révisée), University of Chicago Press, (ISBN 0-226-42454-5, MR 0345945).
- (en) Gabriel Picavet, « About GCD Domains », dans Advances in Commutative Ring Theory. Proceedings of the 3rd international conference, New York, Marcel Dekker, coll. « Lect. Notes Pure Appl. Math.s » (no 205), , 576 p. (ISBN 978-0-8247-7147-8, BNF 37554947), p. 501-519.
