n次対称群 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• n次対称群 へ行く。

* 定義 [#cd8b54cb]

&mathjax{S_n = (G_n, \cdot)}; で表される[[群]]のこと。

** &mathjax{G}; [#d8b8c684]
** 集合 &mathjax{G_n}; [#d8b8c684]

&mathjax{A = {x_1, \cdots, x_n}}; とするとき、 &mathjax{G_n}; を &mathjax{A}; 内の置換全体の集合と定義する。
すなわち、 &mathjax{ G_n := \{写像 f; f: A \longrightarrow A : 全単射 \}};

** 二項演算 &mathjax{\cdot}; [#y4c73445]

置換同士の合成を表す。

* 群であることの証明 [#m4eb59b5]

** 結合則 [#w3cd5bec]

置換 &mathjax{f \circ g \circ h}; はどういう順番で置換しても結果は同じ (あみだくじを考えるとよい？) 。

** 単位元 [#q46267ab]

何も変えない恒等置換を単位元とすればよい。

** 逆元 [#zd2168da]

置換は全単射なので、その逆写像をもってこればよい。これはその置換によって入れ替えられるものをもと通りに戻すような置換になっている。