群の自然な準同型と部分群の対応
群Gとその正規部分群Nがあるとする。Gから剰余群G/Nへの自然な準同型をとする。G/Nの部分群全体の集合を、GのNを含む部分群全体の集合をとする。このとき、写像は全単射となる。つまり、との元の間には一対一の対応関係がある。例によって細かい理屈はここでは述べないが、今日はこの事実を具体例を用いて可視化してみようと思う。
ある程度大きい群でないと上記事実のイメージを掴むのに役立たないので、位数12の群で考えてみる。位数12の群の中でも適度に複雑なものとして、二面体群が挙げられる。これは正六角形に対する合同変換全体が成す群である。状況をクリアにするために、ここでは正六角形の中心が二次元ユークリッド空間の原点にあり、さらに2つの互いに反対側に位置する頂点がx軸上に乗っているとする。
は回転と鏡像反転の操作によって生成される。ここでは原点を中心に半時計回りの方向に回転する操作を、x軸に対して反転する操作をと呼ぶことにする。すると、の元は以下のように表すことができる。
次に、正規部分群を1つ選んでみる。ここでは以下の群を使うことにしよう。
このとき、群Nに関するの同値類は以下のように分類できる。
これらがの元になる。すなわち、となる。ここで、単位元はNである。はクラインの四元群となっており、以下の5つの部分群が存在する。
これで剰余群の部分群が分かった。続いて、これらと一対一に対応するの部分群を求めてみる。定理によると、それはNを含む部分群になる。以下に具体的に列挙する。
これで役者は全て出揃った。あとはこれらの対応関係を図示すれば目的は達せられる。しかし、その前にちょっと寄り道をして、ここまでに求めた集合や群の定性的意味を考えてみたいと思う。それが分かれば、最後に可視化を行った際に、状況がよりクリアに理解できるだろう。
まずNの元について考えてみる。これは一体どういう部分群になっているだろうか?ずばり、偶数回の回転操作のみを集めた部分群になっている*1。そこから得られた剰余類はそれぞれ何を表しているのだろうか?実は、は奇数回の回転操作、は反転した状態での偶数回の回転操作、そしては反転した状態での奇数回の回転操作を表している。
ここまでくると、剰余群の元が表しているものが分かってくる。この剰余群は偶数回の回転操作の集まりNで割ることによって得られるので、偶数回の回転操作を全て同一視していることになる。すなわち、0回転だろうが2回転だろうが4回転だろうが、結局どれも偶数回の回転操作なんだから、細かい回転数は無視してまとめて考えてしまおうというのである。そのため、の元は具体的な回転数を無視した、{偶数回転、奇数回転、反転偶数回転、反転奇数回転}という抽象的な操作の集まりから成る群であると考えることができる。
そうした時に、例えばというのは偶数回転と奇数回転を合わせたものになっているし、は偶数回転と反転偶数回転を合わせたものになっている。また、は具体的に偶数回転と奇数回転を表す元を全て寄せ集めたものになっており、は偶数回転と反転偶数回転を表す元の寄せ集めになっているのである。これが上記登場人物たちの定性的解釈である。
では、これらの関係を図示してみよう。
上図左側が、右側がである。また、自明な部分群については記載を省略している。これで随分と関係がはっきりしたのではなかろうか。
本稿の内容は私がぼんやりとしか理解できていなかった部分をはっきりさせるために書いたのだが、このレベルまで考察と可視化を行うと、もはや冒頭に書いた定理は自明にさえ思えてきた。数学というのは分からないうちはさっぱり分からないのに、分かってしまうと本当に当たり前に思えてくるから不思議なものだ。
参考
- 作者: 雪江明彦
- 出版社/メーカー: 日本評論社
- 発売日: 2010/11/17
- メディア: 単行本(ソフトカバー)
- 購入: 1人 クリック: 21回
- この商品を含むブログを見る