［補］高次元の正多胞体とルート系

　ｎ次元空間において高度の対称性をもったベクトルの集合がルート系なのですが，ｎ次元正単体とｎ次元立方体の対称群はそれぞれＡn-1，Ｂn（Ｃn）で表されます．

　ルート系では，ベクトルの間の角度は３０°，４５°，６０°，９０°またはその補角に限られるので，２次元の可能なルート系は

　　Ａ2（正六角形：正三角形格子）

　　Ｂ2＝Ｃ2（正方形）

　　Ｇ2（星形六角形：正６角形を２個合わせたもの）

しかありません．

　また，このようにルート系のベクトルの末端を結んでできるｎ次元図形が正多胞体になるのは比較的少数です．他には

　　Ｄ4（正２４胞体の３対性）

　　Ｃn（双対立方体）

　　Ｆ4（正２４胞体を２個合わせたもの）

があげられます．

　正２４胞体は，すべての次元を通じて，単体以外の唯一の自己双対な正則胞体です．この２４胞体の対称性を，鏡映で生成される既約な有限群（ルート系）との関係でみても興味深いものがあります．たとえば，正２４胞体に含まれる正１６胞体は互いに６０°をなしますから，Ｄ4の３対性をもっているというわけです．

　また，正２４胞体は１つの例外型対称群Ｆ4をもつことが知られています．２個の正２４胞体を中心を一致させて重ねて回転させます．これはちょうど平面上でダビデの星が２つの正六角形を３０°ずらして重ねたものと似ているわけですが，この対称性がＦ4に相当します．正２４胞体は単体以外の唯一の自己双対な正則胞体であるという事実がＦ4と関係しているのですが，この点もまた注目すべきものでしょう．

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