1 群論の二大問題

有限群の構造理論における基本問題は次の二つである：

1. 分類問題：有限単純群をすべて決定せよ．

2. 拡大問題：与えられた単純群を合成因子として持つ群をすべて構成せよ．

Jordan-Hölder の定理により，有限群は合成列を通じて単純群に分解される．したがって有限群の理解は，(1) 構成要素である単純群の分類と，(2) それらの貼り合わせ方（群の拡大）に帰着する．

2 有限単純群のファミリー

有限単純群は次の4種類に大別される：

この分類定理は20世紀の数学における最大の成果の一つであり，1955年頃からおよそ50年にわたる多数の数学者の共同作業によって完成した．証明全体は数万ページに及ぶ．

3 素数位数の巡回群

最も単純な有限単純群は$\mathbb{Z}/p\mathbb{Z}$（$p$素数）である．位数が素数なので非自明な部分群を持たず，したがって単純群である．これらは可換な単純群であり，有限単純群のうち可換なものはこの系列に限られる．

4 交代群の単純性

5 リー型の有限群

リー型の有限群は，リー代数（連続的な対称性を記述する代数構造）の理論を有限体上で展開して得られる群である．

$\mathrm{PSL}(2,4)\cong \mathrm{PSL}(2,5)\cong A_5$は交代群との重複の例である．

リー型群の16系列は次の通りである：

• 古典群：$A_n(q)=\mathrm{PSL}(n+1,q)$，$B_n(q)=\mathrm{P\Omega }(2n+1,q)$，$C_n(q)=\mathrm{PSp}(2n,q)$，$D_n(q)={\mathrm{P\Omega }}^{+}(2n,q)$

• 例外群：$G_2(q)$，$F_4(q)$，$E_6(q)$，$E_7(q)$，$E_8(q)$

• 捩じれ群：${}^2{A}_n(q)$，${}^2{D}_n(q)$，${}^3{D}_4(q)$，${}^2{E}_6(q)$，${}^2{B}_2(q)$（鈴木群），${}^2{G}_2(q)$（リー群），${}^2{F}_4(q)$

6 散在型単純群

26個の散在型単純群（sporadic simple groups）は，上記の無限系列のいずれにも属さない「例外的な」単純群である．

代表的な散在型単純群：

• マシュー群$M_{11},M_{12},M_{22},M_{23},M_{24}$：最初に発見された散在型単純群（Mathieu, 1861, 1873）．$M_{24}$ は位数 $244823040=2^{10}\cdot 3^3\cdot 5\cdot 7\cdot 11\cdot 23$ の $5$重可移群．

• ヤンコ群$J_1,J_2,J_3,J_4$．

• コンウェイ群${\mathrm{Co}}_1,{\mathrm{Co}}_2,{\mathrm{Co}}_3$：リーチ格子の対称性から構成．

• フィッシャー群${\mathrm{Fi}}_{22},{\mathrm{Fi}}_{23},{\mathrm{Fi}}_{24}^{\prime }$．

• モンスター群$\mathbb{M}$：最大の散在型単純群．位数は

  $$\begin{array}{rl}|\mathbb{M}|& =2^{46}\cdot 3^{20}\cdot 5^9\cdot 7^6\cdot 11^2\cdot 13^3\cdot 17\cdot 19\cdot 23\cdot 29\cdot 31\cdot 41\cdot 47\cdot 59\cdot 71\\ & \approx 8.08\times 10^{53}\end{array}$$

• ベビーモンスター$\mathbb{B}$：モンスターに次いで大きい散在型単純群．

26個の散在型単純群のうち20個はモンスター群の部分商として現れ（「幸福の家族」と呼ばれる），残り6個は「のけ者」（pariahs）と呼ばれる：$J_1$，$J_3$，$\mathrm{Ru}$，$J_4$，$\mathrm{Ly}$，$\mathrm{Th}$．

7 分類定理の意義と構造

この定理は255ページにわたる論文で証明された．合成因子はすべて素数位数巡回群となるので，「非可換有限単純群の位数は偶数である」と言い換えられる．これにより，有限単純群の分類は位数が偶数の場合に帰着される．

分類定理の証明戦略の大枠は以下の通りである：

1. Feit-Thompson の定理により非可換単純群の位数は偶数．

2. 位数が偶数の群には位数 $2$ の元（対合）が存在する．

3. 対合の中心化群 $C_G(t)$（$t^2=e$）の構造から群を分類する（Brauer のプログラム）．

4. 各ケースについて，対応する群が既知の単純群に同型であることを示す．

8 群の拡大問題

合成因子が決まっても，群が一意に定まるわけではない．

拡大問題は一般に困難であり，コホモロジー理論（$H^2(Q,N)$）によって分類される．しかし合成因子が非可換単純群を含む場合，拡大の数え上げは実行可能な場合が多い．

9 有限群論の現在

分類定理の完成後も，有限群論には多くの活発な研究テーマが残されている：

• 分類定理の簡略化：Gorenstein-Lyons-Solomon による「第二世代の証明」が進行中．

• 表現論：有限群の線形表現は物理学（結晶群，素粒子物理）や符号理論に応用される．

• 漸近的群論：位数 $n$ 以下の群の数 $f(n)$ の漸近挙動．$p$群の数え上げは特に困難で，$f(p^n)\sim p^{(2/27)n^3}$ と見積もられる．

• 計算群論：アルゴリズムによる群の計算（GAP, Magma などのソフトウェア）．

• ムーンシャイン予想：モンスター群の表現論とモジュラー関数の間の深い関連（Thompson, Conway-Norton 予想, Borcherds による証明）．$j$関数のフーリエ展開

  $$\begin{array}{r}j(\tau )=q^{-1}+744+196884q+21493760q^2+\cdots (q=e^{2\pi i\tau })\end{array}$$
  の係数がモンスター群の既約表現の次元の和で書けるという驚くべき事実：$196884=196883+1$（ここで $196883$ はモンスター群の最小非自明既約表現の次元）．

10 まとめ

本シリーズで扱った内容を振り返る：

1. 群の定義と基本性質：群の公理，部分群，巡回群．

2. 剰余類とラグランジュの定理：群の基本的な計数原理．

3. 正規部分群と商群：群を「割る」操作．

4. 準同型定理：群の構造を保存する写像と三つの同型定理．

5. 群作用と類等式：群が集合に作用する枠組みと数え上げ．

6. シローの定理：有限群の $p$部分群に関する精密な構造定理．

7. 直積と半直積：既知の群から新しい群を構成する方法．

8. 有限アーベル群の構造定理：アーベル群の完全な分類．

9. 合成列と Jordan-Hölder の定理：群の「素因数分解」とその一意性．

10. 有限群の分類への展望：単純群の分類定理と未解決問題．

群論は，対称性を記述する言語として代数学の中心に位置する．その理論体系は，代数的構造論，数論，幾何学，物理学を貫く普遍的な枠組みを提供している．