定理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(1)…(n)表示是通过n次单扩张构成的关于F的扩域，它是否为代数扩域？ 定理：设E为F上的有限扩域，则E是F上的代数扩域。 分析:关键证明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上的二次多项式，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上的多项式, deg f(x)1,那么存在F的一个扩域K,在K中f(x)分解成一些一次因式的乘积。 证明:采用归纳法 定理15.12

推论16.4:F为域, 对F[x]中的任一多项式f(x)一定存在F上的根域。 例：由实数域R扩充建立复数域 R[x]/(x2+1)={a+bx|a,bR} 令i=(x2+1)+0+1x i2=(x2+1)+(-1)为(x2+1)+1关于的逆元。 简记为i2=-1

§3 有限域 一、伽罗瓦(Galois)域 一个域的元素有限就是有限域,这种域又称为伽罗瓦(Galois)域。 §3 有限域 一、伽罗瓦(Galois)域 一个域的元素有限就是有限域,这种域又称为伽罗瓦(Galois)域。 定理16.12:F为有限域,则存在素数p,自然数m1,使|F|=pm。 证明:1.必存在素数p,使得charF=p 利用定理16.5：F为域,则必包含一个素子域, charF=p时, ≌Zp

定义16.9:一个具有pm个元素的有限域称为pm阶伽罗瓦域,记为GF(pm),其中p为素数,m1为自然数。 定理16.13:设charF=p,为F的素域, |F|=pm,则F是xq-x在上的根域,其中q=pm。 设a为有限群[G;*]的元素，则a的阶整除|G|。 推论16.5:GF(pm)中任一元在其所含素域上均有一个极小多项式。

定理16.14:任两个同阶的伽罗瓦域必同构 定理16.9:域F≌F',为其同构映射,,分别为F与F'的代数元,其极小多项式分别为:

例:x3+x+1与x3+x2+1都是Z2上的不可约多项式, 它们的根域分别是 Z2[x]/(x3+x+1),Z2[x]/(x3+x2+1), 这两个域的阶都是23的有限域, 由定理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-)|f'(x),其中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个根。

Zp上的n次不可约多项式f(x)的根域是什么？ 定理:Zp上的n次不可约多项式f(x)的根域是GF(pn)=Zp() 推论16.6:GF(pm)中的元素恰为多项式xpm-xZp[x]的pm个根。 习题16.16 如果是f(x)在其根域上的根,则N=Zp() 该结论是针对有限域Zp上的多项式，对于无限域是不成立的。 例如x3-是Q[x]上的不可约多项式，为其根，但Q()不是x3-的根域。

伽罗瓦域GF(pm)在某种程度可以看做为 Zp上的m维线性空间，设1,,m为基，则有GF(pm)={a11+amm|aiZp,1im} 因此对于域上的+运算，对于,GF(pm), =a11++amm, = b11+bmm,有： +=(a1+b1)1+(am+bm)m, *无法利用向量空间来简化表示。

这里要注意，我们讲K为F上的线性空间，是指域的载集的表示，而不是指域与线性空间一致，故*无法利用向量空间来简化表示。 因为关于向量,没有定义2个向量乘法。 这里要注意，我们讲K为F上的线性空间，是指域的载集的表示，而不是指域与线性空间一致，故*无法利用向量空间来简化表示。 (1)对任意的,,K有: +=+, +(+)=(+)+, 并且存在0K,使得+0=,存在K, 使得+=0 (2)纯量积定义: ①设1为域F的单位元,K,则有1*=*1= ②对任意的,K,F有 *(+)=(*)+(*), (+)*=(*)+(*) ③对任意的,F, K有*(*)=(*)*

域的加法运算是多项式加, 而乘法运算则是多项式相乘。 本原元与本原多项式把乘法运算转换成元素的幂的加法。

作业：P337 13,16,18,20,22,23, 24(2)(3)

定理15. 10:F为域,f(x),g(x)F[x],则有f(x)|g(x),且g(x)|f(x),当且仅当f(x) =ag(x),aF

定义16.6:是域F的一个代数元,p(x) F[x],称它为在F上的极小多项式,如果p(x)之首项系数为1,且它是F[x]中以为根的多项式中次数最低的。

定理16.6:为F之代数元,p(x)为其在F上的极小多项式, 则: (2)若f(x)F[x],f()=0则p(x)|f(x)。 (3)p(x)是唯一的。

定理16.7:已知为域F上的代数元,p(x)F[x]为在F上的极小多项式,degp(x)=n>1,则: (1)F()≌F[x]/(p(x))。 (2)F()中的元素可唯一表示为 a0+a1+…+an-1n-1,其中aiF,0≤i≤n-1。

定理16.2:已知F为域,p(x)为F[x]中不可约多项式,degp(x)=n。令K=F[x]/(p(x)),则 [K:F]=degp(x)=n

定理15.12(唯一因式分解定理):多项式环F[x]中任一非零元素f(x)或为F中的元素或可分解为有限个不可约多项式之积。在下述意义下,分解是唯一的: 若f(x)=p1(x)…pn(x)=q1(x)…qm(x)，则m=n, 并且在适当调整因子次序后qi(x)= aipi(x)，aiF，i=1,…,n。