Grobner基的一个应用.pdf

第 17卷第 1期 高 等 数 学 研 究 Vo1．17，No．1 2014年 1月 STUDIESIN C0LLEGE MATHEMATICS Jan．，2014 DOI：10．3969／j．issn．1008——1399．2014．01．015 Gr6bner基的一个应用 王 羡，马文超，周建洋 (中国矿业大学 理学 院，江苏 徐州 221116) 摘 要 固定一个项序，利用Buchberger算法求多项式环S— C[z，2，…，z]上的理想J的Gr6bner基．根 据 s上任意多项式f(x ，Xz，…，z)用 Gr6bner基表示时其余项唯一的特点，将其应用到求解多项式方程组问题． 实例展示用 Gr6bner基可证 明一个联立方程式是无解的． 关键词 理想；S一多项式；Grbbner基 中图分类号 O151．1 文献标识码 A 文章编号 1008—1399(2014)01—0050—04 AnApplicationofGr6bnerBases WANGXian， MA W enchao， ZHOU Jianyang (SchoolofSciences，ChinaUniversityofMiningandTechnology，Xuzhou221116，PRC) Abstract： W ith a fixed monomialordering，usingBuchberger algorithm ，we can find the Gr6bnerbasesofidealIofpolynomialringS— C[z1，372，…，z]．Sincethereminderofany polynomialf(Xl，X2，… ，z)onS isuniquewhenexpressedbyGrObnerbases，wecanapply Grbbnerbasestoproblemsrelated topolynomialequations．A system ofpolynomialequations whichhasnosolution isshownasanexample． Keywords： ideals，S-polynomial，GrObnerbases 1964年 H．Hironaka在研究奇性分解时引进 了 科学界等领域研究人员的重视 [3_． 多元 多 项 式 的 除 法 算 法[1]． 几 乎 同 时 期 ， 本文利用 Gr6bner基证明一个联立方程式无解． B．Buchberger利用除法算法系统地研 究 了域上 多 1 预备知识 元多项式环的理想生成元 问题_2]．他 的基本思想是 在单项式的集合中引入保持单项式的乘法运算的全 设C 为复数域，S— C ，z。，…， ]为多项 序 ，称之为项序．为保证多项式相除后所得的余项唯 式环 ，Mon(S)==={ …x9 ·：I口∈ ≥。}为 S 一 ， 他引进了S一多项式，给出了一种算法，使得对多 的全体单项式集合． 项式环 中任意给定的理想 ，从它 的一组生成元 ，可计 定义 1 设 J S，如果 满足 算得到一组特殊 的生成元 ，即现在通常所称 的 (1)Vf，g∈J，有 +g ∈J． Gr6bner基 ，也有称之为标准基．利用Gr6bner基，理 (2)对于 ，∈ j，^∈S有 ∈I． 想成员 的判 断及许 多 问题都可得 到解 决．因此 ， 则称 J为S的一个理想． Gr6bner基的出现，不仅受到代数学界人士的重视 ，