模上的Groebner基.pdfVIP

山西师范大学学报 (自然科学版) 第29卷第 1期 JoumalofShanxiNormalUniversity V01．29 No．1 2015年 3月 NaturalScienceEdition March2015 文章编号：1009-4490(2015)0143001-05 模上的Groebner基 毛玲玲，阿不都卡的 ·吾甫 (新疆大学 数学与系统科学学院，新疆 乌鲁木齐 830046) 摘 要：Groebner基是代数中基本的计算工具之一．本文通过将Groebner基在理想上的一条性质推广 到模上，来研究模上的Groebner基．首先证明模上 的Groebner基的几个等价刻画；然后提出模上的 Groebner基的一条性质；最后，根据所提的性质以及等价刻画，讨论尺 中元素f，g的s一多项式的性质．结 果表明，所提的性质对研究模上的Groebner基是有意义的． 关键词：Groebner基 ；模；s一多项式 中图分类号：0152；0187．2 文献标识码：A 0 引言 Groebner基理论最早是由Buchberger在 1965年提出¨J．Groebner基理论主要用于代数中的约化问 题，非线性代数方程组的求解、理想描述及成员判定等问题 J．它的本质是从多变元多项式环中任意理 想的一组生成元出发，刻画和计算出一组具有 “好”性质的生成元，得到的这些生成元可帮助我们研究理 想的结构以及某些理想运算．它在数学的各个领域，特别是李代数 J、计算代数 和半群理论 等方面 都有广泛的应用．最近，模上的Groebner基吸引了很多学者． 本文中，我们根据文献 [2j中模上的Groebner基理论进行研究．首先，详细证明模上的Groebner基的 四个等价刻画．然后根据Groebner基在理想上的性质，给出一条模上的Groebner基的性质并加以证明．最 后，根据所证明的性质及所给出的等价刻画，讨论了 中元素f，g的 一多项式的性质． 1 基本概念 为了方便下面的讨论，在这一节里我们要从文献 [2]中回忆一些相关的概念和结果． 设R是一个有单位元的环，Ⅳ是非负整数集，m是一个正整数 是 的一个非零元．我们把，的 Newton图定义为 Ⅳ( = {(。，i)∈N ：c()≠0} 其中 = ×{1，…，m}．我们用 exp( =maxN(f)来表示厂的次数． 定义2．1 (模的Groebner基) 设 是尺 的一个非空左子模，G={g 一，g}是由 中的非零元 素组成的一个集合．我们称 G是 的Groebner基，如果下面等式成立 ： t Exp(M)=U．(exp(g)+ ) 其中Exp(M)= {exp(f)：O≠f∈M}． 收稿 日期：2014-10-20 项 目资助：国家 自然科学基金面上项 目资助 ． 作者简介：毛玲玲(1989一)，女，甘肃天水人 ，新疆大学数学与系统科学学院硕士研究生 ，主要从事代数方面的研究． 通讯作者：阿不都卡的 ·吾甫(1963一)，男，维吾尔族，新疆乌鲁木齐人，新疆大学数学与系统科学学院教授，博士 ，主要从 事代数方面的研究． 山西师范大学学报 (自然科学版) 2015钲 定义2．2 (一多项式)心 设_厂，g是R 的非零元，且exp(f)=(，i)，exp(g)=(JB，)，f。(-厂)=c()， 1(g)=d(口，)， ∈N 且 = V ，贝0称 spc-厂，g=兰{一—6—g 为 与g的s一多项式，其中0=g-1 (cT(-a)～，b=q-I口(d ))-1．