Bourbaki

Exercise 11, § 4

Commutative Algebra, IX, p. 80

Let A be a noetherian integral ring, K its field of fractions, E a finite extension of K, A‾\overline{A} the integral closure of A in E. a) For every prime ideal pp of A, there are only a finite number of prime ideals P\mathfrak{P} of A‾\overline{A} lying over pp, and the fields κ(P)\kappa(\mathfrak{P}) are finite extensions of κ(p)\kappa(p). (Reduce to the case where A is a local ring with maximal ideal pp and where E=KE = K, and use Exercise 10.) b) Let P be the set of prime ideals of height 1 of A‾\overline{A}. If p∈Pp \in P, then A‾p\overline{A}_p is a discrete valuation ring. c) We have A‾=⋂p∈PA‾p\overline{A} = \bigcap_{p \in P} \overline{A}_p (in E).

Solution

No solution has been written yet.

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