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


定義

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

\( G \)

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

二項演算 \( \cdot \)

置換同士の合成を表す。