修正します:

>>562

念のために、

<{(1 2), (2 3), …, (n-1 n), (n 1)}> = Sn

の証明をプログラム風に書いておきます。

σ を Sn の任意の元とする。

σ(i[1]) = 1
σ(i[2]) = 2

σ(i[n]) = n

とする。

以下、プログラム風に書きます。
リターンされる τ が σ の分解になります。

τ := id

for k in [1, 2, …, n]:
■■j[k] := τ(i[k])
■■if j[k] != k:
■■■■τ : = (k k+1) * … * (j[k]-2 j[k]-1) * (j[k]-1 j[k]) * τ

return τ