対称群の2つの元からなる生成系

今回は初回なのでテストも兼ねて群論の本の演習になっていた次の事実を証明します. &&&prop $n$次対称群は2元$(1\ 2)$, $(1\ 2\ \cdots\ n)$により生成される. &&& &&&prf 証明 $(1\ 2\ \cdots\ n)^{-i}(1\ 2)(1\ 2\ \cdots\ n)^{i}=(n-i+1\ n-i+2)$であることに注意する.実際, 最初の$(1\ 2\ \cdots\ n)^{i}$で$\{1,…