■ABCからDEへ(その241)
(その240)ではDE群に引き続き,ABC群の全切頂切稜の頂点数を調べてみて,これが頂点図形の位数に等しいことを確かめた.ここでがFGHI群について調べてみたい.
===================================
[1]F4{3,4,3}の頂点図形は{4,3}である.{4,3}(1,1,1}の頂点数xは
|F4|=x・(F4の頂点数)
で与えられる.
1152=24x,x=48=2^33! (OK)
[2]H4{3,3,5}の頂点図形は{3,5}である.{3,5}(1,1,1}の頂点数xは
|H4|=x・(H4の頂点数)
で与えられる.
14400=120x,x=120 (OK)
[3]H3{3,5}の頂点図形は{5}である.{5}(1,1}の頂点数xは
|H3|=x・(H3の頂点数)
で与えられる.
120=12x,x=10 (OK)
===================================
[3]はGI群を兼ねているが,一般にI2(p)の全切頂切稜の頂点数は2p.
===================================