Lemma 10.105.6. Let $R$ be a regular local ring. Any maximal Cohen-Macaulay module over $R$ is free.
Let $M$ be a maximal Cohen-Macaulay module over $R$. Let $x \in \mathfrak m$ be part of a regular sequence generating $\mathfrak m$. Then $x$ is a nonzerodivisor on $M$ by Proposition 10.102.4, and $M/xM$ is a maximal Cohen-Macaulay module over $R/xR$. By induction on $\dim (R)$ we see that $M/xM$ is free. We win by Lemma 10.105.5.
Post a comment
Your email address will not be published. Required fields are marked.
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).