中文摘要：

让(R， m ) 是一枚可交换的 Noetherian 本地戒指，我 R 和 M 的理想有限地产生的 R 模块。让(M/InM ) 是 ith M 关于的正式本地合作相同模块我。在这份报纸，我们讨论正式本地 cohomology 模块(M/InM ) 的一些性质，它类似于有限地产生的路得瓦的本地 cohomology 模块的有限和 Artinianness。

英文摘要：

Let （R, m） be a commutative Noetherian local ring, I an ideal of R and M a finitely generated R-module. Let limnHm^i（M/I^nM）be the ith formal local cohomology module of M with respect to I.In this paper, we discuss some properties of formal local cohomology modules limnHm^i（M/I^nM）,which are analogous to the finiteness and Artinianness of local cohomology modules of a finitely generated module.