2
$\begingroup$

I need to prove the following statment (actually a special case of it).

Let $R$ be a Noetherian ring, $M$ a finite $R$-module and $I$ an ideal of $R$. Then $\operatorname{grade}(I,M)\geq 2$ if and only if the homomorphism $M\rightarrow$Hom$_R(I,M)$ given by $m\mapsto(i\mapsto im)$ is an isomorphism.

This is Exercise 1.2.24 in Bruns and Herzog, Cohen-Macaulay Rings.

$\endgroup$
2
  • $\begingroup$ What is $\mathrm{grade}(I,M)$? $\endgroup$ Commented Jan 26, 2011 at 19:24
  • $\begingroup$ It's the length of a maximal regular sequence of $M$ contained in $I$. $\endgroup$ Commented Jan 26, 2011 at 20:27

1 Answer 1

6
$\begingroup$

Use the long exact sequence in Ext from the ses $$ 0 \to I \to R \to R/I \to 0,$$ leading to $$ 0 \to \hom(R/I, M) \to \hom(R, M) \to\hom(I,M) \to \mathrm{Ext}^1(R/I, M) \to 0,$$ because $R$ is projective. It is known that depth (or grade) can be measured in terms of Exts, and in particular that it is at least 2 if the two ends of the sequence vanish. But this is equivalent to the condition that $\hom(R, M) \to \hom(I,M)$ be an isomorphism.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .