1
$\begingroup$

I'm studying on these notes, my question in about a proof on page 63. Basically this is my question:

Suppose $R$ local noetherian of positive depth, $M$ a module of finite gorenstein dimension $n\geq1$ and of depth 0. Take an exact sequence $0\rightarrow N\rightarrow P\rightarrow M\rightarrow0$ where $P$ is totally reflexive (we can take it projective) and the Gorenstein dimension of $N$ is $n-1$. The notes claim that $\mathrm{depth}\;N=1$, why this is true? (it would be ok also if you could tell me why $\mathrm{depth}\;N\geq1$).

1 Answers 1

0

Since $P$ is projective, it is a summand, and so a subobject, of a free module. Thus $N$ is a subobject of a free module. It is also non-zero, since $M$ is not projective (being of depth $0$, while $R$ is of positive depth).

Since $R$ is of positive depth, there is a non-unit $r \in R$ which is a non-zero divisor. This element $r$ is then a non-zero divisor on any submodule of a free module, in particular on $N$. Thus depth $N \geq 1$.

  • 0
    @Chris Yes, you are right. (I think you should reformulate your question in simpler terms, by eliminating those useless references to G-dim(M), and then can post your comment as an answer cause Matt E's answer is not complete.)2012-11-15