Exercise 25, § 7
Commutative Algebra, VIII, p. 108
Bourbaki marks this one as harder than the rest.
Let be a field, a local -algebra, localized at a prime ideal of a finitely generated -algebra. Prove that is regular if and only if is integral and e(A) = 1. (One may draw inspiration from the method followed in Exercise 24 or else remark that since is an integral quotient of a regular ring, the local ring Ā is equidimensional and has no immersed prime ideals.)
Solution
No solution has been written yet.