Lemma 10.104.7. Suppose $R$ is a Noetherian Cohen-Macaulay ring. Any polynomial algebra over $R$ is Cohen-Macaulay.

Proof. Special case of Lemma 10.103.13. $\square$

Comment #2982 by Dario Weißmann on

The lemma only holds for finite type polynomial algebras.

Comment #3106 by on

Well, I think that is what polynomial algebra means unless you specify "infinitely many variables". So I am going to leave as is for now.

There are also:

• 7 comment(s) on Section 10.104: Cohen-Macaulay rings

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).