Bourbaki

Exercise 9, § 2

Commutative Algebra, VIII, p. 85

Let AA be an integral ring and BB an integral ring containing AA and integral over AA. Let pp be a prime ideal of AA such that the integral closure of the ring of fractions ApA_p is a local ring. For every prime ideal qq of BB lying over pp, one has ht(q)=ht(p)\mathrm{ht}(q) = \mathrm{ht}(p) (use V, § 2, No. 1, Prop. 2).

Solution

No solution has been written yet.

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