零维理想的正则列

求一个多元多项式环的理想的正则列是非常重要和困难的问题。在字典序下,一个零维理想的Gr bner基中含有一个极大正则列,并且这个正则列是与顺序没有关系的。零维理想正则列的求出建立在Gr bner基的可计算性和首项理想的根理想的准素分解算法上。