K(■)上可解多项式代数中左Grbner基的计算

给定域K的单代数扩域K(■)上可解多项式代数A=K(■)[a1,…,an],设A的子代数A0=K[a1,…,an]是K上可解多项式代数.通过考察A与多项式代数A0[x]之间的结构关系,给出将A中左Grbner基的计算转换为A0[x]中左Grbner基计算的有效方法.

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

设I是可解多项式代数A=K[a_1,…,a_n]的一个非零左理想,由可解多项式代数上的左Grbner基性质,可知A中任何一个左理想对于一个单项式序的左Grbner基不一定满足另一个单项式序.首先证明了在B上的任意2个单项式序<1,<2下,g={g1,g2,…,gt}是I在<1下的左Grbner基,若LM<1(gi)=LM<2(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基.