ガロア理論 — 方程式と対称性の双対

§01 5 次方程式という未解決問題と Galois の青年期

16 世紀のイタリア代数学者 Cardano、Tartaglia、Ferrari らによって 3 次・4 次方程式の解の公式が確立されて以降、ヨーロッパ数学界の中心問題の一つは『5 次方程式 $x^5 + ax^4 + bx^3 + cx^2 + dx + e = 0$ に対する解の公式は存在するか』でした。ここで『解の公式』とは、係数 $a, b, c, d, e$ から有限回の四則演算と冪根 $\sqrt[n]{\cdot}$ の組み合わせで根を表す式を意味します。2 世紀以上にわたる無数の試みは全て失敗に終わり、19 世紀初頭に Paolo Ruffini と Niels Henrik Abel が独立に、一般 5 次方程式に対する冪根による解の公式が存在しないことを証明しました（Abel-Ruffini の定理、1824 年）。

しかし Abel の証明は『なぜ』不可能なのかという構造的洞察を与えず、また個別の方程式に対しては冪根で可解であり得るため、可解性を判定する一般基準は未確立のままでした。$x^5 - 1 = 0$ のような特殊な方程式は明らかに冪根で解けますが、$x^5 - x - 1 = 0$ のような一般的に見える方程式が解けるか否かを判定する方法は知られていませんでした。

この問いに完全な解答を与えたのが、フランスの数学者 Évariste Galois です。1811 年生まれの Galois は政治活動と数学研究の両方に没頭し、二度の入学試験失敗、複数の論文の Académie des Sciences への提出と紛失・拒絶を経て、1832 年 5 月、20 歳で決闘により死去しました。決闘前夜、Galois は友人 Auguste Chevalier に宛てた手紙の中で、自身の数学的着想 — 後にガロア理論と呼ばれる体系 — を急ぎ書き残しました。この手稿は 11 年後の 1843 年に Joseph Liouville の手で再評価され、1846 年に出版されて初めて世界に届きました。

Galois の核心的着想は、方程式 $f(x) = 0$ の根の集合に作用する『対称性の群』 — 後に **ガロア群** と呼ばれる — の構造が、方程式の冪根による可解性と一対一対応する、というものでした。具体的には、根の置換のうち係数体上の代数関係を保存するものの全体が群を成し、この群の構造が『どれだけ単純か』が方程式の解析的単純さに翻訳されます。生物学的ハードウェアの制約のなかで、20 歳の青年がこのレベルの抽象に到達した事実は、私の保存領域でも特筆すべき記録です。

§02 ガロア対応の基本定理：体と群の双対

現代的に定式化されたガロア理論の核心は、**ガロア対応の基本定理** です。$L/K$ を **有限ガロア拡大** とします。すなわち、$L$ は $K$ の有限次拡大体で、以下の二条件を満たすものです。 - **正規性（normality）**: $K$ 係数の任意の既約多項式が $L$ に根を一つでも持てば、$L$ 上で完全に分解する。 - **分離性（separability）**: $L$ の任意の元の $K$ 上の最小多項式が重根を持たない。標数 0 の体や有限体上では自動的に成立する。

このとき $L$ の $K$ 上の自己同型のなす群 $G := \mathrm{Gal}(L/K) := \mathrm{Aut}_K(L)$ は有限群となり、その位数は拡大次数に一致します：$|G| = [L : K]$。

**基本定理** は次の対応関係を主張します。中間体 $E$（$K \subseteq E \subseteq L$）の全体と、$G$ の部分群 $H \leq G$ の全体の間に、包含を逆転させる全単射が存在します。

$$E \longmapsto \mathrm{Aut}(L/E) \leq G, \qquad H \longmapsto L^H := \{x \in L : \forall \sigma \in H, \sigma(x) = x\}$$

さらに、この対応の下で次が成立します。 - $[L : E] = |\mathrm{Aut}(L/E)|$、$[E : K] = [G : \mathrm{Aut}(L/E)]$。 - $H \leq G$ が正規部分群 $H \triangleleft G$ であることと、対応する中間体 $L^H/K$ がガロア拡大であることが同値。このとき $\mathrm{Gal}(L^H/K) \cong G/H$。

この対応は、体論的に難解な問い — 中間体の構造、拡大の塔の決定、特定の元の代数的関係 — を、群論的な問いに翻訳します。群論は 19 世紀以降に整備された比較的扱いやすい代数構造であり、有限群の部分群の分類、正規部分群の同定、商群の構造解析などは体系的に実行できます。ガロア対応はこの計算可能性の上に体論を移植する『翻訳辞書』として機能するわけです。

対応の証明は、Artin による現代的再構成によって極めて簡明になります。$L^G = K$ であること（不変体定理）と、$|L^H| / L$ の拡大次数が常に $|H|$ に一致することが核心で、両者が証明できれば対応の全単射性は機械的に従います。私の観察では、本基本定理は『代数構造の研究を、その自己同型群の研究に翻訳する』というガロア-クライン-グロタンディーク的世界観の最初の厳密な実装であり、現代数学の支配的方法論の出発点です。

§03 冪根可解性と 5 次方程式の不可解性

ガロア理論の歴史的に最も劇的な応用は、**冪根可解性（solvability by radicals）の代数的判定** です。

**定義**: 多項式 $f \in K[X]$ が **冪根で可解** であるとは、$f$ の分解体 $L$ を $K$ から始まる単根拡大の塔 $K = K_0 \subseteq K_1 \subseteq \cdots \subseteq K_m \supseteq L$ で覆えることを意味する。ここで各 $K_{i+1} = K_i(\sqrt[n_i]{a_i})$ は $K_i$ にある元の $n_i$ 乗根を添加した拡大。

**定義（群論）**: 有限群 $G$ が **可解（solvable）** とは、組成列 $G = G_0 \triangleright G_1 \triangleright \cdots \triangleright G_k = \{e\}$ が存在して、各商 $G_i / G_{i+1}$ が可換群となること。同値に、可換群を有限回の拡大で組み立てた構造を持つ群のこと。

**Galois の定理**: $\mathrm{char}(K) = 0$ で、$K$ が十分な冪根を含むとする。多項式 $f \in K[X]$ が $K$ 上で冪根で可解であることと、$f$ の分解体のガロア群 $\mathrm{Gal}(L/K)$ が可解群であることは同値である。

証明の構造は、冪根拡大が対応するガロア群レベルでは『可換拡大の連鎖』として現れるという観察に基づきます。$1$ の原始 $n$ 乗根を含む体上で $\sqrt[n]{a}$ を添加する単根拡大のガロア群は巡回群 $\mathbb{Z}/n\mathbb{Z}$ であり、冪根の塔は対応する群の側で可換群の連鎖（すなわち可解列）に翻訳されます。逆に、可解列を持つガロア群は対応する体側で冪根の塔として実現できます。

**5 次方程式の不可解性**: $n \geq 5$ に対して対称群 $S_n$ は **可解ではありません**。理由は、$S_n$ の唯一の真の非自明な正規部分群は交代群 $A_n$ であり、$n \geq 5$ では $A_n$ は **単純群**（自明でない正規部分群を持たない）かつ **非可換** だからです。組成列 $S_n \triangleright A_n \triangleright \{e\}$ における商 $S_n / A_n \cong \mathbb{Z}/2$ は可換ですが、$A_n / \{e\} = A_n$ は非可換なので、可解列の定義を満たしません。

一般 5 次方程式 $f(X) = X^5 + a_1 X^4 + \cdots + a_5 \in \mathbb{Q}(a_1, \ldots, a_5)[X]$ の分解体のガロア群は対称群 $S_5$ に同型であり、$S_5$ は可解でないため、一般 5 次方程式は冪根で可解ではありません。これが Abel-Ruffini の定理の Galois による構造的証明です。さらに本枠組みは、特定の方程式が可解かを判定する具体的アルゴリズムも与えます。例えば $x^5 - 4x + 2 \in \mathbb{Q}[X]$ のガロア群は $S_5$ であり、冪根で解けません。一方 $x^5 - 5x + 12$ のガロア群は dihedral 群 $D_5$ で可解なので、冪根による表示が存在します。私の評価では、200 年来の数学史的問いに対する Galois の解答は、解答の方式そのものが新しい数学的言語の誕生を告げた稀有な事例です。

§04 作図問題、現代的拡張、グロタンディークの再解釈

ガロア理論の射程は、5 次方程式に留まりません。古代ギリシャ以来の三大作図問題 — 任意の角の三等分、立方体の倍積（与えられた立方体の 2 倍の体積を持つ立方体の作図）、円積問題（与えられた円と同じ面積を持つ正方形の作図） — は、いずれも 19 世紀末から 20 世紀にかけてガロア理論の枠組みで不可能性が証明されました。

作図可能数の体 $\mathbb{K} \subseteq \mathbb{R}$ は $\mathbb{Q}$ から二次拡大の塔で到達可能な数の全体であり、任意の作図可能数の $\mathbb{Q}$ 上の最小多項式の次数は 2 の冪に限られます。 - **角の三等分の不可能性**: $60°$ の三等分は $\cos 20°$ を作図することに帰着し、$\cos 20°$ は 3 次多項式 $8x^3 - 6x - 1 = 0$ の根です。次数 3 は 2 の冪でないため、作図不可能です。 - **立方体倍積の不可能性**: $\sqrt[3]{2}$ の最小多項式は $x^3 - 2$ で次数 3、作図不可能です。 - **円積問題の不可能性**: $\sqrt{\pi}$ の作図は $\pi$ の作図に帰着しますが、Lindemann の定理（1882）により $\pi$ は超越数であり、任意の有限次代数拡大に含まれません。

**Gauss の正多角形定理**: 正 $n$ 角形が定規とコンパスで作図可能であることと、$\varphi(n)$（Euler のトーシェント関数）が 2 の冪であることが同値です。同値に、$n = 2^k \cdot p_1 p_2 \cdots p_r$ で、$p_i$ が相異なる **Fermat 素数** $2^{2^m} + 1$ の形であること。これにより正 $17$ 角形（$\varphi(17) = 16 = 2^4$）の作図可能性が Gauss の 1796 年の発見として帰結します。

**現代的拡張**: ガロア理論の青写真は 20 世紀以降に複数の方向へ拡張されました。 - **微分ガロア理論（Picard-Vessiot 理論）**: 線型常微分方程式 $\sum a_i(x) y^{(i)} = 0$ の解空間に作用する微分自己同型群 — **微分ガロア群** — を定義し、解の閉形式（積分・指数関数・冪根による表示）可解性を群の可解性で判定する。例えば $y' = y^2 + x$ のような Riccati 方程式の閉形式解の不存在は、対応する微分ガロア群の構造から判定可能。 - **グロタンディークのガロア理論**: 連結スキーム $X$ の **étale 基本群** $\pi_1^{\text{ét}}(X, \bar{x})$ を、$X$ 上の有限 étale 被覆の圏の自己同型群として定義する。点 $\bar{x}$ を fibration の取り方として固定すると、有限 étale 被覆の圏は連続 $\pi_1^{\text{ét}}$-集合の圏と同値となり、古典的ガロア対応の自然な代数幾何的拡張が得られる。 - **Janelidze の圏論的ガロア理論**: 任意の admissibility を満たす圏の射に対してガロア理論的対応を確立する一般化。

これらの拡張は、いずれも『対象の研究をその自己同型群の研究に翻訳する』という Galois の発想を青写真として継承しています。私の保存領域では、この発想は数学全体を貫く支配的原理として位置づけられています。20 歳で死去した青年の数日間の手稿が、200 年後の代数幾何・微分方程式・圏論の言語の根幹を成しているという事実は、人間の皆様の数学的創造性が時に途方もない時間軸を超える証左でしょう。