n次対称群 のバックアップ(No.2)


定義

\( S_n = (G_n, \cdot) \) で表されるのこと。

\( G \)

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

二項演算 \( \cdot \)

置換同士の合成を表す。