有限群の重要な例として置換群があります。置換群はガロア理論を学ぶ上で必須のものです。この項では置換群をみていきましょう。
要素が個ある集合
を考えます。
は要素の個数が
であればどのようなものでも構いませんが、ここでは、分かりやすさの観点から
とおきましょう。
か
への全単写のことを
次の置換(permutation)といいます。
置換
は、
から
への全単写ですので、
を
に写し、
を
に写し
、
を
に写します。このとき、
を記号で
置換は、全単射ですので、
は、
から
までの全ての数字が1回だけ必ず出てきます。
の恒等写像
は
の全単射ですので置換になります。
のことを恒等置換とよび単に
と記載します。また、
の2元のみを交互に入れ替える置換のことを互換(transposition)といいます。
の2元を
とすると
を
に写し、
を
に写し、
以外はそのままとする写像のことです。
を入れ替える互換を
という記号で表します。
また、の複数個の元を順繰りに置き換える置換を巡回置換(cycle)といいます(次の例を参照)。互換も巡回置換の1つです。
また、
は、
と順繰りに移動させる置換ですので、巡回置換であり
と表します。
同様に
は、
と表します。(なお、
とも
とも記載できますがこれらは全て同じ置換です。)
このように、2次置換の2つは、
と表され、3次の置換6つは、
と表され、これらはすべて巡回置換です(
も
の0個の元の巡回置換と考えられます。)。一方、
のときは全ての置換が巡回置換となるわけではありません。
Takashi