３　置換群
f-denshi.com  最終更新日：  09/01/11
［目次へ］
サイト検索

　前章では正多角形の回転という具体的なイメージで捕らえられる巡回群について述べましたが，この節ではもう少し抽象化された置換群について学びます。

1．置換

［1］　6つの元からなる集合：M の元を 1から6までの番号で表して，M＝｛1，2，3，4，5　6｝ とします。基本となる元の並び方(順列)を， 1，2，3，4，5，6　として，これに任意の順番を換えた並び(←元通りの1，2，3，4，5，6 の並びも含めます)，例えば，2，3，4，5，6，1　の順にそれぞれ元を置き換える変換(＝写像)σ：

1→2，　2→3，　3→4，　4→5，　5→6，　6→1

を6文字の置換といいます。←M が n 個の元からなれば，n 文字の置換といいます。この写像を，

と書くことにします。M の元(番号)を正六角形の頂点(の番号)に見立てれば，上の置換σは前のセクションで考えた回転群：R⁶ の元 g₁ と同じ内容であることが察せられます。ただし，回転操作の種類は6とおりだった　(｜R⁶｜＝6)　のに対して，M について考えられる置換の数は，6！＝720 (＝ 6 の順列の数)　とおりも存在します。

［2］　巡回群の元のいずれかに対応づけ可能な(回転操作に対応している)置換は特に，巡回置換とも呼ばれ，上のようなσの場合，

σ＝ｇ₁＝(123456)　　　　　　

と書かれます。また，巡回置換に現れる文字数を巡回置換の長さと言います。上のσの長さは６です。　

［３］　さて，置換として，2，4，6　を不動のまま，1，3，5　について，1→3，3→5，5→1　を順に対応させる，

という置換を考えることもできます。この置換は３文字の巡回群の元の一つに対応づけ可能で，巡回する元だけを取り出して

σ’＝(135)

と略して書くこともあります。特に2つの元だけを巡回させる(交換する)置換

　　( i，ｊ )

を互換といいます。また，何も変化させない置換を恒等置換と言います

［4］　ここで置換の定義をしっかりと書いておきましょう。

上記のi j  … k と書く他に，

σ＝		1	2	･･･			n
		σ(1)	σ(2)j	･･･			σ(n)

と書くこともあります。σ(n)とはnの写った先に番号を意味します。

2．対称群S_n

［1］　　n 個の要素からなる集合Mに作用する置換の総数は，n 個の要素の順列並び，n！通りありますが，これらの元全体(置換全体)の集合は，置換を続けて行うことを置換の積として定義すれば，この演算について群をなします。例えば，２つの置換

σ1＝			1	2	3	4		，σ2＝		1	2	3	4
			1	3	4	2				3	2	4	1

の積，σ₁σ₂ は次のような合成写像，σ₁○σ₂とみなし，σ₂の置換を行ってから引き続いてσ₁を行うことと定義します。

この合成写像を置換の演算として書くと，

σ1σ2＝			1	2	3	4			1	2	3	4		＝		1	2	3	4		＝σ3
			1	3	4	2			3	2	4	1				4	3	2	1

となります。このようにして定義される群をn次の対称群と名づけてS_n ≡{σ_j｜j＝1,2,･･･,n！} と書きましょう。この群は代数学のみならず，非常に広い分野において重要な役目を果たしています。

　　まず，基本となる性質をひとつ。　

ここで，置換の積とは回転群のときと同様に二つの操作(置換)を続けておこなうこととします。

この定理は2段階で証明できますが一般論は添え数字が複雑なだけなので具体例で見て理解しましょう。

［2］　例として，下の置換σを巡回置換の積で表してみましょう。

σ＝		1	2	3	4	5	6	7	8	9
		7	3	1	6	2	8	9	4	5

は，左上の1から順に元の動きを順に眺めていくと，

1→7， 7→9， 9→5， 5→2， 2→3， 3→1

とたどっていき，巡回することがみいだせます。これを表す巡回置換を，

τ₁ ＝ (179523)

と記述しましょう。もちろんここにでてこなかった， 4，6，8 はτ₁ によっては動きません。

［３］　次にここまで不変だった元のうち一番小さな4からスタートして，

4→6， 6→8， 8→4

とたどってみると，4，6，8 だけを動かす巡回置換，

τ₂ ＝ (468)

をσの中に見いだすことができます。そしてこれですべての数字が出揃いました。

［4］　従って，置換σは巡回置換τ₁とτ₂を続けて行うこと，つまり，σが

　　σ＝τ₂･τ₁

と2つの巡回置換の積で表せることがわかりました。このやり方を使えば，任意のn文字の置換が最終的にいくつかの巡回置換の積で表せることは容易に推測できます。

［５］　さらに，

ことがも示せます。たとえば，恒等置換 e に次のように互換を順に作用させて，

	1	2	3	4	5		＝ e
	1	2	3	4	5

　　　↓

	1	2			1	2	3	4	5		＝(12) e　⇔		1	2	3	4	5		＝(12)
	2	1			1	2	3	4	5				2	1	3	4	5

　　　↓

	1	3			1	2	3	4	5		＝(13)(12)　⇔		1	2	3	4	5		＝(13)(12)
	3	1			2	1	3	4	5				2	3	1	4	5

同様に互換，(14)，(15)を順かけていくと結局，

(12345)＝		1	2	3	4	5		＝(15)･(14)･(13)･(12)
		2	3	4	5	1

と巡回置換(12345)は4つの互換の積になります。文字数が増えてもどのような並びであっても同様なのは言うまでもないでしょう。

結局ステップ1，2 より定理：「任意の置換は互換の積で表せる」が成り立ちます。さらに，互換が，

(ij)＝(1i)(1j)(1i)

と表されることから，

「S_n は，(1i) ，i≠1 の形の互換によって生成される。」

ということもできます。

［６]　しかし，その表し方は一意的ではありません。なぜなら，例えば，何もしないことに等しい恒等置換ｅ はｅ＝(12)･(12)＝(12)･(12)･(13)･(13)＝･･･　などと偶数個の同じ互換の積をかけ合わせて表すことができるので任意の置換σは，

σ＝σ･(12)･(12)＝σ･(12)･(12)･(13)･(13)＝･････

と何通りにも書くことができるからです。　しかし，互換の数が偶数であるか，奇数であるかは置換ごとに決まっています。その数が偶数の場合を偶置換，奇数の場合を奇置換といいます。これを置換の符号といい，

sgnσ＝ 　1　(σが偶置換) -1　(σが奇置換)

と書きます。物理の分野ではこれを置換σのパリティーと呼び，「sgnσ」の代わり，「 δ_σ  」 のような記号を用いることがあります。

［７］　特に巡回置換の長さによって，

巡回置換σの長さ　＝		奇数　　⇒　σは偶置換
		偶数　　⇒　σは奇置換

であることは容易に確かめられます。

３．交代群　

［1］　偶置換全体の集合，奇置換全体の集合について次の定理が成り立ちます

　(1)の偶置換全体からなる群を，n 次の交代群といい，A_n と書きます。群をなすことは，単位元は偶置換に含まれていること，任意の偶置換の逆元が偶置換の中に見いだされることは，偶置換を互換の積で a･ｂ･ｃ･ｄ とすれば，その逆元は ｄ･ｃ･ｂ･a で与えられることからわかります。

［2］　偶置換の個数と奇置換の個数が等しいことも，偶置換σ_i から奇置換への対応：　

σ_i 　→　(12)･σ_i ＝τ_i ，　σ_i∈偶置換全体

が中への写像であること(偶置換の個数≧奇置換の個数)。逆に奇置換τから偶置換への対応：　

τ_i　→　(12)･τ_i＝σ_i，　τ_i∈奇置換全体

が中への写像である(偶置換の個数≦奇置換の個数)ことからわかります。

これは，Ａ_n の元はS_nの元なので，偶数個の(1i)，i≠1 の形の互換で生成されますが，２つの互換をとると，

(1i)(1j)＝(1i)(12)(12)(1j)＝(12i)(12j)^-1
　　　　＝(12i)(12j)(12j)　　　ただし，　i,j≠1

と書け，定理の主張が正しいことが分かります。

4．対称式と反対称式

［1］　置換群は歴史的には関数や方程式の変数や未知数に作用させることでその重要性が認識され発展してきました。ここでは，対称式がどういうものか簡単に述べておきましょう。

  σ を n 次の対称群 S_n の元(置換)とし，n 個の変数 x_1，x_2，x_3，･･･x_n に作用するものとしましょう。すなわち，σによって各変数は，

x₁→σ(x₁)， x₂→σ(x₂)， x₃→　σ(x₃)， ･･･， x_n→σ(x_n)

と移ります。また，変数 x_1，x_2，x_3，･･･x_n　からなる整式を

ｆ ＝ ｆ(x_1，x_2，x_3，･･･x_n)

とします。このとき，ｆ にσ  を作用させることを，σｆ  と書き，

σｆ(x_1，x_2，x_3，･･･x_n) ＝ ｆ(σ(x₁)，σ(x₂)，σ(x₃)，･･･，σ(x_n))

と定義します。

［2］　例えば，ｆ ＝ x₁･x₂＋x_3，  σ ＝ (x₁x₃) とすると，

σｆ ＝ σ(x₁)･σ(x₂)＋σ(x₃) ＝ x₃･x₂＋x₁

となります。このように一般にはσf≠ｆ ですが，ある整式(または関数)は，任意の置換σについて，　

σｆ(x1，x2，x3，･･･xn) ＝ ｆ(x1，x2，x3，･･･xn)

が成り立ちます。このような整式(または関数)を対称式(または対称関数)といいます。例えば，

x₁＋x₂＋x₃，　x₁²＋x₂²＋x₃²，　x₁³＋x₂³＋x₃³

などは対称式です。

［３］　特に対称式の中でも基本対称式と呼ばれる重要な整式は次のように定義されます。

これは具体的に書いてみる方が簡単です。例として，n＝３ の場合の基本対称式を書いて見ます。

s₁(x_1，x_2，x₃ ) ＝ x₁＋x₂＋x₃(1次の基本対称式)
s₂(x_1，x_2，x₃ ) ＝ x₁x₂＋x₂x₃＋x₁x₃(2次の基本対称式)
s₃(x_1，x_2，x₃ ) ＝ x₁x₂x₃　　　　　　　　　(３次の基本対称式)

などとなります。

［３］　また，対称式に関しては次の命題が成り立ちます。

これも証明に代えて， x_1，x_2，x₃ の対称式 f ＝ x₁²＋x₂²＋x₃²，および，x₁³＋x₂³＋x₃³ について具体的に確かめましょう。

f ＝　x₁²＋x₂²＋x₃² ＝ (x₁＋x₂＋x₃)²−2(x₁x₂＋x₂x₃＋x₁x₃)
　　　　　　　　　　　　　 ＝ s₁²−2s₂
　　　　　　　　　　　　　 ＝ F(s₁，s₂)

f ＝　x₁³＋x₂³＋x₃³ ＝ (x₁＋x₂＋x₃)³−3(x₁＋x₂＋x₃)(x₁x₂＋x₂x₃＋x₁x₃)＋3x₁x₂x₃　　　　 ＝ s₁³−3s₁s₂＋3s₃
　　　　　　　　　　　　　 ＝ F(s₁，s₂，s₃)

となります。

［4］　対称式はいろんな場面で活躍しますが，n次代数方程式を，

g(X) ＝ Xⁿ＋a_n-1X^n-1＋･････＋a₁X＋a₀
　　　 ＝ (X−ω₁)(X−ω₂)････(X−ω_n) ＝ 0

とあらわすと，方程式の各係数 a_k が方程式の解 ω_j の対称式で表せることが方程式論の議論の出発点となります。

↑　いわゆる　”解と係数との関係”　です。

［５］　一方で，ある整式(または関数)ｆ は，任意の置換σについて，　

σｆ(x1，x2，x3，･･･xn) ＝(sgnσ) ｆ(x1，x2，x3，･･･xn)

を満足します。このような整式(または関数)を反対称関数と呼びます。例えば，

f(x_1，x_2，x₃)＝(x₁−x₂)(x₁−x₃)(x₂−x₃)

は反対称関数です。

［６］　任意の関数に作用して，対称関数，または反対称関数を得る応用上重要な”置換の演算子”があります。その定義は次のようになります。

s≡	Σ	σ　　　　　　　　　　［対称化演算子］
	σ∈Sn

a≡	Σ	(sgnσ)σ　　　　　［反対称化演算子］
	σ∈Sn

和はｎ次対称群S_nのすべての元にわたってとられます。これらを，例えば，対称関数でも反対称関数でもない，

f(x_1，x_2，x₃)＝x₁x₂²＋x₃

に作用させると，

sf(x_1，x_2，x₃)＝(x₁x₂²＋x₃)＋(x₁x₃²＋x₂)＋(x₂x₁²＋x₃)＋(x₂x₃²＋x₁)＋(x₃x₁²＋x₂)＋(x₃x₂²＋x₁)
　　　　　　　　＝x₁x₂(x₂＋x₁)＋x₂x₃(x₃＋x₂)＋x₃x₁(x₁＋x₃)＋2(x₁＋x₂＋x₃)　　　　　　　　　　　

となり，これは対称式です。一方，aをfに作用させることで，

af(x_1，x_2，x₃)＝(x₁x₂²＋x₃)−(x₁x₃²＋x₂)−(x₂x₁²＋x₃)＋(x₂x₃²＋x₁)＋(x₃x₁²＋x₂)−(x₃x₂²＋x₁)
　　　　　　　　＝x₁x₂(x₂−x₁)＋x₂x₃(x₃−x₂)＋x₃x₁(x₁−x₃)

のような反対称関数が得られることもわかります。これら演算子は量子力学でそれぞれボソン，フェルミオンに対する多粒子系の波動関数を生成する際に用いられます。

［目次へ］