可解多项式代数上的泛左Grbner基

设I是可解多项式代数A=Ka_1,…,a_n]的一个非零左理想,由可解多项式代数上的左Grbner基性质,可知A中任何一个左理想对于一个单项式序的左Grbner基不一定满足另一个单项式序.首先证明了在B上的任意2个单项式序1,2下,g={g1,g2,…,gt}是I在1下的左Grbner基,若LM1(gi)=LM2(gi),1≤i≤t,那么g={g1,g2,…,gt}也是I在2下的左Grbner基;其次证明了I在A上的所有单项式序(可能无限个)下只有有限个约化左Grbner基;最后证明了A中的一个子集F,对于其上的任何一个单项式序,都是I的左Grbner基,子集F就是A的泛左Grbner基.