■基本単体の二面角(その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な公式は「ワイルの公式」と呼ばれるものである.
===================================