城，环，模上Grobner基的性质和算法.pdfVIP

摘要 计算方法和应用问题． 关键词：单项式序；Grobner基；buchberger算法；强可计算环； II 目录 中文摘要……………………………………………………………．． ● 英文摘要……………………………………………………………．． Ⅱ 目 录……………………………………………………………．． m 引言…………………………．…．…………………………………。． ， 正文…………………………………………………………………． 2 第一章理论基础………………．．．…………………………………… 2 3 第二章域，环，模上Grobner基……………………………………… 怕 第三章Grobner基的计算与应用………………………………………． 参考文献……………………………………………………………．． 篮 致 谢……………………………………………………………．． 船 III 引 言 在本文中，第1章给出了多项式中领项，领式，领项系数的定义以及四种不同的单项式序， 基在域上的一般定义，然后又给出环上Grobner基的定义，引出了强可计算环，极小元，第一 Grobner基的一些性质与证明．在第3章中本文列举了Grobner基的算法一些应用． 1 东北师范大学硕士学位论文 第一章理论基础 1．1多项式 定义1．1．1领项．领式．领项系数 对于一个非零多项式 ． ，(z)=aox竹+alx钾一1+…+a∞， 项系数，记做LC(f)=ao：叫3-”为领项，记做LM(f)=扩，并有 LT(f1=LM(f)LC(f)． 例1．1．1 ，=3x4．4-2x3-t-5j 的领项是LM(f)=X4．领项系数LC(f)=3，领式是 LT(f)=LM(f)LC(I)=3x4． 定义1．1．2对于给定的环A中的三个多项式，，g．h，其中g≠0，我们说，模g一步约化为 用，Sh表示，当且仅当LT(g)是，中某一非零单项式x的因子，并且 九=，一历X丽9． 个约化过程，就是将，中的一个项用严格比它小的和来代替． 例1．1．2 ，=z}z2+z1． 2 g Xl+X2． 项序为olX2的字典序，那么我们有 ，三h=，一XlX29=z1一Xlz；． 我们说f模F约化为h．用，二+h．当且仅当以下式成立： ，互h1垒h2一…互h后：h． 2 东北师范大学硕士学位论文 其中对J=1，2…．．七，^f∈Fhi，∈A． r模F不能约化，即LTl(yi)中的任何一项都不会在r中出现幂积的因子，则称多项式r相对 于F是既约的．如果，三+r和r相对F是既约的，则称r为，相对F的剩余多项式或余多 项式，有时也称r为，的余多项式或，的剩余． 1．2单项式序 集合中必有””关系下的最小元素． 的，我们就写为zoz。霉z启或者nk口 例1．2．2 (1，2．3)(0．4，5)因为。