logo_acta

Acta Mathematica Vietnamica

A NOTE ON THE FINITENESS PROPERTY RELATED TO DERIVED FUNCTORS

AMIR MAFI, HERO SAREMI

Abstract

Let R be a commutative Noetherian ring, a an ideal of R, and M,N two finitely generated R-modules. Let t be a non-negative integer. It is shown that for any finitely generated R-module L with Supp(L)Supp(M), the following statements hold:

(i) Supp(ExtRt(L;N))i=0tSupp(ExtRi(M;N));

(ii) Ass(ExtRt(L;N))Ass(ExtRt(M;N))(i=0t1Supp(ExtRi(M;N))).

As an immediate consequence, we deduce that if Supp(Hai(N)) or Supp(Hai(M;N)) is finite for all i<t, then the set nNAss(ExtRt(M/anM,N)) is finite. In particular, if grade(a,N)t then the set  Ass(ExtRt(M/anM,N)) is finite.