On unsolvable equations of prime degree

技术摘要：论奇数次素数阶方程的不可解性

问题陈述
本文探讨了构造特定奇数次素数阶不可解多项式方程的问题。虽然五次及更高阶方程的一般不可解性是伽罗瓦理论中的标准结果，但作者专注于为一个特定的判别准则——克罗内克定理（Kronecker's Theorem）——提供一个相对初等的证明。该定理指出：对于实数子域上的奇数次素数阶不可约多项式，如果该方程可以由根式求解，那么要么其所有根均为实数，要么有且仅有一个实根。因此，任何具有多个实根且至少有一对共轭复根的此类不可约多项式，都是不可解方程的具体实例。

方法论与预备知识
作者采用了一种“初等”方法，其定义为避免使用完整的伽罗瓦理论（特别是正规子群与正规扩张之间的伽罗瓦对应关系）。相反，证明依赖于：

1. 域论基础： 单扩张的性质、塔法则（Tower Law）以及分裂域的结构。
2. 作为自同构群的伽罗瓦群： 利用伽罗瓦群的定义，即固定基域的分裂域的自同构群，而不调用深层的结构性定理来讨论可解性。
3. 根式扩张： 分析根式扩张链 $K = K_0 \subset K_1 \subset \dots \subset K_n = L$，其中 $K_i = K_{i-1}(\alpha_i)$ 且 $\alpha_i^{q_i} = a_i \in K_{i-1}$。
4. 共轭不变性： 一个关键的方法论增补是构建在共轭不变性下保持不变的根式扩张链。作者证明（引理 11）对于任何共轭不变域的根式扩张，都存在一个精细化的链，使得每个中间域也都是共轭不变的。这涉及处理既包括不可约根式，也包括“可约根式”（即 $X^q - a$ 在基域上是可约的）的情况。

主要贡献与修正
本文的主要贡献是对克罗内克定理的一个经过修正且统一的证明，解决了以往“初等”证明中存在的历史性错误，特别是海因里希·韦伯（Heinrich Weber）和海因里希·多里（Heinrich Dörrie）的证明。

• 识别错误： 作者追踪到韦伯和多里证明中的一个特定错误，该错误源于假设当多项式首次变为可约时，根式扩张的次数（$q$）必须等于多项式的次数（$p$）。当根式是“可约”时（即 $X^q - a$ 在基域中有根），这一假设失效。在这种情况下，扩张次数 $q$ 可能不同于 $p$，标准的论证过程 $q=p$ 也会随之崩溃。
• 处理可约根式： 本文明确处理了可约根式的情况。它表明，如果一个多项式通过一个可约根式变为可约，则该扩张涉及添加一个单位根以及一个潜在的实根 $\rho = \sqrt[q]{a\bar{a}}$。
• 统一证明策略： 作者提供了一个同时处理不可约和可约根式情况的证明。
  • 情况 I（不可约根式）： 如果 $X^q - a$ 是不可约的，根据纳格尔引理（Nagell's Lemma），$q=p$。伽罗瓦群是 $p$ 阶循环群。如果存在两个实根，自同构结构将迫使所有根均为实数。
  • 情况 II（可易根式）： 如果 $X^q - a$ 是可约的，则扩张是正规且循环的。作者利用实数 $\rho = \alpha\bar{\alpha}$ 的性质证明，如果一个根是实数，则由于域的共轭不变性和伽罗瓦群的传递性，所有根均为实数。

结果
本文确立了定理 14（克罗内克定理）：设 $K$ 为 $\mathbb{C}$ 的共轭不变子域。若 $f(X) \in K[X]$ 是一个系数为实数的奇数次素数阶 $p$ 的不可约多项式，且该方程可以由根式求解，则该多项式恰有一个实根或所有根均为实数。

证明确认，存在一个具有整数系数、既有实根又有非实根的奇数次素数阶不可约多项式（例如 $X^5 - 4X - 2$），这意味着该方程是不可由根式求解的。

意义与主张
作者谦逊地将本文的意义置于数学教学法和历史修正的背景下：

• 教学价值： 该证明提供了一条理解五次方程不可解性的路径，其要求的背景知识少于完整的伽罗瓦理论课程，因此适用于涵盖了域扩张但不涵盖完整伽罗瓦对应关系的进阶本科代数课程。
• 历史修正： 本文澄清了现代教科书中关于韦伯证明的呈现方式（通常源自多里的《数学的胜利》）在处理可约根式方面存在的不准确之处。作者提供了必要的修正，以在不诉诸完整伽罗瓦理论威力的情况下，挽救该证明的“初等”性质。
• 统一化： 通过根据根式的可约性以及 $\rho$ 的性质进行分类讨论，作者提供了一个完整的论证，避免了早期版本证明中存在的循环论证。

本文并非提出新的应用或未来的研究方向，而是旨在巩固经典代数可解性理论的基础。