Bourbaki

Exercise 11, § 5

Commutative Algebra, VIII

Every noetherian regular local ring is factorial. (Use VII, § 4, No. 7, Cor. 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.