On $\mathbb{F}_q$-Order of Polynomials and Properties of $r$-Primitive and $k$-Normal Elements over Finite Fields

技术摘要：关于多项式的 $\mathbb{F}_q$-阶以及有限域上 $r$-本原与 $k$-正规元素的性质

问题陈述
有限域，特别是 $\mathbb{F}_q$ 的扩张 $\mathbb{F}_{q^n}$，拥有两种基本的代数结构：一个 $n$ 维向量空间结构和一个循环乘法群结构。这些结构产生了具有特殊地位的元素类：本原元素（乘法群的生成元）和 正规元素（通过其共轭元素生成向量空间的生成元）。虽然乘法阶和 $\mathbb{F}_q$-阶（在 Frobenius 自同构下使元素为零的最小多项式）对于域元素而言已是成熟的概念，但它们在多项式上的应用尚未得到系统性的研究。具体而言，本文旨在解决如何正式定义多项式的 $\mathbb{F}_q$-阶，并利用这一概念来研究 $r$-本原和 $k$-正规元素及多项式的结构性质与计数问题。

方法论
作者结合了有限域理论框架下的代数定义、结构分析和组合计数方法。

1. 定义扩展： 本文引入了多项式 $\mathbb{F}_q$-阶的正式定义。对于 $f \in \mathbb{F}_q[x]$，其 $\mathbb{F}_q$-阶记作 $\text{Ord}(f)$，定义为唯一的最小次数的首一多项式，使得 $f$ 整除 $g \circ x$（其中 $\circ$ 表示复合运算）。
2. 结构分析： 作者建立了多项式的 $\mathbb{F}_q$-阶与其根的 $\mathbb{F}_q$-阶之间的关系，特别是对于不可约多项式。他们分析了 $\mathbb{F}_q$-阶在多项式运算（如复合、乘法和最大公约数）下的行为。
3. 划分与计数： 研究利用 $m$-自由和 $g$-自由元素的概念，根据元素的阶及其 $\mathbb{F}_q$-阶对域元素集合进行划分。通过对由多项式作用定义的同态应用第一同构定理，推导出特定子集 $\mathbb{F}_{q^n}$ 的基数公式。
4. 代数性质： 本文研究了 $r$-本原和 $k$-正规元素在域运算（乘法和加法）下的行为，特别考察了这些性质在何种条件下得以保持或转化。

核心贡献与结果

• 多项式 $\mathbb{F}_q$-阶的形式化：

  • 本文给出了多项式 $\mathbb{F}_q$-阶的精确定义，借鉴了 $\mathbb{F}_q$-阶的域元素类比。
  • 命题 4 确立了对于不可约多项式 $f$，$\text{Ord}(f)$ 等于其根的 $\mathbb{F}_q$-阶。
  • 命题 9 表明，若干两两互素多项式的乘积的 $\mathbb{F}_q$-阶等于其各自 $\mathbb{F}_q$-阶的最小公倍数（LCM）。
  • 命题 10 表征了正规多项式：一个 $m$ 次多项式 $f$ 是正规的，当且仅当它是首一的且 $\text{Ord}(f) = x^m - 1$。

• 多项式的计数：

  • 命题 12 推导了具有特定 $\mathbb{F}_q$-阶 $f$ 的 $n$ 次不可约多项式的数量公式。若 $f$ 的阶（记作 $\text{ord}(f)$）等于 $n$，则计数为 $\phi(f)/n$；否则为 0。
  • 利用这些结果，作者提供了一个关于 $\mathbb{F}_q$ 上 $n$ 次 $k$-正规多项式数量的显式求和公式。

• $r$-本原与 $k$-正规元素的性质：

  • 命题 16 分析了 $r_1$-本原与 $r_2$-本原元素的乘积，表明如果它们的乘法阶互素，则其乘积是 $\gcd(r_1, r_2)$-本原的。
  • 命命题 24 与 推论 25 研究了正规元素的逆，证明如果 $\alpha$ 是 $(n-1)$-正规的，那么 $\alpha^{-1}$ 也是 $(n-1)$-正规的。
  • 命题 26 与 推论 27 考察了元素的和。如果 $\alpha$ 和 $\beta$ 的 $\mathbb{F}_q$-阶 $f$ 和 $g$ 互素，则 $\text{Ord}(\alpha + \beta) = fg$。因此，如果 $\alpha$ 是 $k_1$-正规且 $\beta$ 是 $k_2$-正规，则其和是 $(k_1 + k_2 - n)$-正规的。

• 划分与恒等式：

  • 本文定义了基于其阶和 $\mathbb{F}_q$-阶的可除性的元素集合（例如定理 17 和命题 20）。
  • 命题 19 和 命题 21 利用同构来计算 $r$ 次幂集合以及 $\mathbb{F}_q$-阶可被特定多项式整除的元素集合的基数。
  • 这些推导为涉及欧拉 $\phi$ 函数的经典恒等式提供了替代证明，即 $\sum_{d|n} \phi(d) = n$ 以及 $\sum_{g|f} \phi(g) = q^{\deg(f)}$。

意义
本文声称提供了一个系统性的统一框架，通过将不可约多项式的 $\mathbb{F}_q$-阶直接与其根的性质联系起来，来研究不可约多项式。这种方法允许推导出 $k$-正规多项式的显式计数公式，这是一个此前由 Alizadeh 等人定义但未以此种方式进行完整计数的课题。此外，这项工作通过分析 $r$-本原和 $k$-正规元素在加法和乘法下的代数相互作用，扩展了对这些元素的理解，为有限域扩张的结构提供了新的组合见解。作者将此工作定位为对经典定义（参考 Ore）在现代有限域背景下的精炼，旨在弥合基于元素的代数结构与基于多项式的代数结构之间的鸿沟。