伽罗瓦扩域上的正规基与对偶基.pdfVIP

1 §1引言 设P为素数，口为p的方幂，K=最为含有q个元的有限域，F=昂是 K=E的n维扩域。F在K上不同基的数目是很多的，但这其中有两种类型 的基特别重要，它们是正规基和多项式基。对正规基的注意出现在上个世纪．人 们早期对正规基感兴趣可能是因为Gauss用正规基解决了何时可用直尺和圆规 画出正多边形的问题(【1】)。事实上，Gauss用正规基来构造分圆域的子域。一般 地，正规基可用来实现伽罗瓦扩域中的中间域与伽罗瓦群的子群之间的伽罗瓦对 应(【2】)． 有趣的是，早在人们发现有限域理论的实际应用之前，Hensel在1888年就 注意到了用正规基表示有限域中元的优点(【3J)。在实际应用中，随着有限域上编 码理论和各种密码体制的出现，人们对有限域上算法的实现也就有了新的要求． 在这方面的研究产生了许多硬件和软件的设计和实现，包括公钥密码中玛m上 和Vanstone([61)等人用正规基表示有限域而产生的乘法方案和对算法选择合 适的加法．但是这样设计的乘法方案的硬件复杂度在很大程度上是由所选用的正 规基决定的．又由于在椭圆曲线公钥密码体制的实现中通常用最优正规基表示有 限域中的元(17，8】)，因此对正规基，特别是最优正规基的研究显得尤为莺要．如 D，MenezesA，VanstoneS在f101中讨论了兄。在E上自对偶正规基的数 了最优正规基生成元的秩(【81)。2004年BenjaminPanario在 Young和Daniel 【14】中讨论了而上两种类型的低复杂度正规基等等。 最近廖群英给出了有限域上最优正规基乘法表的一个计算方法(1ls])。证明 了有限域上正规基与其对偶基等价的充分必要条件([161)，并发表了有限域上关 于一类比较特殊的正规基([171)这篇文章。本人就是受其文章的启发，将有限域 上部分定理推广到一般的伽罗瓦扩域中，从而得到了如下定理： 定理：设￡为域K的n次伽罗瓦扩张，其伽罗瓦群为G={印=id，O1，…， 于o∈厶满足{croQ，O10，…，％一lQ’为L的正规基，令 a(ao，OtI，…，Otn—I)=(Ot0，口1，…，Dn—I)T 四川走擘碛士学住论文 2 ‘ o(岛，历，…，风一1)=(岛，风，…，风一1)D， i=0，1，…，n一1}对某个p∈L，(也就是说N，B均是L在Ⅳ上的正规基，) 则N，B等价当且仅当r=D． ． 3 ． 知Ot=0，反之亦然，所以以为单射．又F为有限集，所以以为满射，从而ai 个自同构．由于映射a0，O1，…，On—l将F的本原元(i．e．，循环群F。的生成元) 分别映成不同的元，所以它们彼此互异． 反之，设口为任意一个F在K上的自同构，卢为F×的本原元，，扛)= 在F上的一个根，由定理(如果Bz)为RM上次数为n的不可约多项式，则 ，(z)在‘。上有根fit，并且，扛)所有的根都是单根，它们由Ot，fitq，口矿，…，酽““ 给出。【19】)我们有卵=伊‘对于某个i，0SiSn一1．又因为口为同态，我们 有Ofit=fitq’，对所有fit∈F．证毕 如果对于口∈F，将所有的F在K上的自同构作用于fit，将得到与a有关 的一组元素，也就是下面所谓的共轭元： 定义2．2：令F=％是K=日的开维扩域，fit∈F，我们称元素 fit．，