Lemma 47.20.5 (0EHT)—The Stacks project

Processing math: 100%

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$

Comments (0)

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

Comments (0)

Post a comment