FINITENESS PROPERTIES OF FORMAL LOCAL COHOMOLOGY MODULES

Let a be an ideal of Noetherian local ring (R;m), M a finitely generated R-module. In this paper, we prove some results concerning finiteness of formal local cohomology modules. In particular, we investigate some properties of top formal local cohomology module FdimM=aM a (M). Among other things, we determine AttR(FdimM=aM a (M)), in the case that FdimM=aM a (M) is an artinian R-module. Also, we show that FdimM=aM a (M) is an artinian R-module if and only if it is minimax.