有限域上多项式的行列式的一种求法研究.pdfVIP

第27卷 第 2期 青 岛大 学 学报 (自然 科 学 版 ) Vo1．27NO．2 20l4年 5月 JOURNALOFQINGDAOUNIVERSITY (NaturalScienceEdition) Mav20 14 文章编号 ：1006—1037(2014)02—0004—03 doi：10．3969／j．issn．1006—1037．2014．05．02 有限域上多项式的行列式的一种求法 苏 磊，孙同森 ，郭晓沛，徐克舰 (青岛大学数学科学学院，青岛266071) 摘要：定义了多项式的范数 、共轭多项式、多项式 的行列式的概念 ，研究了Galois扩张上多 项式的行列式的一种求法 ，还讨论了本原多项式与其在扩域中的因式以及其不同因式之问 的关系。 关键词 ：本原多项式 ；多项式的范数 ；共轭多项式 ；多项式的行列式 中图分类号 ：D156．2+1 文献标志码 ：A 问题提 出 有限域上本原a-LFSR序列在密码编码学 中有重要应用 ，相对于普通 的m一序列 ，其密码学性质更加优 越 ，在这方面的研究中，如何判断 —LFSR的特征多项式是本原多项式是问题的关键 ，目前主要有如下结果 ： 设 F 上 的 口一LFSR 以f()一z”+c一 (口)z一 + …+c()z+c。()EA [-z]为特征多项式 (其 中 A —Fm[]为线性空间F ／F 上的线性变换集合，c。()可逆)，F(z)一 +C一z一 +…+Cz4-C。E Mm(F)[]是 厂()在正规基下对应的矩阵多项式 ，则 LFSR生成的 线性递归序列8是本原的甘行列式 lF(z)l是F。上的 次本原多项式 ]。但直接求解矩阵多项式的行列式是 比较困难的，本文针对系数在有 限Galois扩域中的多项式给出一种多项式的行列式的求法，并且研究 了本原多项式与其在扩域 中的因式 以 及不同因式之间的关系。 1 准备知识 定义 1L1 设 L／K是域的有限正规扩张 ，对每个域的单 同态 ：L—L，如果 在K上的限制 l是域K 上的恒等 自同构 (即对Vk∈K均有 (是)一忌)，则称 是L的K一嵌入 。 定义 2 设 ：Fm—F。，a_÷a 是 Frobenius变换 ，将d扩充为映射Fm[．z]一Fm[z]，不妨仍记为 口。对 Vh()一n0+＆1+…+n28”∈F。m[]。 定义 a(h(z))：===ag-4ayx-4 … -4 Ⅱ：-z 称 d(())(0≤ ≤ ～1)为 九(1z)的共轭多项式。 易证 为F [z]到Fm[]的一个同态映射。 定义 3 设 F ／F。是 m 次 Galois扩张 ，口：F 一F (0≤ i≤m一1)是 F 的 m 个 Fq-嵌 入 。对于 Vh(z)∈Fm[]，定义 1 NF F／q(^())：一1-[ ((z)) 。 为多项式 h()∈F [z]对于扩张 F ／F 的范数 ，在不引起混淆的情况下记 N， ，(())===N(h())。 易证 ：对 K—F[z]，F—F [z]， (1)NF／K(厂(z)g(z))一Ne／K(())NF／K(g())，V厂(z)，g(z)EF； 收稿 日期 ：2014—02—25 通讯作者 ：徐克舰 ，男，博士，教授 ，博士生导师 ，主要从事算术 k_理论与代数几何方 向研究 。 第 2期 苏 磊 ，等 ：有限域上多项式的行列式的一种求法 5 (2)NF／K(，(z))一广 (z)，V，(z1)∈K ； (3)NF／K(厂(z))EK[]，V厂(z)EF。 定义4 VcE ，C诱导出F 上 的m维线性空间F 上的一个线性变换 C：c(a)zCI：I，其 中aEFm，记 线性变换 C在 Fm的一组Fq-基下的矩阵为A ，