コクセター群
Sn+1 を n + 1 次対称群とする。n 個の互換 si = (i, i + 1) (i = 1, 2, 3, ..., n) をとると Sn+1 は {s1, s2, ..., sn} を生成系とするコクセター群となる。
また二面体群もコクセター群である。