Exercise 18, § 4
Commutative Algebra, IX, p. 82
Let be a noetherian integral domain, a nonzero element of . Suppose that is separated and complete for the -adic topology and that for every prime ideal , the ring is Japanese. Prove that is Japanese. (Let be the integral closure of in a finite extension of its field of fractions. a) Since the ring is Krull (p. 81, Exercise 14), let be the prime ideals of height 1 of containing . b) Let . Then one has and is a finite extension of . (Use Exercises 11 and 13, p. 80.) c) is a finitely generated -module. d) is a finitely generated -module. e) is separated for the -adic topology. Conclude as in the proof of Theorem 1 of § 4, No. 2.)
Solution
No solution has been written yet.