Bourbaki

Exercice 19, § 2

Algèbre commutative, VII

Bourbaki marks this one as harder than the rest.

On dit qu’un anneau intègre AA est pseudo-prüférien si l’ensemble des diviseurs de type fini de D(A)D(A) (§ 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 θ\theta un nombre irrationnel >0> 0, Γ\Gamma le groupe R2\mathbf{R}^2 ordonné en prenant l’ensemble des couples (α,β)(\alpha, \beta) tels que α≥0\alpha \geq 0 et β≥θα\beta \geq \theta \alpha pour ensemble des éléments positifs ; le groupe ordonné Γ\Gamma est complètement réticulé. Soit BB l’anneau pseudo-principal déduit de Γ\Gamma par le procédé du § 1, exerc. 22, et soit AA le sous-anneau intersection de BB et de l’algèbre sur kk du sous-groupe Q2\mathbf{Q}^2 de R2\mathbf{R}^2. Montrer que AA est un anneau complètement intégralement clos, mais n’est pas pseudo-prüférien (noter que si KK est le corps des fractions de AA, et UU le groupe des éléments inversibles de AA, le groupe ordonné K∗/UK^*/U est isomorphe au groupe Γ∩Q2\Gamma \cap \mathbf{Q}^2, ordonné par l’ordre induit par celui de Γ\Gamma).

c) Si l’anneau AA est pseudo-prüférien, montrer que l’anneau de polynômes A[X]A[X] est pseudo-prüférien (cf. § 1, exerc. 30c)).

d) Soient AA un anneau pseudo-prüférien, KK son corps des fractions. Montrer que la fermeture intégrale BB de AA dans une extension algébrique LL de KK 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 (An)(A_n) 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 BB un anneau de valuation discrète). \*

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.