一部完美的詞典
對伽羅瓦擴張 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₅，確實無法用根式求解。這就是 五次方程的不可解性——也許是代數中最美的 “不可能” 定理。