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

[1]PqrのファセットはP(q-1)rとPq(r-1)の2種類ある.

{334}のファセットは{33}であるから,シフト演算に関しては同じと考えることができる.

 たとえば,421のファセットは411=β7,420=α7である.

 E8=421の双対がV(0)である.

[2]

  En=(n−4)21

  E8→421

  E7→321

  E6→221

  E5=D5→121=hγ5

  E4=A4→021=t1α4

  E3=A2×A1→(−1)21=α2×α1

[3]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である.

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