论文部分内容阅读
对于Noether整环上n个变元的多项式环中的Groebner基以及m(m≥n)个变元的多项式环中的复合,通过引入S-多项式及合冲条件,证明了当复合与2个不同多项式环上的项序均相容并且是一组由首幂积为幂置换与置换外其余变元幂积的乘积组成的首1多项式时,Groebner基的计算与复合可交换.从而在此条件下,极小Groebner基的计算也与复合可交换.特别地,当m=n时,如果复合是与项序相容的一组首幂积为幂置换的首1多项式,Groebner基的计算与复合可交换.