Bourbaki

Exercise 18, § 4

Commutative Algebra, IX, p. 82

Let AA be a noetherian integral domain, xx a nonzero element of AA. Suppose that AA is separated and complete for the xAxA-adic topology and that for every prime ideal p∈AssA(A/xA)p \in \mathrm{Ass}_A(A/xA), the ring A/pA/p is Japanese. Prove that AA is Japanese. (Let A‾\overline{A} be the integral closure of AA in a finite extension of its field of fractions. a) Since the ring A‾\overline{A} is Krull (p. 81, Exercise 14), let P1,...,Pn\mathfrak{P}_1, ..., \mathfrak{P}_n be the prime ideals of height 1 of A‾\overline{A} containing xx. b) Let pi=Pi∩Ap_i = \mathfrak{P}_i \cap A. Then one has pi∈AssA(A/xA)p_i \in \mathrm{Ass}_A(A/xA) and κ(Pi)\kappa(\mathfrak{P}_i) is a finite extension of κ(pi)\kappa(p_i). (Use Exercises 11 and 13, p. 80.) c) A‾/Pi\overline{A}/\mathfrak{P}_i is a finitely generated A/piA/p_i-module. d) A‾/xA\overline{A}/xA is a finitely generated A/xAA/xA-module. e) AA is separated for the xAxA-adic topology. Conclude as in the proof of Theorem 1 of § 4, No. 2.)

Solution

No solution has been written yet.

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