MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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 non-Noetherian ring. Is its left global dimension ${\rm{lD}}(R)$ equal to $\sup \{ {\rm{id}}(M) \mid M \text{ is a cyclic $R$-module} \}$? Here $\rm{{id}}(M)$ denotes the injective dimension of $M$.

share|cite|improve this question
What would happen if you had an algebra of the form A\oplus B, and considered B as a cyclic module? It seems like it should have injective dimension equal to its injective dimension as a B-module. Then you could give A any properties you wanted which would transfer to A\oplus B (such as higher injective dimension and non-Noetherianness). – Greg Muller May 11 '10 at 13:36
But Greg's comment doesn't contradict anything in the question -- since there would be other cyclic modules (such as A) which would also have higher injective dimensions. – Hugh Thomas May 15 '10 at 4:09

The answer is no (in general) according to B. L. Osofsky, Global dimension of valuation rings, Corollary 3. For any $1 \leq n \leq \infty$, there are examples where $$\sup \{ {\rm{id}}(M) \mid M \text{ is a cyclic $R$-module} \}=1$$ and ${\rm{lD}}(R)=n$.

share|cite|improve this answer

Your Answer


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.