Cofiniteness of weakly Laskerian local cohomology modules
Let I be an ideal of a Noetherian ring R and M be a finitely generated R-module. We introduce the class of extension modules of finitely generated modules by the class of all modules T with dimT≤n and we show it by FD≤n where n≥−1 is an integer. We prove that for any FD≤0(or minimax) submodule N of HIt(M) the R-modules HomR(R/I,HIt(M)/N)andExtR1(R/I,HIt(M)/N) are finitely generated, whenever the modules HI0(M), HI1(M), ..., HIt−1(M) are FD≤1 (or weakly Laskerian). As a consequence, it follows that the associated primes of HIt(M)/N are finite. This generalizes the main results of Bahmanpour and Naghipour, Brodmann and Lashgari, Khashyarmanesh and Salarian, and Hong Quy. We also show that the category FD1(R,I)cof of I-cofinite FD≤1 ~ R-modules forms an Abelian subcategory of the category of all R-modules.