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