Noether整环上不同项序下的复合Groebner基

复合是指将多项式的每一个变元用新的多项式替换.对于Noether整环上的多项式环上某个项序下的Groeb-ner基,利用S-多项式及合冲条件,证明了当复合是另一项序下的一组首幂积为幂置换的首1多项式时,Groebner基的计算与复合可以交换.

Noether整环上的齐次复合Groebner基

复合是指将多项式的每一个变元用新的多项式替换.对于Noether整环上的多项式环,如果复合与项序相容并且是一组首幂积为排列幂的首1齐次多项式,那么Noether整环上齐次Groebner基计算与齐次复合可交换.

Noether整环上的复合Groebner基

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

中国剩余定理在交换环上的推广

通过对交换环相关理论的研究,给出了中国剩余定理在交换幺环、不一定含单位元的交换环和Dedekind整环上的几种推广形式,并得到了在交换环上同余方程组有解的充要条件.