Coxeter group
"D""n", "E"6, "E"7, "E"8 型のコクセター群は、ある種の半正多胞体の対称変換群になる。