当前位置：首页 > news >正文

五次方程无根式解的群论证明详解

news 2025/7/14 13:41:34

五次方程无根式解的群论证明详解

一、理论基础：伽罗瓦理论精要

1.1 域扩张与自同构群

设 $F$ 为基域（通常取有理数域 $Q\mathbb{Q}$ ）， $K$ 为 $F$ 的扩域。 $K$ 在 $F$ 上的伽罗瓦群定义为：
$\operatorname{Gal}(K/F) = \{ \sigma: K \to K \mid \sigma \text{ 是 } F\text{-自同构} \}$

1.2 伽罗瓦对应

在伽罗瓦扩张 $K / F$ 中，存在反序一一对应：
$\begin{array}{c} \text{中间域 } E \\ F \subseteq E \subseteq K \end{array} \quad \longleftrightarrow \quad \begin{array}{c} \text{子群 } H \\ \operatorname{Gal}(K/F) \supseteq H \supseteq \{e\} \end{array}$
其中 $\operatorname{Gal}(K/E)$ 。

1.3 根式扩张的代数刻画

一个多项式 $\in F[x]$ 根式可解 当且仅当存在根式扩张塔：
$F_0 \subseteq F_1 \subseteq \cdots \subseteq F_m$
其中 $Fi+1=Fi(αi)F_{i+1} = F_i(\alpha_i)$ 且 $αini∈Fi\alpha_i^{n_i} \in F_i$ ，且分裂域 $\subseteq F_m$ 。

graph LRA[基域 F] --> B[添加根式 α₁]B --> C[添加根式 α₂]C --> D[...]D --> E[扩张域 F_m]E --> F[包含所有根]

二、群的可解性理论

2.1 可解群的精确定义

群 $G$ 称为可解群，如果存在子群链：
$G_0 \triangleright G_1 \triangleright \cdots \triangleright G_k = \{e\}$
满足：

$Gi+1◃GiG_{i+1} \triangleleft G_i$ （正规子群）
$G_i / G_{i+1}$ 是阿贝尔群

2.2 导群列方法

定义 $G$ 的导子群：
$\langle [x,y] \mid x,y \in G \rangle, \quad [x,y] = xyx^{-1}y^{-1}$
则 $G$ 可解当且仅当导群列终止于平凡群：
$\triangleright D(G) \triangleright D^2(G) \triangleright \cdots \triangleright D^n(G) = \{e\}$

2.3 可解群的判别定理

Burnside 定理：阶为 $p^a q^b$ 的群可解（ $p, q$ 素数）
Feit-Thompson 定理：奇数阶群可解
对称群性质： $S_n$ 可解当且仅当 $\leq 4$

三、对称群 $S_5$ 的结构分析

3.1 $S_5$ 的群论性质

阶： $S_5| = 5! = 120$
共轭类：由置换的轮换型决定
生成元： $5)⟩S_5 = \langle (1\ 2), (1\ 2\ 3\ 4\ 5) \rangle$

3.2 $S_5$ 的子群结构

$\begin{array}{c|c|c} \text{子群类型} & \text{阶} & \text{是否正规} \\ \hline A_5 & 60 & \text{是} \\ S_4 & 24 & \text{否} \\ A_4 & 12 & \text{否} \\ D_5 & 10 & \text{否} \\ C_5 & 5 & \text{否} \\ \end{array}$

3.3 $A_5$ 的共轭类分解

轮换型	代表元	元素数	符号
$()$	恒等置换	1	+
$4)(1\ 2)(3\ 4)$	双对换	15	+
$3)(1\ 2\ 3)$	3-轮换	20	-
$5)(1\ 2\ 3\ 4\ 5)$	5-轮换	24	-

四、 $A_5$ 单性证明（详细版）

4.1 预备引理

引理 1： $A_n$ ( $\geq 3$ ) 由 3-轮换生成。

证明：

对换的平方： $d)(a\ b)(c\ d) = (a\ c\ b)(a\ c\ d)$
对换的复合： $c)(a\ b)(b\ c) = (a\ b\ c)$

引理 2：若 $\triangleleft A_5$ 包含一个 3-轮换，则 $N = A_5$ 。

证明：
设 $c)∈N(a\ b\ c) \in N$ ，则对任意 $\neq e$ ：

取 $e)\sigma = (c\ d\ e)$
$d)∈N\tau = \sigma(a\ b\ c)\sigma^{-1} = (a\ b\ d) \in N$
类似可得所有 3-轮换 $∈N\in N$
由引理 1， $N = A_5$

4.2 主定理证明

定理： $A_5$ 是单群。

证明（反证法）：
设 ${e}≠N◃A5\{e\} \neq N \triangleleft A_5$ ，则 $N$ 必含某共轭类。

情况 1： $N$ 含 3-轮换
由引理 2， $N = A_5$
情况 2： $N$ 含 5-轮换
设 $5)∈N\sigma = (1\ 2\ 3\ 4\ 5) \in N$
取 $3)∈A5\tau = (1\ 2\ 3) \in A_5$
计算 $2)∈N\rho = \tau \sigma \tau^{-1} \sigma^{-1} = (1\ 3\ 2) \in N$
则 $N$ 含 3-轮换，回到情况 1
情况 3： $N$ 含双对换
设 $4)∈N\sigma = (1\ 2)(3\ 4) \in N$
取 $5)∈A5\tau = (1\ 2\ 5) \in A_5$
计算 $4)∈N\rho = \tau \sigma \tau^{-1} \sigma^{-1} = (1\ 5)(3\ 4) \in N$
再取 $5)∈A5\eta = (1\ 3\ 5) \in A_5$
计算 $4)∈N\theta = \eta \rho \eta^{-1} = (1\ 5)(2\ 4) \in N$
则 $3)\sigma \theta = (1\ 2)(3\ 4)(1\ 5)(2\ 4) = (1\ 4\ 5\ 2\ 3)$ 是 5-轮换
回到情况 2
情况 4： $N$ 含单位元
平凡，无需考虑

综上， $N$ 必为 $A_5$ ，故 $A_5$ 是单群。

五、 $S_5$ 不可解性的完整证明

5.1 导群计算

$S_5$ 的导子群：
$D(S_5) = [S_5, S_5] = A_5$
因为：

$σ, τ] = στσ^{-1}τ^{-1}$ 是偶置换
$A_5$ 由换位子生成

$A_5$ 的导子群：
$D(A_5) = [A_5, A_5] = A_5$
因为 $A_5$ 是单群且非阿贝尔。

5.2 导群列分析

$S_5 \triangleright \underbrace{A_5}_{\text{非阿贝尔}} \triangleright A_5 \triangleright \cdots$
导群列不终止：
$D^0(S_5) = S_5, \quad D^1(S_5) = A_5, \quad D^k(S_5) = A_5 \quad (k \geq 1)$

5.3 伽罗瓦理论应用

对一般五次方程 $f(x) = x^5 + a x^4 + b x^3 + c x^2 + d x + e = 0$ ：

分裂域 $K$ 的伽罗瓦群 $Gal⁡(K/Q(a,b,c,d,e))≅S5\operatorname{Gal}(K/\mathbb{Q}(a,b,c,d,e)) \cong S_5$
$S_5$ 不可解
由伽罗瓦基本定理， $f$ 无根式解

graph TBA[一般五次方程] --> B[伽罗瓦群 S₅]B --> C[计算导群列]C --> D1[D⁰=S₅]D1 --> D2[D¹=A₅]D2 --> D3[D²=A₅]D3 --> E[永不终止]E --> F[不可解群]F --> G[无根式解]

六、特殊可解情况详解

6.1 循环五次方程

形式： $x^5 + a = 0$
伽罗瓦群： $Z/5Z\mathbb{Z}/5\mathbb{Z}$ （循环群）
根式解： $xk=−a5⋅ζk(k=0,1,2,3,4)x_k = \sqrt[5]{-a} \cdot \zeta^k \quad (k=0,1,2,3,4)$
其中 $ζ=e2πi/5\zeta = e^{2\pi i/5}$

6.2 二面体群方程

标准形式： $x^5 + 5ax^3 + 5a^2x + b = 0$
伽罗瓦群：二面体群 $D_5$
根式解：
$x_k = \sqrt[5]{\frac{-b + \sqrt{b^2 + 4a^5}}{2}} \zeta^k + \sqrt[5]{\frac{-b - \sqrt{b^2 + 4a^5}}{2}} \zeta^{4k}$

6.3 可约情况

一次因式： $(x - r) g (x) = 0$ ，伽罗瓦群降为 $S_4$ （可解）
二次因式： $x^2 + px + q)g(x) = 0$ ，伽罗瓦群降为 $S_3$ （可解）

七、数值解法与符号表示

7.1 布林-杰拉德正规形

任意五次方程可化为缺项形式：
$y^5 + py + q = 0$
通过变换 $\frac{a}{5}$ 。

7.2 椭圆函数解法

赫尔米特-克拉默形式：
$\frac{\sqrt[4]{P}}{\sqrt{k}} \cdot \frac{\vartheta_1(u; \tau)}{\vartheta_4(u; \tau)}$
其中：

$ϑi\vartheta_i$ 为雅可比椭圆函数
$τ\tau$ 与方程系数相关
$u$ 为复参数

7.3 超几何函数表示

布林解：
$\sqrt[5]{-\frac{q}{4}} \cdot {}_4F_3\left( \begin{array}{c} \frac{1}{5}, \frac{2}{5}, \frac{3}{5}, \frac{4}{5} \\ \frac{1}{2}, \frac{3}{4}, \frac{5}{4} \end{array} ; -\frac{3125p^4}{256q^5} \right)$

八、现代发展与应用

8.1 逆伽罗瓦问题

问题：给定有限群 $G$ ，是否存在 $Q\mathbb{Q}$ 上的伽罗瓦扩张 $K/QK/\mathbb{Q}$ 使得 $Gal⁡(K/Q)≅G\operatorname{Gal}(K/\mathbb{Q}) \cong G$ ？

重要结果：

$S_n$ 和 $A_n$ 对所有 $n$ 可实现
可解群均可实现（Shafarevich 定理）

8.2 p进伽罗瓦表示

应用：

怀尔斯证明费马大定理
朗兰兹纲领的核心组成部分

基本思想：
$\rho: \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{GL}_n(\mathbb{Z}_p)$

8.3 微分伽罗瓦理论

研究对象：微分方程的伽罗瓦群
应用：

非线性方程的不可积性证明
物理系统的可积性分类

九、教学案例：具体五次方程分析

9.1 可解方程示例

方程： $x^5 - 5x + 12 = 0$
伽罗瓦群： $D_5$ （阶10）
根式解：
$x_k = \sqrt[5]{\frac{-12 + \sqrt{144 + 4 \cdot 3125}}{2}} \zeta^k + \sqrt[5]{\frac{-12 - \sqrt{144 + 4 \cdot 3125}}{2}} \zeta^{4k}$

9.2 不可解方程示例

方程： $x^5 - x + 1 = 0$
伽罗瓦群： $S_5$
证明：

模 $p = 2$ 不可约
模 $p = 3$ 分解为 $x^2 + x + 2)(x^3 + 2x^2 + 2x + 2)$
置换包含 5-轮换和 2-轮换
故伽罗瓦群为 $S_5$

十、历史意义与哲学思考

10.1 数学史里程碑

年份	人物	贡献
1799	鲁菲尼	首次证明五次方程无根式解
1824	阿贝尔	完善严格证明
1832	伽罗瓦	创立群论方法
1858	克罗内克	给出构造性证明
1870	若尔当	出版《置换论》系统阐述

10.2 认识论启示

计算 vs 结构：从寻求公式到研究对称性结构
可解性相对性：依赖于基域选择（如复数域上总有解）
数学统一性：代数学、数论、几何的深刻联系
抽象的力量：群论作为现代数学的通用语言

附录：伽罗瓦理论基本定理完整表述

设 $K / F$ 为有限伽罗瓦扩张， $\operatorname{Gal}(K/F)$ 。则：

映射 $\mapsto \operatorname{Gal}(K/E)$ 和 $\mapsto K^H$ 给出：
- 中间域 ${E∣F⊆E⊆K}\{ E \mid F \subseteq E \subseteq K \}$
- 子群 ${H∣H⊆G}\{ H \mid H \subseteq G \}$
  之间的一一对应
$E / F$ 是伽罗瓦扩张当且仅当 $Gal⁡(K/E)◃G\operatorname{Gal}(K/E) \triangleleft G$ ，此时：
$\operatorname{Gal}(E/F) \cong G / \operatorname{Gal}(K/E)$
若 $\operatorname{Gal}(K/E)$ ，则 $[E : F] = [G : H]$
$K / E$ 总是伽罗瓦扩张，且 $Gal⁡(K/E)=H\operatorname{Gal}(K/E) = H$
中间域 $E$ 单生成当且仅当 $H$ 正规且 $G / H$ 循环