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 $F:\mathcal{C}\rightarrow \mathcal{D}$ be a functor between abelian categories. Could anyone explain what the cohomological dimension the functor $F$ is?

We may need some additional condition to define cohomological dimension. I am mostly interested in the case when both $\mathcal{C}$ and $\mathcal{D}$ are abelian categories of modules over some rings.

share|improve this question
I guess you want $F$ to be left exact so that you can take its right derived functors. What's wrong with the usual definition as "the least number $d$ such that $R^n F (A) = 0$ for all $n > d$ and all objects $A$"? –  Zhen Lin Aug 2 '12 at 10:41
For example, I would like to see the case where $F:\mod(A)\rightarrow \mod(A)$ given by taking $M\mapsto \mathrm{tor}(M)$ where $\mathrm{tor}(M)$ stands for torsion part of $M$. Let me think a bit. –  Michel Aug 2 '12 at 16:23

Your Answer


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

Browse other questions tagged or ask your own question.