Lemma 47.20.3. Let $A$ be a Noetherian ring. If there exists a finite $A$-module $\omega _ A$ such that $\omega _ A[0]$ is a dualizing complex, then $A$ is Cohen-Macaulay.

Proof. We may replace $A$ by the localization at a prime (Lemma 47.15.6 and Algebra, Definition 10.104.6). In this case the result follows immediately from Lemma 47.20.2. $\square$

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).