Lemma 47.20.5. Let $A$ be a Noetherian ring. If $A$ has a dualizing complex $\omega _ A^\bullet$, then $\{ \mathfrak p \in \mathop{\mathrm{Spec}}(A) \mid A_\mathfrak p\text{ is Cohen-Macaulay}\}$ is a dense open subset of $\mathop{\mathrm{Spec}}(A)$.

Proof. Immediate consequence of Lemma 47.20.4 and the definitions. $\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).