■DE群多面体の面数公式(その592)

[3]142

 142の頂点数は17280,頂点図形は042=t2α7

(56,420,840,770,392,112,16)

(56,420,840,280+490,224+168,28+56+28,8+8)

 ファセット132は240個=|E8|/|E7|

 ファセット141=hγ7は2160個=|E8|/|D7|

21・8−6・28+1・56=56

105・8−15・28+0・56=420

175・8−20・28+0・56=840

140・8−15・28+0・56+1・70=770

63・8−6・28+0・56+0・70+1・56=392

14・8−1・28+0・56+0・70+0・56+1・28=112

1・8−0・28+0・56+0・70+0・56+0・28+1・8=16

{3,3,3,3,3,3}(0,0,1,0,0,0,0)

{3,3,3,3,3}(0,1,0,0,0,0)

{3,3,3,3}(1,0,0,0,0)×{}(0)

{3,3,3}(0,0,0,0)×{3}(0,0)

{3,3}(0,0,0)×{3,3}(0,0,1)

{3}(0,0)×{3,3,3}(0,0,1,0)

{}(0)×{3,3,3,3}(0,0,1,0,0)

×{3,3,3,3,3}(0,0,1,0,0,0)

6次元面は

{3,3,3,3,3}(0,1,0,0,0,0):{3,3,3,3,3}(0,0,1,0,0,0)=8:8

5次元面は

{3,3,3,3,3}(0,1,0,0,0,0)から派生するもの

  {3,3,3,3}(1,0,0,0,0)

  {3,3,3,3}(0,1,0,0,0)

{3,3,3,3,3}(0,0,1,0,0,0)から派生するもの

  {3,3,3,3}(0,1,0,0,0)

  {3,3,3,3}(0,0,1,0,0)→1:2:1

5次元面はそれらから派生するので,

  {3,3,3}(1,0,0,0)

  {3,3,3}(1,0,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(1,0,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(0,0,1,0)→4:3

4次元面はそれらから派生するので,

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(0,1,0)

  {3,3}(0,0,1)→7:4

このようにすると以下のように4次元面が分配されるが,この方法は正しいだろう? これらは交差しておらず,直観的には正しい.

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

132の各頂点に連結する辺は56本

したがって,132の辺数は17280・(56/2)=483840

132の各頂点に連結する面は420

したがって,132の面数は17280・(420/3)=2419200

132の各頂点に連結する3次元面は840

したがって,321の面数は17280・(840/4)=3628800

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

142の各頂点に連結する142の7次元面は240個の132と2160個の141=hγ7

17280・(x/576+y/64)=240+2160=2400

x+y=16,x=8,y=8

142の各頂点に連結する142の6次元面は

122と131=hγ6,131=hγ6,140=α6

17280・(x/72+y/32+z/7)

x+y+z=112,x=28,y=56,z=28

17280・(x/72+y/32+z/7)=6720+30240+69120

142の各頂点に連結する142の5次元面は

121=hγ5,130=α4

17280・(x/16+y/5)

x+y=392,x=224,y=168

17280・(x/16+y/6)=241920+483840

142の各頂点に連結する142の4次元面は

111=hγ4と120=α4

17280・(x/8+y/5)=N

x+y=770,x=280,y=490

17280・(x/8+y/5)=604800+1693440

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