コクセター群
を満たし、組み紐群 を生成元が対合となるという関係式で割って 得られる。すなわち、 は -型のコクセター群である。