Exercice 11, § 2
Algèbre commutative, VII
Soient un corps, une famille de valuations discrètes sur vérifiant les conditions (AK₁) et (AK₃) du § 1, n° 3 et telle que, pour tout entier , toute famille d’entiers , toute famille d’éléments distincts de et toute famille d’éléments de , il existe tel que pour et pour distinct des . Montrer que l’intersection des anneaux de valuation des est un anneau de Dedekind, dont est le corps des fractions, et que est la famille des valuations essentielles de . (Utiliser l’exerc. 7 du § 1 ; prouver ensuite que deux idéaux premiers distincts de hauteur 1 sont étrangers, et en déduire que tout idéal premier de est maximal).
Solution
Aucune solution n’a encore été écrite.