【１】ルート系

　平面を鏡映三角形で埋めつくす問題を一般の次元に拡張して，R^nの単体に置き換えて得られるベクトルの集合が一般の階数のルート系である．ルート系の分類は，それ自体大変面白いものらしいのであるが，既約ルート系の同型類には，Ａ型からＧ型までのアルファベットに，添字として階数をつけた名前が付いていて，Ｅ8型ルート系などと呼ぶ習慣になっている．

　すなわち，ルートは鏡映を与えるベクトルとして理解することができるのであるが，８次元ユークリッド空間において，８次元単体（４面体の拡張）を鏡映したものからなるモザイク模様に対してベクトルの集合を考えることによって，たとえば，Ｅ8型ルート系が得られるというわけである．

　それによれば，階数ｎの既約ルート系は，Ａk（ｋ≧１），Ｂk（ｋ≧２），Ｃk（ｋ≧３），Ｄk（ｋ≧４），Ｅ6，Ｅ7，Ｅ8，Ｆ4，Ｇ2の型のいずれかであり，既約ルート系の分類の基づいて，単純リー群を分類すると９つの型があり，それらはＡ，Ｂ，Ｃ，Ｄと名づけられた４つの古典型とＥ6，Ｅ7，Ｅ8，Ｆ4，Ｇ2と名づけられた５つの例外型であった（カルタンの分類定理）．

　ルート系（リー型の単純群）はＡ型からＧ型まで７種類あるとしてよく，４つの古典群，５系列の例外群，さらにそのうちで対称性をもつＡ，Ｄ，Ｅ6，Ｄ4の４系列，疑似対称性をもつＢ2，Ｇ2，Ｆ4の３系列で１６系列に細分することができる．

　ｎ次元正単体とｎ次元立方体の対称群は，それぞれＡn-1，Ｂn（Ｃn）で表されるのだが，２４胞体は１つの例外型対称群Ｆ4をもつことが知られている．２４胞体は単体以外の唯一の自己双対な正則胞体であるという事実がＦ4と関係しているらしく，この点もまた注目すべきものである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝