体論・ガロア理論

なぜ5次方程式には「解の公式」が無いのか

2次方程式には解の公式があります。3次・4次にもあります（複雑ですが）。 では5次は？ ——存在しません。しかもそれは「まだ見つかっていない」のではなく、 「原理的に存在しえない」と証明されている。この衝撃的な事実を説明するのが、ガロア理論です。

アイデアは天才的です。方程式の解たちを「入れ替えても方程式が変わらない対称性」の群 （群論）に翻訳する。すると「べき根で解ける」という代数の問題が、 「その群が可解群かどうか」という群論の問題に化ける。5次の対称群 $S_5$ は可解でない—— だから解の公式が無い。体（数の世界）の拡大と、群の構造が、鏡のように対応するという ガロア対応が、この魔法の核心です。

この分野のゴール：体の拡大を群として捉えるガロア対応を確立し、それを使って作図問題と 5次方程式の非可解性（アーベル–ルフィニ）に決着をつけること。群論・環論の集大成。

この分野の地図

体の拡大の基礎（1〜5章）→ ガロア理論（6〜9章）→ 応用（10〜12章）と進みます。 順番に読むのがおすすめです。

体の拡大

1. 体の拡大の基礎 — 拡大次数・塔の公式
2. 単拡大と最小多項式 — $K(\alpha)\cong K[x]/(m_\alpha)$
3. 代数拡大と超越拡大 — 有限⇒代数・超越数
4. 分解体 — 存在と一意性・同型の延長
5. 代数閉包と作図可能数 — 三大作図不能問題

ガロア理論

6. 正規拡大 — 分解体による特徴づけ
7. 分離拡大と完全体 — 重根・原始元定理
8. ガロア拡大とガロア群 — 固定体・アルティンの定理
9. ガロア理論の基本定理 — 中間体と部分群の対応

応用

10. 有限体 — フロベニウス・巡回ガロア群
11. 円分体 — $(\mathbb Z/n)^\times$・正多角形の作図
12. べき根による可解性 — アーベル–ルフィニの定理

前提

群論（可解群・単純性まで）と 環論（多項式環・既約性判定）が必須です。 この2分野の集大成として読むと、伏線が一気に回収されます。

準備ができたら 第1章：体の拡大の基礎 へ。