A note on Galois groups of linearized polynomials

技术摘要：关于线性化多项式伽罗瓦群的说明

问题陈述
本文探讨了多项式 $L(X) - t$ 在有理函数域 $\mathbb{F}_q(t)$ 上的伽罗瓦群的确定问题，其中 $L(X)$ 是 $q$-次数为 $n$ 的首一 $q$-线性化多项式。$q$-线性化多项式定义为 $L(X) = \sum_{i=0}^n a_i X^{q^i}$，其系数在 $\mathbb{F}_q$ 中且 $a_n \neq 0$。

Gow 和 McGuire [2] 先前的工作表明，如果 $q$ 是奇素数幂且 $n$ 是奇素数，则伽罗瓦群为一般线性群 $\text{GL}_n(q)$，除非在平凡情形 $L(X) = X^{q^n}$ 下。然而，当 $q$ 为偶素数幂时的情形仍未解决，尽管有人猜想该结果普遍成立。具体的挑战在于确定在 $n$ 为奇素数的条件下，对所有素数幂 $q$ 的伽罗瓦群。

方法论
作者采用了一种统一的方法，在形式幂级数环的语境下利用亨塞尔引理（Hensel's Lemma）和艾森斯坦不可约性判别法。方法论的核心包括：

1. 转化为整除性问题：证明不直接计算伽罗瓦群，而是专注于确立该群阶数的特定整除性质。
2. 亨塞尔引理的应用：本文引入了一个引理（引理 3），涉及形式洛朗级数域 $E((z))$ 上 $f(X) - g(y)$ 的因式分解。通过分析多项式 $f$ 和 $g$ 的重数为 $a$ 和 $b$（其中 $\gcd(a,b)=1$）的根，作者证明了次数 $a$ 整除 $f(X) - g(y)$ 伽罗瓦群的阶数。
3. 牛顿多边形（替代视角）：备注 4 指出，相同的结果也可以利用牛顿多边形推导出来，特别是通过分析根的赋值来确定在相关域上的不可约性。
4. 群论分类：证明依赖于对包含西格循环（Singer cycle，即循环置换 $\mathbb{F}_q^n$ 中非零元素的元素）的 $\text{GL}_n(q)$ 子群的分类结果。该结果最初引自 [2] 和 [3]，指出此类子群 $G$ 必须满足 $\text{GL}_{n/d}(q^d) \le G \le \Gamma\text{L}_{n/d}(q^d)$，其中 $d$ 是 $n$ 的某个约数。

主要贡献与结果

• 命题 2（整除性结果）：本文证明了伽罗瓦群阶数的一般整除性结果。对于多项式 $L(X) = \sum_{i=m}^n a_i X^{q^i}$，其中 $1 \le m \le n-1$ 且 $a_m, a_n \neq 0$，$L(X) - t$ 在 $\mathbb{F}_q(t)$ 上的伽罗瓦群的阶数可被 $q^m \cdot (q^m - 1) \cdot (q^n - 1)$ 整除。该结果对任意素数幂 $q$ 和正整数 $n$ 均成立，无需 $n$ 为素数或奇数。
• 定理 1（主要结果）：通过将命题 2 与群论分类相结合，作者解决了所有素数幂 $q$ 的猜想。
  • 陈述：设 $q$ 为素数幂，$n$ 为奇素数。若 $L(X)$ 是 $q$-次数为 $n$ 的首一 $q$-线性化多项式，则 $L(X) - t$ 在 $\mathbb{F}_q(t)$ 上的伽罗瓦群为 $\text{GL}_n(q)$，除非 $L(X) = X^{q^n}$。
  • 证明逻辑：已知伽罗瓦群 $G$ 是 $\text{GL}_n(q)$ 的子群，且包含一个阶数为 $q^n - 1$ 的循环正则子群。群论规定 $G = \text{GL}_n(q)$ 或 $G \le \Gamma\text{L}_1(q^n)$。若 $G \neq \text{GL}_n(q)$，则命题 2 中的整除条件意味着 $q^m \mid n$。由于 $n$ 是素数，这迫使 $m=1$ 且 $q=n$。然而，这导致矛盾（$n-1 \mid 1$），从而证明不存在这样的中间项 $a_m$，因此 $L(X)$ 必须是排除掉的单项式情形。

意义
本文声称解决了 Gow 和 McGuire 最初提出的定理中关于偶数 $q$ 的未决情形。其主要意义在于利用亨塞尔引理提供了针对所有素数幂 $q$ 的统一证明，而非依赖特定情形的论证。作者明确指出，虽然最后一步使用的群论分类依赖于有限单群分类（或 Kantor [3] 避免使用该分类的特定结果），但核心代数机制（命题 2）是自包含的，并广泛适用于线性化多项式的结构。这项工作将此类多项式伽罗瓦群行为的已知范围从奇素数幂扩展到了完整的素数幂集合。