Bourbaki

Exercise 5, § 5

Commutative Algebra, VIII, p. 94

Let AA be a regular noetherian local ring, pp a prime ideal of AA. Then ApA_p is regular (use Exercise 1 and Exercise 3).

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.