■単純リー環を使った面数数え上げ(その135)
正20面体群,正600胞体群,正24胞体群では,体積公式も難航が予想される.
===================================
有限コクセター図形と正多面体の対応を表にすると
An αn
Bn=Cn βn=γn
Dn
E6,E7,E8
F4 4次元正24胞体
G2 正六角形
H3 正12面体・正20面体
H4 正120胞体・正600胞体
I2(p) 正p角形(p=5,≧7)
ここで,例外型の結晶群(E6,E7,E8,F4,G2),結晶群でないユークリッド鏡映群(I2(p),H3,H4).正多面体の合同群に対するコクセター図形は分岐点をもたないので,
Dn
E6,E7,E8
は正多面体には対応しない.
===================================