- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
有限域
FiniteField陈克非杭州师范大学理学院
有限域的存在性有限域(又称Galois域):域F,且元素个数|F|有限GF(2),或F2:({0,1},?,?})考察(Zp,?,+),这里p是素数,Zp={amodp|a?Z}(Zp,+)是交换群(Zp*,?),?a?0,∵(a,p)=1,?s,t:sa+tp=1,?sa?1modp,即s=a-1?(Zp*,?)是交换群,∴(Zp,?,+)=GF(p)=Fp考察(GF(p)[x]/?(x),+,?),可以证明这是一个有限域,这里?(x)是GF(p)上n次既约多项式事实上(GF(p)[x]/?(x),+,?)是多项式环(mod?(x)的同余类)(GF(p)[x]/?(x),?)的非零元有逆,即?a(x)?0,∵(a(x),?(x))=1,?s(x),t(x):s(x)a(x)+t(x)?(x)=1,?s(x)a(x)?1mod?(x)∴(GF(p)[x]/?(x),+,?)是有限域GF(pn)=GF(q)=Fq,这里q=pn结果:设?=xmod?(x),则?(x)作为GF(pn)上的多项式,?是?(x)的根。附加结果:Fpn={a0+a1?+a2?2+…+an-1?n-1|ai?Fp}??Fp上n维线性空间更一般:若F是一个有限域,F[x]是多项式环。设?(x)是F上既约多项式,则(F[x]/?(x),+,?)是有限域
有限域与多项式的性质设F是有限域,e是F的乘法单位元e,2e,3e,…,ne,…,一定会重复:ie=jep=min{n0|ne=0}为F的特征,特征p为素数记Fp={0,1,2,…p-1}是F的素域,F是Fp的扩域设有限域F的特征是p,?a,b?F,有(a+b)p=ap+bp,进一步有(a+b)pm=apm+bpm,?m?Z本原元存在性:F是有限域,F*是乘法循环群,即存在本原元?(阶数为|F*|),?=F*。唯一性定理:若两个有限域同阶,则它们同构。多项式根定理:假设?(x)是F上的n次既约多项式,则存在一个F的扩域E(E?F),使?(x)在E上有n个根。设?是F的元素,?的极小多项式M?(x):以?为根次数最低M?(x)基域上的既约多项式,有共轭根组{?,?p,?p2,?p3,…?pn-1}SJTU
例:GF(p),GF(pn)继续类型I:GF(p)选择一个素数p,作整数Z在modp之下的同余类例p=11,GF(11)={0,1,2,3,4,5,6,7,8,9,10}mod11类型I:GF(pn),特别地GF(2n)选一个GF(p)上n次既约多项式Q(x),作GF(p)上所有多项式在Q(x)之下的同余类,即{an-1xn-1+…+a1x+a0}modQ(x)例GF(24),选一个GF(2)上的4次既约多项式Q(x)=x4+a3x3+a2x2+a1x+a0?Q(x)=x4+a3x3+a2x2+a1x+1可能的一次因子x,或x+1,?Q(1)≠0,即a1a2a3中只能有奇数个1可能的二次因子x2+a1x+a0,其中既约的只有x2+x+1所以4次既约多项式Q(x)不能以x,x+1,x2+x+1为因子既约多项式只能Q(x)=x4+x+1,x4+x3+1,及x4+x3+x2+x+1事实上,x24-x=x(x+1)(x2+x+1)(x4+x+1)(x4+x3+1)(x4+x3+x2+x+1),这表明:有限域的有趣结果??GF(pn)??s.t.xpn-x=0?M?(x)|xpn-xxpn-x可分解为极小多项式之积:xpn-x=,割圆多项式p的素性检测:筛法,用小于p的素数除一遍;π(x)既约检测:用次数低于π(x)的既约多项式除一遍而x4+x2+1=(x2+x+1)2??GF(24)??是x24-x=0的根??是x24-x某个既约因式的根也称极小多项式多项式P(x)无重根?P(x)与P’(x)互素
有限域实例有限域的要素生成多项式元素的表示向量,多项式,乘幂
历史应该记住的人Galois域与天才Galois研究解代数方程,给出有根式解的条件证伪“直尺、圆规3等分任意角”创建Galois理论Galois,1811~1832
Thanks!
文档评论(0)