فرض کنید i یک ایده آل از حلقه جابجایی موضعی نوتری (r,m)، m یک r-مدول متناهی مولد و برای عدد نامنفی i، (f_i^i(m نشان دهنده i-امین مدول کوهمولوژی موضعی صوری m نسبت به ایده آل i باشد . در این پایان نامه بعضی نتایج مربوط به ویژگی های متناهی بودن و آرتینی بودن مدول های کوهمولوژی موضعی صوری را ثابت می کنیم; که نشان می دهد این مدول ها شبیه مدول های کوهمولوژی موضعی رفتار می کنند . به علاوه ثابت می کنیم اگر dim r ? 2 یا i اصلی و یا dim(r/i)?1 آنگاه((tor_j^r(r/i,f_i^r(m به ازای هر iو j آرتینی است .