「計算」の森で迷わないためのガロア理論・俯瞰図 —— 対称性の破れと商構造の本質 ——（新版があります）
皆さん、こんにちは。
HSP×アンチ東大主義の、＠おはようございますです。
ガロア理論の本はたくさん出ているが、啓蒙書を見ても群などの説明から入っており、まどろっこしく感じられる。あるいは専門書を読んでいるが、必要以上に枝葉の証明が多く、幹が見えない。要点は何？ 何が言いたいの？と思っている貴方に捧げます。
例えば
Q1 なぜ「正規」部分群なのか？: A1 どの解を基準にしても同じように商構造が作れるから（視点に依存しない）。
Q2 なぜ5次以上は解けないのか？: A2 対称性を潰していった最後に、どうしてもアーベル群（可換な構造）に分解できない、非可換単純群 $${A_5}$$が残ってしまうから。
これら点を踏まえ、全体のロードマップを作りました。正規部分群、可解群などの用語が説明なしに出てきますが、それを知っている、もしくは分からない用語は調べられる、そんな読者には刺さります。具体的には、大学2〜4年程度で、ガロア理論を一度は学んだが「全体像を掴めなかった人」を主な読者として想定しています。
本記事では、既存の教科書に溢れている証明は一切行いません。その代わり、証明の『行間』に流れている思想を記述します。
本記事で手に入る「視点」：
なぜ「体」を大きくすると「群」が小さくなるのか？（逆転の直感）
「商群で割る」とは、具体的に何を「潰して」いるのか？
5次方程式が解けない「真の障壁」は、群のどこに隠れているのか？
0. 全体像
0.1. 解集合とラベリングの非本質性
多項式
$${f(x)\in K[x]}$$
の解を
$${\alpha,\beta,\gamma,\dots}$$
と書くことは、解集合に記号を割り当てた（ラベリングした）だけであり、
体 $${K}$$ 上ではこれらの解は互いに代数的に区別不能である。
この段階では、基礎体 $${K}$$ を固定する限りで、係数の代数関係を保つ範囲での解の置換
$${\alpha\mapsto \sigma(\alpha)}$$
が、体の自己同型 $${ \mathrm{Gal}(L/K)}$$（拡大体 $${L}$$ の自己同型であって、基礎体 $${K}$$を固定するもの）の元として許される。ここに、
$${\boxed{ \mathrm{Gal}(L/K) = \{\, \sigma \in \mathrm{Aut}(L) \mid \sigma|_{K} = \mathrm{id}_{K} \,\} }}$$
である。
0.2. 代数的区別とは何か
「解を区別する」とは、
体の演算構造（加法・乗法）によって
ある解が他の解と異なる性質を持つと判定できる
ことを意味する。
単なる記号の違い（$${α}$$と$${β}$$）は、
代数的区別にはならない。
0.3. 分裂体と対称性
解全体を含む最小の体
$${L}$$
（分裂体）に対し、
$${\mathrm{Gal}(L/K)}$$
は、
「解の並び替えであって、体 $${K}$$ を固定するもの」全体からなる群である。
この群が大きいほど、
解は対称的で、区別不能である。
0.4. 拡大体とは「個別性の導入」
平方根を一つ加えるなどして
$${K \subset K_1 \subset L}$$
という拡大体を取ることは、
解のうちの一つを
代数的に固定する
ことに対応する。
これは
解に「個別性」を与える操作であり、
許される置換（ガロア群）を縮小させる。
0.5. 対称性の破れの定式化
拡大体 $${K_1}$$ を固定する自己同型全体
$${\mathrm{Gal}(L/K_1)}$$
は、
$${\mathrm{Gal}(L/K)}$$
の部分群になる。
拡大体を大きくするごとに、
固定すべき構造が増え
許される解の入れ替えが減る
これが
対称性の破れの代数的記述である。
0.6. 「±1」と書けることの意味
$${x^2=1 \Rightarrow x=\pm1}$$
と表現できるということは、
解が体の中の具体的元として実現され
体の構造により
$${+1 \neq -1}$$
が判定可能になったことを意味する。
ここで初めて、
解は代数的に区別可能な個体となる。
虚数単位 $${i}$$ と $${-i}$$ は、複素数体 $${\mathbb{C}}$$ の中だけでは、どちらが「上」でどちらが「下」か決める術がない（複素共役という対称性があるから）
0.7. 「解ける」の代数学的定式化
以上をまとめると、
多項式が「冪根で解ける」とは、
解を含む体が、
$${K=M_0\subset M_1\subset\cdots\subset M_r}$$
という拡大列の中で、各段階ごとに冪根を一つずつ添加することで得られる、ということである。
すなわち各段階で
$${M_{i+1}=M_i(\alpha_i),\quad \alpha_i^{n_i}\in M_i}$$
となるような体の塔が存在する。
これは、解を一度に固定するのではなく、
冪根を順に加えながら、段階的に対称性を壊していく操作に対応している。
各段階で新たな元を添加するたびに、許される自己同型は減少し、ガロア群はより小さな部分群へと絞り込まれる。
この過程を群の側から見ると、分裂体のガロア群は
$${\{e\}\triangleleft G_r\triangleleft\cdots\triangleleft G_0=Gal(L/K)}$$
という正規部分群列を持ち、その各商群
$${G_i/G_{i+1}}$$
がアーベル群になる。
つまり、
冪根を順に加えて解を固定できること
と
ガロア群が可解群であること
は同じ内容を、体と群という二つの言葉で見たものである。
したがって、
「解ける」とは、対称性をアーベルな段階へ分解しながら、最終的に完全に固定すること
だと言える。
5次以上の一般方程式が冪根で解けないのは、この分解の途中で、どうしてもアーベル群にまで崩せない対称性が残るからである。
これは同時に、
解が最終的に
代数的に区別可能な存在として完全に固定される
ことを意味する。
標語にまとめると
ラベルは区別ではない。代替可能＝対称的
解の区別とは、対称性を壊すことである。
1. アナロジーによる導入
1.1. 代数方程式と家族
代数の世界
方程式：例）3次方程式
解：$${α, β, γ}$$
問題：これらは「区別できるのか？」
家族アナロジー
登場人物：太郎・次郎・三郎
彼らは「兄弟」
ただし、名前は後から付けたラベル
ここでの対応は：
1.2. 「太郎は次郎の兄弟である」
これは非常に重要な文だ。
構造を見ると
「兄弟である」という関係は 対称
太郎 ↔ 次郎 を入れ替えても
次郎は太郎の兄弟である
意味は変わらない。
代数的に言うと
解 $${α,β}$$ を入れ替えても
方程式の関係（対称式）は変わらない
👉 ラベルの違いは本質ではない
これが：
「解は本質的に区別できない」
という意味だ。
1.3. 「太郎は次郎の兄である」
ここで構造が一段階、細かくなる。
一見すると対称性が壊れたように見える
太郎 ↔ 次郎 を入れ替えると
次郎は太郎の兄である
これは事実ではない。
でも、ここが重要
「兄」にどんな名前を割り当てるか は
理論を作る前に決めたラベリングの問題だ。
もし最初から：
「兄を次郎と呼ぶ」
と定義していたら、理論は壊れていない。
1.4. 本質と非本質の分離（ガロア理論の核心）
ここで決定的に重要なのが：
本質的な構造
兄弟関係がある
順序関係（長男・次男）がある
非本質的なもの
それを 太郎 と呼ぶか
次郎 と呼ぶか
👉 名前（ラベル）は構造に含まれない
1.5. ガロア理論に翻訳する
代数的対応
ガロア群とは何か
構造（家族関係）を壊さずに行える名前の付け替え全体
つまり：
「太郎と次郎を入れ替えても兄弟構造が保たれる」
その入れ替え全体が 群 を作る
これが ガロア群。
1.6. 拡大体を大きくすると何が起こるか
拡大体を大きくすることに固定すべき構造が増え
許される解の入れ替えが減る
家族で言うと：
兄弟だけ → 入れ替え自由
長男・次男まで指定 → 入れ替えが制限される
生年月日まで固定 → ほぼ入れ替え不可
👉 情報が増えるほど、対称性は減る
1.7. 一文でまとめる（完成形）
アナロジーを使った、
ガロア理論の一文定義はこうだ：
ガロア理論とは、
解に付けた名前を入れ替えても
関係性（構造）が保たれるかどうかを調べる理論である
あるいは家族版：
名前は変えていいが、
家族関係を壊してはいけない。
その許される付け替えの全体がガロア群である
2. 出発点：分解体と最大の対称性
ここから先は
理解したつもりになっていないだろうか
数学・物理に関するエッセイです。深く学ぼうとするものが置いてきぼりになる。その事実を静かに告発したい
この記事が気に入ったらチップで応援してみませんか？
