Bourbaki

Exercise 25, § 4

Commutative Algebra, IX, p. 83

Let A be a noetherian integral domain, XX the topological space Spec⁡(A)\operatorname{Spec}(A), Nor⁡(X)\operatorname{Nor}(X) the set of points pp of AA such that the local ring ApA_p is integrally closed. (If the integral closure of AA is a finite AA-algebra, then Nor⁡(X)\operatorname{Nor}(X) is open in XX, cf. V, § 1, No. 5, Corollary 5.) Let ff be a nonzero element of AA such that the ring A[f−1]A[f^{-1}] is integrally closed. a) If a prime ideal pp of AA does not contain ff, then pp belong to Nor⁡(X)\operatorname{Nor}(X). b) Let EE be the set of prime ideals pp of AA, associated to A/fAA/f A, of height >1> 1 or else of height 11 and such that ApA_p is not regular. Then one has

Nor⁡(X)=X−⋃p∈EV(p). \operatorname{Nor}(X) = X - \bigcup_{p \in E} V(p).
(Use Exercises 4 and 5, p. 79.) c) Nor⁡(X)\operatorname{Nor}(X) is open in XX.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5.4. Not checked by a person.