没有幻灯片标题 - 复旦大学精品课程_11998.pptVIP

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