论文部分内容阅读
复合是指将多项式的每一个变元用新的多项式替换。首先,综述了Groebner基理论的形成、研究背景以及复合Groebner基理论,介绍了Groebner基理论的基础知识和相关的代数学知识。其次,介绍了国内外学者关于多项式复合与Groebner基性质的研究,并对域上Groebner基与复合,齐次复合,加权齐次复合的交换性以及域上的既约复合Groebner基作了详细介绍。
本文通过引入S-多项式及合冲条件,给出并证明了Noether整环上n个变元的多项式环中的Groebner基的计算与m(m≥n)个变元的多项式环中的复合可交换的一个充分条件:复合与两个不同多项式环上的项序均相容并且是一组由首幂积为排列幂与排列外其余变元幂积的乘积组成的首1多项式。从而极小Groebner基的计算也与复合可交换。特别地,如果复合是与项序相容的一组首幂积为排列幂的首1多项式,Groebner基的计算与复合可交换。给出并证明了对于不同性质的项序,Noether整环上某一项序下的Groebner基的计算与另一项序下的复合可交换的一个充分条件:复合是一组首幂积为排列幂的首1多项式。