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}$ は、2つの基本的な代数的構造を有している。それは、$n$ 次元のベクトル空間構造と巡回的な乗法群構造である。これらは、区別されたクラスの要素を生み出す。すなわち、「原始元」（乗法群の生成元）と「正規元」（その共役によるベクトル空間の生成元）である。乗法的な位数（multiplicative order）と $\mathbb{F}_q$-次（フロベニウス自己同型の下で要素を零化する最小多項式）は、体要素に対しては確立されている概念であるが、多項式への適用については、これまで体系的ではなかった。具体的には、本論文は、多項式の $\mathbb{F}_q$-次を正式に定義し、この概念を用いて $r$-原始的および $k$-正規な要素および多項式の構造的性質と列挙を調査する必要性に取り組んでいる。

手法
著者らは、有限体論の枠組みの中で、代数的定義、構造解析、および組合せ論的な計数を組み合わせている。

1. 定義の拡張： 本論文は、$\mathbb{F}_q[x]$ の多項式 $f$ に対して、$\text{Ord}(f)$ と表記される $\mathbb{F}_q$-次を、形式的な定義として導入している。これは、$f$ が $g \circ x$（ここで $\circ$ は合成を表す）を割り切るような最小次数の単項多項式として定義される。
2. 構造解析： 著者らは、多項式の $\mathbb{F}_q$-次と、その根の $\mathbb{F}_q$-次の間の関係を確立している（特に既約多項式について）。また、合成、乗算、および最大公約数といった多項式の演算の下で $\mathbb{F}_q$-次がどのように振る舞うかを分析している。
3. 分割と計数： 本研究は、要素の位数および $\mathbb{F}_q$-次に基づいて集合を分割するために、$m$-free および $g$-free 要素の概念を利用している。多項式の作用によって定義される準同型の第一同型定理を適用し、$\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$ 上の $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$-次を持つ要素の集合の濃度を計算している。
  • これらの導出は、オイラーのファイ関数に関する古典的な恒等式、特に $\sum_{d|n} \phi(d) = n$ および $\sum_{g|f} \phi(g) = q^{\deg(f)}$ に関する代替的な証明を提供している。

意義
本論文は、既約多項式の $\mathbb{F}_q$-次をその根の性質に直接関連付けることで、既約多項式を研究するための統一的かつ体系的な枠組みを提供すると主張している。このアプローチにより、$k$-正規多項式の明示的な列挙公式の導出が可能となる。これは Alizadeh らによって定義された概念であるが、本論文のような特定の方法による列挙は完全にはなされていなかった。さらに、本研究は、加法および乗法の下での代数的相互作用を分析することにより、$r$-原始的および $k$-正規要素の理解を広げ、有限体の拡大構造に関する新たな組合せ論的知見を提供している。著者らは、本研究を、現代の有限体の文脈における古典的な定義（Ore を参照）の洗練として位置づけ、要素ベースの代数的構造と多項式ベースの代数的構造の間の溝を埋めることを目的としている。