置換の符号

数学において、少なくとも二元を含む有限集合  の置換（ から  への全単射）は大きく二つのクラス（偶置換と奇置換）に分けられる。 の任意の全順序を固定して、 の置換  の偶奇性（パリティ; 対性）は  の転倒数、すなわち  の元の対  で  かつ  なるものの数、の偶奇性によって定義することができる。

置換  の符号 (sign) あるいは符号数 (signature)  は、 が偶置換ならば , 奇置換ならば  を割り当てる。置換の符号函数  は対称群  の交代指標と呼ばれる群指標を定義する。置換の符号に対する別の記法として、より一般のレヴィ–チヴィタ記号によって与えられる  がある。これは  から  への全単射とは限らない任意の写像に対して定義され、全単射でない写像に対しては  を割り当てる。

置換の符号は  を  の転倒数とすれば
 
と明示的に書くことができる。（転倒数は置換  を積として表すのに必要となる隣接互換の最小数とも一致する。）

あるいは、置換の符号を置換の互換の積への分解によって定義することもできる。すなわち、置換  の互換の積への分解に現れる互換の数を  とするとき、
 
とおくのである。置換のこのような互換の積への分解は一意ではないけれども、分解に現れる互換の総数の偶奇は置換ごとに一定しているので、この方法で置換の符号は矛盾なく定まる。

さらに置換  の符号を定義する他の方法としては差積  への自然な作用を介して
 
によって定義することもできる。類似した符号の表示としては
 
もある。

（実際に置換  の符号  を得るには、 が互いに素な  個の巡回置換の積へ分解されているとき、  を計算するのが効率的である。ここで  は置換  を積として表すのに必要となる互換の最小数と一致する。）

一般化 
置換の偶奇性の概念はコクセター群に対するものへ一般化することができる。対称群の場合に、各置換をの積に書いたように、コクセター群の各元  を（選択した）生成元の積に表したときに、その積に現れる元の個数の最小値によって  を定義すれば、一般化された符号函数は  として与えられる。

関連項目 
 15パズル：古典的応用（ただし実際上はに関する話題）
 Zolotarev's lemma
 行列式：

注

参考文献

外部リンク 
 
 

群論
置換
偶奇性

数学に関する記事