■基本単体の二面角(その159)

 正多面体群:An,BCn,F4,G2,H3,H4,I2

 非正多面体群:Dn,En

 非正多面体群のファセットは2種類あり,たとえば切頂操作で一斉に面が消失するわけではない.そのため,いまある方法ではfk公式を作ることができないようである.

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

【1】ワイルの公式

 A,D,Eの位数はその無限鏡映群の重さ1の点の数をf,cを重さとして,

  Γ=n!fΠc

で与えられる.

 |An|=n!・(n+1)=(n+1)!

 |Dn|=n!・4・2^n-3=2^n-1・n!

 |E6|=6!・3・2^3・3=72・6!

 |E7|=7!・2・2^3・3^2・4=8・9!

 |E8|=8!・1・2^2・3^2・4^2・5・6=192・10!

 このmagical and mysteriousな公式は「ワイルの公式」と呼ばれるものである.

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