On the cofiniteness of Artinian local cohomology modules

Abstract

Let [Formula: see text] be a commutative Noetherian local ring, which is a homomorphic image of a Gorenstein local ring and [Formula: see text] an ideal of [Formula: see text]. Let [Formula: see text] be a nonzero finitely generated [Formula: see text]-module and [Formula: see text] be an integer. In this paper we show that, the [Formula: see text]-module [Formula: see text] is nonzero and [Formula: see text]-cofinite if and only if [Formula: see text]. Also, several applications of this result will be included.