Noether整环上的复合Groebner基

《Noether整环上的复合Groebner基》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中南大学硕士学位论文Noether整环上的复合Groebner基姓名：唐胜申请学位级别：硕士专业：计算数学指导教师：陈小松20081101摘要复合是指将多项式的每一个变元用新的多项式替换。首先，综述了Groebner基理论的形成、研究背景以及复合Groebner基理论，介绍了Groebner基理论的基础知识和相关的代数学知识。其次，介绍了国内外学者关于多项式复合与Groebner基性质的研究，并对域上Groebner基与复合，齐次复合，加权齐次复合的交换性以及域上的既约复合Groebner基作了详细介绍。本文通过引入孓多项式及合

2、冲条件，给出并证明了Noether整环上n个变元的多项式环中的Groebner基的计算与m(m>in)个变元的多项式环中的复合可交换的一个充分条件：复合与两个不同多项式环上的项序均相容并且是一组由首幂积为排列幂与排列外其余变元幂积的乘积组成的首1多项式。从而极小Groebner基的计算也与复合可交换。特别地，如果复合是与项序相容的一组首幂积为排列幂的首1多项式，Groebner基的计算与复合可交换。给出并证明了对于不同性质的项序，Noether整环上某一项序下的Groebner基的计算与另一项序下的复合可交换的一个充分条件：复合

3、是一组首幂积为排列幂的首1多项式。关键词复合，Noether整环，Groebner基，合冲条件，争多项式ABSTRACTCompositionistheoperationofreplacingvariablesinapolynomialwithotherpolynomials．First，wesumupthehistoryandthestudybackgroundofGroebnerbasis，composedGroebnerbasistheoryandintroducethebasicknowledgesofGroebnerb

4、asistheoryandtherelativeAlgebratheory．Then，wepresentthenewstudiesofscholarsoncompositionandGroebnerbasisproperties，anddetailyintroducethecommutativitybetweenGroebnerbasisandcomposition，homogeneouscomposition，weightedhomogeneouscompositionandthereducedcomposedGroebner

5、basisoverfield．ByusingS-polynomialandsyzygycondition，thispaperpresentsandprovesasufficientconditionforGroebnerbasescomputationinnvariablesinapolynomialringoverNoetheriandomainandcompositioninm沏至，z)variablesinanotherpolynomialringoverthesameNoetheriandomainiScommutati

6、ve：compositioniscompatiblewithtwotermorderingsonthetwodifferentpolynomialtingsandcompositionisalistofmonicpolynomialswithitsleadingpoweringproductsistheproductsofpermutedpoweringandpoweringproductsofotherremainedvariables．Therefore，minimalGroebnerbasescomputationiSal

7、SOcommutativewithcomposition．Especially,GroebnerbasescomputationandcompositioniScommutativeifcompositioniScompatiblewithtermorderingsandcompositionisalistofmonicpolynomialswithitsleadingpoweringproductisapermutedpowering．Then，fortermorderingsofdifferentproperties，wep

8、resentandproveasufficientconditionforGroebnerbasescomputationinapolynomialoverNoetheriandomainundersometermorderingiscommutativewit