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) $.
3
-
$\begingroup$ 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. $\endgroup$– George C. ModoiCommented Apr 30, 2013 at 17:05
-
$\begingroup$ This means that we should take a flat resolution of M, Instead of a projective resolution of that M. $\endgroup$– MaxCommented May 5, 2013 at 9:10
-
$\begingroup$ 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. $\endgroup$– George C. ModoiCommented May 8, 2013 at 14:36
Add a comment
|