亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        多元多項(xiàng)式的最大公因式

        2016-06-05 14:21:23劉金旺何秀秀
        懷化學(xué)院學(xué)報(bào) 2016年11期
        關(guān)鍵詞:公因式消元單項(xiàng)式

        劉金旺,何秀秀

        (湖南科技大學(xué)數(shù)學(xué)與計(jì)算科學(xué)學(xué)院,湖南湘潭411201)

        多元多項(xiàng)式的最大公因式

        劉金旺,何秀秀

        (湖南科技大學(xué)數(shù)學(xué)與計(jì)算科學(xué)學(xué)院,湖南湘潭411201)

        主要討論多項(xiàng)式環(huán)上兩個(gè)多元多項(xiàng)式的最大公因式的求解問題,通過探討理想的交、最大公因式和最小公倍式三者之間的關(guān)系,采用Gr?bner基的理論和方法,總結(jié)出理想的交與最小公倍式之間的關(guān)系,進(jìn)而給出求解最大公因式的有效方法與算法,最后給出具體實(shí)例說明該方法的可行性.

        多元多項(xiàng)式;多元多項(xiàng)式環(huán);最大公因式

        1 引言

        多項(xiàng)式理論是代數(shù)學(xué)的重要內(nèi)容,尋找兩個(gè)多項(xiàng)式的最大公因式問題是多項(xiàng)式理論中非常困難的問題.求解兩個(gè)一元多項(xiàng)式的最大公因式一般是先把兩個(gè)多項(xiàng)式分解成一些不可約多項(xiàng)式的乘積,我們知道分解因式特別困難.目前,已有不少學(xué)者對(duì)其進(jìn)行了較多的研究,關(guān)于一元多項(xiàng)式的最大公因式問題得到了一些較好的結(jié)果,常用的方法有毆幾里德算法,系數(shù)矩陣的初等變換法等,都從不同的角度對(duì)其進(jìn)行了研究.但是,對(duì)于多元多項(xiàng)式的最大公因式問題并沒有得到比較好的解決,而且有關(guān)這方面的理論也比較少.其中,文獻(xiàn)[2]討論了兩個(gè)二元多項(xiàng)式的最大公因式的存在性,并且給出了相應(yīng)的證明,也得出一系列性質(zhì).文獻(xiàn)[3]對(duì)兩個(gè)二元多項(xiàng)式的最小公倍式進(jìn)行了探討,也得出相應(yīng)的結(jié)論.文獻(xiàn)[5]討論了多元多項(xiàng)式可約性的相關(guān)性質(zhì).

        本文主要致力于研究兩個(gè)多元多項(xiàng)式最大公因式問題,通過引進(jìn)Gr?bner基的理論與方法,探討理想、最小公倍式、最大公因式三者之間的關(guān)系,給出尋找最大公因式的有效方法和算法.

        本文主要是在多元多項(xiàng)式環(huán)k[x1,…,xn]上進(jìn)行探討,下面給出相關(guān)的定義:

        定義1[1]設(shè)f(x1,…,xn),g(x1,…,xn),h(x1,…,xn)∈k[x1,…,xn],如果h(x1,…,xn)滿足:

        (1)h(x1,…,xn)整除f(x1,…,xn),g(x1,…,xn);

        (2)如果p(x1,…,xn)是f(x1,…,xn),g(x1,…,xn)的公因式,則p(x1,…,xn)整除h(x1,…,xn).則稱h(x1,…,xn)是f(x1,…,xn),g(x1,…,xn)的最大公因式,記作GCD(f(x1,…,xn),g(x1,…,xn)).

        定義2[1]設(shè)f(x1,…,xn),g(x1,…,xn),h(x1,…,xn)∈k[x1,…,xn],若h(x1,…,xn)∈k[x1,…,xn]滿足:

        (1)f(x1,…,xn),g(x1,…,xn)整除h(x1,…,xn);

        (2)h(x1,…,xn)整除f(x1,…,xn),g(x1,…,xn)的每個(gè)公倍式.則稱h(x1,…,xn)是f(x1,…,xn),g(x1,…,xn),的最小公倍式,記作LCM(f(x1,…,xn),g(x1,…,xn)).

        定義3[1]設(shè)其中I是有限集,令表示f(x1,…,xn)中出現(xiàn)的所有單項(xiàng)式的集合,令中所有項(xiàng)的集合.假設(shè)≤是T上的單項(xiàng)式序,對(duì)于非零的多項(xiàng)式f∈k[x1,…,xn],稱(T(f),≤)中的最大項(xiàng)為f的首項(xiàng),用HT(f)表示;稱(M(f),≤)中的最大項(xiàng)為f的首單項(xiàng)式,用HM(f)表示;首單項(xiàng)式HM(f)的系數(shù)稱為首系數(shù),用HC(f)表示.顯然有HM(f)=HC(f)HT(f).

        定義4[1]對(duì)于固定的單項(xiàng)式序,非零理想I?k[x1,…,xn]的有限子集G={f1,f2,…,ft)稱為I的Gr?bner基,如果他們滿足

        定義5[1]設(shè)G是理想I的Gr?bner基,如果G滿足下列條件:

        (1)?f∈G,HC(f)=1;

        (2)對(duì)任意f∈G,f模G{f}是不可約的.

        則稱G是I的既約Gr?bner基.

        定義6[1]設(shè)J=<f1,f2,…,fs>?F[x1,…,xn],則第m個(gè)消元理想Jm是F[xm+1,…,xn]中的理想,記為Jm=J∩F [xm+1,…,xn],消元理想Jm包含了方程組f1=f2=…=fs=0消去變?cè)獂1,…,xk后所能推出的所有多項(xiàng)式.

        定義7[1]對(duì)于i≠j有如下記法:

        2 主要結(jié)論

        首先給出相關(guān)引理以及計(jì)算理想的交的基本算法:

        引理1[1]設(shè)I1,I2,…,Im是多項(xiàng)式環(huán)k[x1,…,xn]上的理想,令y1,…,ym是一組新的變?cè)?,在多?xiàng)式環(huán)k[y1,y2,…,ym,x1,x2,…,xn]上定義理想

        其中k[y1,y2,…,ym,x1,x2,…,xn]上的單項(xiàng)式序?yàn)樽值湫?,滿足

        引理2[1]設(shè)J?F[x1,…,xn]是一個(gè)理想,設(shè)G是理想J的Gr?bner基,單項(xiàng)式序是字典序,并且滿足x1>x2>…>xn,則對(duì)于每一個(gè)0≤k≤n,集合Gk=G∩F[xk+1,…,xn]是第k個(gè)消元理想Jk的Gr?bner基.

        關(guān)于計(jì)算兩個(gè)理想的交的算法如下:

        輸入:理想I,J∈k[x1,x2,…,xn]且I=<f(x1,x2,…,xn)>,J=<g(x1,x2,…,xn)>.

        輸出:I∩J.

        第一步:分別求出理想I和J的Gr?bner基:{f(x1,x2,…,xn)},{g(x1,x2,…,xn)};

        第二步:引入新變?cè)獃1,y2,并在k[y1,y2,x1,…,xn]上構(gòu)造新的理想

        第三步:利用Gr?bner基的算法[4]求的Gr?bner基,具體操作如下:令G=H;B={(i,j)|1≤i<j≤13};t=3;如果B≠0,則執(zhí)行下列語句:?。╥,j)∈B,如果LCM(HT(fi),HT(fj))≠HT(fi)· HT(fj)且Crit(fi,fj,B)=false,則h0=S(fi,fj)G;如果h0≠0;則t=t+1;ft=h0;G=G∪{ft};B=B∪{(i,j)|1≤i≤t-1};B=B-{(i,j)};結(jié)束(其中Crit(fi,fj,B)=true當(dāng)且僅當(dāng)存在k?{i,j},使得[i,k],[j,k]?B且HT(fk)|LCM(HT(fi),HT(fj))),則最終G為所求的Gr?bner基.

        第四步:通過上述辦法所求得的Gr?bner基G,則G∩k[x1,…,xn]為I∩J的Gr?bner基.

        定理1設(shè)f(x1,…,xn),g(x1,…,xn)∈k[x1,…,xn],則

        我們看到要求解f(x1,…,xn)與g(x1,…,xn)的最大公因式,我們可以先求出兩個(gè)理想的交的既約Gr?bner基,它就是f(x1,…,xn)與g(x1,…,xn)的最小公倍式,再根據(jù)定理2我們可以直接求出f(x1,…,xn)與g(x1,…,xn)的最大公因式.

        下面通過一個(gè)例子來檢驗(yàn)本文的方法.

        [1]何青.計(jì)算代數(shù)[M].北京:北京師范大學(xué)出版社,1997.

        [2]譚宜家,陳錦松.關(guān)于多元多項(xiàng)式的最大公因式[J].上饒師范學(xué)院學(xué)報(bào),2006(6):9-11.

        [3]李立.關(guān)于多元多項(xiàng)式的最小公倍式[J].哈爾濱商業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,24,12:123-126.

        [4]B.Buchberger,G.E.Collins and R.G.K.Loos editors.Computer Algebra.Symbolic and Algebraic Computation[J].Springer Verlag,1982.

        [5]樊愷.關(guān)于多元多項(xiàng)式可約性的討論[J].武漢教育學(xué)院學(xué)報(bào),1998,17(6):6-8.

        The Greatest Common Factors of Polynomials in Several Indeterminates

        LIU Jin-wang,HE Xiu-xiu
        (School of Mathematics and Computation Science,Hunan University of Science and Technology,Xiangtan,Hunan 411201)

        In this paper,the authors explores how to solve the greatest common factorsof two polynomials in several indeterminates over polynomial rings.The authors studied the association among the intersection of ideals,the greatest common factors and the least common multiple.Based on the theory and methods of basis,the authors summed up the relationship between the intersection of ideals and the least common multiple.Then,the authors give effective methods and algorithm of solving the greatest common factors.In the end of this paper,a numerical example is given to illustrate the effectiveness of our method.

        polynomials in several indeterminates;multivariate polynomial rings;the greatest common factors

        O15

        A

        1671-9743(2016)11-0010-04

        2016-09-23

        2016年湖南省研究生科研創(chuàng)新項(xiàng)目(CX2016B533).

        劉金旺,1964年生,男,教授,博士,博導(dǎo),研究方向:線性代數(shù).何秀秀,湖南科技大學(xué)數(shù)學(xué)與計(jì)算科學(xué)學(xué)院碩士研究生.

        猜你喜歡
        公因式消元單項(xiàng)式
        “消元——解二元一次方程組”活學(xué)活用
        “消元——解二元一次方程組”能力起航
        學(xué)習(xí)整式概念莫出錯(cuò)
        “消元
        整式乘法與因式分解系列解讀(二)
        “消元——解二元一次方程組”
        數(shù)域F上多項(xiàng)式的最大公因式的講解
        關(guān)于一道多項(xiàng)式定理的注記①
        幫你梳理“分解因式”
        不等式(組)整數(shù)解的討論
        精品国产高清自在线99| 久久综合九色欧美综合狠狠| 国产成人无码综合亚洲日韩| 国产97在线 | 免费| аⅴ天堂国产最新版在线中文 | 成年女人毛片免费视频| 日本不卡在线一区二区三区视频| 隔壁人妻欲求不满中文字幕| 国产精品美女久久久网av| 特级做a爰片毛片免费看无码| 亚洲最大成av人网站| 蜜桃精品国产一区二区三区 | 国产成人无码综合亚洲日韩| 亚洲av无码一区二区乱子伦as| 久久亚洲国产精品五月天| 国产爽快片一区二区三区| 欧美 日韩 人妻 高清 中文| 亚洲精品人成无码中文毛片| 亚洲无码中文字幕日韩无码| 久久99精品综合国产女同| 曰韩无码无遮挡a级毛片| 精品国产制服丝袜高跟| 国产 在线播放无码不卡| 免费精品人妻一区二区三区| 国产精品毛片一区二区三区| 亚洲av无码国产精品麻豆天美 | 在线观看国产三级av| 日本一区二区三区在线视频播放| 精品综合久久久久久888蜜芽| 色狠狠一区二区三区香蕉| 国产永久免费高清在线观看视频| 久久久亚洲免费视频网| 欧美大屁股xxxx高跟欧美黑人| 国产精品亚洲综合久久婷婷| 区二区三区亚洲精品无| 人妻夜夜爽天天爽三区丁香花 | 成人激情五月天| 国产在视频线精品视频二代| 亚洲男人的天堂av一区| 肉体裸交137日本大胆摄影| a观看v视频网站入口免费|