فرض کنید r حلقه چندجمله ایها با n متغیر روی میدان k بوده و i ایده آل منومیالی ازrباشد که همه مولدهای iدارای درجه یکسانی هستند . ایده آل منومیالi مجموعه مولد g(i) را یک ایده آل پلی مترویدال می نامند هرگاه به ازای هردو منومیال
$~ x^{ u_{r}} = x^{ a_{1}} cdots x^{ a _{ n }} ~$ و $ x^{ u _{ t }} = x^{ b _{ 1 }} cdots x^{ b _{ n }} $ از$ ~gleft( i
igh...