بررسی ویژگی ها و انژکتیو بودن مدول (ld(m و نتایج آن

فرض کنیم  a یک حلقه نوتری و d یک عدد صحیح نامنفی باشد. برای هر عدد صحیح نامنفی i و هر -a مدول –i ,m امین –d کوهمولوژی مدول  hⁱ_d(m)=lim extⁱ_a(a/α,m) که در آن σ  مجموعه تمام ایده آل هایی مانند α از a  با ویژگی dim(a/α)≤d است را تعریف و بعضی از ویژگی های آن را بیان و اثبات می کنیم.