Let be a commutative Noetherian ring, and let be a proper ideal of . Let be a non-zero finitely generated -module with the finite projective dimension . Also, let be a non-zero finitely generated -module with , and assume that is the greatest non-negative integer with the property that , the -th local cohomology module of with respect to , is non-zero. It is known that , the -th generalized local cohomology module of and with respect to , is zero for all . In this paper, we obtain the coassociated prime ideals of . Using this, in the case when is a local ring and is equal to the dimension of , we give a necessary and sufficient condition for the vanishing of which extends the Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules.

生成讲解博客的中文版本

生成AI智能校验的中文版本