カルタンキリング分類
群（Group）と環（Ring）という代数的構造、そしてリー群の分類というテーマは、数学が「個別の数を計算する学問」から「抽象的な構造を解明する学問」へと進化した歴史の系譜です。
1. 群と環の歴史的背景
近代代数学の出発点は、方程式の解法にありました。
群（Group）の誕生
19世紀初頭、エヴァリスト・ガロアが「なぜ5次以上の方程式には代数的な解の公式がないのか」という問題に対し、解の入れ替え（置換）の集合が持つ構造に着目したのが始まりです。
- 19世紀半ば: ケイリーが抽象的な群の定義を与え、行列や幾何学的な変換も「群」として扱えることが判明しました。
- フェリックス・クライン: 「エルランゲン・プログラム（1872年）」により、幾何学とは「特定の群（変換群）によって不変な性質を調べる学問である」と再定義し、群論を数学の中心的道具に据えました。
環（Ring）の誕生
環の概念は、数論と代数幾何学から生まれました。
- リヒャルト・デデキント: フェルマーの最終定理の研究過程で、「理想的な数（イデアル）」という概念を提唱しました。
- ダフィット・ヒルベルト: 19世紀末、不変式論の研究から環の構造を深く掘り下げました。
- エミー・ネーター: 20世紀初頭、「ネーター環」などの概念を通じて、計算ではなく「公理的な構造」から性質を導き出す現代代数学（抽象代数学）のスタイルを確立しました。
2. リー群とリー環：連続的な対称性
19世紀後半、ノルウェーの数学者ソフス・リーは、微分方程式の解法を研究する中で、連続的に変化する対称性（回転や平行移動など）を記述する「リー群」を考案しました。
ここで重要なのが、複雑な「リー群」を、その接空間である線形な「リー環（リー代数）」に落とし込んで分析する手法です。
3. キリングとカルタンの分類フレームワーク
ヴィルヘルム・キリングとエリ・カルタンは、「単純リー群（およびリー環）」をすべて洗い出すという、数学史上最も美しいとされる分類作業を成し遂げました。
キリングの功績（1880年代）
キリングは、リー環の構造を解剖するために「ルート系（Root System）」という概念を導入しました。
- カルタン部分環: リー環の中にある、可換で最大の（扱いやすい）部分空間を見つけました。
- 固有値の幾何学: この部分空間の作用（随伴表現）を調べることで、リー環の構造を多次元空間内のベクトルの配置（ルート）として視覚化・構造化しました。
カルタンによる完成（1894年）
キリングの仕事には一部不備がありましたが、エリ・カルタンが自身の学位論文でそれを厳密に修正・完成させました。彼らが導き出したのは、単純リー環が以下の4つの系列（古典群）と5つの例外的な型に完全に分類されるという驚くべき結果です。
分類の結果（カルタン・キリング分類）
| 系列 | 名称 | 対応する幾何学的性質 |
|---|---|---|
| A_n | 特殊ユニタリ群 SU(n+1) | 複素空間の回転 |
| B_n | 特殊直交群 SO(2n+1) | 奇数次元の実回転 |
| C_n | シンプレクティック群 Sp(n) | ハミルトン力学の保存量 |
| D_n | 特殊直交群 SO(2n) | 偶数次元の実回転 |
| 例外型 | E_6, E_7, E_8, F_4, G_2 | 非常に特殊で高度な対称性 |
分類のフレームワーク：カルタン行列とディンキン図形
この分類を直感的に整理する道具が、後にディンキンによって完成される「ディンキン図形」です。
- 単純ルート: リー環を生成する最小限のベクトルのセットを選び出す。
- 角度と長さ: ベクトル同士のなす角（90^\circ, 120^\circ, 135^\circ, 150^\circに限られる）を線の数で表現する。
- グラフ化: この関係を点と線で結んだ図（ディンキン図形）に変換すると、単純リー環の分類は「どのようなグラフが可能か」という組合せ論的な問題に帰着します。
まとめ
キリングとカルタンのフレームワークは、「連続的な無限の対称性（リー群）」を「有限個のベクトルの配置（ルート系）」へと凝縮し、最終的に「数個の点と線の図（ディンキン図形）」で完全に記述できることを示しました。
この成果は、現代の素粒子物理学（標準模型）において、宇宙の基本相互作用を記述するための不可欠な言語となっています。