■単純リー環を使った面数数え上げ(その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

は正多面体には対応しない.

===================================