対称群の定義

これまでの準備（置換と置換の積の定義）を踏まえて、置換全体の集合を対称群として定義します。

また、群の定義にしたがって、置換全体の集合が積の演算により群であることを確かめます。

対称群の定義#

定義 3.4（対称群）#

$M_n$ を $n$ 個の要素からなる集合とする。$M_n$ 上の置換全体からなる群を $n$ 次の対称群（$\text{symmetric group}$）という。

解説#

対称群とは：置換全体の集合#

置換全体の集合は、置換の積により群となり、これを対称群と呼びます。

$n$ 次の対称群は、普通 $S_n$ や $\mathfrak{S}_n$ などと表記します（$\mathfrak{S}$ はドイツ文字で英字の $S$ に相当します）。

対称群の次数#

対称群の次数 $n$ は置換により並べ替える $M_n$ の元の数を指しています。

対称群の位数（元の個数）#

また、置換の定義で示した通り、対称群 $S_n$ の位数（元の個数）は $n!$ です。

用語について（対称群と置換群）#

対称群は、置換群（$\text{permutation group}$）と呼ばれることもあります（[8], [15] など）。

しかしながら、対称群の部分群を置換群とよぶ教科書もあります（[11] など）。これらの用語については、使用している教科書に合わせて適切なものを選ぶ必要があります。

置換全体の集合が群であることの確認#

前項に示した、群の定義にしたがって、置換全体の集合が積の演算により群となることを確かめます。

前提条件：空でない集合であること#

まず、$n$ を自然数として、$M_n$ を $n$ 個の要素からなる集合、$S_n$ を $M_n$ 上の置換全体の集合とします。

$n$ は自然数なので、$M_n$ は少なくとも $1$ つの要素を持ちます。よって、$M_n$ は空集合ではありません。また、このとき $M_n$ の要素からそれ自身への置換（恒等置換）が必ず存在します。よって、$S_n$ は空集合ではありません。

対称群の $2$ 項演算：置換の積#

次に、$S_{n}$ の $2$ 項演算として、置換の積を考えます。

置換の積とは、$2$ つの置換（全単射）の合成写像のことでした（置換の積の定義を参照）。すなわち、$2$ つの置換 $\sigma, \tau \in S_n$ に対して、置換の積 $\tau \, \sigma$ とは、合成写像 $\tau \circ \sigma$ のことを指します。

このような積の演算が、群の定義における条件（$\text{1}$）$\sim$（$\text{3}$）を満たすことを確認します。

（1）結合法則について#

• 写像の合成について、結合法則が成り立つことは明らかといえます。

• したがって、置換の積を写像の合成と考えると、置換の積についても結合法則が成り立ちます。

• このことは、次のように、具体的に置換の積を計算することにより確かめられます。

• いま、$\rho, \sigma, \tau \in S_n$ とすると、$3$つの置換にわたる積 $(\tau \sigma) \rho, \; \tau (\sigma \rho)$ は、それぞれ次のようになります。

  $$\begin{align*} (\tau \sigma) \rho &= \left\{ \begin{pmatrix} 1 & \cdots & n \\ \tau(1) & \cdots & \tau(n) \\ \end{pmatrix} \begin{pmatrix} 1 & \cdots & n \\ \sigma(1) & \cdots & \sigma(n) \\ \end{pmatrix} \right\} \begin{pmatrix} 1 & \cdots & n \\ \rho(1) & \cdots & \rho(n) \\ \end{pmatrix} \\ &= \begin{pmatrix} 1 & \cdots & n \\ \tau(\sigma(1)) & \cdots & \tau(\sigma(n)) \\ \end{pmatrix} \begin{pmatrix} 1 & \cdots & n \\ \rho(1) & \cdots & \rho(n) \\ \end{pmatrix} \\ &= \begin{pmatrix} 1 & \cdots & n \\ \tau(\sigma(\rho(1))) & \cdots & \tau(\sigma(\rho(n))) \\ \end{pmatrix} \\ \\ \tau (\sigma \rho) &= \begin{pmatrix} 1 & \cdots & n \\ \tau(1) & \cdots & \tau(n) \\ \end{pmatrix} \left\{ \begin{pmatrix} 1 & \cdots & n \\ \sigma(1) & \cdots & \sigma(n) \\ \end{pmatrix} \begin{pmatrix} 1 & \cdots & n \\ \rho(1) & \cdots & \rho(n) \\ \end{pmatrix} \right\} \\ &= \begin{pmatrix} 1 & \cdots & n \\ \tau(1) & \cdots & \tau(n) \\ \end{pmatrix} \begin{pmatrix} 1 & \cdots & n \\ \sigma(\rho(1)) & \cdots & \sigma(\rho(n)) \\ \end{pmatrix} \\ &= \begin{pmatrix} 1 & \cdots & n \\ \tau(\sigma(\rho(1))) & \cdots & \tau(\sigma(\rho(n))) \\ \end{pmatrix} \\ \end{align*}$$

• したがって、$(\tau \sigma) \rho = \tau (\sigma \rho)$ が成り立ちます。

（2）単位元の存在について#

• 次のような恒等置換 $\epsilon \in S_n$ を考えます。恒等置換とは、$1 \mapsto 1, \; 2 \mapsto 2, \; \cdots, \; n \mapsto n$ のように、すべての文字を動かさない置換のことです。

  $$\begin{align*} \epsilon = \begin{pmatrix} \, 1 & 2 & \cdots & n \, \\ \, 1 & 2 & \cdots & n \, \\ \end{pmatrix} \end{align*}$$

• このとき、任意の $\sigma \in S_n$ に対して、$\sigma \epsilon = \epsilon \sigma = \sigma$ が成り立ちます。

• つまり、恒等置換 $\epsilon$ は、$S_n$ の単位元であるということです。

（3）逆元の存在について#

• 置換 $\sigma \in S_n$ に対して、次のような逆置換 $\sigma^{-1}$ を考えます。逆置換 $\sigma^{-1}$ とは、$\sigma(1) \mapsto 1, \; \sigma(2) \mapsto 2, \; \cdots, \; \sigma(n) \mapsto n$ のような $\sigma$ の逆対応です。

  $$\begin{align*} \sigma^{-1} &= \begin{pmatrix} \, \sigma(1) & \sigma(2) & \cdots & \sigma(n) \, \\ \, 1 & 2 & \cdots & n \, \\ \end{pmatrix} \\ &= \begin{pmatrix} \, 1 & 2 & \cdots & n \, \\ \, \sigma^{-1} (1) & \sigma^{-1} (2) & \cdots & \sigma^{-1} (n) \, \\ \end{pmatrix} \\ \end{align*}$$
  • 逆置換 $\sigma^{-1}$ は $\sigma$ の逆写像に他なりません。上記の $2$ 行目の並び替えは、そのことを端的に示しています。
  • 置換 $\sigma$ が全単射であることから、逆置換 $\sigma^{-1}$ も写像であり、かつ全単射となります。したがって、$\sigma^{-1} \in S_n$ であり、逆置換も置換であるといえます。（置換の定義）。

• このとき、任意の $\sigma \in S_n$ に対して、$\sigma \sigma^{-1} = \sigma^{-1} \sigma = \epsilon$ が成り立ちます。

• つまり、任意の $S_{n}$ の元（置換）に対して、その逆元（逆置換）が存在するということです。

まとめ（置換全体の集合が群であることの確認）#

以上から、置換全体の集合 $S_n$ は空でない集合であり、置換の積は群の $2$ 項演算の条件（$\text{1}$）$\sim$（$\text{3}$）を満たすことが確かめられました。

したがって、$S_n$ は積の演算により群であるといえます。

線型代数において対称群について考える意味#

これまでの準備（置換と置換の積、群の定義）を踏まえて、置換全体の集合が群（対称群）であることがわかりましたが、このことは何を意味するのでしょうか。

置換全体が群であるということは、群に関して一般に成り立つことが置換全体に関しても成り立つということです。例えば、一般の群 $G$ に成り立つ簡約律（ $a, b, c \in G$ について、$ab = ac \Rightarrow b = c$ が成り立つ）などは、置換についても成り立ちます。

しかしながら、このような命題は置換の定義のみからも素直に導けます。つまり、あえて群論を援用する意義は少ないです。

どちらかというと、より一般化された目線から線型代数について考えることや、線型代数からに代数学に進む際のギャップを埋めるといった意義の方が大きいと思います。

まとめ#

• $M_n$ を $n$ 個の要素からなる集合として、$M_n$ 上の置換全体からなる群を $n$ 次の対称群という。
• $M_n$ 上の置換全体の集合 $S_{n}$ は、置換の積により群となる。

  • $S_n$ の単位元は、次のような恒等置換 $\epsilon \in S_{n}$ である。

    $$\begin{align*} \epsilon = \begin{pmatrix} \, 1 & 2 & \cdots & n \, \\ \, 1 & 2 & \cdots & n \, \\ \end{pmatrix} \end{align*}$$

  • 任意の置換 $\sigma \in S_{n}$ に対して、その逆元である、逆置換 $\sigma^{-1} \in S_{n}$ が存在する。

    $$\begin{align*} \sigma^{-1} = \begin{pmatrix} \, \sigma(1) & \sigma(2) & \cdots & \sigma(n) \, \\ \, 1 & 2 & \cdots & n \, \\ \end{pmatrix} \\ \end{align*}$$

参考文献#

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.