この記事では,今まで元に対して取ってきた共役 という関係を, のように群に拡張することを勉強します. 固定部分群 , 軌道 , 中心化群 など,ここまでに勉強してきたことが全て出てきますので,ごっちゃにならないように,復習しながら少しずつ理解していくようにして下さい.
群 の部分群 に対し, のある元 を使って, と表わせる部分群を Hの共役部分群 と呼びます.いままで,主に元にだけ考えていた,共役を取るという操作を,群にまで拡張したわけです.
4次の対称群 に対し, を生成元とする巡回部分群 を考えます.この部分群 に対し, の元 によって生成される共役部分群を定義に従って求めてみます.
よって, の による共役部分群は だと分かります.
群 が, の部分群全てからなる集合 (つまり, の個々の元は の部分群!)に対する共役作用を考えるとき, のある元 の軌道は, と共役な部分群の全体になります.
このとき, の固定部分群になっている の部分群を, Hの正規化群 と呼びます. の正規化群 は次式で表わせるでしょう.
正規化群の元は,群 の元です. や と混乱しないようにして下さい.
中心化群の定義は,元 に関して共役を考え, を満たすような元 の集合ということでした.正規化群は,中心化群の拡張になっていて,元 の代わりに部分群 を考えているわけです.
中心化群では,群 ,中心化群 ,共役類 の位数に間に なる関係がありましたが( 中心化群 参照),同じ関係が正規化群に関しても言えます.
これは『群の位数は,ある部分群の正規化群の位数と,その部分群の共役類の位数(その部分群に共役な部分群が何個あるか)の積に等しい』という主張です.
群 の部分群 で,特に,群 の全ての元 に対して がなりたつものを 正規部分群 (または 不変部分群 )と言います.いままで様々な部分群を勉強してきましたが,正規部分群は非常に大事な概念です.
[*] | 単位元 と,群 自身が正規部分群であるのは明らかです. |
[†] | 正規部分群の定義を と書き直せば,『左剰余類と右剰余類が常に一致する部分群を正規部分群と呼ぶ』と言い直すことも出来るでしょう.可換群では,左剰余類と右剰余類は常に一致しまから, 可換群においては,任意の部分集合は正規部分群になります . |
[‡] | 正規部分群に群が作用するときは,可換になるということでしたが,一般に非可換な群の中にも,可換な部分群があるというのは,ちょっと意外で,なかなか感動的な結果であります.また,正規の名に相応しく,正規部分群は非常に扱いやすい性質を持つ部分群です.群論の創始者ともいえるガロア( )が 年,正規部分群の重要性に気づき,非可換単純群( 組成列と単純群 で後述)の最小位数が であることを証明した際に,正規部分群による類別を と呼んだのが正規部分群の初登場です.(現在は,正規部分群を と呼びます.) |
『群 が群 の正規部分群である』ことを, 次のような記号で書く場合があります.奇妙な記号ですが,知っておくと良いでしょう.専用な記号を持っているくらいに正規部分群は大事な概念なのです.
四次の対称群 の部分群で は正規部分群になっていることを確認してください.
前問の集合は,四次の交代群 の中でも正規部分群になっていることを確認してください.
正四面体群 には,以下の3種類の回転操作に対応する元がありました.
このうち,2番目のタイプの回転に対応する元に,単位元を足したものは部分群になりますが,この部分群が正規部分群になることを確認してください.