正規部分群を使って,有限群の組成を探ります.
群 に対し,単位元だけからなる部分群
と
自身は,常に正規部分群になります.そこで
と,
自身を 自明な正規部分群 と呼びます.
二つの自明な正規部分群を除き,正規部分群を他に全く持たない群を 単純群 と呼びます.
[*] | ![]() |
ところで,中心について『群の位数が素数の冪ならば,中心は二つ以上の元を持つ』という定理がありました( 群の中心 参照).よって, 群の位数が素数の冪のとき,群は単純群ではない ことが分かります.
群 の正規部分群
を考えます.
は部分群なのですから,一般に
と
の間には次の包含関係がなりたつことは明らかでしょう.
群 に複数の正規部分群が存在する場合には,それらの間にも包含関係が成り立つはずです.全ての正規部分群を大きな方から並べて番号を振れば,次のような包含関係が成り立つことが言えるでしょう.
最初が等号になっているのは, の最大の正規部分群
が
自身だからです.それ以下の正規部分群同士の関係には等号が入らないことにも気をつけて下さい.
さて,このように正規部分群の包含関係を伸ばしていくと, が有限群ならば,いつか
以外で最小の正規部分群,すなわち単純群に到達して終わりになるはずです.(正規部分群は,高々
個しか無いからです.)
[†] | これは,どのような有限群でも究極的には単純群にバラせるという,非常にショッキングな主張です.もし,世の中に有限種類の単純群しか無いとすれば,全ての有限群が,それらの組み合わせで記述できることになるからです.いわば,単純群は有限群を書くためのアルファベットのようなものです.有限群論の理論はドイツの数学者フロベニウス ![]() ![]() ![]() ![]() ![]() ![]() |
式 の形に正規部分群の列を表現するとき,特に過不足無く正規部分群を並べたものを 組成列 と呼びます.つまり,組成列で隣合う正規部分群
と
の間に,正規部分群は存在しません.
組成列の隣合う二つの群から作った商群は,単純群になるという性質があります.
theorem
組成列 の隣合う二つの群から作った商群
は単純群になります.
この定理の証明は,ちょっと面倒なので省略します.
単純群の分類は,以下のような5種類のものに要約されるということです.(これらがどんなものなのか,この記事の筆者も力不足のためよく分かっていません.そして,このトピックに深入りするのも,ここでの目的ではありません.)
散在的単純群といわれる 種の単純群は,小さい方から位数を見てみても,
という,かなり大きな群で,位数の並びも不規則のように見えます.散在的単純群については, MathWorld を参照してください.とにかく不思議な群です.
[‡] | シュヴァレー群は, ブルバキ 創設メンバーの一人でもあった,クロード・シュヴァレー( ![]() ![]() |
(シュヴァレーは,代数学を現代的なアプローチで再構築したブルバキ創立メンバーの一人.)
すぐに使う概念ではありませんが,群の組成列に関連した概念を一つ紹介しておきます.有限群 の部分群の列を考えます.一番大きい部分群は
自身,一番小さな部分群は
です.
このとき,組成列で隣合う群の商群,つまり が全て可換群になるとき,
を 可解群 と呼びます.
可解という名前は不可解ですね.いったい何を解けるというのでしょうか?実は,代数方程式に解の公式が存在するかどうかを考える際,このような群の組成列を考える必要が出てくるのです.いずれガロア理論の章に再び出てくるでしょう.いまここでガロア理論がどんなものかを説明することは出来ませんが,こんな話題があったことだけでも頭の片隅に記憶しておく良いと思います.