论文摘要
多项式等式系统经常具有对称性,而用于求解多项式方程组的Buchberger算法忽略了这种对称性,因此需要我们对它进行改进。本文以线性表示理论和不变量理论为基础,针对一般的置换群和Abelian置换群分别给出了求解基本不变量的方法,再利用文献[1]中的算法求得一个保持所有对称性的Gr(o|¨)bner基,从而达到对原算法进行改进的目的。对于一般的置换群,本文利用不变量理论以求得一组次数最低的主不变量和对应的次不变量。然而这样求得的基本不变量个数一般偏多,本文再利用求理想基的方法来减少基本不变量的个数。若给出的置换群还是一个Abelian群,则我们可以利用线性表示理论求得一个变量变换。对于变换后的群,我们能找到一组个数最少的基本不变量。若给出的置换群不是一个Abelian群,则我们可以在这个群中,找一个Abelian子群,因此同样可以用上述方法。但是这样做,使得群中的元素减少了,从而不能达到充分利用对称性进行求解的目的。本文还对线性表示理论和不变量理论给出了一个简短的介绍。我们可以利用Maple中的Groebner程序包对上述两种求基本不变量的方法进行实现(见附录B、C)。