一部完美的词典
对伽罗瓦扩张 K/F，伽罗瓦理论基本定理 给出一个一一对应：每个 介于 F 与 K 之间的域 E 恰好对应 伽罗瓦群 的一个 子群 H——即固定 E 中每个元素的那些自同构。这个对应反转包含关系：更大的域 ↔ 更小的子群。
而且账目分毫不差：[K : E] = |H|，同时 [E : F] 等于 H 在群中的指数。由 拉格朗日定理，二者相乘得 |Gal(K/F)|，恰与次数的塔律相映。域的几何变成了群的算术——这正是魔法所在。
可用根式求解 = 可解群
“用根式求解” 意味着仅用 +、−、×、÷ 与 n 次根从 F 抵达根——正是求根公式那种形式的答案。你每添加一个根式，就垒起域塔的一级。经词典翻译，这座塔变成一条子群链，每个在下一个中正规且商为交换群。具有这种链的群称为 可解群。
这便是问题的核心：一个多项式 可用根式求解，当且仅当 它的伽罗瓦群是可解群。关于公式的全部疑问，已被转化为关于一个有限群内部结构的疑问。
五次方程倒下了
二、三、四次方程可解，因为它们的伽罗瓦群（S₂、S₃、S₄ 的子群）全是可解的——这正是经典二次、三次、四次公式存在的原因。但一个 “一般的” 五次多项式的伽罗瓦群是 S₅，即 5 个字母上完整的 对称群。
Why S₅ is NOT solvable:
S₅ ⊃ A₅ (the alternating group, 60 elements)
A solvable chain would need abelian quotients all the way down.
But A₅ is SIMPLE (no normal subgroups except {e} and A₅ itself)
and A₅ is NOT abelian.
So the chain S₅ ⊃ A₅ ⊃ ... jams: there is nowhere to go.
⇒ S₅ is not solvable
⇒ the general quintic has NO formula in radicals.这不是 “我们还没找到公式”。这是一个证明：对任何根式的有限组合，这样的公式都不可能存在。具体多项式 x⁵ − x − 1 在 Q 上的伽罗瓦群是 S₅，确实无法用根式求解。这就是 五次方程的不可解性——也许是代数中最美的 “不可能” 定理。