امیر مافی

فرض کنیم a ⊆ b دو ایده ال از حلقه جابجایی و نوتری R باشند و A یک مدول آرتینی باشد ثابت می کنیم برای یک عدد صحیح و نامنفی n، ∏_(p+q=n)▒〖Ann(〖Tor〗_p 〗(R/b,H_q^a (A)))⊆Ann(〖Tor〗_n (R/b,A)). و نتیجه می گیریم که اگر برای هر i < n، H_i^a (A) آرتینی باشد آنگاه a⊆Rad(Ann(H_i^a (A)). علاوه براین، ثابت می کنیم که اگر a = (x_1,…, x_n) و c=⋂_(t≥1)▒⋂_(i=0)^n▒〖Ann(〖Tor〗_i 〗(R/a^t ,A)) آنگاه c^k⊆⋂_(i=0)^(n-1)▒〖Ann(〗 H_i^a (A)) که در آن k=(n¦[n/2] ).