欢迎来到天天文库
浏览记录
ID:79836712
大小:283.00 KB
页数:21页
时间:2022-02-18
《有限域-有限域的结构-有限域特征》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、第二章有限域结构15-有限域-有限域的结构-有限域特征有限域的特征特征的含义无零因子含幺环的特征:0或者素数素域:Q和Z/(p)={0,1,…,p1}定理设F是域,P是F的素域.若charF=p,则PZ/(p).若charF=0,则PQ.有限域的特征是素数无限域的特征一定是0吗?25-有限域-有限域的结构-有限域特征有限域的元素个数特征为p的有限域F都是Fp上的有限(维数)扩张。F=pn,n=[F:Fp].任意给定素数p和正整数n,是否一定存在pn元有限域?如何构造有限域?35-有限域-有限域的结构-有限域特征有限域的存在性与
2、唯一性存在性定理对每个素数p和每个整数n,存在pn元有限域.证明q=pn,F是xqx在Fp上的分裂域.S={aFaqa=0}S=F.45-有限域-有限域的结构-有限域特征唯一性定理设F是q=pn元有限域,则F是同构于xqx在Fp上的分裂域.q元有限域记为FqCharacterizationofFiniteFields55-有限域-有限域的结构-有限域特征子域的存在唯一性定理设q=pn,若E是Fq的子域,则E=pm,其中m是n的正因子;反之,若m是n的正因子,则Fq有唯一的pm元子域。例:F230的全体子域65-有限域-有限域
3、的结构-有限域特征设f(x)是Fp上的n次不可约多项式Fp[x]中的同余关系a(x)b(x)modf(x)f(x)a(x)b(x)overFp任意给定的g(x)Fp[x]与Fp[x]中某个次数小于n的多项式(包括0)同余g(x)=f(x)q(x)+r(x),r(x)=0或deg(r(x))4、[x]r(x)=0或deg(r(x))5、F(x2+x)+(x3+x+1)=x3+x2+1(x2+x)(x3+x+1)=x3+x2+x+195-有限域-有限域的结构-有限域特征16元有限域F24f(x)=x4+x+1是F2上的不可约多项式g(x)=x4+x3+1是F2上的不可约多项式F2[x]/(f(x))F2[x]/(g(x))能否给出同构映射?(作业)105-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理记有限域Fq的全体非零元Fq,则Fq关于乘法运算是循环群.115-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理记有限域F6、q的全体非零元Fq,则Fq关于乘法运算是循环群.证明ord(12n)=q1125-有限域-有限域的结构-有限域特征本原元(primitiveelement)乘法群Fq的生成元称为Fq中的本原元。Fq中有(q1)个本原元135-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理设有限域Fr是Fq的扩域,则Fr是Fq上的单代数扩张。推论存在Fp上的n次不可约多项式。145-有限域-有限域的结构-有限域特征不可约多项式的根元素Fqn在Fq上的极小多项式:首一,不可约设f(x)是Fq上的n次不可约多项式7、,是f(x)在Fq扩域上的根(问:是否有重根?)f(x)的全体根,q,q2,…,qn1Fq()是qn元有限域,Fq()Fqn是f(x)的分裂域Fq上的n次不可约多项式的分裂域同构Fqn155-有限域-有限域的结构-有限域特征共轭元设Fqm是Fq的扩张,Fqm,则,q,q2,…,qm1称为关于Fq的共轭元。注:设Fqm,则关于Fq的共轭元两两不同当且仅当在Fq上的极小多项式次数等于m。注:若d是m的因子,关于Fq共轭元的不同元素为,q,q2,…,qd1,每个元素重复m/d次.1658、-有限域-有限域的结构-有限域特征共轭元定理设Fqm是Fq的扩张,Fqm,则关于Fq的共轭元在乘法群Fq中有相同的阶。推论若Fqm是Fqm中的本原元,则关于Fq的共轭元都是Fqm中的本原元。175-有限域-有限域的结构-有
4、[x]r(x)=0或deg(r(x))5、F(x2+x)+(x3+x+1)=x3+x2+1(x2+x)(x3+x+1)=x3+x2+x+195-有限域-有限域的结构-有限域特征16元有限域F24f(x)=x4+x+1是F2上的不可约多项式g(x)=x4+x3+1是F2上的不可约多项式F2[x]/(f(x))F2[x]/(g(x))能否给出同构映射?(作业)105-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理记有限域Fq的全体非零元Fq,则Fq关于乘法运算是循环群.115-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理记有限域F6、q的全体非零元Fq,则Fq关于乘法运算是循环群.证明ord(12n)=q1125-有限域-有限域的结构-有限域特征本原元(primitiveelement)乘法群Fq的生成元称为Fq中的本原元。Fq中有(q1)个本原元135-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理设有限域Fr是Fq的扩域,则Fr是Fq上的单代数扩张。推论存在Fp上的n次不可约多项式。145-有限域-有限域的结构-有限域特征不可约多项式的根元素Fqn在Fq上的极小多项式:首一,不可约设f(x)是Fq上的n次不可约多项式7、,是f(x)在Fq扩域上的根(问:是否有重根?)f(x)的全体根,q,q2,…,qn1Fq()是qn元有限域,Fq()Fqn是f(x)的分裂域Fq上的n次不可约多项式的分裂域同构Fqn155-有限域-有限域的结构-有限域特征共轭元设Fqm是Fq的扩张,Fqm,则,q,q2,…,qm1称为关于Fq的共轭元。注:设Fqm,则关于Fq的共轭元两两不同当且仅当在Fq上的极小多项式次数等于m。注:若d是m的因子,关于Fq共轭元的不同元素为,q,q2,…,qd1,每个元素重复m/d次.1658、-有限域-有限域的结构-有限域特征共轭元定理设Fqm是Fq的扩张,Fqm,则关于Fq的共轭元在乘法群Fq中有相同的阶。推论若Fqm是Fqm中的本原元,则关于Fq的共轭元都是Fqm中的本原元。175-有限域-有限域的结构-有
5、F(x2+x)+(x3+x+1)=x3+x2+1(x2+x)(x3+x+1)=x3+x2+x+195-有限域-有限域的结构-有限域特征16元有限域F24f(x)=x4+x+1是F2上的不可约多项式g(x)=x4+x3+1是F2上的不可约多项式F2[x]/(f(x))F2[x]/(g(x))能否给出同构映射?(作业)105-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理记有限域Fq的全体非零元Fq,则Fq关于乘法运算是循环群.115-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理记有限域F
6、q的全体非零元Fq,则Fq关于乘法运算是循环群.证明ord(12n)=q1125-有限域-有限域的结构-有限域特征本原元(primitiveelement)乘法群Fq的生成元称为Fq中的本原元。Fq中有(q1)个本原元135-有限域-有限域的结构-有限域特征Fp上n次不可约多项式的存在性定理设有限域Fr是Fq的扩域,则Fr是Fq上的单代数扩张。推论存在Fp上的n次不可约多项式。145-有限域-有限域的结构-有限域特征不可约多项式的根元素Fqn在Fq上的极小多项式:首一,不可约设f(x)是Fq上的n次不可约多项式
7、,是f(x)在Fq扩域上的根(问:是否有重根?)f(x)的全体根,q,q2,…,qn1Fq()是qn元有限域,Fq()Fqn是f(x)的分裂域Fq上的n次不可约多项式的分裂域同构Fqn155-有限域-有限域的结构-有限域特征共轭元设Fqm是Fq的扩张,Fqm,则,q,q2,…,qm1称为关于Fq的共轭元。注:设Fqm,则关于Fq的共轭元两两不同当且仅当在Fq上的极小多项式次数等于m。注:若d是m的因子,关于Fq共轭元的不同元素为,q,q2,…,qd1,每个元素重复m/d次.165
8、-有限域-有限域的结构-有限域特征共轭元定理设Fqm是Fq的扩张,Fqm,则关于Fq的共轭元在乘法群Fq中有相同的阶。推论若Fqm是Fqm中的本原元,则关于Fq的共轭元都是Fqm中的本原元。175-有限域-有限域的结构-有
此文档下载收益归作者所有