Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be a ring and $M$ an $R$-module then

inj dim $M\leq i\in\mathbb{N}$ if and only if $\mathrm{Ext}^{i+1}(N,M)=0$ for every cyclic module $N$.

The implication from left to right is obvious, I'm finding some difficulties in proving the other implication. In case we need it I think we can suppose $M$ finitely generated and $R$ noetherian. Do you have any suggestions fot the implication I'm missing?

share|improve this question
    
This reminds me of Baer's criterion. –  Jack Schmidt Oct 3 '12 at 2:02
1  
At any rate, use Schanuel's lemma to do "dimension shifting", and it should follow from Baer's criterion. An outline is in Lam section 5C, but this specific result is not there. –  Jack Schmidt Oct 3 '12 at 3:53
    
thank you, that helped, I posted an answer following you suggestions, hope it's right. –  Chris Oct 3 '12 at 9:17
add comment

1 Answer

up vote 2 down vote accepted

Consider the following exact sequence:

$0\rightarrow M\rightarrow I^0\rightarrow I^1\rightarrow\cdots\rightarrow I^{i-2}\rightarrow I^{i-1}\rightarrow M^\prime\rightarrow0$

where the $I^j$'s are injectives and $M^\prime=\mathrm{coker}(I^{i-2}\rightarrow I^{i-1})$. Then by dimension shifting $0=\mathrm{Ext}^{i+1}(N,M)=\mathrm{Ext}^1(N,M^\prime)$. So if $N=R/J$ then the exact sequence $0\rightarrow J\rightarrow R\rightarrow R/J\rightarrow 0$ yields an exact sequence

$0\rightarrow\mathrm{Hom}(R/J,M^\prime)\rightarrow\mathrm{Hom}(R,M^\prime)\rightarrow\mathrm{Hom}(J,M^\prime)\rightarrow0$ (because $\mathrm{Ext}^1(N,M^\prime)=0$). So by Baer's criterion $M^\prime$ is injective (because $\mathrm{Hom}(R,M^\prime)\rightarrow\mathrm{Hom}(J,M^\prime)$ is surjective for every ideal $J$).

share|improve this answer
    
Looks good to me. :-) –  Jack Schmidt Oct 3 '12 at 10:49
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.