文档介绍:有限域的特征
特征的含义
无零因子含幺环的特征: 0 或者素数
素域: Q 和 Z/(p) = {0,1,…, p 1}
定理 设F 是域, P 是 F 的素域.
若char F = p, 则 P Z/(p).
若char F =约多项式
F = {r(x)Fp[x] | r(x) = 0 或deg(r(x)) < n }
多项式的加 : g(x) + h(x)
模 f(x)的乘法: g(x)h(x) (mod f(x))
是否域?
F关于加法构成群
F\{0}关于乘法构成群
F是 pn元有限域
7
Fp[x]/(f(x)) F
第7页/共20页
第七页,共21页。
16元有限域F24
f(x) = x4 + x +1是F2上的不可约多项式
F = ({0, 1, x, x+1, x2 , x2 +1, x2 +x , x2 + x +1 , x3 , x3+1 ,
x3 +x , x3 + x +1 , x3+ x2 , x3 + x2 +1 , x3 +x2 +x ,
x3 + x2 +1}, +, mod f(x) )
F2[x]/(x4 + x +1) F
8
(x2 + x) + (x3 +x +1) = x3 +x2 +1
(x2 + x) (x3 +x +1) = x3 +x2 +x+1
第8页/共20页
第八页,共21页。
16元有限域F24
f(x) = x4 + x +1是F2上的不可约多项式
g(x) = x4 + x3 +1是F2上的不可约多项式
F2[x]/(f(x)) F2[x]/(g(x))
能否给出同构映射?(作业)
9
第9页/共20页
第九页,共21页。
Fp上n次不可约多项式的存在性
定理 记有限域Fq的全体非零元Fq* ,则Fq*关于乘法运算是循环群.
10
第10页/共20页
第十页,共21页。
Fp上n次不可约多项式的存在性
定理 记有限域Fq的全体非零元Fq* ,则Fq*关于乘法运算是循环群.
证明
ord(12n) = q 1
11
第11页/共20页
第十一页,共21页。
本原元( primitive element )
乘法群Fq*的生成元称为Fq中的本原元。
Fq中有(q1)个本原元
12
第12页/共20页
第十二页,共21页。
Fp上n次不可约多项式的存在性
定理 设有限域Fr是Fq的扩域,则Fr是Fq上的单代数扩张。
推论 存在Fp上的n次不可约多项式。
13
第13页/共20页
第十三页,共21页。
不可约多项式的根
元素 Fqn在Fq上的极小多项式 : 首一, 不可约
设 f(x)是Fq上的n次不可约多项式, 是 f(x)在Fq扩域上的根 (问: 是否有重根?)
f(x)的全体根 , q, q2,…, qn1
Fq()是qn元有限域, Fq() Fqn 是 f(x)的分裂域
Fq上的n次不可约多项式的分裂域同构 Fqn
14
第14页/共20页
第十四页,共21页。
共轭元
设Fqm是Fq的扩张, Fqm, 则, q, q2,…, qm1称为关于Fq的共轭元。
注:设Fqm, 则关于Fq的共轭元两两不同当且仅当在Fq上的极小多项式次数等于m。
注:若d 是m的因子, 关于Fq共轭元的不同元素为, q, q2,…, qd1 , 每个元素重复m/d 次.
15
第15页/共20页
第十五页,共21页。
共轭元
定理 设Fqm是Fq的扩张, Fqm, 则关于Fq的共轭元在乘法群Fq*中有相同的阶。
推论 若Fqm是Fqm中的本原元,则关于Fq的共轭元都是Fqm中的本原元。
16
第16页/共20页
第十六页,共21页。
Fqm的Fq-自同构
若是Fqm的自同构并且对于aFq 有(a) = a, 则称是Fqm的Fq-自同构。
17
第17页/共20页
第十七页,共21页。
Fqm的Fq-自同构
定理 Fqm的全体不同的Fq-自同构为0, 1,…, m1, 其j() = qj , Fqm , 0 j m1.
证明
验证j 是Fqm的Fq-自同构
说明0, 1,…, m1两两不同
若是Fqm的Fq-自同构,则{0, 1,…, m1}
18
第18页/共20页
第十八页,共21页。
Fqm的Fq-自同构
定理 Fqm的全体不同的Fq-自同构为0,