Ｈ3，Ｈ4，Ｆ4対しては

　　ｍ＝Σｓjｓj+1＋ｓr・ｓr+1　　（正軸体系で最後の要素が０の場合）

　　ｍ＝Σｓjｓj+1＋ｓr　　　　　　（それ以外）

を変形して適用することを諦め，ワイソフ算術で直接ｍを計算する方法がいいのかもしれない．

　正６００胞体系の結果は，コラム「単純リー環を使った面数数え上げ」（その１０２）−（１０３）を参照されたい．

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

［１］（１０００）→ｆ＝（１２０，７２０，１２００，６００）

　恒等写像．Ｐ0が消失．

（０００）→ｆ＝（１），０，０，０

（００）→ｆ＝０，（１），０，０

（０）→ｆ＝０，０，０，（１）

ｆ0＝１２０・１＋７２０・０＋１２００・０＋６００・０＝１２０　　（ＯＫ）

ｆ1＝１２０・０＋７２０・１＋１２００・０＋６００・０＝７２０　　（ＯＫ）

ｆ2＝１２０・０＋７２０・０＋１２００・１＋６００・０＝１２００　　（ＯＫ）

ｆ3＝１２０・０＋７２０・０＋１２００・０＋６００・１＝６００　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［２］（０１００）→ｆ＝（７２０，３６００，３６００，７２０）

　Ｐ1まで消失する．頂点に（１００）→ｆ＝（１２，３０，２０）ができる．

（１００）→ｆ＝（１２，３０，２０），１

（００）→ｆ＝（１），０，０，０

とすれば

ｆ0＝１２０・１２−７２０・１＝７２０　　（ＯＫ）

ｆ1＝１２０・３０−７２０・０＝３６００　　（ＯＫ）

ｆ2＝１２０・２０−７２０・０＋１２００・１＝３６００　　（ＯＫ）

ｆ3＝１２０・１−７２０・０＋６００・１＝７２０　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［３］（００１０）→ｆ＝（１２００，３６００，３１２０，７２０）

　Ｐ2まで消失する．頂点に（０１０）→ｆ＝（３０，６０，３２）ができる．しかし，辺上で（１０）→ｆ＝（５，５）が重複する．面の中心で点が重複する．

（０１０）→ｆ＝（３０，６０，３２）

（１０）→ｆ＝（５，５），１，０

（０）→ｆ＝（１），０，０，０

とすれば

ｆ0＝１２０・３０−７２０・５＋１２００・１＝１２００　　（ＯＫ）

ｆ1＝１２０・６０−７２０・５＋１２００・０＝３６００　　（ＯＫ）

ｆ2＝１２０・３２−７２０・１＋１２００・０＝３１２０　　（ＯＫ）

ｆ3＝１２０・１−７２０・０＋１２００・０＋６００・１＝７２０　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［４］（０００１）→ｆ＝（６００，１２００，７２０，１２０）

　逆写像．Ｐ3まで消失する．

（００１）→ｆ＝（２０，３０，１２），１

（０１）→ｆ＝（５，５），１，０

（１）→ｆ＝（２），１，０，０

ｆ0＝１２０・２０−７２０・５＋１２００・２−６００・１＝６００　　（ＯＫ）

ｆ1＝１２０・３０−７２０・５＋１２００・１−６００・０＝１２００　　（ＯＫ）

ｆ2＝１２０・１２−７２０・１＋１２００・０−６００・０＝７２０　　（ＯＫ）

ｆ3＝１２０・１−７２０・０＋１２００・０−６００・０＝１２０　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［５］（１１００）→ｆ＝（１４４０，４３２０，３６００，７２０）

　Ｐ0まで消失する．頂点に（１００）→ｆ＝（１２，３０，２０）ができる．

（１００）→ｆ＝（１２，３０，２０），１

（００）→ｆ＝（１），０，０，０

ｆ0＝１２０・１２＝１４４０　　（ＯＫ）

ｆ1＝１２０・３０＋７２０・１＝４３２０　　（ＯＫ）

ｆ2＝１２０・２０＋１２００・１＝３６００　　（ＯＫ）

ｆ3＝１２０・１＋６００・１＝７２０　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［８］（０１１０）→ｆ＝（３６００，７２００，４３２０，７２０）

　Ｐ1まで消失する．　頂点に（１１０）→ｆ＝（６０，９０，３２）ができる．しかし，辺上で（１０）→ｆ＝（５，５）が重複する．

（１１０）→ｆ＝（６０，９０，３２），１

（１０）→ｆ＝（５，５），１，０

ｆ0＝１２０・６０−７２０・５＝３６００　　（ＯＫ）

ｆ1＝１２０・９０−７２０・５＝７２００　　（ＯＫ）

ｆ2＝１２０・３２−７２０・１＋１２００＝４３２０　　（ＯＫ）

ｆ3＝１２０・１−７２０・０＋６００＝７２０　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［１０］（００１１）→ｆ＝（２４００，４８００，３１２０，７２０）

　Ｐ2まで消失する．頂点に（０１１）→ｆ＝（６０，９０，３２）ができる．辺で（１１）→ｆ＝（１０，１０），面で（１）→ｆ＝（１）が重なる．

（０１１）→ｆ＝（６０，９０，３２），１

（１１）→ｆ＝（１０，１０），１，０

（１）→ｆ＝（２），１，０，０

ｆ0＝１２０・６０−７２０・１０＋１２００・（２）＝２４００　　（ＯＫ）

ｆ1＝１２０・９０−７２０・１０＋１２００・１＝４８００　　（ＯＫ）

ｆ2＝１２０・３２−７２０・１＋１２００・０＝３１２０　　（ＯＫ）

ｆ3＝１２０・１−７２０・１＋１２００・０＋６００・１＝２４　　（ＯＫ）

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