Scisys-Math
La

置換の符号の定義

偶数個の互換の積として表せる置換を偶置換、奇数個の互換の積として表せる置換を奇置換といいます。

ここでは、置換の符号を定義するとともに、その基本的性質として（i\text{i}）置換の符号が置換の積の演算を保存すること（ii\text{ii}）恒等置換が偶置換であること（iii\text{iii}）逆置換の符号がもとの置換の符号に等しいことを示します。

置換の符号の定義

まず、前項の定理 3.5（置換の符号の一意性）に基づき、置換の符号を定義します。

定義 3.7（置換の符号）

偶数個の互換の積で表せる置換を偶置換（even permutation\text{even permutation}）、奇数個の互換の積で表せる置換を奇置換（odd permutation\text{odd permutation}）という。

また、任意の置換 σ\sigma に対して、その符号を、σ\sigma が偶置換であれば +1+1 、σ\sigma が奇置換であれば −1-1 と定義し、sgn(σ)\text{sgn} (\sigma) と表す。

sgn(σ)={+1(  if  σ  is even  )−1(  if  σ  is odd  ) \begin{equation} \tag{3.3.3} \text{sgn} (\sigma) = \left\{ \begin{array} {lc} +1 & ( \; \text{if} \; \sigma \; \text{is even} \;) \\ -1 & ( \; \text{if} \; \sigma \; \text{is odd} \;) \\ \end{array} \right. \end{equation}

解説

偶置換と奇置換

任意の置換を互換の積として表したとき、偶数個の互換の積で表せる置換を偶置換、奇数個の互換の積で表せる置換を奇置換といいます。

前項の定理 3.5（置換の符号の一意性）より、任意の置換に対して、その置換が偶数個の互換の積として表せるか、奇数個の互換の積として表せるかは一意に定まります。

したがって、任意の置換は、偶置換か奇置換のいずれかであるということができます。

置換の符号とは

置換の符号とは、任意の置換に対して一意に定まる符号（+1+1 または −1-1）です。

偶置換か奇置換かを示す記号

置換の符号は、ある置換 σ\sigma が偶置換か奇置換かを示す記号であるともいえます。

すなわち、σ\sigma が偶置換であるときは sgn(σ)=+1\text{sgn} (\sigma) = +1 となり、奇置換であるときは sgn(σ)=−1\text{sgn} (\sigma) = -1 となる記号が、置換の符号 sgn(σ)\text{sgn} (\sigma) であると捉えられます。

sgn(σ)={+1(  if  σ  is even  )−1(  if  σ  is odd  ) \begin{equation} \tag{3.3.3} \text{sgn} (\sigma) = \left\{ \begin{array} {lc} +1 & ( \; \text{if} \; \sigma \; \text{is even} \;) \\ -1 & ( \; \text{if} \; \sigma \; \text{is odd} \;) \\ \end{array} \right. \end{equation}

このとき、置換 σ\sigma が rr 個の互換の積として σ=σ1σ1⋯σr\sigma = \sigma_{1} \sigma_{1} \cdots \sigma_{r} のように表せるとすると、定義より、次が成り立ちます。

sgn(σ)=(−1)r \begin{equation} \tag{3.3.4} \text{sgn} (\sigma) = (-1)^{r} \end{equation}

これは、置換の符号が、互換の数 rr の偶奇により定まることから明らかです。

置換により定まる写像

また、置換の符号は、置換 σ\sigma により定まる写像と捉えることもできます。

いま、σ\sigma を nn 次の置換とすると、sgn(σ)\text{sgn} (\sigma) は、nn 次の置換全体の集合 SnS_n（対称群）から集合 { +1,−1 }\{\, +1, -1 \,\} への写像であるといえます。

このような写像 sgn:Sn→{ +1,−1 }\text{sgn} : S_n \to \{\, +1, -1 \,\} が定義できることも、任意の置換 σ\sigma に対して、その符号が一意に定まることから明らかといえます（定理 3.5（置換の符号の一意性））。

用語と表記について（置換の符号）

sgn\text{sgn} の意味

置換の符号を示す表現 “sgn\text{sgn}” は、記号や符号を意味する英語 sign\text{sign} の略です（[6], [13], [14] など）。

[6] や [13] においては、置換の符号を sign of permutation\text{sign of permutation} と表現した上で、これを写像として、記号 ϵ(σ)\epsilon (\sigma) を用いて表しています。また、[14] では、省略せずに、sign(σ)\text{sign} (\sigma) のまま用いられています。

一方で、[7] において、sgn\text{sgn} は signature\text{signature} of\text{of} permutations\text{permutations} の略とされています。しかしながら、signature\text{signature} の主たる意味は署名や特徴です。したがって、"sgn\text{sgn}" は sign\text{sign} の略であると捉える方が、明快で字義に沿っていると考えられます。

「置換の符号」の他の表現

また、[2] においては sgn\text{sgn} は「符号函数」と表現されています。これも、置換の符号を写像として捉えた表現といえます。


置換の符号の基本的性質

次に、置換の符号の基本的な性質を示します。

定理 3.6（置換の符号）

任意の置換 σ,τ\sigma, \tau について、次が成り立つ。ここで、ϵ\epsilon は恒等置換、σ−1\sigma^{-1} は σ\sigma の逆置換を表す。

  (i)sgn(τσ)=sgn(τ)  sgn(σ) (ii)sgn(ϵ)=+1(iii)sgn(σ−1)=sgn(σ)(3.3.5) \begin{alignat*} {3} & \; (\text{i}) &\quad & \text{sgn} (\tau \sigma) = \text{sgn} (\tau) \; \text{sgn} (\sigma) \\ & \, (\text{ii}) &\quad & \text{sgn} (\epsilon) = +1 \\ & (\text{iii}) &\quad & \text{sgn} (\sigma^{-1}) = \text{sgn} (\sigma) \\ \end{alignat*} \tag{3.3.5}


解説

定理 3.6（置換の符号）は、置換の符号について成り立つ基本的な性質を示しています。

これらは、いずれも置換の符号の定義から直ちに導くことができます。

（i\text{i}）置換の積の符号

置換の符号は、置換の積の演算を保存します。

すなわち、22 つの置換の積の符号 sgn(τσ)\text{sgn} (\tau \sigma) は、それぞれの置換の符号 sgn(σ)\text{sgn} (\sigma) と sgn(σ)\text{sgn} (\sigma) の積に等しくなります。

（ii\text{ii}）恒等置換の符号

恒等置換は偶置換です。

ここで、恒等置換とは、1↦1,  2↦2,  ⋯ ,  n↦n1 \mapsto 1, \; 2 \mapsto 2, \; \cdots, \; n \mapsto n のように、すべての文字を動かさない置換のことです。

ϵ=( 12⋯n  12⋯n ) \begin{align*} \epsilon = \begin{pmatrix} \, 1 & 2 & \cdots & n \, \\ \, 1 & 2 & \cdots & n \, \\ \end{pmatrix} \end{align*}

（iii\text{iii}）逆置換の符号

逆置換の符号は、もとの置換の符号に等しくなります。

ここで、置換 σ\sigma に対して、その逆置換 σ−1\sigma^{-1} とは、σ\sigma と逆の文字を対応させる置換のことです。すなわち、逆置換 σ−1\sigma^{-1} による文字の対応は、σ(1)↦1,  σ(2)↦2,  ⋯ ,  σ(n)↦n\sigma(1) \mapsto 1, \; \sigma(2) \mapsto 2, \; \cdots, \; \sigma(n) \mapsto n のようになります。

σ−1=( σ(1)σ(2)⋯σ(n)  12⋯n )=( 12⋯n  σ−1(1)σ−1(2)⋯σ−1(n) ) \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^{-1} も写像であり、かつ全単射となります。したがって、逆置換 σ−1\sigma^{-1} も置換であるといえます。（対称群の逆元についてを参照）


証明

（i\text{i}）22 つの置換 σ,τ\sigma, \tau が、それぞれ r,sr, s 個の互換の積として σ=σ1σ2⋯σr,\sigma = \sigma_{1} \sigma_{2} \cdots \sigma_{r}, τ=τ1τ2⋯τs\tau = \tau_{1} \tau_{2} \cdots \tau_{s} と表されるとすると、σ\sigma と τ\tau の符号は、次のようになる。

sgn(σ)=(−1)r,sgn(τ)=(−1)s \begin{align*} \text{sgn} (\sigma) &= (-1)^{r}, \\ \text{sgn} (\tau) &= (-1)^{s} \end{align*}

このとき、τσ\tau \sigma は r+sr + s 個の互換の積として τσ=τ1τ2⋯τsσ1σ2⋯σr\tau \sigma = \tau_{1} \tau_{2} \cdots \tau_{s} \sigma_{1} \sigma_{2} \cdots \sigma_{r} と表せるから、τσ\tau \sigma の符号について、次が成り立つ。

sgn(τσ)=(−1)r+s=(−1)s  (−1)r=sgn(τ)  sgn(σ) \begin{split} \text{sgn} (\tau \sigma) &= (-1)^{r + s} \\ &= (-1)^{s} \; (-1)^{r} \\ &= \text{sgn} (\tau) \;\text{sgn} (\sigma) \end{split}

（ii\text{ii}）恒等置換 ϵ\epsilon はどの文字も入れ替えないため、00 個の互換の積、もしくは ϵ=( i  j )( j  i )\epsilon = (\, i \; j \,) (\, j \; i \,) のように同じ文字を入れ替えてまた戻すような、偶数個の互換の積として表せる。したがって、ϵ\epsilon は偶置換であり、sgn(ϵ)=+1\text{sgn} (\epsilon) = +1 が成り立つ。

（iii\text{iii}）任意の置換 σ\sigma とその逆置換 σ−1\sigma^{-1} について、σ−1σ=ϵ\sigma^{-1} \sigma = \epsilon が成り立つ。また、（i\text{i}）と（ii\text{ii}）より、sgn(σ−1σ)=sgn(σ−1)  sgn(σ)\text{sgn} (\sigma^{-1} \sigma) = \text{sgn} (\sigma^{-1}) \; \text{sgn} (\sigma) および sgn(ϵ)=1\text{sgn} (\epsilon) = 1 であるから、sgn(σ−1)  sgn(σ)=1\text{sgn} (\sigma^{-1}) \; \text{sgn} (\sigma) = 1 が成り立つ。したがって、σ\sigma と σ−1\sigma^{-1} の符号は等しく、sgn(σ−1)=sgn(σ)\text{sgn} (\sigma^{-1}) = \text{sgn} (\sigma) が成り立つ。 □\quad \square


証明の考え方

置換の符号の定義から直ちに証明できます。（iii\text{iii}）の証明においては、（i\text{i}）と（ii\text{ii}）を利用します。

（i\text{i}）の証明

  • 置換の符号の定義より、σ=σ1σ1⋯σn\sigma = \sigma_{1} \sigma_{1} \cdots \sigma_{n} であるならば、sgn(σ)=(−1)r\text{sgn} (\sigma) = (-1)^{r} であることを用います。

  • すなわち、22 つの置換 σ,τ\sigma, \tau が、それぞれ r,sr, s 個の互換の積として表せるとすると、σ\sigma と τ\tau の符号は、次のようになります。

    sgn(σ)=(−1)r,sgn(τ)=(−1)s \begin{align*} \text{sgn} (\sigma) &= (-1)^{r}, \\ \text{sgn} (\tau) &= (-1)^{s} \end{align*}

  • このとき、置換の積 τσ\tau \sigma は r+sr + s 個の互換の積として表せるので、τσ\tau \sigma の符号について、次が成り立つ。

    sgn(τσ)=(−1)r+s=(−1)s  (−1)r=sgn(τ)  sgn(σ) \begin{split} \text{sgn} (\tau \sigma) &= (-1)^{r + s} \\ &= (-1)^{s} \; (-1)^{r} \\ &= \text{sgn} (\tau) \;\text{sgn} (\sigma) \end{split}

  • 以上から、sgn(τσ)=sgn(τ)  sgn(σ)\text{sgn} (\tau \sigma) = \text{sgn} (\tau) \; \text{sgn} (\sigma) が示されました。

（ii\text{ii}）の証明

  • 恒等置換 ϵ\epsilon は、どの文字も入れ替えないため、00 個の互換の積と捉えられます。
  • また、同じ文字を入れ替えてまた戻すことを偶数回繰り返すような操作も、恒等置換 ϵ\epsilon に対応すると考えられます。
    • 例えば、22 つの文字 i,ji, j を入れ替えてまた戻すような互換の組合せ ( i  j )( j  i )(\, i \; j \,) (\, j \; i \,) が考えられます。
    • このような例は無数に考えられますが、置換を表す互換の個数が偶数であるか奇数であるかは一意に定まります（定理 3.5（置換の符号の一意性））
  • したがって、恒等置換 ϵ\epsilon は偶置換であり、その符号について、sgn(ϵ)=+1\text{sgn} (\epsilon) = +1 が成り立ちます。

（iii\text{iii}）の証明

  • 任意の置換 σ\sigma とその逆置換 σ−1\sigma^{-1} について、次が成り立ちます（対称群の逆元についてを参照）。

    σ−1σ=ϵ \begin{align*} \sigma^{-1} \sigma = \epsilon \end{align*}

  • 上記の両辺の置換の符号について考えると、（i\text{i}）と（ii\text{ii}） より、sgn(σ−1σ)=sgn(σ−1)  sgn(σ)\text{sgn} (\sigma^{-1} \sigma) = \text{sgn} (\sigma^{-1}) \; \text{sgn} (\sigma) および sgn(ϵ)=1\text{sgn} (\epsilon) = 1 が成り立つことから、次が導けます。

    sgn(σ−1)  sgn(σ)=1 \begin{align*} \text{sgn} (\sigma^{-1}) \; \text{sgn} (\sigma) = 1 \end{align*}

  • 置換の符号は +1+1 か −1-1 のどちらかしかとり得ないため、sgn(σ−1)  sgn(σ)=1\text{sgn} (\sigma^{-1}) \; \text{sgn} (\sigma) = 1 が成り立つということは、σ\sigma と σ−1\sigma^{-1} の符号は等しいということに他なりません。

  • したがって、sgn(σ−1)=sgn(σ)\text{sgn} (\sigma^{-1}) = \text{sgn} (\sigma) が成り立ちます。


まとめ

  • 偶数個の互換の積で表せる置換を偶置換（even permutation\text{even permutation}）、奇数個の互換の積で表せる置換を奇置換（odd permutation\text{odd permutation}）という。
  • また、任意の置換 σ\sigma に対して、その符号を、σ\sigma が偶置換であれば +1+1 、σ\sigma が奇置換であれば −1-1 と定義し、sgn(σ)\text{sgn} (\sigma) と表す。
    sgn(σ)={+1(  if  σ  is even  )−1(  if  σ  is odd  ) \begin{equation*} \text{sgn} (\sigma) = \left\{ \begin{array} {lc} +1 & ( \; \text{if} \; \sigma \; \text{is even} \;) \\ -1 & ( \; \text{if} \; \sigma \; \text{is odd} \;) \\ \end{array} \right. \end{equation*}

  • ある置換 σ\sigma が rr 個の互換の積として σ=σ1σ1⋯σr\sigma = \sigma_{1} \sigma_{1} \cdots \sigma_{r} と表せるとすると、σ\sigma の符号について、次が成り立つ。

    sgn(σ)=(−1)r \begin{align*} \text{sgn} (\sigma) = (-1)^{r} \end{align*}

  • 任意の置換 σ,τ\sigma, \tau について、次が成り立つ。ここで、ϵ\epsilon は恒等置換、σ−1\sigma^{-1} は σ\sigma の逆置換を表す。

      (i)sgn(τσ)=sgn(τ)  sgn(σ) (ii)sgn(ϵ)=+1(iii)sgn(σ−1)=sgn(σ) \begin{alignat*} {3} & \; (\text{i}) &\quad & \text{sgn} (\tau \sigma) = \text{sgn} (\tau) \; \text{sgn} (\sigma) \\ & \, (\text{ii}) &\quad & \text{sgn} (\epsilon) = +1 \\ & (\text{iii}) &\quad & \text{sgn} (\sigma^{-1}) = \text{sgn} (\sigma) \\ \end{alignat*}


参考文献

[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] 雪江明彦. 代数学 11 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 22 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 I\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-11-25   |   改訂：2025-05-16
Prev
置換の符号の一意性
Next
行列式の定義