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

第 3O卷 第 4期 湘 潭 大 学 自 然 科 学 学 报 Vo1．3ONo．4 2OO8年 12月 NaturalScienceJournalofXiangtanUniversity Dec．2OO8 N0ether整环上不同项序下的复合 Gr0ebner基 陈小松 ， 唐 胜 (中南大学 数学科学与计算技术学院，湖南 长沙 4lo083) [摘要] 复合是指将多项式的每一个变元用新的多项式替换．对于 Noether整环上的多项式环上某个项序下的Gr0eb— ner基 ，利用S 多项式及合冲条件 ，证明了当复合是另一项序下的一组首幂积为幂置换的首 1多项式时，Gr0ebner基 的 计算与复合可以交换． 关 键 词：Noether整环 ；复合Groebner基l项序}s 多项式；合冲条件 中图分类号 ：0153．3 文献标识码 ：A 文章编号 ：100O一59OO(2008)04一O001—05 C0mp0sedGr0ebnerBasis0verN0etherian D0main underDifferentTerm orderings CHEN X D-s0g ． NGS^Pg (Col1egeofMathematica1SciencesandC0mputationa1Techn0logy．CentralSouthUniversity．Changsha41O083China) 【Abstract】 Compositionistheoperationofreplacingvariablesinapolynomialwithotherpolynomia1s．For GroebnerbasisoverNoetheriandomaininapolynomialringundersometerm ordering，thispaperproves Groebnerbasiscomputationiscommutativewithcompos．tionbyusing po1yn0mialsandsyzygyconditi0nif compositionisalistofmonicpolynomialswithitsleadingp0wering productisapermutedpoweringunder anotherterm ordering． Keywords： noetheriand0main；composedGmebnerbasis；term 0rdering； polyn0mial；syzygycondition 近十年来 ，Groebner基理论研究有 了一些新进展并在科学计算等领域得到广泛的应用L1]，与 Groebner基相关的许多问题的研究已受到重视．文献[6～14]讨论了复合 Groebner基，也称作 Groeb— ner基计算与复合可交换．这里复合是指将多项式的每一个变元用新的多项式替换．H0OnHong在文 献[7]中给出了域上 Groebner基计算与复合可交换的一个充要条件．由于项序的转化直接影响Groeb— ner基计算的效率[1¨]，因此，不同项序下 Gr0ebner基的计算是否与复合可交换也是值得认真考虑 的．HoonHong在文献[6]中研究了域上不同项序下Groebner基计算与复合的交换性并得到可交换 的一个充分条件．与域的情形不同，由于环上计算 Groebner基时多项式的首项是利用合冲模消去的， 这使得域上 Groebner基计算与复合的交换性的证明方法在环上不能适用．对于环R上的关于变元 。， … ，z 的多项式环R[z 一，z]及其一个理想 J，设 G为某个项序下理想J的Groebner基 ，@一 (·， … ， 是R[ ．．’z]中一组关于变元 ，…，z 的多项式，那么G。@是否为 J。@在另一项序下的 Groebner基呢?本文考虑Noether整环上的多项式环 R[ 一，z]上某个项序下的Groebner基，通 过引入 多项式及合冲条件 ，证明了当复合是R[z。，…，z]上另一项序下的