Coxeter group
また二面体群もコクセター群である。