摘要

Let (R,m) be a local Noetherian ring, let M be a finitely generated R -module and let (F-center dot, partial derivative(center dot)) be a free resolution of M. We find a uniform bound h such that the ArtinRees containment (IFi)-F-n boolean AND I-m partial derivative(i+1) subset of I(n-h)Im partial derivative(i+1) holds for all integers i >= d, for all integers n >= h, and for all ideals I of R. In fact, we show that a considerably stronger statement holds. The uniform bound h holds for all ideals and all resolutions of dth syzygy modules. In order to prove our statements, we introduce the concept of Koszul annihilating sequences.

  • 出版日期2015-11-5

全文