※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・形式科学の恒星群 数学冠・派生第2巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> **この冊の前提 = BOOK-0067『代数 — 名前のない数に名前を付ける』第1巻(→BOOK-0067)**。前巻は水準一〜四(方程式・恒等式・一次方程式・二次方程式・代数の歴史)を扱い、末尾で「二次方程式まではきれいな解の公式で解けたが、次数が上がるにつれて代数はやがて『公式で解く』という発想の限界にぶつかり……方程式そのものではなく解の"対称性の構造"を調べるという、群論というまったく新しい数学が生まれた」という扉の手前で筆を置いた。本冊はその扉を実際に開き、群論・環論・体論という抽象代数の大陸を探検する後半戦(水準五〜六)である。
> 水準: 五〜六(群論・環論・体論の入口、および五次方程式の解の公式が存在しない物語)。
---
# BOOK-0130 代数 — 対称性という第五の道具(数学派生 第2巻)
> 学問の宇宙・形式科学の恒星群 数学冠・派生第2巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> **この冊の前提 = BOOK-0067『代数 — 名前のない数に名前を付ける』第1巻(→BOOK-0067)**。前巻は水準一〜四(方程式・恒等式・一次方程式・二次方程式・代数の歴史)を扱い、末尾で「二次方程式まではきれいな解の公式で解けたが、次数が上がるにつれて代数はやがて『公式で解く』という発想の限界にぶつかり……方程式そのものではなく解の"対称性の構造"を調べるという、群論というまったく新しい数学が生まれた」という扉の手前で筆を置いた。本冊はその扉を実際に開き、群論・環論・体論という抽象代数の大陸を探検する後半戦(水準五〜六)である。
> 水準: 五〜六(群論・環論・体論の入口、および五次方程式の解の公式が存在しない物語)。
---
## 入口の物語 — 数える数学から、形を数える数学へ
前巻の旅を思い出してほしい。私たちは「まだ値のわからない数」に `x` という名前を先に与え、その `x` を移項したり因数分解したりして、正体(具体的な数値)を暴き出した。一次方程式は天秤の喩えで、二次方程式は因数分解・平方完成・解の公式という三つの武器で、すべてきれいに解けた。
けれども前巻の最後で、小さな影が差した。三次方程式・四次方程式にも解の公式は見つかった。しかし五次方程式には、どれだけ数学者たちが挑んでも解の公式が見つからなかった。そして1824年、ノルウェーの数学者アーベルが、「見つからない」のではなく「そもそも存在しない」ことを証明してしまった。
なぜ存在しないのか。この問いに答えるために、数学は驚くべき方向転換をする。**方程式の"解そのもの"を追いかけるのをやめ、解たちが互いにどう入れ替え可能か——解たちの"対称性"——を調べる**という方向転換だ。
一つの喩えから始めよう。正三角形を思い浮かべてほしい。この三角形を、頂点の位置は保ったまま(つまり同じ形のまま)回転させたり、裏返したりする操作はいくつあるだろうか。「何もしない」「120度回転」「240度回転」、そして三本の対称軸に沿った「裏返し」が三通り——合わせて6通りの操作が、正三角形を"正三角形のまま"に保つ。この「形を変えずに済む操作の集まり」こそが、これから探検する**群(ぐん)**という概念の最初の具体例である。
驚くべきことに、この「正三角形を保つ6つの操作の集まり」と、「3個の物を並べ替える6通りの方法の集まり」と、「三次方程式の3つの解を入れ替える6通りの方法の集まり」は、見た目はまったく違う対象でありながら、**まったく同じ構造**を持っている。数学は、この"構造の同じさ"を厳密に扱う道具を必要としていた。それが群論であり、群論を武器にして「なぜ五次方程式には解の公式がないのか」を解明したのが、本冊後半の主役、フランスの数学者ガロアである。
```
前巻(BOOK-0067): 数そのものの正体を、式の操作で暴く x + 3 = 7 → x = 4
本冊(本冊) : 解たちの"入れ替えの構造"を調べる {解1,解2,解3}の対称性 → 群
```
前巻が「名前のない数に名前を付ける」物語だったのに対し、本冊は「バラバラに見える対象のあいだに潜む、同じ構造を見つけ出す」物語である。結晶の対称性、あみだくじ、ルービックキューブ、そして誤り訂正符号や暗号——一見すると数学とは無関係に思えるこれらすべてが、実は同じ言語(群論・環論・体論)で語れることを、これから見ていく。
---
## 第五章: 群 — 「対称性」を数学の言葉にする(水準五)
### なぜ「対称性」を数える必要があるのか
**対称性(たいしょうせい、水準五: ある対象に操作を加えても、見た目や性質が変わらないという性質)**という言葉は、日常でも「左右対称」のように使われる。しかし数学がここで捉えたいのは、もっと広い意味の対称性——「その対象を"保つ"操作にはどんな種類があり、それらの操作を組み合わせるとどんな規則が成り立つか」という構造そのものである。
雪の結晶を思い浮かべてほしい。六角形の結晶は、60度ずつ回転させても、鏡に映しても、同じ形に見える。この「結晶を保つ操作の集まり」を調べることは、結晶そのものの形を調べることとは別の作業であり、しかも驚くほど強力な情報を与えてくれる。実際、結晶学(物質がどんな対称性を持つ結晶構造を作るかを研究する分野)では、群論が中心的な道具として使われている。
### 群の定義 — 4つの約束事
**群(ぐん、水準五: 集合とその上の一つの演算の組で、次の4つの性質——閉じている・結合法則・単位元の存在・逆元の存在——を満たすもの)**は、次のように定義される。集合 `G` とその上の演算 `*`(掛け算のようなもの)の組 `(G, *)` が群であるとは、以下がすべて成り立つことをいう。
1. **閉じている**: `G` の任意の2つの要素 `a, b` について、`a * b` もまた `G` の要素である。
2. **結合法則**: `(a * b) * c = a * (b * c)` が常に成り立つ(計算の順序を変えても、まとめ方を変えなければ結果は同じ)。
3. **単位元の存在**: `e * a = a * e = a` となる特別な要素 `e`(単位元)が `G` の中に存在する。
4. **逆元の存在**: `G` の各要素 `a` について、`a * a⁻¹ = a⁻¹ * a = e` となる要素 `a⁻¹`(`a` の逆元)が `G` の中に存在する。
抽象的に見えるこの4条件を、身近な例で具体的に確かめてみよう。
### 具体例その一: あみだくじの群
あみだくじを思い浮かべてほしい。3本の縦線があり、横線を何本か引いて、上から下へたどると3人の人が入れ替わる。「3人の並び方を入れ替える操作」の全体を考えると、これは**対称群(たいしょうぐん、水準五: n個のものすべての並べ替え方からなる群。n個の対象の対称群は `Sₙ` と書く)**の一例であり、3人の場合は `S₃` と書く。
`S₃` の要素を具体的に書き出すと、3個の並べ替え方は全部で `3! = 3×2×1 = 6` 通りある。**検算7**: 実際に1,2,3の並べ替えをすべて列挙すると `(1,2,3), (1,3,2), (2,1,3), (2,3,1), (3,1,2), (3,2,1)` の6通りであり、確かに6個の要素からなる集合であることが直接確認できる。
この6通りの並べ替えが、群の4条件を満たすかを確かめよう。「並べ替えを行ってから、また別の並べ替えを行う」という操作(これを**合成**と呼ぶ)を演算 `*` とする。二つの並べ替えを合成すれば、結果もまた「3人の並べ替え方」の一つになる(閉じている)。合成の順序をどうまとめても最終結果は変わらない(結合法則)。「誰も入れ替えない」という並べ替えが単位元 `e` になる。そしてどんな並べ替えも、逆の手順をたどれば元に戻せる(逆元の存在)。**検算8**: `S₃` の中で「1番目と2番目を入れ替える」操作を `τ₁₂`、「1番目と3番目を入れ替える」操作を `τ₁₃` としたとき、`τ₁₂` を行ってから `τ₁₃` を行う合成と、`τ₁₃` を行ってから `τ₁₂` を行う合成は、異なる結果になる(実際に計算すると、前者は`(3,1,2)`型、後者は`(2,3,1)`型の並べ替えになり、一致しない)。
### S₃の中身をもう少しだけ覗いてみる — 位数の内訳
`S₃` の6つの要素を、もう少し丁寧に分類してみよう。「何もしない」単位元 `e` が1個。「2つだけを入れ替えて残り1つはそのまま」という**互換**が3個(`(1,2)`を入れ替えるもの、`(1,3)`を入れ替えるもの、`(2,3)`を入れ替えるもの)。そして「3つを一巡させる」**巡回置換**が2個(`1→2→3→1`と回すものと、その逆向きに`1→3→2→1`と回すもの)。合わせて `1 + 3 + 2 = 6` 個で、確かに全体と一致する。
面白いのは、これらの要素を「何回繰り返せば単位元(何もしない状態)に戻るか」という位数で見ると、単位元自身は位数1、3つの互換はいずれも位数2(2回同じ入れ替えをすれば元に戻る)、2つの巡回置換はいずれも位数3(3回回せば元に戻る)になる、という点だ。**検算8補足**: 位数を並べると `1, 2, 2, 2, 3, 3` となり、これは後述するラグランジュの定理(部分群の位数は全体の位数の約数になる)が要求する「1, 2, 3, 6のいずれかである」という条件を、すべての要素についてきちんと満たしている。この「要素ひとつひとつの位数もまた、群全体の位数の約数になる」という性質は、ラグランジュの定理から導かれる帰結の一つであり、後の節で扱う部分群の議論の伏線になっている。
### 可換群と非可換群 — 順序が結果を変える世界
ここで重要な発見がある。ふつうの数の掛け算では `2 × 3 = 3 × 2` のように、順序を入れ替えても結果は変わらない。しかし `S₃` の例(検算8)で見たように、群の演算 `*` では **`a * b` と `b * a` が一致しない場合がある**。
演算の順序を変えても結果が変わらない群を**可換群(かかんぐん、水準五: 群の演算について `a * b = b * a` が常に成り立つ群。アーベル群とも呼ぶ)**、そうでない群を**非可換群(ひかかんぐん、水準五: `a * b ≠ b * a` となる要素の組が存在する群)**と呼ぶ。`S₃` は非可換群の最も基本的な例である。
この「順序が結果を変える」という現象は、実は日常にもよく現れる。靴下を履いてから靴を履く操作と、靴を履いてから靴下を履く操作(履けないが)を考えれば、「操作の順序が結果を左右する」という直感は誰もが持っている。ルービックキューブも同じで、「右面を回してから上面を回す」操作と「上面を回してから右面を回す」操作は、一般に異なる状態にたどりつく。ルービックキューブの可能な操作全体もまた(非可換な)群を成しており、この「群としてのルービックキューブ」を調べる数学は、実際に研究対象として存在する。
### 具体例その二: 巡回群 — 時計の針の世界
もう一つの基本的な群の例が**巡回群(じゅんかいぐん、水準五: 一つの要素を繰り返し演算することで、群のすべての要素が生成される群)**である。時計の文字盤を思い浮かべてほしい。12時間制の時計では、`3時 + 4時間 = 7時` のように足し算ができるが、`10時 + 5時間` は `15時` ではなく `3時`(15を12で割った余り)になる。この「割った余りで考える」計算の体系を**剰余類(じょうよるい、水準五: ある数で割った余りが等しい数どうしをひとまとめにしたグループ)**を使った演算と呼び、`n` で割った余りの世界を `Zₙ`(または `ℤ/nℤ`)と書く。
`Z₆ = {0,1,2,3,4,5}` を、6で割った余りの足し算で群にしてみよう。**検算9**: 元「1」を繰り返し足していくと `1→2→3→4→5→0` と6ステップで元の0に戻り、`Z₆` のすべての6個の要素を生成できる。このように、1回の演算を繰り返すだけで群全体を作り出せる要素を**生成元(せいせいげん、水準五: その要素を繰り返し演算することで、群全体を生成できる元)**と呼ぶ。**検算10**: `Z₆` の中で生成元になれるのは「1」と「5」だけである(6と互いに素な数、すなわち最大公約数が1になる数がそれにあたる。2は位数3、3は位数2、4は位数3で、いずれも6個すべての要素を生成できない)。ここで**位数(いすう、水準五: 群の要素を繰り返し演算して単位元に戻るまでに必要な回数。群全体の要素数を指すこともある)**という言葉も、要素ごとの「何回繰り返せば単位元(この場合は0)に戻るか」という意味で使われている。
巡回群は、群論の中でも最もシンプルな構造でありながら、後述する誤り訂正符号や暗号の土台になる、実用上きわめて重要な存在である。
### 部分群とラグランジュの定理
群 `G` の中に、それ自身も群の4条件を満たす小さな集合が含まれていることがある。これを**部分群(ぶぶんぐん、水準五: 群 `G` の部分集合であって、それ自身も `G` と同じ演算のもとで群になっているもの)**と呼ぶ。
`S₃`(位数6)の部分群を実際に洗い出してみると、「単位元だけの群」(位数1)、「一つの互換だけからなる群」が3種類(それぞれ位数2)、「3つの巡回的な並べ替えからなる群」(位数3)、そして `S₃` 自身(位数6)が見つかる。**検算11**: これらの部分群の位数を並べると `1, 2, 2, 2, 3, 6` であり、すべて6の約数になっている。
これは偶然ではない。**ラグランジュの定理(水準五: 有限群 `G` の部分群 `H` の位数は、必ず `G` の位数を割り切る、という定理。18世紀の数学者ラグランジュにちなむ)**が、この現象を保証している。部分群 `H` を使って `G` の全要素を「`H` を平行移動させたグループ」にきれいに分割できることがこの定理の背景にある。この分割を**剰余類**と呼び(先ほど時計の余りで見た剰余類と同じ言葉だが、より一般の群に対する概念として再登場する)、分割された剰余類の個数を**指数**、`[G:H]` と書く。**検算12**: `Z₆` を部分群 `H = {0,2,4}`(位数3)で剰余類に分けると、`{0,2,4}` と `{1,3,5}` のちょうど2つの剰余類にきれいに分かれ、指数は `[G:H] = 6/3 = 2` と一致する。ラグランジュの定理を一言でまとめれば、「`|G| = |H| × [G:H]`」、すなわち**部分群の位数と指数の積が、もとの群全体の位数に等しい**という保存則である。
### 用語のまとめ(第五章)
- **群(ぐん)→ある演算に対して閉じている・結合法則・単位元・逆元の4条件を満たす集合→水準五**
- **対称群(たいしょうぐん)→n個の対象のすべての並べ替え方からなる群、`Sₙ`→水準五**
- **可換群/非可換群→演算の順序を変えても結果が変わらない/変わる群→水準五**
- **巡回群(じゅんかいぐん)→一つの生成元の繰り返しで全体が作れる群→水準五**
- **部分群(ぶぶんぐん)→群の一部分がそれ自身群になっているもの→水準五**
- **ラグランジュの定理→部分群の位数はもとの群の位数を割り切るという定理→水準五**
---
## 第六章: 環と体 — 足し算と掛け算が同時に住む世界(水準五〜六)
### なぜ群だけでは足りないのか
群は一つの演算(足し算だけ、あるいは掛け算だけ)についての構造を扱う。しかし前巻で扱った整数や多項式の世界には、**足し算と掛け算という2つの演算が同時に存在し、しかも互いに関係し合っている**(分配法則 `a×(b+c) = a×b + a×c` がその関係だ)。この「2つの演算が共存する構造」を扱うために、群の上にもう一段の建て増しをしたのが**環(かん)**である。
### 環の定義
**環(かん、水準五: 足し算と掛け算という2つの演算を持ち、足し算については可換群になっていて、掛け算については結合法則と分配法則が成り立つ集合)**は、整数の全体 `ℤ = {…,-2,-1,0,1,2,…}` を思い浮かべるとイメージしやすい。整数どうしは、足しても引いても掛けても整数のままであり(閉じている)、`0` という足し算の単位元があり、`-a` という足し算の逆元(引き算)があり、掛け算については分配法則が成り立つ。ただし整数の世界では、割り算の結果がいつも整数になるとは限らない(`1 ÷ 3` は整数ではない)。つまり環は、掛け算については「逆元がなくてもよい」ゆるい構造である。
### 多項式環 — 前巻の因数分解を環の言葉で見直す
前巻(→BOOK-0067)第三章では、`x² - 5x + 6 = (x-2)(x-3)` のような因数分解を扱った。実はこの操作は、**多項式環(たこうしきかん、水準五: 係数を持つ多項式の全体が、足し算と掛け算について環をなしたもの)**という環の中で行われている、掛け算の逆再生そのものである。
多項式どうしを足しても掛けても、結果はまた多項式になる(閉じている)。多項式の因数分解とは、整数の素因数分解(`12 = 2×2×3`)とまったく同じ発想を、多項式環という別の環に応用したものにすぎない。**検算13**: 三次式の因数分解を確かめてみよう。`(x-1)(x-2)(x-3)` を展開すると、係数を実際に計算すると `x³ - 6x² + 11x - 6` になる。これは「解が1,2,3である三次方程式の左辺」であり、環の中での掛け算の逆再生(因数分解)と順再生(展開)が、互いに正しく対応していることを確かめる検算である。
前巻の二次方程式の因数分解も、本冊の多項式環も、扱っている操作の本質(掛け算を逆再生する)は同じであり、環という言葉はその操作が「整数でも多項式でも変わらず通用する、共通の構造」であることを教えてくれる。
### もう一つの環の例 — 剰余類の環
第五章で時計の余りの世界 `Z₆` を群として扱ったが、実は `Z₆` には足し算だけでなく掛け算も定義でき、その両方を備えた**環**として扱うこともできる。たとえば `Z₆` の中で `2 × 4 = 8`、これを6で割った余りは `2` なので、`Z₆` の中では `2 × 4 = 2` と計算する。ここで一つ興味深い現象に気づく。ふつうの整数の世界では「2つの数を掛けて0になるなら、少なくとも一方は0である」(前巻第三章の**ゼロ積の法則**)が成り立つが、`Z₆` の中では `2 × 3 = 6`、これを6で割った余りは `0` になる。つまり `Z₆` の中では、**どちらも0でない2つの数を掛けても0になってしまう**組み合わせが存在する。
このような「0でないのに、掛けると0になる」要素を**零因子(れいいんし、水準五: 環の中で、それ自身は0でないが、0でない別の要素と掛けると0になってしまう要素)**と呼ぶ。`Z₆` は零因子を持つ環の例であり、一方で前巻・本冊でおなじみの整数全体 `ℤ` や、後述する体は零因子を持たない。「割った余りで割り切れる数を法にすると零因子が現れ、割り切れない数(素数)を法にすると零因子が消える」という現象は、実は次に説明する体の話へとつながる重要な伏線になっている。
### 体 — 割り算まで自由にできる、最も豊かな世界
環にはさらに強い条件を足すことができる。**体(たい、水準六: 環のうち、0以外のすべての要素が掛け算の逆元(割り算の相手)を持つもの)**である。有理数全体 `ℚ`(分数で表せるすべての数)、実数全体 `ℝ`、そして前巻第三章で少し触れた複素数全体 `ℂ` は、いずれも体の例である。体の中では、0で割ることを除いて、足す・引く・掛ける・割るの四則演算が自由自在にできる。
体は、代数という学問が最終的に「解が住む場所」として扱う舞台そのものである。前巻で `x² + 2x + 5 = 0` の解が実数の中には存在せず、複素数まで世界を広げて初めて見つかったことを思い出してほしい。これは「実数体 `ℝ` の中では解けなかった方程式が、より大きな体 `ℂ` まで世界を拡張すると解ける」という、**体の拡大**という現象の具体例だったのである。
### 体の拡大という考え方
**体の拡大(たいのかくちょう、水準六: ある体 `K` に新しい要素を付け加えて、より大きな体 `L` を作ること。このとき `L` を `K` の拡大体と呼ぶ)**は、群論と並んで抽象代数のもう一つの柱である。有理数体 `ℚ` だけでは `x² = 2` の解(`√2`)は表せない。そこで `ℚ` に `√2` という新しい要素を付け加えて、`ℚ(√2) = {a + b√2 | a, bは有理数}` という新しい体を作る。
**検算14**: `x² - 2 = 0` という方程式が有理数の範囲に解を持たないことを確認する。仮に解 `p/q`(既約分数)が存在すると仮定すると矛盾が生じることが知られており(判別式8は完全平方数ではないため、平方根 `√2` は有理数として表せない)、これは古代ギリシャ以来知られる**無理数(むりすう、水準三: 分数(有理数)としては表せない数)**の存在証明の一種である。この「`ℚ` の中に解がない」という事実そのものが、`ℚ(√2)` という拡大体を作る動機になる。`ℚ(√2)` は `ℚ` を土台にした2次元の"広がり"を持つことから、この拡大の**次数**は2であるという。
体の拡大の次数を測ることは、実は「その方程式を解くために、どれだけ複雑な"新しい数"を付け加える必要があったか」を測ることに等しい。そしてこの「拡大の次数」という物差しこそが、次章で「五次方程式にはなぜ解の公式がないのか」を説明する決定的な鍵になる。
### 用語のまとめ(第六章)
- **環(かん)→足し算・掛け算の2演算を持ち、足し算は可換群・掛け算は分配法則を満たす構造→水準五**
- **多項式環(たこうしきかん)→多項式全体がなす環。素因数分解と同じ発想の因数分解が成り立つ→水準五**
- **体(たい)→環のうち0以外のすべての要素が割り算できるもの→水準六**
- **体の拡大→体に新しい要素を加えてより大きな体を作ること→水準六**
---
## 第七章: 五次方程式に解の公式が無い物語(水準五〜六)
### アーベルの証明 — 「存在しない」ことを証明するという離れ業(1824年)
前巻第四章末尾で触れたように、二次方程式には解の公式があり、三次・四次方程式にもタルタリア・カルダノらの努力によって解の公式が発見された(→BOOK-0067)。**アーベル(Niels Henrik Abel、1802年 - 1829年)**は**1824年**、五次以上の一般の方程式には、四則演算とべき根(平方根・立方根などの `n` 乗根)だけを使った代数的な一般解の公式が**存在しない**ことを証明した。
ここで注意したいのは、アーベルが示したのは「まだ誰も解の公式を見つけていない」という単なる未解決問題ではなく、「そもそもそのような公式は原理的に作れない」という、はるかに強い主張だったという点である。「存在しないことを証明する」のは、「存在することを証明する」よりもずっと難しい。なぜなら後者は一つの実例を見せればよいが、前者は「どんなに工夫しても絶対に見つからない」ことを、あらゆる可能性を尽くして示さなければならないからだ。
### ガロアの理論 — 「対称性の構造」で理由を説明する(1830年代)
アーベルの証明は「五次方程式に解の公式がないこと」自体は確立したが、「なぜないのか」という理由そのものへの答えは、フランスの数学者**ガロア(Évariste Galois、1811年 - 1832年)**によってもたらされた。ガロアは、方程式の `n` 個の解を入れ替える(置換する)操作全体が作る群——**ガロア群(がろあぐん、水準六: 方程式の解たちを入れ替える置換のうち、解のあいだの代数的な関係式をすべて保つものだけを集めた群)**——に注目した。
ガロアの理論の核心を、本冊で扱った言葉で(あくまで見晴らしとして)言い換えるとこうなる。方程式が「べき根だけで解ける」ためには、そのガロア群が**可解群(かかいぐん、水準六: 群を、群論的な意味でより単純な部分群の"はしご"に分解していったとき、最終的に可換群だけの階段にきれいに分解できる群)**という、特別な"分解しやすい"構造を持っていなければならない。二次・三次・四次方程式のガロア群はこの可解群の条件を満たす。ところが**5次以上の一般の方程式のガロア群は `S₅`(5個のものの並べ替え全体、位数120)を含み、`S₅` はこの"きれいな階段"に分解できない非可解群であることが知られている**。これが、五次方程式に一般的な解の公式が存在しない理由の核心である。
第五章で見た `S₃`(3次対称群)は可解群であり、これは三次方程式に解の公式が存在することと対応している。一方で `S₅` から可解群としての性質が失われる——この「群の複雑さが、ある次数を境に質的に変化する」という事実こそ、ガロアが方程式の"外側"(解そのものではなく、解の対称性の構造)を見ることで初めて発見できた真理だった。可解群の詳細な階段構造(組成列と呼ばれる分解の理論)そのものへの深入りは本冊の範囲を超えるが、「対称性の複雑さを測る物差し」として群論が機能している、という見晴らしをここでは押さえておきたい。
### 群と体の拡大をつなぐ橋 — ガロア対応という発想
ガロアの理論がもう一つ革命的だったのは、第五章で扱った「群」と、第六章で扱った「体の拡大」という、一見別々の話題として本冊で紹介してきた二つの概念のあいだに、**一対一の対応関係**があることを明らかにした点である。この対応関係は現在**ガロア対応(がろあたいおう、水準六: 体の拡大に登場する"中間の体"すべてと、その拡大に付随するガロア群の"部分群"すべてとのあいだに成り立つ、一対一の対応関係)**と呼ばれている。
具体的なイメージとしては、こうなる。ある方程式を解くために体を少しずつ拡大していく道のり(`ℚ` から出発して、必要な数を一つずつ付け加えていき、最終的にすべての解を含む体にたどりつくまでの道のり)は、実はガロア群を少しずつ小さな部分群へと分解していく道のりと、鏡写しのようにぴったり対応する。体の拡大の"大きさ"(拡大次数)と、対応する部分群の"大きさ"(指数)が、第五章のラグランジュの定理を介してきれいに一致する、という関係だ。「べき根で解ける」という体の拡大の性質が、「可解群である」という群の性質に翻訳される——この翻訳の仕組みこそが、ガロア対応の実体である。ガロア対応の厳密な仕組み(体の自己同型写像を使った定式化)そのものへの深入りは本冊の範囲を超えるが、「体の世界の問い(方程式が解けるか)を、群の世界の問い(その群が可解か)に丸ごと翻訳できる」という橋が架かっている、という見晴らしは押さえておきたい。
### ガロアという人物
ガロアの生涯については、**1832年、決闘によって20歳という若さで命を落とした**ことが広く知られている(→BOOK-0067第四章でも触れた通り)。決闘の理由や経緯については諸説あり、政治的な対立や個人的な事情が絡んでいたと言われるが、細部を断定することは避け、「決闘で若くして亡くなった」という事実自体のみを確実な記録として述べるにとどめる。決闘の前夜、ガロアが自らの数学的な着想を手紙にまとめて残したという逸話がしばしば紹介されるが、この逸話の正確な細部についても研究者の間で議論があり、**未確定**な部分を含む。
彼の理論(現在**ガロア理論**と呼ばれる)が数学界に正式に認められ、広く研究されるようになったのは、ガロアの死後、他の数学者たち(19世紀後半のジョルダンらの整理・紹介の努力)を経てからのことであり、この「発見と、その真価が理解されるまでの間に大きな時間差があった」という経緯も、ガロアの物語を特徴づける一幕としてしばしば紹介される。ただし、この経緯の細部(誰がどの段階でどこまで貢献したか)についても記述に幅があり、大枠のみを採用する。
### なぜこの物語が面白いのか
二次方程式から四次方程式まで、解の公式は着実に見つかってきた。人類は当然、この歩みが五次方程式でも続くと期待した。ところがその期待は打ち砕かれ、しかもその理由が「まだ探し方が足りない」という技術的な話ではなく、「方程式の解たちが持つ、目に見えない"対称性の構造"そのものに、公式で解けるか解けないかを分ける境界線が刻まれている」という、まったく別次元の真理だったのである。
これは、前巻入口の物語で語った「まだ見ぬ惑星に名前を付ける」話の、一段深いバージョンだと考えることもできる。ガロアは、方程式の"答え"という惑星そのものを直接見るのではなく、答えたちが互いにどう回転し合い、入れ替わり合うかという"軌道の対称性"を先に調べることで、答えの世界の見取り図(公式で解けるか否かの境界)を手に入れた。数そのものではなく、数の"関係の構造"を調べるという発想の転換——これこそが群論という新しい大陸の本質である。
---
## 第八章: 応用へ — 対称性の数学が現代を支える(水準五〜六)
### 誤り訂正符号 — ノイズの中から正しい情報を守る
群論・環論は、純粋に美しい理論であるだけでなく、現代のデジタル技術を足元から支えている。**誤り訂正符号(あやまりくんせいふごう、水準五: 通信や記録の途中でデータの一部が壊れても、元の正しいデータを復元できるようにする符号化の技術)**は、有限体(要素の数が有限個である体)上の多項式環を使って設計されることが多い。CDやDVD、QRコード、あるいは深宇宙探査機からの通信など、ノイズが避けられない環境でデータを正しく届けるために、環・体の理論が実際に使われている。
なぜ体の理論がここで役立つのか、直感だけ触れておこう。データを「多項式の係数」として表現し、そこにあえて余分な情報(冗長性)を、多項式環の演算を使って計算し付け加えておく。受信側は、届いたデータが体の演算規則(たとえば「特定の値を代入すると必ず0になる」といった規則)を満たしているかを検査することで、ノイズによって壊れた箇所を特定し、多項式環の演算だけを使って元の正しい値を計算で復元できる。零因子を持たない(先述の第六章のコラムで触れた)体という"割り算が自由にできる"性質が、この復元計算を数学的に保証する土台になっている。
### 暗号への接続
代数的な構造は、暗号技術の土台でもある。→BOOK-0073で扱われる暗号技術の多くは、有限体上の演算や、剰余類(本冊第五章で見た `Zₙ` の仕組み)の性質——たとえば「大きな数の素因数分解は難しいが、掛け算は簡単」という非対称性——を利用して設計されている。本冊で学んだ「群・環・体」という抽象的な構造の理解は、暗号がなぜ安全なのか(あるいはどんな条件で安全でなくなるのか)を理解するための土台になる。
### フロンティア概観 — 表現論という新たな地平
群論そのものも、ガロアの時代で完成したわけではない。現代の数学には**表現論(ひょうげんろん、水準六: 抽象的な群の構造を、行列やベクトル空間という具体的な"操作"として表す(表現する)ことで調べる数学の分野)**という、群論をさらに発展させた研究領域がある。抽象的な群を、具体的に計算できる行列の集まりとして"翻訳"することで、群の構造をより扱いやすくするという発想だ。表現論は素粒子物理学における対称性の分類(どのような対称性が、どのような素粒子の性質と対応するか)にも応用されており、数学の対称性の理論が物理法則の理解にまで接続する例として知られている。ただし、この分野は現在も活発に研究が進む発展途上の領域であり、本冊で扱えるのは名前と大枠の見晴らしのみである。**未確定な部分を多く含む最前線**であることを明記しておく。
---
## 出口の物語 — 名前の先にあった、構造という景色
前巻は「まだ見ぬ数に名前を付ける」物語だった。本冊はその続きとして、「名前を付けた数たちが、互いにどう入れ替わり合うか」という、一段抽象的な問いに踏み込んだ。群という言葉で対称性を数える方法を手に入れ、環・体という言葉で足し算と掛け算が共存する世界を整理し、そして五次方程式に解の公式がない理由を、ガロアが切り開いた"対称性の構造"という視点から見晴らした。
正三角形の回転、あみだくじの並べ替え、ルービックキューブの操作、そして三次方程式の解の入れ替え——これらがすべて同じ「群」という言葉で語れるという発見は、数学が持つ最も驚くべき性質の一つ、**異なる対象の奥に潜む、同じ構造を見抜く力**を体現している。この力は、そのまま誤り訂正符号や暗号という現代技術の土台となり、表現論という現在進行形の研究領域へと地平を広げ続けている。
代数という学問は、「名前のない数に名前を付ける」という一つの発想から出発し、数千年をかけて「対称性という構造そのものを数える」学問へと育っていった。この二冊を通じて描いてきたのは、その育ちの軌跡である。
---
## 補章: 検算総覧(水準五〜六)
本冊で埋め込んだ検算を、ここで一覧にして振り返っておく(前巻の検算1〜6の続番として7から始める)。
7. `S₃` の要素数 → 3個の並べ替え方をすべて列挙すると6通り(`3! = 6`)であることを直接確認。
8. `S₃` の非可換性 → 互換 `τ₁₂` と `τ₁₃` の合成順序を入れ替えると異なる結果になることを確認(非可換群の実例)。
9. `Z₆` の巡回性 → 元「1」を繰り返し足すと `1→2→3→4→5→0` と6ステップで全要素を生成することを確認。
10. `Z₆` の生成元 → 6と互いに素な「1」と「5」だけが位数6(生成元)になり、2・4は位数3、3は位数2にとどまることを確認。
11. ラグランジュの定理(実例) → `S₃` の部分群の位数 `1,2,2,2,3,6` がすべて6の約数であることを確認。
12. 剰余類の指数 → `Z₆` を部分群 `{0,2,4}` で類別すると `{0,2,4}`と`{1,3,5}` の2つの剰余類に分かれ、指数 `[G:H]=2` が `6/3` と一致することを確認。
13. 多項式環での因数分解 → `(x-1)(x-2)(x-3)` を展開すると `x³-6x²+11x-6` になることを確認(素因数分解と同型の操作)。
14. 体の拡大の次数 → `x²-2=0` が有理数解を持たない(判別式8が完全平方数でない)ことから `ℚ(√2)` が2次拡大であることを確認。
最後に、読者への小さな挑戦を残しておく。正方形(頂点4つ)を回転・裏返しで元の形に保つ操作は何通りあるか、実際に紙に描いて数えてみてほしい(ヒント: 回転4通り×裏返しの有無2通りで、`4×2=8` 通りになるはずである——これは**二面体群** `D₄` と呼ばれる群の一例であり、`S₃` の6通りとはまた違う対称性の世界を見せてくれる)。この「対称性を実際に手を動かして数えてみる」という経験こそ、群論という学問の面白さの核心にある。
---
## 相互参照
- →BOOK-0067『代数 — 名前のない数に名前を付ける』第1巻(本冊の前提。一次・二次方程式、代数の歴史、アーベル・ガロアの物語の前半)
- →BOOK-0002『算術』第1冊(因数分解・素因数分解という「掛け算の逆再生」の発想。多項式環における因数分解はこれと同型の操作)
- →BOOK-0073(暗号技術。有限体上の演算や剰余類の性質が暗号の安全性の土台になる)
# BOOK-0130 代数 — 対称性という第五の道具(数学派生 第2巻)