Exercice 19, § 2
Algèbre commutative, VII
Bourbaki marks this one as harder than the rest.
On dit qu’un anneau intègre est pseudo-prüférien si l’ensemble des diviseurs de type fini de (§ 1, exerc. 11) est un groupe. Un anneau pseudo-prüférien est régulièrement intégralement clos (§ 1, exerc. 29). Un anneau pseudo-bezoutien (§ 1, exerc. 21) est pseudo-prüférien ; un anneau prüférien est pseudo-prüférien ; un anneau de Krull est pseudo-prüférien.
a) Montrer par des exemples que les réciproques de ces trois dernières assertions ne sont pas nécessairement vraies.
b) Soient un nombre irrationnel , le groupe ordonné en prenant l’ensemble des couples tels que et pour ensemble des éléments positifs ; le groupe ordonné est complètement réticulé. Soit l’anneau pseudo-principal déduit de par le procédé du § 1, exerc. 22, et soit le sous-anneau intersection de et de l’algèbre sur du sous-groupe de . Montrer que est un anneau complètement intégralement clos, mais n’est pas pseudo-prüférien (noter que si est le corps des fractions de , et le groupe des éléments inversibles de , le groupe ordonné est isomorphe au groupe , ordonné par l’ordre induit par celui de ).
c) Si l’anneau est pseudo-prüférien, montrer que l’anneau de polynômes est pseudo-prüférien (cf. § 1, exerc. 30c)).
d) Soient un anneau pseudo-prüférien, son corps des fractions. Montrer que la fermeture intégrale de dans une extension algébrique de est un anneau pseudo-prüférien (méthode de l’exerc. 16, en utilisant le § 1, exerc. 29a)).
\* e) Déduire de l’exerc. 30d) du § 1 un exemple d’une suite croissante d’anneaux factoriels ayant même corps des fractions, dont la réunion n’est pas un anneau régulièrement intégralement clos (ni a fortiori un anneau pseudo-prüférien) (dans l’exemple cité, prendre pour un anneau de valuation discrète). \*
Solution
Aucune solution n’a encore été écrite.