Zn上的m次不可约多项式f(x)的根域是什 么? 定理:Zn上的n次不可约多项式x)的根 域是GF(py)=Za) 推论16.6:GF(p中的元素恰为多项式xp X∈Zx的p个根。 习题16.16 如果a是x)在其根域上的根则N=Zn(ox) 该结论是针对有限域Z上的多项式,对于无 限域是不成立的。 例如x3是Qx上的不可约多项式,β为其根, 但Q()不是x3-a的根域
Zp上的n次不可约多项式f(x)的根域是什 么？ 定理:Zp上的n次不可约多项式f(x)的根 域是GF(pn )=Zp () 推论16.6:GF(pm)中的元素恰为多项式x p m - xZp [x]的p m个根。 习题16.16 如果是f(x)在其根域上的根,则N=Zp () 该结论是针对有限域Zp上的多项式，对于无 限域是不成立的。 例如x 3 -是Q[x]上的不可约多项式，为其根， 但Q()不是x 3 -的根域
伽罗瓦域GF(p)在某种程度可以看做为 Zn上的m维线性空间,设入1,,m为基, 则有GF(p)=(a11+.an2ma∈Z,lsim} 因此对于域上的+运算,对于a,B∈GF(p), α=a1入1+…+anmβ=b1λ1+…bnm有 α+β=(a1+b1)^1+.(an+bn)~m α无法利用向量空间来简化表示
伽罗瓦域GF(pm)在某种程度可以看做为 Zp上的m维线性空间，设1 ,,m为基， 则有GF(pm)={a11+amm|aiZp ,1im} 因此对于域上的+运算，对于,GF(pm), =a11++amm, = b11+bmm,有： +=(a1+b1 )1+(am+bm)m, *无法利用向量空间来简化表示
因为关于向量没有定义2个向量乘法。 这里要注意,我们讲K为F上的线性空间,是 指域的载集的表示,而不是指域与线性空间 一致,故α*无法利用向量空间来简化表示。 (1)对任意的aBy∈K有: 0+β=B+a,a+(β+y)=(a+β)+y, 并且存在0∈K使得α+0=a,存在δ∈K,使得a+8=0 (2)纯量积定义: ①设1为域F的单位元,α∈K,则有1*=0*1= ②对任意的β∈K∈F有 C(B+Y)=(*8)+(0*y),(B+y)y=(B2cx)+(yo) ③对任意的a∈F,y∈K有(B*y)=(aB)当y
因为关于向量,没有定义2个向量乘法。 这里要注意，我们讲K为F上的线性空间，是 指域的载集的表示，而不是指域与线性空间 一致，故*无法利用向量空间来简化表示。 (1)对任意的,,K有: +=+, +(+)=(+)+, 并且存在0K,使得+0=,存在K, 使得+=0 (2)纯量积定义: ①设1为域F的单位元,K,则有1*=*1= ②对任意的,K,F有 *(+)=(*)+(*), (+)*=(*)+(*) ③对任意的,F, K有*(*)=(*)*
域的加法运算是多项式加,而乘法运算则 是多项式相乘。 本原元与本原多项式把乘法运算转换成 元素的幂的加法
域的加法运算是多项式加, 而乘法运算则 是多项式相乘。 本原元与本原多项式把乘法运算转换成 元素的幂的加法
§4本原元与本原多项式 引理16.4:[G;*为交换群。a,b∈G分别以 n和m为阶则存在c∈G,其阶为m与n之最小 公倍数[n,m] 证明:m=1,m与n之最小公倍数为n,取c=a n=1,m与n之最小公倍数为m,取c=b m,n都大于1, 习题1420:G为群,a,b∈G,已知ab=ba,a的阶为n,b 的阶为m,则(m,m)=1时,ab阶为nm
§4 本原元与本原多项式 引理16.4：[G;*]为交换群。a,bG,分别以 n和m为阶, 则存在cG,其阶为m与n之最小 公倍数[n, m]。 证明：m=1, m与n之最小公倍数为n,取c=a n=1, m与n之最小公倍数为m,取c=b m,n都大于1， 习题14.20:G为群,a,bG,已知ab=ba,a的阶为 n, b 的阶为m, 则(n,m)=1时,ab阶为nm