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 (F(R), Cot(R)) be a cotorsion theory, Such that F(R) is the class of flat R-modules and Cot(R) the cotorsion modules. Why this is true that, For $ N\in Cot(R) $, $ \text{Ext}_{F(R)}^i(M, N)\cong \text{Ext}_R^i(M, N) $.

share|cite|improve this question
Please detail the question! What do you mean by ${\rm Ext}^i_{F(R)}(M,N)$? Usually for constructing Ext-functors one needs an abelian category. – George C. Modoi Apr 30 '13 at 17:05
This means that we should take a flat resolution of M, Instead of a projective resolution of that M. – Max May 5 '13 at 9:10
If one takes flat instead of projective resolutions then we are lead to another concepts. For example instead projective dimension we have weak dimension. To be more precise the weak dimension of a ring $R$ is the largest number $i$ such that ${\rm Tor}^i_R(M,N)=0$ (or infinite is such a number does't exist). Sure every projective resolution is also a flat resolution so the weak dimension is smaller (or equal) that the projective one, but they can differ. – George C. Modoi May 8 '13 at 14:36

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.