A NOTE ON THE FINITENESS PROPERTY RELATED TO DERIVED FUNCTORS
AMIR MAFI, HERO SAREMI
Abstract
Let be a commutative Noetherian ring, an ideal of , and two finitely generated -modules. Let be a non-negative integer. It is shown that for any finitely generated -module with , the following statements hold:
(i) ;
(ii) .
As an immediate consequence, we deduce that if or is finite for all , then the set is finite. In particular, if then the set is finite.