复合是指将多项式的每一个变元用新的多项式替换.对于Noether整环上的多项式环上某个项序下的Groebner基,利用S多项式及合冲条件,证明了当复合是另一项序下的一组首幂积为幂置换的首1多项式时,Groebner基的计算与复合可以交换.
Composition is the operation of replacing variables in a polynomial with other polynomials. For Groebner basis over Noetherian domain in a polynomial ring under some term ordering, this paper proves Groebner basis computation is commutative with composition by using S-polynomials and syzygy condition if composition is a list of monic polynomials with its leading powering product is a permuted powering under another term ordering.