n یک حلقهی نابدیهی جابجایی، یکدار و نوتری باشد. فرض کنید R فرض کنید مدول دلخواه باشد. R یک M و dim( R I ) n + با شرط 1 R ایدهآلی از I صحیح نامنفی و در این پایاننامه نتایج زیر را ثابت میکنیم. و HomR( R I ;M) مدولهای R تابدار باشد بهطوریکه I مدول R یک M اگر (i) هم (I; FD