Bourbaki

Exercise 25, § 7

Commutative Algebra, VIII, p. 108

Bourbaki marks this one as harder than the rest.

Let kk be a field, AA a local kk-algebra, localized at a prime ideal of a finitely generated kk-algebra. Prove that AA is regular if and only if AA is integral and e(A) = 1. (One may draw inspiration from the method followed in Exercise 24 or else remark that since AA 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.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.