代数的整数論

素因数分解が壊れた世界を、どう救うか

整数の宝は「素因数分解の一意性」です。ところが数の世界を少し広げると、これが壊れます。 たとえば $\mathbb Z[\sqrt{-5}]$ では $6 = 2\cdot3 = (1+\sqrt{-5})(1-\sqrt{-5})$ と、 本質的に異なる2通りに分解できてしまう。フェルマーの最終定理への素朴な挑戦も、 実はここでつまずきました。

クンマーとデデキントの解決策が鮮やかです。「数」で分解できないなら、「イデアル」で分解すればいい （→環論）。数としての素因数分解は壊れても、イデアルとしての素イデアル分解は 一意に成り立つ——世界を「数」から「イデアル」へ一段持ち上げることで、失われた秩序が蘇る。 そして「どれだけ一意性が壊れているか」を測る量がイデアル類群、その大きさが類数です。 数論の深みへの入り口です。

数で割れないならイデアルで割る。素因数分解の一意性を、一段上の世界で取り戻す。

この分野の地図

「数を広げて整数環を作る」→「一意分解の破れをイデアルで救う」→「破れ具合と単数を測る」の順に進みます。

数の拡大と整数環

1. 代数的数と代数的整数 — なぜ整数を広げるか・環になること
2. 数体と整数環の構造 — $K=\mathbb Q(\alpha)$・整数環 $\mathcal O_K$・整基底
3. ノルム・トレース・判別式 — 共役と埋め込み・整基底の判定

一意分解の破れとイデアルによる救済

4. 一意分解の破れ — $\mathbb Z[\sqrt{-5}]$・既約だが素でない
5. デデキント環 — $\mathcal O_K$ の三条件・なぜそれで十分か
6. イデアルの素イデアル分解 — 一意分解の回復・分数イデアル
7. 分岐・惰性・分解 — 素数はどう分解するか・$efg=n$・判別式

類群・単数・幾何的手法

8. イデアル類群 — 破れ具合を測る・$\mathrm{Cl}(K)$
9. 格子とミンコフスキーの定理 — 幾何数論・凸体定理
10. 類数の有限性 — ミンコフスキー限界・$\mathrm{Cl}(K)$ は有限
11. ディリクレの単数定理 — 単数群の構造・階数 $r_1+r_2-1$
12. ゼータ・L関数と展望 — デデキントゼータ・類数公式・類体論への扉

前提

環論（イデアル・UFD・PID）、体論・ガロア理論（体の拡大・ガロア群）、 加群論（自由加群・階数）が土台。第5–6章は 可換環論・ホモロジー代数のデデキント環・整拡大と直結し、 第9–10章は線形代数の行列式（体積）を使います。

準備ができたら 第1章：代数的数と代数的整数 へ。