いま考えている多面体はすべて一様多面体であって，頂点周りのｋ次元面の配置はどの頂点であっても等しい．局所的な計量についても書いておきたい．

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

　まずは古典群から．置換多面体の場合

｛３｝（１１）＝（１，２，１）

｛３３｝（１１１）＝（１，３，３，１）

｛３３３｝（１１１１）＝（１，４，６，４，１）

｛３３３３｝（１１１１１）＝（１，５，１０，１０，５，１）

｛３３３３３｝（１１１１１１）＝（１，６，１５，２０，１５，１０，５，１）

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

｛４｝（１１）＝（１，２，１）

｛３４｝（１１１）＝（１，３，３，１）

｛３３４｝（１１１１）＝（１，４，６，４，１）

｛３３３４｝（１１１１１）＝（１，５，１０，１０，５，１）

｛３３３３４｝（１１１１１１）＝（１，６，１５，２０，１５，６，１）

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

　続いて，散在群．

｛５｝（１１）＝（１，２，１）

｛３５｝（１１１）＝（１，３，３，１）

｛３３５｝（１１１１）＝（１，４，６，４，１）

｛３４３｝（１１１１）＝（１，４，６，４，１）

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

［まとめ］大域計量からも確かめられるが，いずれも単純多面体である．

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