در این پایان نامه فرض می کنیم r یک حلقه جابجایی، نوتری و i ایده آلی از r و m وn ، -rمدول های غیر صفر باشند. نشان می دهیم که اگر m، -iهم متناهی،n با تولید متناهی و dimn?2 باشد، آنگاه برای هرi?0 ،(n,m) ? ext?_r^iیک -rمدول -iهم متناهی است. بعلاوه نشان میدهیم که اگرdimm?1 ، آنگاه برای هر i?0،-r مدول (n,m) ?ext?_r^i ، -iهم متاهی است. اگرi ایده آلی از r با بعد 1 باشد، یعنی1 dimr/i=، آنگاه برای هر i?0...