特征2的有限域中一些特殊元素的存在性(II).pdfVIP

中国科学 数学 年 第 卷 第 期 特征 的有限域中一些特殊元素的存在性 ∗ 张筱 王培培 曹喜望 郑志明 北京航空航天大学数学系 北京 南京航空航天大学数学系 南京 中国科学院大学信息安全国家重点实验室 北京 收稿日期 接受日期 通信作者 国家自然科学基金批准号 资助项目 s n 摘要 设 q = 2 . s, n 为正整数, q 为q 元素的有限域. 在本文中, 我们考虑q 中一些特殊元素 的存在性. 主要结果是: −1 −1 当下面的条件之一成立时, 在q 中存在ξ 使得ξ 和ξ +ξ 都是本原元并且ξ +ξ 还是一个正 规元: 1. 当n |(q − 1) 时, n 37, s 6, 或者 2. 当n (q − 1) 时, n 34, s 6. −1 进一步, 如果n 是奇数, 则当下列条件之一成立时, 存在ξ ∈ q 使得ξ 和ξ + ξ 都是q 的本 原正规元: 1. 当n |(q − 1) 时, n 257, s 9, 或者 2. 当n (q − 1) 时, n 43, s 9. 关键词 有限域 本原元 正规元 指数和 特征 主题分类 引言 设q 是q 个元素的有限域, q 是素数幂. 对任意正整数 n, 记q 为q 的n 次扩张. 在本文中 s ∗ q = 2 , s 是正整数. q = q \ {0} 为循环群, 它的每一个生成元都称为q 的一个本原元. q 可以 − q q 看作是q 上的向量空间. 如果存在一个元素α ∈ q 使得 {α, α , . . . , α } 是q /q 的一个基底, 则α 称为q 的一个正规元. 如果一个正规元α 还是一个本原元, 则α 称为一个本原正规元. 在1987 年, Lenstra 和Schoof [1] 解决了任一个有限域上本原正规元的存在性问题. 在 [2] 中, Chou −1 和 Cohen 完整解决了下面的存在性问题: 是否存在本原元ξ ∈ q 使得 ξ 和 ξ 都是迹为零的. 在 [3] −1 2006 年, 田甜和戚文峰 证明了如果 n 32, 则存在ξ ∈ q 满足 ξ 和 ξ 都是q /q 的正规元. [4] −1 贺龙斌和韩文报 解决了形如α + α 的本原元的存在性, 这实际上是所谓 (n, 2) 型Gauss 周期, 我 们将在下面介绍. 设 n 和 k 是正整数使得 r = nk + 1 是素数, 并且不整除 q, 记 K 为剩余类环r = /r 的乘 法群中唯一的 k 阶子群. 对任意一个 r 次本原单位根 β ∈ q , 元素 α = ∑a∈K βa 称为一个型为 英文引用格式 Zhang X, Wang P P, Cao X W, et al. On the existe