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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a commutative Noetherian local ring with maximal ideal $\mathfrak m$.

Is it true that the projective dimension of $R/\mathfrak m$ is finite knowing that its injective dimension is finite? If yes, why?!?

I would need this to prove something else but I'm not sure I can use it. Can you help me please?


share|cite|improve this question

marked as duplicate by YACP, Alexander Gruber, Sasha, rschwieb, Norbert Feb 24 '13 at 10:52

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Maybe the "global dimension theorem" will help. cf. Weibel... haven't thought about this though, but that's just where I'd look first. – Dylan Wilson Mar 29 '12 at 17:35

If $\operatorname {injdim} (k)\lt \infty$, then $R$ is regular : this is stated as exercise 3.1.26 of Bruns-Herzog's Cohen-Macaulay rings.
From this follows from Serre's theorem that $R$ has finite global dimension and then of course this implies that $k$, like all $R$-modules, has finite projective dimension.

share|cite|improve this answer
No need to use Serre's Theorem: use exercise 3.1.25 from the same book. – user26857 May 23 '12 at 20:37

This answer answers a different question than what was asked...

The global dimension of a local ring $R$ coincides with the projective dimension of its residue field $R/\mathfrak m$. If the latter is finite, then the former is of course finite and it follows that the injective dimension of all modules is finite.

share|cite|improve this answer
I am using the basic fact that the global dimension of a ring is simultaneously the supremum of the projective dimensions of its modules and the sumpremum of the injective dimension of its modules. This is proved in any textbook about homological algebra. – Mariano Suárez-Alvarez Mar 29 '12 at 17:38
I think I don't get your hint. The residue field has finite injective dimension and I would like to prove that also its projective dimension is finite... – user11428 Mar 29 '12 at 17:53
just to make sure I understand correctly: this answers the converse of the question asked, right? – robjohn Feb 23 '13 at 9:06

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