Title here
Summary here
置換の定義
置換とは、集合の上で定義される全単射です。
ここでは、行列式の定義に必要となる、置換の定義するとともに、置換の表記法を導入します。置換は、線型代数だけでなく、代数学（群論やガロア理論など）にも現れる非常に重要な概念です。
置換の定義
まず、置換の定義を示します。
定義 3.1（置換）
$M$ を集合とすると、$M$ から $M$ への全単射 $\sigma : M \to M$ を、$M$ 上の置換（$\text{permutation}$）という。
解説
置換とは：集合の上の全単射
置換とは、ある集合の上で定義された全単射です。すなわち、ある集合 $M$ から $M$ への写像で、全単射であるものを置換と呼ぶということです。
文字の集合 $M_{n}$
まず、$M_{n}$ を $n$ 個の文字 $1, 2, \cdots, n$ からなる集合とします。
$$
\begin{align*}
M_{n} = \{\, 1, 2, \cdots, n \, \}
\end{align*}
$$
いま、文字の集合に対して置換を定義しますが、一般に、任意の有限集合に対して置換が定義できます。
集合 $M_{n}$ 上の全単射
次に、集合 $M_{n}$ から $M_{n}$ への写像 $\sigma : M_{n} \to M_{n}$ について考えます。
$\sigma$ は写像であるので、任意の $1, \cdots, n \in M_{n}$ に対して $\sigma(1), \, \cdots, \, \sigma(n) \in M_{n}$ が存在します（ 写像の定義を参照）。
また、$\sigma$ を単射とすると、$1, \cdots, n$ の $\sigma$ による像 $\sigma(1), \, \cdots, \, \sigma(n)$ は互いに相異なります（ 単射の定義を参照）。
更に、任意の $\sigma$ による像 $\sigma(1), \, \cdots, \, \sigma(n) \in M_{n}$ に対して、$M_{n}$ の元 $1, \cdots, n \in M_{n}$ が存在します（ 全射の定義を参照）。つまり、置換 $\sigma$ は、$M_{n}$ のすべての文字を置き換えます。
このような 全単射 $\sigma : M_{n} \to M_{n}$ こそ、$M_{n}$ 上の置換 $\sigma$ に他なりません。
置換と順列の対応
$M_{n}$ 上の置換は、$n$ 個の文字の順列と $1$ 対 $1$ に対応します。
上記の考察より、置換 $\sigma$ による像 $\sigma(1), \, \cdots, \, \sigma(n)$ は、もとの文字 $1, \cdots, n$ の順序を入れ替えたものといえます。これは、$n$ 個の文字 $1, \cdots, n$ の順列に他なりません。
つまり、$M_{n}$ 上の置換 $\sigma$ は、$ n$ 個の文字の順列と、$1$ 対 $1$ に対応するものです。
$n$ 文字の置換の総数は $n!$ 個
$n$ 個の文字の集合 $M_{n}$ に対して、$M_{n}$ 上の置換 $\sigma$ 全体の集合を $S_{n}$ とします。
$$
\begin{gather*}
S_{n} = \big\{ \, \sigma : M_{n} \to M_{n} \, \big\} \\ \\
\end{gather*}
$$
このとき、$S_{n}$ の要素の数は $n!$ 個になります。
$$
\begin{gather*} \tag{3.1.1}
\big\lvert \, S_{n} \, \big\rvert = n !
\end{gather*}
$$
このことは、置換を、$n$ 個の要素からなる集合の要素の並び替え（すなわち $n$ 個の要素の順列）と考えれば、その総数が $n!$ になることからも理解できます。
用語について（置換）
上記のように定義される「置換」は、英語の教科書では $\text{permutation}$ が用いられています。
また、確率論に現れる「順列」も、同じく $\text{permutation}$ と訳されます。（順列を意味する記号 ${}_n \mathrm{P}_k$ の $\mathrm{P}$ は、$\text{permutation}$ の頭文字を表しています。）
このことからも、「置換」と「順列」が $1$ 対 $1$ に対応するものであることがわかります。
置換の表記法
次に、置換の表記法を示します。
置換の表記法
$M_{n} = \{\, 1, 2, \cdots, n \, \}$ とすると、$M_n$ 上の置換 $\sigma$ を次のように表す。
$$
\begin{align*} \tag{3.1.2}
\sigma = \begin{pmatrix}
\, 1 & 2 & \cdots & n \, \\
\, \sigma(1) & \sigma(2) & \cdots & \sigma(n) \,
\end{pmatrix}
\end{align*}
$$
解説
置換による文字の対応
$n$ 文字の置換 $\sigma$ は、 上記の （3.1.2）式のように、置換による文字の対応として表すことができます。
置換 $\sigma$ を $n$ 個の文字の順列（並び替え）と考えると、 （3.1.2）式は、上段にもとの文字を、下段に置換による行き先の文字を並べたものと捉えることができます。
（3.1.2）式においては、両辺に $\sigma$ が現れます。左辺の $\sigma$ は置換そのものを、左辺の $\sigma(1), \, \cdots, \, \sigma(n)$ は置換 $\sigma$ による像（文字）を表している点に注意が必要です。
もとの文字と置換による像との対応
具体的に、置換 $\sigma$ により、$1, 2, \cdots, n \in M_{n}$ が、それぞれ $i_1, \, i_2, \, \cdots, \, i_n \in M_{n}$ に移されるとします。このとき、$\sigma$ は次のように表せます。
$$
\begin{align*}
\sigma = \begin{pmatrix}
\, 1 & 2 & \cdots & n \, \\
\, i_1 & i_2 & \cdots & i_n \,
\end{pmatrix}
\end{align*}
$$
ここで、$\sigma(1) = i_1, \; \sigma(2) = i_2, \; \cdots, \; \sigma(n) = i_n$ であり、$n$ 個の文字 $1, 2, \cdots, n$ と、その（置換 $\sigma$ による）像は、それぞれ次のように対応しています。
$$
\begin{align*}
1 \; &\mapsto \; \sigma(1) = i_{1} \, , \\
2 \; &\mapsto \; \sigma(2) = i_{2} \, , \\
& \; \; \vdots \\
n \; &\mapsto \; \sigma(n) = i_{n}
\end{align*}
$$
置換の表記は順序によらない
置換 $\sigma$ は、文字 $1, \cdots, n$ が、それぞれどの文字に移るかによって定まります。したがって、 上記の表記法において、上段と下段の組み合わせが変わらなければ、並び順が変わっても問題ありません。
並び順の変更
つまり、上段が $1, 2, \cdots, n$ の順に並んでなくても良いということです。文字の行き先が変わらなければ、並び順を変えても写像として同じだからです。
このような並べ替えは、 次項で導入する 置換の積の計算において大変便利です。
並び順の変更（具体例）
例えば、$4$ つの文字からなる集合 $M_4$ 上の置換として、次のような $\sigma$ を考えます。
$$
\begin{align*}
\sigma = \begin{pmatrix}
\, 1 & 2 & 3 & 4 \, \\
\, 2 & 4 & 1 & 3 \,
\end{pmatrix}
\end{align*}
$$
また、同じく $M_4$ 上の置換として、次のような $\sigma^{\prime}$ を考えます。
$$
\begin{align*}
\sigma^{\prime} = \begin{pmatrix}
\, 1 & 4 & 2 & 3 \, \\
\, 2 & 3 & 4 & 1 \,
\end{pmatrix}
\end{align*}
$$
このとき、$\sigma$ と $\sigma^{\prime}$ において、上段と下段の文字の組み合わせは同じです。
$$
\begin{align*}
1 \; &\mapsto \; 2 \, , \\
2 \; &\mapsto \; 4 \, , \\
3 \; &\mapsto \; 1 \, , \\
4 \; &\mapsto \; 3
\end{align*}
$$
したがって、これらは同じ置換を表しているといえます。
$$
\begin{align*}
\begin{pmatrix}
\, 1 & 2 & 3 & 4 \, \\
\, 2 & 4 & 1 & 3 \,
\end{pmatrix}
= \begin{pmatrix}
\, 1 & 4 & 2 & 3 \, \\
\, 2 & 3 & 4 & 1 \,
\end{pmatrix}
\end{align*}
$$
まとめ
集合 $M$ から $M$ への全単射 $\sigma : M \to M$ を、$M$ 上の置換という。
置換と順列は $1$ 対 $1$ に対応する。
$M_n$ を $n$ 文字の集合とすると、$M_n$ 上の置換 $\sigma$ を次のように表す。
$$ \begin{align*} \sigma = \begin{pmatrix} \, 1 & 2 & \cdots & n \, \\ \, \sigma(1) & \sigma(2) & \cdots & \sigma(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.
初版：2022-10-23 | 改訂：2025-06-19