■単純リー環を使った面数数え上げ(その11)

 Xnのワイル群のオーダーをW(Xn)で表すことにする.

  W(An)=(n+1)!

  W(Bn)=2^nn!

  W(Cn)=2^nn!

  W(Dn)=2^n-1n!

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

【1】半立方体の要素数

 4次元半立方体の頂点数は

  f0=W(D4)/W(A3)=8

辺数は

  f1=W(D4)/W(A1)^3=24

2次元面数は

  f2=W(D4)/W(A2)=32

3次元面数は

  f3=2W(D4)/W(A3)=16

で計算される.これは4次元正軸体とまったく同じである.

 n次元半立方体では

  f0=W(Dn)/W(An-1)=2^n-1

  f1=W(Dn)/W(A1)^2W(An-3)=2^n-2(n,2)

が正しいようである.

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

【2】正軸体の要素数

 4次元正軸体の頂点数は

  f0=W(C4)/W(C3)=8

辺数は

  f1=W(C4)/W(A1)W(C2)=24

2次元面数は

  f2=W(C4)/W(A2)W(A1)=32

3次元面数は

  f3=2W(C4)/W(A3)=16

で計算される.

 n次元正軸体では

  f0=W(Cn)/W(Cn-1)=2n

  f1=W(Cn)/W(A1)^2W(Cn-2)=2^n-2(n,2)

が正しいようである.

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