多项式复合与grobner基的性质与计算研究基础数学专业论文.docxVIP

^博士学位论文 ^ 博士学位论文 1、j 关键词：多项式环；项序；Gr6bner基；多项式复合；微分算子环；Cli舫rd 与Grassmann代数；双斜多项式环． 心 J ≯ ◆ ，‘， ，‘， 多项式复合与Gr6bner基的性质与计算研究 ABSTRACT This paper studies properties and conlputation fbr composition and Gr6bner bases． Let K[z1，z2， ，z捌be a polynomial ring in the variables z1，z2， ，otl with coe伍cient from 6eld K，e=(口1，p2，．．．，％)be a list of礼polynimials in K[z1，z2， ，zn】．composition of，(z1，z2， ，z几)by e is．厂(口1，臼2， ，如)，de— notes by，o e．Let F be a non—zero set of polynomial in jr[z1，z2， ，zn】，、ve de6ne：F e={，o e I，∈F)．wb say a subset G a Gr6bner if G is Groebner basis of Ideal(G)generated by G，say a Gr6bner basis computation commuting with composition by e if G O is Gr6bner basis for any Gr6bner basis，say a term ordering being compatible with composition if、口勿崎，g，p口=争polt(e)golt(e)． Firstly，we giVe new proof of Hong’s classical theorem，the proof is simple， and new method．After that，Ⅵ，e discuss properties and computations fbr universal Gr6bner bases、 monomial Gr6bner bases、 homogeneous Gr6bner bases、 r． homogeneous Gr6bner bases under composition．W色get equivalent conditions of monomial Gr6bner basis、 homogeneous G墒bner basis、 r_homogeneous Gr6bner basis computations commuting with composition by e．‘ 0ur results oVercome formerly sin91e studing composition and Gr6bner basis． One enrich content studing composition and Gr6bner basis．Easpecially，we take the lead in studing some Gr6bner bases under composition，this is a bigger breach． Secondly’Ⅵre study compatibilities of composition and term ordering、 ho． mogeneous compatibility of composition and term ordering、 r-homogeneous compatibility’and giVe concrete algorithmOudging method)．In this wa孔we solVed Hong’s open problem(1998)，and made abstrct algebric condition more clear，it is faVourable to j udgment and application． After that，we study oper— 童 ation of composition，and give concrete forms of composition for some common III 博士学位论文 博士学位论文 弋e term orderings． Finally，we study Gr6bner bases and membership problems of ideal fbr weyl