预览加载中,请您耐心等待几秒...
1/4
2/4
3/4
4/4

在线预览结束,喜欢就下载吧,查找使用更方便

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

第27卷第2期高师理科学刊Vol_27No-22007往3月JournalofScienceofTeachersCollegeandUniversityMar.2oo7文章编号:1007-9831(2007)02-0009—04多项式除法中商与余式的显式表达王路群,刘象武(哈尔滨师范大学恒星学院数学与计算机系,黑龙江哈尔滨150025)摘要:利用矩阵方法,给出多项式除法中商与余式的显式表达式关键词:多项式;除法;商;余式;矩阵中图分类号:0151.2文献标识码:A在现今的高等代数教材中,多数都并行3种理论体系:多项式代数(整除理论、根理论初步与多元多项式理论初步)、线性代数与群、环、域理论初步.其中线性代数部分篇幅最大,它的文字容量通常为其余部分的5倍以上u.可见,线性代数内容在高等代数中占有极其重要的位置.从内容上讲,线性代数对另2部分的影响大吗?流行的教材里,多项式互素的判定以及二元高次联立方程组解法都用到了行列式(结式)ull。与线性方程组理论.更多的影响,很少见了.本文指出,在多项式整除理论中具有核心作用的带余除法u,都可用线性代数方法去处理,并得到商与余式的矩阵表达式.从定量的角度,处理了带余除法.这不但免去扩域上多项式整除不变性以及首项系数为1的最大公因式不变性的证明,也为计算商与余式带来方便.这突破了原来的多项式整除理论的体系,为重新整合高等代数内容,提供了思想与方法.设F是一个域,z+表示正整数集.当m,∈Z时,以Y表示F上的m×矩阵全体,以表示F上的×矩阵全体.F[x1表示F上的关于未定元的一元多项式环.1q引理1设R是一个整环,∈Z,2,口f∈R,i=1,…,一1,A=则A●●●,1●●●口口111一可逆,且161A一1=●●●1●●●611一其中bI=(一1)∑口‘k=1,…,一1(2)t=lf.++f=七.。收稿日期:2006—10-20基金项目:黑龙江省高教学会“十一五”规划项目(115C-580)作者简介:王路群(1942一),男,黑龙江哈尔滨人,教授,硕士,从事典型群研究.E-mail:wangluqun0451@163mmlO高师理科学刊第27卷0七<,证明设=(c盯)…,经计算c蚵,=lk=lk-I-lak+b+abk>llll—m—l……bl1一m=l—一当k>,时,代入(2)6k-Ik-I—lk-I一一cH=∑(一1)∑af…af+∑口∑(一1)∑口…口.iit=2十·_+f.:七一,∑‰∑坍:l:ljI+’“+j:k—l—m.k-I-I∑(一1)H+∑k-I-lk-I-∑(一)=a…口口t=lf.+·m=ls=li+…+l+…++m=k-Ik-I-l~~k-I—l∑(一1)∑(一=一++…五++l:七一,…口口叶t=lt十=ls..∑(一1)∑口 ̄"ajakl_2+(-1)Za口,一l_一s=lJl十_.++(—i一2)=一,,+(一,一1):一,k-I一1∑(一∑af…a+∑(一1k-I-l)∑a,…a=一k-I‘Ii+l:2十_+l=一,‘…=·[兰耋童三],则可逆,且推论在引理的假设下,若口。是尺中的单位,==,●●●●●●●●●,、●●●●●●【l口0一1baO-其中6∑(~)tao-t-1口‘…口‘,七=一,●●●●●●-●●,t=lHf.+…f=七:●●●b一[三·.==三]~=—a●12a●例设口∈尺,则阶方阵(一1)a………一口1a2a1.........——为讨论方便,以下讨论的多项式其系数域为域.推广到整环上,读者不言自明.定理1设,∈Z,m≥1,域,上多项式厂()=ao+…+口o+口,g()=6o+…+6+lb,g(),,()分别表示厂()除g()的商与余式,则r6]一gc,=c一H,…,,,『[6m-n¨]一一[6二bo]](3),.c,=c~,…,,,,(4)其中A∈F…+】’第2期王路群等:多项式除法中商与余式的显式表达l1f口0口l10(,B)=I口0lI…0●●●O证明易见存在,上多项式g()=c。一+…+cr()=0+…+,使得g()=g()厂()+r(x),即+6=∑lm-薹.】一box+…+口c一+l一f#0对比系数后,上式又等价于c,k=0,…,一;d口c,,=—n+l,…,==J+J=.。l+J,,a0C0b0fc?alaO:;:al、:Cb(三:口o写成矩阵形式~~0:∑按式c5,上式为m-al1d0,,a::H;’.口~~a:Hdbl0~一b000~~:b。:●b00一H/\f一…]H/l,推出f,A016一=\、●●●●●●●●●由于可逆,且即:,月j,,:;●:b●[b]=[乏],[妻。]=[6¨]一[乏,从而式(3),(4)成立.证毕.,由于多项式可添加系数为0的项,当被除式的次数小于时,可使被除式g(5)=6。+…+6化为g(x)=b