Exercise 25, § 4
Commutative Algebra, IX, p. 83
Let A be a noetherian integral domain, the topological space , the set of points of such that the local ring is integrally closed. (If the integral closure of is a finite -algebra, then is open in , cf. V, § 1, No. 5, Corollary 5.) Let be a nonzero element of such that the ring is integrally closed. a) If a prime ideal of does not contain , then belong to . b) Let be the set of prime ideals of , associated to , of height or else of height and such that is not regular. Then one has
(Use Exercises 4 and 5, p. 79.) c) is open in .
Solution
No solution has been written yet.