فرض کنیم(r,m) یک حلقه موضعی نوتری ،i یک ایده آل r و m یک r-مدول متناهی مولد باشد با dimm=d .واضح است که اگرr کامل باشد بنا به دوگان ماتلیس،آن گاه مدول کوهمولوژی موضعی h_i^d (m) ویژگی زیر را دارد:
به ازای هر ایده آل اول ??"ann" ?_"r" "h" ?_"i" ^"d" ("m" )?p داشته باشیم: ?ann?_r (0:_(h_i^d (m) ) p)=p (*)
علاوه براین، مدول کوهمولوژی موضعیh_i^d (m) در حالت کلی ویژگی(*) را ندارد.در این پایان نامه ...