｛３３３｝（１００１）の局所と大域を調べてみよう．

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

［１］｛３，３，３｝（１００１）の局所

　　｛３，３｝（００１）１個→（１３３１），１個

　　｛３｝（０１）×｛｝（１）３個→（１２１０），３個

　　｛｝（１）×｛３｝（１０）３個→（１１００），３個

　　｛３，３｝（１００）１個→（１０００），１個

１

３，３

３，６，３

１，３，３，１

１列目：三角形面３

２列目：四角形面６

３列目：三角形面３

　　ｆ2＝（６／３＋６／４）・ｆ0＝７０　　（ＯＫ）

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

［２］｛３，３，３｝（１００１）の大域

　　｛３，３｝（００１）→（４，６，４，１），５個

　　｛｝（０１）×｛｝（１）→（３，３，１，０），１０個

　　｛｝（１）×｛３｝（１０）→（２１００），１０個

　　｛３，３｝（１００）→（１０００），５個

２０

３０，３０

２０，３０，２０

５，１０，１０，５

　１列目：正三角形２０

　２列目：正方形３０

　３列目：正三角形２０

　１列目：四面体５

　２列目：三角柱１０

　３列目：三角柱１０

　４列目：四面体５

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

［３］｛３，３，３｝（１００１）の検算

　　｛３，３｝（００１）→（４，６，４，１），５個

　　｛｝（０１）×｛｝（１）→（３，３，１，０），１０個

　　｛｝（１）×｛３｝（１０）→（２１００），１０個

　　｛３，３｝（１００）→（１０００），５個

２０

３０，３０

２０，３０，２０

５，１０，１０，５

　１列目：正三角形２０

　２列目：正方形３０

　３列目：正三角形２０

（その４１７）より

　　ｆ2＝（６／３＋６／４）・ｆ0＝７０　　（ＯＫ）

　　ｆ0＝２０→正三角形４０，正方形３０

　１列目：四面体５

　２列目：三角柱１０

　３列目：三角柱１０

　４列目：四面体５

（その４１７）より

　　ｆ3＝（２／４＋６／６）・ｆ0＝７０　　（ＯＫ）

　　ｆ0＝２０→四面体１０，三角柱２０

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

［まとめ］コクセター記号の

　　ｅα2＝｛３｝（１１）

　　ｅα3＝｛３３｝（１０１）＝立方八面体

　　ｅα4＝｛３３３｝（１００１）

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