Local cohomology, cofiniteness and homological functors of modules
Let be an ideal of a commutative Noetherian ring . It is shown that the -modules are -cofinite for all finitely generated -modules and all if and only if the -modules and are -cofinite for all finitely generated -modules , and all integers .