コクセター群
"S""n"+1 を "n" + 1 次対称群とする。"n" 個の互換 "s""i" = ("i", "i" + 1) ("i" = 1, 2, 3, ..., "n") をとると "S""n"+1 は {"s"1, "s"2, ..., "s""n"} を生成系とするコクセター群となる。