■基本単体の二面角(その141)
Pq0=αp+q+1,P11=βp+3,1q1=hγq+3
===================================
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!
===================================
Pqrの位数は,それに対応する位数を(P−1)qrの位数で割った値として,求めることができる.
221→|E6|/|D5|=72・6!/16・5!=27
321→|E7|/|E6|=8・9!/72・6!=56
132→|E7|/|A6|=8・9!/7!=576
241→|E8|/|D7|=192・10!/64・7!=2160
122→|E6|/|A5|=72・6!/6!=72
231→|E7|/|D6|=8・9!/32・6!=126
421→|E8|/|E7|=192・10!/8・9!=240
142→|E8|/|A7|=192・10!/8!=17280
===================================