置換行列

数学の特に行列論における置換行列（ちかんぎょうれつ、）は、各行各列にちょうど一つだけ の要素を持ち、それ以外は全て となるような正方行列を言う。そのような -次正方行列の各々は、特定の 文字の置換を表現するもので、右または左からの行列の積によって列または行の置換を引き起こす。
定義.
 文字の置換:
あるいは二行記法で書けば 
が与えられたとき、対応する置換行列（-次元列ベクトルに作用するもの）は、 を -番目の成分が , それ以外の成分が の行ベクトルと定義して 
で与えられる -行列 を言う。これは、各 について -成分のみが例外的に で、ほかの成分は全て になる。
性質.
 文字の置換 が与えられたとき、対応する（列ベクトルに作用する）置換行列 の積は、置換の合成に対応する置換行列に等しい。つまり
が成り立つ。ただし、置換行列との対応を行ベクトルに対する作用に関して定める（つまり、）ならば、積の規則は反変的に、つまり
になる。置換行列は直交行列、つまり ゆえ、逆行列は
で得られる。 を列ベクトル に左から掛けるとベクトルに対する行の置換を引き起こす:
行ベクトル に を右から掛けるとベクトルに対する列の置換を引き起こす:
ゆえに、ふたたび が確認される。
注意.
対称群 , すなわち 上の置換群は、 個の置換を含むから、置換行列も同じだけある。上で見たことから、置換行列の全体は行列の積に関して単位行列を単位元とする群を成すことがわかる。恒等置換を と書けば、 は単位行列 である。
置換 に対する置換行列を、単位行列 の行置換 と看做すこともできるし、 の列置換 と見ることもできる。
置換行列は二重確率行列である。バーコフ–フォンノイマンの定理の述べるところによれば、任意の二重確率実行列が同じサイズの置換行列の凸結合に書け、また置換行列は二重確率行列全体の成す集合の極点にちょうどなっている。つまり、（二重確率行列全体の成す集合）は置換行列全体の成す集合の凸包である。
行列 に対する置換行列 の左乗 は、 の行を置換する（つまり、第 -行は第 -行へ写る）。同様に右乗 は の列を置換する。
写像 は忠実表現であり、従って が成り立つ。
置換行列のトレースは、対応する置換の不動点の数に等しい。実際、置換 が不動点を持てば、巡回置換分解 で が不動点を持たないようなものが取れて、そのとき は対応する置換行列の固有ベクトル。
群論で知られた事実として、任意の置換は互換の積に書けるから、従って任意の置換行列は二つの行を入れ替える基本行列（何れも行列式 を持つ）の積に書くことができる。ゆえに、置換行列の行列式は対応する置換の符号に等しい。