>>272
■問2

σ∈S_n のとき

σ^(-1) = Cyc(k_n…n) ・・・・・・Cyc(k_3…3)Cyc(k_2…2)
 ただし 1≦k_j≦j

のように巡回置換Cycの「積」で一意的に表わせたらいいんだが。
与式に適用してみる....