Coxeter group
一般次元正多胞体の対称変換群 (symmetry group) は必ず有限コクセター群になり、互いに双対な多胞体は同じ対称変換群を持つ。