Exercise 4, § 6
Commutative Algebra, X
Let be a noetherian ring, a faithfully flat absolutely regular -algebra (Exercise 3). For to be a regular ring (resp. normal, resp. Macaulay, resp. Gorenstein), it is necessary and sufficient that the same be true of .
Solution
No solution has been written yet.