Homology of artinian and Matlis reflexive modules, I
Abstract
Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following: (a) if L is artinian and L' is noetherian, then Hom_R(L,L') has finite length; (b) if L and L' are artinian, then the tensor product L \otimes_R L' has finite length; (c) if L and L' are artinian, then Tor_i^R(L,L') is artinian, and Ext^i_R(L,L') is noetherian over the completion \hat R; and (d) if L is artinian and L' is Matlis reflexive, then Ext^i_R(L,L'), Ext^i_R(L',L), and Tor_i^R(L,L') are Matlis reflexive. Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2010
- DOI:
- 10.48550/arXiv.1010.1278
- arXiv:
- arXiv:1010.1278
- Bibcode:
- 2010arXiv1010.1278K
- Keywords:
-
- Mathematics - Commutative Algebra;
- Primary 13D07;
- 13E10;
- Secondary 13B35;
- 13E05
- E-Print:
- 24 pages