Bourbaki

Exercise 4, § 6

Commutative Algebra, X

Let AA be a noetherian ring, BB a faithfully flat absolutely regular AA-algebra (Exercise 3). For AA to be a regular ring (resp. normal, resp. Macaulay, resp. Gorenstein), it is necessary and sufficient that the same be true of BB.

Solution

No solution has been written yet.

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