离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu15nn.pptVIP

引理15.3:Zp[x]中的多项式xq-x(这里q=pn)在其根域N上分解为q个不同的一次因式之积。 定理15.15:设p为素数,n?1为自然数,q=pn,则多项式xq-x在Zp上的根域是一个阶为pn的伽罗瓦域。 Zp上的n次不可约多项式f(x)的根域是什么？ 定理:Zp上的n次不可约多项式f(x)的根域是GF(pn)=Zp(?) 推论15.6:GF(pm)中的元素恰为多项式xpm-x?Zp[x]的pm个根。 习题15.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, ?*?无法利用向量空间来简化表示。 因为关于向量,没有定义2个向量乘法。 这里要注意，我们讲K为F上的线性空间，是指域的载集的表示，而不是指域与线性空间一致，故?*?无法利用向量空间来简化表示。 (1)对任意的?,?,??K有: ?+?=?+?, ?+(?+?