■DE群多面体の面数公式(その7)
Pqrの頂点図形は(P−1)qrである.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
===================================
221の頂点数は27
321の頂点数は56
421の頂点数は240である.
[1]E8格子:τ=240,ボロノイ細胞は421の双対
[2]E7格子:τ=126,ボロノイ細胞は231の双対
[14]E7*格子:τ=56,ボロノイ細胞は321の双対
[15]E6格子:τ=72,ボロノイ細胞は122の双対
[16]E6*格子:τ=54,???
===================================