私がスタッフとして携わっている日曜数学会というイベントが、今月の20日に 6周年 を迎えます。めでたいですね。また、先日私の年齢も 歳になりまして、つまり というわけですね。ダブルでめでたい(?)。
せっかくなので、何か にまつわる発表をしたいなと思いました。私は最近「表現者のための数学」という講座をやっていまして、その講座のテーマが群論です。準備のために群論の勉強をしているところです。
そこで、位数 の群の分類 をやろうと思い立ったのです。
しかし・・・
そう、挫折したのです。
群の分類というのは思った以上に難しいもので、位数の約数が増えれば増えるほど難しくなります。なんとかなるだろうと思ったのですがダメでした。
私が位数36に挑戦するのは少し早かったようです。
そこで、練習台としてもう少し簡単な位数から始めようと思いました。それが表題の 位数 の群の分類 です。
群の分類の面白さ
「群の分類は難しい」と書いたのですが、一方で面白いものだと思っています。
群とは以下の4つの公理を満たす集合(と演算の組)のことです。
- (演算が閉じている) 任意の に対し である。
- (結合則) 任意の に対し、 が成り立つ。
- (単位元の存在) ある が存在し、任意の に対し、 が成り立つ。
- (逆元の存在) 任意の に対し、ある が存在し、 が成り立つ。
このように群というのは たった4つしか公理がない にも関わらず、位数(要素数のこと)が指定されると たちまち取りうる群の構造が決まってしまう のです。
また、群の構造を絞り込んでいく過程も面白いなと思っています。群論の あらゆる道具を使ってじわじわ追い詰めていく 感じなのですが、これが推理小説で犯人を追い詰めていくのと似ていて面白いなと思います。(個人の感想です。)
そんなわけで、今回は群論を使って構造を特定していく過程の面白さを紹介できればと思っています。
このような証明を紹介するときには、無機質に証明していく感じになりがちだと思いますが、今回は少し工夫しています。
まず、一つ目の工夫として「どのような方向で証明していくのか」を表すフローチャートを作ります。これがあることで、全体像やどこまで証明できたのかが見えやすくなります。
もう一つの工夫として「現在我々がどこまでの情報を得ているのか」を示す図を使います。具体的には、こんな図を使います:
これは今考えている位数 の群 を表しています。現在は要素数が であることだけが分かっているので、 つの要素を★印で表しています。☆はただ一つ存在する元である単位元のイメージです。
この状態ではほとんど何も分かっていないわけですが、証明が進んでいくうちにこんな図に変わっていきます。
単なる★の集まりだったものが、名前がついたり、位数などの情報がついたりするわけです。
他人が書いた証明を見るときは、現在どこまで議論が進んでいるのかしばしば見失って付いていけなくなります。こういう情報があることで、読者が証明についていきやすくなることを狙っています。
必要な道具と前提知識
今回は、以下のような事実を使うことになります。
- 群・可換群の定義
- 部分群・正規部分群・群の位数・元の位数・準同型・同型 etc. 諸々の定義
- ラグランジュの定理(あとで主張だけ紹介します)
- 群作用と置換表現
使わないものとしては、シローの定理があります。これは群の分類をする上で大変便利な代物なのですが、今回の場合使ってしまうとかなり問題が楽になってしまうのであえて使わない方向で行こうと思います。
(証明もそれなりに大変ですし。)
群論の本当に色々な道具を使うので、群論そのものの勉強にもなります。群論の定理で、「こんなのいったい何に使うのだろう」と思っていたものが、群の分類では悉く必要になるのです。
こうした道具を勉強するモチベーションにもなるかなと思うので、その意味でも群の分類はよい演習問題になるかと思います。
なので、色々知らない道具とかも出てくると思いますが、それについては何となく流し読みした上で、興味を持った方は教科書で勉強いただけると嬉しいです。
さて、前置きが長くなりましたが、本題の分類に行きましょう。
位数 の群の分類
まず、最初の時点では の状態は次のようになっています。
つまり、位数 ということ、単位元が唯一存在することだけが分かっています。
議論の出発点になるのは、ラグランジュの定理です。
ただし、 は の位数、 は で割った剰余類の個数。
「剰余類」という言葉が出ていますが、ここではそこまで難しいことは使いません。使うのは、部分群の位数は必ず元の群の約数になる ということです。これはかなり大きな制約となります。
また、 から何か一つ元 をとってきたときに、その元が生成する の部分群を とします。これは巡回群になります。すると、この部分群もラグランジュの定理の制約を受けますので、 の位数は の約数となります。 の位数は の位数( となる最小の正の整数 )に一致します。
したがって、次の事実が言えるわけです:
そこで、位数 の元があるかどうか、という点で群を分類するフローチャートが得られるわけです。
「位数 の元はあるか?」という質問に対し「YES」であれば、任意の元はその位数 の元で生成されることになります。したがって、この場合 位数 の巡回群 に同型 ということになります。
(任意の位数 の巡回群 から、 への生成元を生成元に移す同型写像が得られますので、同型です。)
したがって、以下は位数 の元が存在しない場合を考えればよいことになります。
そこで、位数 の元がない場合(①)と、位数 の元がある場合(②)に分けて議論を進めていきましょう。
① 位数 の元がなく、位数 の元もない場合
ラグランジュの定理より元の位数は のいずれかに限られます。位数 の元も位数 の元もない状況では、位数 または位数 しかありえません。
位数 ならば単位元であり、単位元はただ一つしかありませんので、残りはすべて位数 の元となります。
さて、位数 以下の元しかないことを使って、次を示したいと思います。
(∵) を任意にとると、位数 以下なので 。 である。
よって
であり、 は位数 以下なので である。
したがって、 であり、 が可換群であることが示された。□
可換群であることから次を示します。
(∵) 位数 の元を一つとって とする。このとき、 が生成する の部分群を とすると、これは位数 の部分群となる。
ここで は可換群より、任意の部分群は正規部分群であるから、 は正規部分群。したがって、 は群であり、ラグランジュの定理より位数 の巡回群となる。
から を除いた差集合(これを と書く)から一つ元 をとる。 が位数 の巡回群であることから、 の元は 乗すると の単位元に移る。つまり、 である。すなわち、 または である。
のとき、 は位数 でもあることから であり、よって である。しかしこれは であることに反する。
よって、 であることになるが、これは位数 の元があることに反する。したがって、矛盾が導かれ、①の条件は成立しないことがわかる。□
② 位数 の元がなく、位数 の元がある場合
最後に、位数 の元がある場合について考えます。
位数 の元を とし、 が生成する の部分群を
とします。これは位数 の巡回群です。
ここで次を示します。
(∵) をとり、 による左剰余類 を考える。これは共通部分を持たないので
である。また、右剰余類を考えると
である。よって が言える。これは が正規部分群であることを意味する。□
ここで、 から一つ元 をとって固定します。また、 が生成する の部分群を とします。
まだ、 の位数はわからないので、次を示します:
位数 であれば である。 はラグランジュの定理より位数 なので、 である。よって
どちらも を左からかけると または となり であることから または である。これは が または の逆元であることを意味するが、 であることに矛盾する。
したがって、 の位数は であることがわかる。
(ちなみに、 は今固定した1つの元を考えているが、 の取り方は任意なので、 の任意の元は位数 であることがわかる。)□
ここで、()の形の元全体を とします。これは の部分集合ではありますが、部分群であるとは限りません。ところが は正規部分群なので、 です。よって
となることがわかります。(演算が閉じている)
また
より、逆元があることもわかります。
したがって、 は部分群です。
また、 より、 の位数は 以上です。
の部分群は の約数なので、 であることが分かります。よって、 であることが結論付けられます。
したがって、 の任意の元は の形で表せることが分かりました。
また、 は正規部分群より、 です。したがって
のいずれかとなります。
(i) だと であり、左から を書けると となり矛盾します。
したがって、(ii) または (iii) のケースだけ考えればよいことになります。
は正規部分群であり、 である。このとき、 から への写像
を考える。これは明らかに全射であり、 のとき、 であり、 より 。すなわち、 は単射である。
また、 と の可換性より準同型写像でもある。したがって、 は同型写像。
よって であることがわかった。ここで、、 であるので、中国剰余定理より
である。すなわち であることがわかった。
しかしながら、 は位数 の元を持たないので、これは矛盾。□
この性質
があることによって、 の任意の元の積が完全に決定できます。
たとえば の積は
となります。
これをすべての元同士で実行すれば、 の乗法表(群表)が得られるわけです。
実際実行すると、(少し大変ですが)こうなります:
これで終わりにしてもいいわけですが・・・
この群 is 何?
って感じですよね。
②-(iii) の群は何なのか?
これまで分かったことをフローチャートにまとめると次のようになります。
ここで「②-(iii)の群がいったいどのような群なのか」という問題だけが残っています。それを考えるキーになるのが 置換表現 です。
群 の中で、 に属さない元
について考えましょう。
これらは先ほど議論したようにすべて位数 の元となります。
実は、これらは互いに共役の関係にあります。 と が共役であるとは、ある元 が存在して と書けることを言います。
実際
が成り立ちます。
したがって、 の元は の元に対して共役によって作用することが分かります。ここから、 に対して
なる写像が定まります。これは有限集合 に対する全単射となります。
は3元集合なので、
の置換ということになるわけですね。
よって、 を 次の置換全体のなす群( 次対称群)とすると
なる写像が定まります。ここで は によって定めます。
さらに言えば、この は群準同型でもあります。それは以下のように分かります。
したがって
というわけですね。
このようにして得られる群準同型 のことを置換表現といいます。
(より一般に有限集合への群作用から置換表現が得られます。)
あとは、この準同型の行き先を具体的にすべて計算してみましょう。
- のとき: より
- のとき: より
- のとき: より
- のとき: より
- のとき: より
- のとき: より
したがって、実は が全単射であったことが分かるわけです。
群準同型かつ全単射なので、 は同型写像です。したがって、 であることがわかりました。
すなわち、②-(iii) の は3次対称群 に同型であった というわけです。
これにて位数 の群の分類が完了しました。
結論としては、以下のようになります:
おわりに
ラグランジュの定理によって元の位数におおざっぱなあたりをつけ、位数 の元が正規部分群であることを示し、その性質を使って大きく群を二つのタイプに分けたというわけでした。可換になる方が 次巡回群 であり、非可換な方が3次対称群 であるということでした。
まとめるとこうなりますが、結構いろんな性質を使いましたよね。あの手この手で、徐々に群を追い詰めて、これしか存在しない(真実はいつも一つ)というところまで持って行ったという感じでした。この辺が推理小説っぽくて面白いなと感じます。
また、本当に群論の性質だけを使って追い詰めることができるというのが面白いですね。
個人的には、 が対称群であることを示すのに、位数 の つの元に対する共役作用を考えるというのも面白いなと感じました。実際、このような考え方は、今回は使わなかったシローの定理でも出てくる考え方です。
より、シローの定理によれば、-シロー部分群と-シロー部分群が存在します。つまり位数 の部分群と位数 の部分群が存在するというわけです。あれだけ苦労した部分が一発で示せるのは強いですね。
位数 の方は共役が つであり、正規部分群となります。位数 の方は、互いに共役な つの部分群があります。これが というわけです。これらの間の共役作用を考えると群構造のヒントが得られる、というのが今回使った方法だったというわけです。
Future workとしては、やはり 位数36の群の分類に挑戦したい です。今回位数 でやってみて結構大変でしたが、実はこれでもだいぶ簡単な方なのです。約数が多くなると、元の位数のバリエーションが多くなるので、手に負えなくなってきます。
実際
なので約数は の つもあります。なかなか大変なことになりそうです。
いくつか練習台を踏みながら、でも近いうちに挑みたいですね。
今年、Mathpowerが復活するそうですが、耐久企画で ~ までの位数の群の分類 をやったら楽しそうですね。どこまで力になれるか分かりませんが、この企画をやる際には、よろしければお声がけください。笑
それでは今日はこの辺で。
参考文献
今回の内容は基本的に、雪江先生の「代数学1 群論入門」を参考にしながら取り組んでいました。そのため、この本の内容ですべて完結しているかと思います。群論に本格的に入門したい方は、とても丁寧な本だと思いますので、ぜひ一冊どうぞ。