قضیه ی تناهی هیلبرت نشان می دهد که حلقه ی چندجمله ای متشکل از چندجمله ای های پایا، تحت گروه های متناهی ماتریسی یک حلقه ی متناهی مولد است. نشان می دهیم که این حلقه در واقع جبر مدرج کوهن-مکالی است و لذا دارای تجزیه ی به نام هیروناکا شامل پایاهای اولیه و ثانویه است. در این پایان نامه الگوریتم هایی برای محاسبه ی این پایاها برای گروه های متناهی مختلف ارائه می دهیم.

فرض کنید aیک حلقه جابجایی و b یک a-جبر و m یک b-مدول باشد. یک مشتق ازb به m نگاشت d:b→m است به طوری که d، a-خطی است و در قاعده لایبنیتز صدق می کند. مدول دیفرانسیل کیلر ω b/a یک b-مدول به همراه مشتق جهانی d است که در خاصیت جهانی صدق می کند. در این پایان نامه ابتدا به طور کامل مدول های دیفرانسیل کیلر و ویژگی های آن را مطالعه خواهیم کرد و در ادامه به بررسی ارتباط این مدول با نظریه ناتکینگی که محک ژاکوبی نامیده می شود خواهیم پرداخت