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