置換群の共役作用

1741

　群論において共役作用は基本的ながら重要な役割を果たします．例えば $n$ 次正則行列 $P$ によって $n$ 次正方行列 $A$ を $P A P^{- 1}$ に変換する操作などですね．行列を線型写像の表現だと考えると，共役作用は基底の取り替えに対応しています．一般に群をある対象 $X$ の変換の集まりと見做すとき，共役作用は $X$ の視点の転換に対応すると言えましょう．

群の共役作用

$G$ を群とする．次で定義される $G$ の $X := G$ （作用する群と被作用集合とを区別する）への作用を共役作用という：
$g \in G$ , $x \in X$ に対し， $g \cdot x := g x g^{- 1}$ ．

　今回紹介するのは，置換群における共役作用の計算公式です．

置換群の共役作用

$G := S_{n}$ を $n$ 次対称群とする． $G$ の $X := G$ への共役作用は次のように計算される． $σ$ および $τ := (\begin{matrix} 1 & 2 & \dots & n \\ a_{1} & a_{2} & \dots & a_{n} \end{matrix}) \in X$ に対して
$σ τ σ^{- 1} = (\begin{matrix} σ (1) & σ (2) & \dots & σ (n) \\ σ (a_{1}) & σ (a_{2}) & \dots & σ (a_{n}) \end{matrix}) .$

各 $1 \leq t \leq n$ に対し
$σ (t) \overset{σ^{- 1}}{⟶} t \overset{τ}{⟶} a_{t} \overset{σ}{⟶} σ (a_{t})$
が成り立つ．これを整理して求める等式を得る．

　証明のポイントは，上の対応において２番目のところに視点を固定する点です．置換 $τ$ を $σ$ による共役作用で写すとどうなるかを調べたいのですから， $τ$ の定義域を基準とするわけです．

　さて，この公式自体はさほど難しいものではありませんが（とはいえ，この公式を自分で発見したときはずいぶん感激したのを覚えています），ここから次の事実が導かれます．

置換の型

置換 $σ \in S_{n}$ に対し， $σ$ を互いに共通成分のない巡回置換の積に表すとき，その巡回置換の長さを並べた（広義単調減少）数列を $σ$ の型という．

例えば， $σ = (1, 2, 3, 4) (5, 6) (7, 8) (9) (10)$ （ $9$ , $10$ は固定点）のとき， $σ$ の型は $(4, 2, 2, 1, 1)$ です．型は $n$ の分割をなし，Young図形とも対応して表現論の視点からも重要な意味を持っていますが，それは別の機会に回しましょう．