大域幾何は求められるが，局所幾何が求められるかどうかは不確定である．以下のＡＢＣ群も，それ同様，大域幾何であるから求められたものだと思う．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］Ｆ4｛３，４，３｝の頂点図形は｛４，３｝である．｛４，３｝（１，１，１｝の頂点数ｘは

　　｜Ｆ4｜＝ｘ・（Ｆ4の頂点数）

で与えられる．

　　１１５２＝２４ｘ，ｘ＝４８＝２^3３！　　（ＯＫ）

［２］Ｈ4｛３，３，５｝の頂点図形は｛３，５｝である．｛３，５｝（１，１，１｝の頂点数ｘは

　　｜Ｈ4｜＝ｘ・（Ｈ4の頂点数）

で与えられる．

　　１４４００＝１２０ｘ，ｘ＝１２０　　（ＯＫ）

［３］Ｈ3｛３，５｝の頂点図形は｛５｝である．｛５｝（１，１｝の頂点数ｘは

　　｜Ｈ3｜＝ｘ・（Ｈ3の頂点数）

で与えられる．

　　１２０＝１２ｘ，ｘ＝１０　　（ＯＫ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［３］はＧＩ群を兼ねているが，一般にＩ2（ｐ）の全切頂切稜の頂点数は２ｐ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝