群論の計算(44) - 非専門的シンギュラリティー研究所

有限単純群について ChatGPT で聞いてみました。

有限単純群はどのようなものがありますか

以下のような答えになりました。 $S_5$ が非可解であることを示すには $A_5$ が単純群であることを示すのが良いようです。

有限単純群（finite simple groups）は、「非自明な正規部分群を持たない有限群」で、群論の“素数”のような基本構成要素です。驚くべきことに、すべての有限単純群は完全に分類されており、これを 有限単純群の分類定理（Classification of Finite Simple Groups）と呼びます。
その分類は、大きく次の4種類に分かれます：

① 巡回群（素数位数）

最も単純な例です。

位数が素数 ( p ) の巡回群

$\mathbb{Z}/p\mathbb{Z}$

例： $\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/3\mathbb{Z}$

👉 可換（アーベル）な単純群はこれしかありません。

② 交代群（ $A_n$ ）

$n \ge 5$ のとき単純

例： $A_5, A_6, A_7, \dots$

👉 最も身近な「非可換単純群」

③ リー型群（有限体上の群）

最大のファミリーで、有限体上の線形群などから構成されます。
例として：

$\mathrm{PSL}(n,q)$

$\mathrm{PSU}(n,q)$

$\mathrm{PSp}(2n,q)$

例外型（G₂, F₄, E₆, E₇, E₈ などに対応）

👉 背景には リー群 や代数幾何が関係します。

④ 散在群（sporadic groups）

上のどれにも属さない「例外的な有限単純群」

全部で 26個

有名なもの：

モンスター群（最大）

マシュー群 $M_{11}, M_{12}, M_{24}$

ヤンコ群など

👉 非常に対称性が高く、深い理論と関係（例：ムーンシャイン）

まとめ

有限単純群は次の4種類だけ：
1. 素数位数の巡回群
2. 交代群 $A_n (n \ge 5)$
3. リー型群（無限族）
4. 散在群（26個）

少し直感的に

巡回群 → 「足し算の基本ブロック」

交代群 → 「置換の対称性」

リー型群 → 「連続対称性の有限版」

散在群 → 「奇跡的な例外」

もし興味があれば、

「なぜこの4種類で尽きるのか」

「モンスター群の構造」

「小さい単純群をC#で実際に構成する」

などもかなり面白い話題です。