定理168F（）与F（）是域F上的两个单代数扩域, 与在F.ppt

《定理168F（）与F（）是域F上的两个单代数扩域, 与在F.ppt》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、定理16.8:F()与F()是域F上的两个单代数扩域,与在F上具有相同的极小多项式p(x)F[x],则:F()≌F()。证明:设degp(x)=n,由定理16.7知F()≌F[x]/(p(x))由定理16.7知F[x]/(p(x))≌F()因此F()≌F().定理16.9:域F≌F',为其同构映射,,分别为F与F'的代数元,其极小多项式分别为:则F()≌F'()。要注意定理中的要求:如果不满足此条件,结论不一定成立.设F(1)…(n)表示是通过n次单扩张构成的关于F的扩域，它是否为代数扩域？定理：设E为F上的有限扩域，则E是F上的

2、代数扩域。分析:关键证明E上每个元素a都是代数元.即找根为a的多项式F[x].代数扩域不一定是有限扩域。E是Q上的所有代数元全体构成的域,若[E:Q]有限,设为n.f(x)=xn+1+2x+2Q[x],不可约设为f(x)的根,则1,,2,n线性无关,所以[E:Q]n+1,矛盾三、多项式根域定义16.8:F为域,f(x)F[x],degf(x)=n1,N是为F的满足下述条件的扩域:(1)f(x)在N上可分解为n个一次因子的乘积;(2)f(x)在N的任一子域中不能分解为一次因子的乘积。则称N为多项式f(x)在域F上的根域,或简称根域。例：f(x)是F

3、上的二次多项式，f(x)=ax2+bx+c(0aF),1、2为f(x)的二个根.N=F(1).f(x)在F上可约，N=F。引理16.1：设p(x)是域F上的不可约多项式,则存在F的一个有限扩域K,p(x)在K中有根。证明:设p(x)=a0+a1x+…+anxn由定理16.2知:域F[x]/(p(x))是F的n次扩张.(p(x))+x是p(x)在K中的根定理16.10：如果f(x)是域F上的多项式,degf(x)1,那么存在F的一个扩域K,在K中f(x)分解成一些一次因式的乘积。证明:采用归纳法定理15.12推论16.4:F为域,对F[x]中的任一多项式f

4、(x)一定存在F上的根域。例：由实数域R扩充建立复数域R[x]/(x2+1)={a+bx

5、a,bR}令i=(x2+1)+0+1xi2=(x2+1)+(-1)为(x2+1)+1关于的逆元。简记为i2=-1§3有限域一、伽罗瓦(Galois)域一个域的元素有限就是有限域,这种域又称为伽罗瓦(Galois)域。定理16.12:F为有限域,则存在素数p,自然数m1,使

6、F

7、=pm。证明:1.必存在素数p,使得charF=p利用定理16.5：F为域,则必包含一个素子域,charF=p时,≌Zp定义16.9:一个具有pm个元素的有限域称为pm阶伽罗瓦域,记为GF(p

8、m),其中p为素数,m1为自然数。定理16.13:设charF=p,为F的素域,

9、F

10、=pm,则F是xq-x在上的根域,其中q=pm。设a为有限群[G;*]的元素，则a的阶整除

11、G

12、。推论16.5:GF(pm)中任一元在其所含素域上均有一个极小多项式。定理16.14:任两个同阶的伽罗瓦域必同构定理16.9:域F≌F',为其同构映射,,分别为F与F'的代数元,其极小多项式分别为:则F()≌F'()。例:x3+x+1与x3+x2+1都是Z2上的不可约多项式,它们的根域分别是Z2[x]/(x3+x+1),Z2[x]/(x3+x2+1),这两个域的阶都是2

13、3的有限域,由定理16.14(同阶的伽罗瓦域必同构)知:Z2[x]/(x3+x+1)≌Z2[x]/(x3+x2+1)。二、给定素数p和正整数m,有阶pm的域定义:设f(x)=a0+a1x++anxn是域F上的多项式,构造多项式a1+2a2x++nanxn-1,称f(x)的形式微商,记为f'(x)。定理:(af(x))'=af'(x),(f(x)+g(x))'=f'(x)+g'(x)(f(x)g(x))'=f'(x)g(x)+f(x)g'(x)。引理16.2:f(x)F(x),是f(x)的根,则是f(x)的重根,当且仅当在f(x)根域上(x-)

14、f'(x)

15、,其中f'(x)是f(x)的形式微商。引理16.3:Zp[x]中的多项式xq-x(这里q=pn)在其根域N上分解为q个不同的一次因式之积。定理16.15:设p为素数,n1为自然数,q=pn,则多项式xq-x在Zp上的根域是一个阶为pn的伽罗瓦域。由此定理可以知道,给定素数p和正整数m,必有域,其阶为pm。推论16.6:GF(pm)中的元素恰为多项式xpm-xZp[x]的pm个根。例：构造GF(125)。例：构造GF(81)。Zp上的n次不可约多项式f(x)的根域是什么？定理:Zp上的n次不可约多项式f(x)的根域是GF(pn)=Zp()推论16.6:GF(