概念

可解性

方程可根式解当且仅当伽罗瓦群可解，五次一般方程对应 S5 不可解，因此没有求根公式——阿贝尔-鲁菲尼定理的现代证明。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

可解性抽象代数

01定义

方程可根式求解

\iff

其伽罗瓦群是可解群（子群列的商均为交换群）。一般五次方程的伽罗瓦群是

S_5

，而

S_5

含单群

A_5

不可解——五次以上无求根公式的现代证明就此完成。

S₅ ⊃ A₅ ⊃ {e}：单群 A₅ 使可解链断裂

群 $G$ 可解 $\iff$ 存在子群列 $G=G_0\triangleright\cdots\triangleright G_n=\{e\}$ 使每层商交换；交换群、 $p$ -群、 $S_2, S_3, S_4$ 皆可解。

$A_5$ （60 阶）是最小的非交换单群——无正规子群可切，可解链无法继续； $n\geq 5$ 时 $A_n$ 皆单，故 $S_n$ 不可解。

根式解的每一层（开 $p$ 次方）对应一次循环（故交换）商；可根式解 $\iff$ 伽罗瓦群可解——两千年的求根公式追寻被群论一锤定音。

f\ \text{可根式解}\iff\operatorname{Gal}(f)\ \text{可解}

A_n\ \text{单}\ (n\geq 5)\ \Rightarrow\ S_n\ \text{不可解}

阿贝尔 1824 年首证五次方程无根式解；伽罗瓦 1830 年代用群的可解性给出完整判据（其手稿在他决斗身亡后才被刘维尔 1846 年发表）；这是群论诞生的标志性时刻。

可解群理论支撑有限群分类与表示论；「对称性破缺的层级」思想（可解列）在物理的相变与晶体对称分析中有类比应用。

S₃ 的导出列：换位子群链可解换 stage：换位子子群一层层「阿贝尔化」，最终塌缩到单位元

导出列层次0