メインメニューを開く

Wikibooks β

有限群論序論

目次

群論編集

代数学入門に関する項である。Wikipedia:群論の方にも詳細な記述があるが、百科事典という性格上、個々の例について深い解説を与えることはできない。 ここでは、初学者でもわかりやすいよう、個々の例について深い解説を与えながら見ていこうと思う。

導入編集

演算と代数構造編集

Gを集合とする。Gの2元の組(x,y)に対してGの元 が与えられるとき、 をGの二項演算(あるいは単に演算)という。集合論の言葉で言えば、写像

 

のことである。

集合Gに演算 が定まっているとき、組 を代数系あるいは代数構造という。

代数構造の例編集

定義は大げさだが、既に我々は代数構造の例を十分すぎるほど知っている。いくつか挙げてみる。

整数の集合 において通常の足し算+は演算であり、 は代数構造である。

実数の集合 において通常の掛け算 は演算であり、 は代数構造である。

これから我々はこのようなよく知っている代数構造の抽象的な性質だけを抜き出して調べることで、同じ抽象的性質を持つより複雑な代数構造も含めて統一的に性質を調べていこうとしている。

結合則と半群編集

さて、ここからは、代数構造にルールを付け加えていくと、どうなるかを考えてみよう。

代数構造(G,·)があるとする。このとき、結合則とは、次のルールのことをいう。

a,b,cGについて、 a · (b · c) = (a · b) · c

結合則が成り立つ代数構造のことを、半群(semi group)という。 半群とは集合 S二項演算 "•" の組 (S, •) であって、二項演算 • が以下の条件

演算が閉じている
S の各元 a, b に対して、演算結果 ab は再び S に属する。
結合律
S の各元 a, b, c に対して、等式 (ab) • c = a • (bc) が満たされる。

がともに成立するものを言う。 結合則は、成り立つ場合もあるし、成り立たない場合ももちろんある。やはり、例を考えてみよう。

結合則が成り立つ例編集

自然数の集合をN、足し算を + とする。 代数構造(N,+)について、結合則が成り立つことは、直感的に明らかだろう。

例えば、6 + ( 3 + 2 ) = ( 6 + 3 ) + 2 = 11

である。

これを、あえて証明したいと思った場合は、まず、すべての自然数が、1+1+1+...+1 の形に書けることを示し、次に、1+1+...+1 の列に対して、結合則が成り立つことを示せばよい。

結合則が成り立たない例編集

自然数の集合をN、引き算を − とする。 代数構造(N,−)について、結合則は成り立たない。

なぜなら、6 − ( 3 − 2 ) = 6 − 1 = 5 であるのに対し、( 6 − 3 ) − 2 = 3 − 2 = 1 であるから、6 − ( 3 − 2 ) ≠ ( 6 − 3 ) − 2

となる。

単位元とモノイド編集

もう一つ、単位元というものを考えてみよう。 代数構造(G,·)があるとする。このとき、単位元とは、次のような元をいう。

eGがあって、∀ xGについて、 e · x = x · e = x となるとき、e単位元(identity element)という。

結合則が成り立ち、単位元が存在する代数構造(G,·)を、モノイド(monoid)という。

例えば、足し算の単位元は、0である。掛け算の単位元は、1である。 単位元も、必ずしも存在するとは限らない。

単位元がない場合編集

自然数の集合をN、足し算を+とする。

自然数の集合ということは、1以上の整数であるから、0は含まないので、この場合、代数構造(N,+)には、単位元がないことになる。

単位元がある場合編集

自然数の集合N、足し算を+とする。

先ほどは、0がなかったので、次の性質を満たす、0という数を考える。

xNに対して、 x + 0 = 0 + x = x

そして、Nに{0}を加えた集合、N ∪ {0}を考える。 このとき、ようやく、足し算に単位元ができて、代数構造(N ∪ {0},+)には、単位元があることになる。

いわゆる、インドにおける0の発見とは、まさしくこのことである。それまでの、単位元のなかった足し算に、0という単位元を導入する作業が、0の発見であったといえる。

編集

さて、ようやくの話題にうつろう。群とは、モノイドにさらにもう一つ逆元というものを導入した代数構造である。

逆元編集

今、代数構造(G,·)があり、Gには単位元eGが定義されているとする。

あるxGに対する逆元x−1とは、 x · x−1 = x−1 · x = e となるようなx−1Gのことである。

逆元は常にあるとは限らない。逆元が存在する元と存在しない元がともに混在している代数構造も考えられる。

逆元が存在しない例編集

自然数の集合をN、足し算を+とする。自然数の集合に単位元0を加えた代数構造 (N ∪ {0} , +) について考える。

このとき、どのようなkNをとってきたとしても、

k + x = x + k = 0

となるようなxは負の数になってしまうため、xN ∪ {0}であり、 0 以外のすべての元について逆元は存在しない。

群の定義編集

さて、群とは、任意の元について逆元の定義されたモノイドだった。すなわち、まとめると、次の1から3を満たす代数構造(G,·)を群と呼ぶ。

1.単位元の存在 あるeGがあって、∀ x ∈ Gに対して、 e · x = x · e = x が成り立つ。

2.逆元の存在 ∀ xGに対して、∃ x−1Gが存在して、 x · x−1 = x−1 · x=e

である。

3.結合則 ∀ a,b,cGに対して、 a · (b · c) = (a · b) · c が成り立つ。

これらに加えてさらに

4.交換法則 ∀ a,bG に対してa · b=b · a

が成り立つ群を特に可換群(commutative group)またはアーベル群(abelian group)という。

群に関する基本的な定理編集

これだけからいくつかの基本的な定理を見出すことができる。

単位元の一意性編集

単位元が存在すれば、それは代数構造(G,·)の中にただ一つ存在する。

証明:

e,e’ ∈ Gを単位元とし、ee’とする。

単位元の定義より、

xGに対して、x · e = e · x = x

yGに対して、y · e’ = e’ · y = y


xは任意だから、x=e’,y=eとおいてもよいので、そうおけば、 e’ · e = e = e

これは、ee’に反する。

故に、単位元eGは、存在すれば、ただ一つ存在する。

逆元の一意性編集

群(G,·)について考える。 元xGに対する逆元x−1もまた、存在すればGの中にただ一つ存在する。

証明

xGの逆元が二つあったと仮定し、それらをabとおく。 a,bGかつabである。逆元の定義から

  1. x · a = a · x=e
  2. x · b = b · x=e

が成り立つ。このとき、Gは群だから、結合則が成り立つことに注意すると

    a = a · e
      = a · ( x · b )
      = ( a · x ) · b
      = e · b
      = b

よって、a=b。これは、abに反す。矛盾。

よって、群Gについて、xの逆元があれば、xの逆元は一意。

逆元の逆元は、もとの元編集

群(G,·)について考える。 xGの逆元x−1があるとき、xの逆元の逆元、すなわち、(x−1)−1=xである。

証明:

x · x−1 = x−1 · x=e

である。これはxの逆元がx−1であることを示しているが、同時にx−1の逆元がxであることを示しているとも取ることができる。

(x−1)−1を考えると、(x−1)−1x−1の逆元であるから、

x−1 · (x−1)−1 =e

が成り立つ。先ほど示したように、逆元の一意性より、x−1の逆元は存在すればただ一つである。(x−1)−1xも、x−1の逆元であるということは、

(x−1)−1=x

でなければならない。

群の例編集

群の公理だけからわかることについてみてきたが、その公理を満たすような対象として具体的にどのようなものがあるかということも重要である。ここではそのような例を挙げてみる。

まず、代数構造の例として述べた2つの例についてみてみよう。ここで挙げた2つのうち、 は群である。一方で、 は群ではない。0の逆元が存在しないからである。一方、 は積を演算として群である。これらの群は明らかにアーベル群である。

一方、次のような群の例もある。集合X上の全単射 をすべて集めた集合をSym(X)とする。Sym(X)は写像の合成を演算として群になる。単位元は恒等写像、逆元は逆写像である。これは一般にアーベル群にはならない。

特に のとき、Sym(X)を と書き、これをn次の対称群(symmetric group)という。

対称群の元のうち、  に、  に写し、他の元は動かさない写像を、 と表記する。このような元を巡回置換(permutation)と呼ぶ。対称群の元はいくつかの巡回置換の積として表される。特に の巡回置換を互換(transposition)と呼ぶ。巡回置換はいくつかの互換の積として表されるので、結局対称群の元はいくつかの互換の積として表される。群の言葉を使わずに言えば、すべての並び替えはあみだくじを使って実現することができる。

部分群編集

部分群編集

Gが与えられたとき、群Gの部分群HGとは、集合として、HGであり、なおかつ、Hが群であるものを指す。

すなわち、

aH , bHa · bH

aHa-1H

eH

ただし、eは、Hの単位元である。

簡単に証明できる事柄として、Gの単位元とHの単位元は一致する。なぜなら、Gの単位元をeGとすれば、∀ aHに対して、

eG · a = a · eG = a

が成り立つ。これは、eGHの単位元であることも示しており、Hは群だから、単位元を含むので、eGH

群の部分集合が部分群であることを判定するには、定義に戻ってもよいが、下のような簡便な判定法がある。

Gの空でない部分集合Hが部分群あるための必要十分条件は

aH , bHa · b-1H

必要性は明らかだろう。十分性は以下のように示される。aHとすると、条件より、a · a-1 = eHである。 よってaHかつeHなので、 条件よりe · a-1 = a-1Hである。最後に、aH , bHとすると、bHよりb-1Hなので、a · ( b-1 ) -1 = a · bH。よってHGの部分群である。

生成元と巡回群編集

Gの部分集合Sは、一般に部分群になるとは限らない。しかし、Sの元とその逆元をいくつか掛け合わせた元全体、すなわち

 

Gの部分群になる。これをSが生成する部分群という。特に のときSG生成系といい、Sの元をG生成元という。

ただ一つの元からなる生成系を持つ群を巡回群(cyclic group)という。巡回群は明らかにアーベル群である。

 互換の全体は対称群の生成系である。

正規部分群編集

Gの部分群Hがさらに下の条件を満たすとき、Hは正規部分群(normal subgroup)であるといい、 と書く。

gG , hHg · h · g-1H

明らかにアーベル群の部分群は必ず正規部分群であるが、アーベル群でない群の部分群は、一般に正規部分群になるとは限らない。そのほかに、次のような例がある。

 上でみたように、n次対称群の任意の元はいくつかの互換の積として表せる。その表し方は一意ではないが、積として表すときに用いる互換の個数が偶数か奇数かは表し方によらず元のみによってきまることが知られており、偶数個で表せる元を偶置換(even permutation)と呼び、奇数個で表せる元を奇置換(odd permutation)と呼ぶ。偶置換の全体は明らかに正規部分群となる。これをn交代群(alternating group)といい、 と書く。

正規部分群による商群編集

Gを群、Hをその部分群とする。Gに次のような同値関係を与える。

 に対し、 

これが同値関係であることの確認は容易なので読者に任せる。Gをこの同値関係で割った商集合を G/Hと書き、GHによる左剰余類と呼ぶ。aを代表元とする左剰余類の元をaHと書くことにする。

さて、せっかく群を群で割った商集合を考えているのだから、その商集合にも群の構造が入れば便利である。実はこの商集合には、HGの正規部分群ならば、次のような自然な演算によって群の構造を入れることができる。

 

このようにして定義した群を、GHで割った商群とか、剰余群という。剰余群の単位元は 、aHの逆元は である。

これが群であることを示さなくてはならないが、その前に正規部分群ならばこの演算がwell-definedであることを示さなくてはならない。つまり、 を示す必要がある。 、すなわち を仮定すると、 なので、 である。これでwell-defined性を確かめることができた。あとは群になることを確かめることになるが、これはほとんど自明なので読者自ら試みるとよい。

準同型と準同型定理編集

ここで紹介する準同型定理は、群の基本的な定理である。群論を学ぶからには、よく理解し、使いこなせるようになるべきである。

準同型写像編集

これまではひとつの群についてばかり考えてきたが、ここでは2つの群の間の写像について考えよう。

GG' を群とする。写像 準同型写像である(あるいは単に準同型である)とは、次の条件を満たすことである。

 

準同型であって特に全単射なものを同型という。少し紛らわしい表現だが、Gから G' への同型写像があるときこの2つの群は同型であるといい、 と書く。

明らかに準同型となる例として、部分群からもとの群への包含写像は単射な準同型であり、特に群の恒等写像は同型である。また、準同型の合成は準同型であり、同型の逆写像は同型である。以上から、2つの群が同型であるという関係は同値関係であることがわかる。

 を準同型とするとき、 をfの(image)といい、 をfの(kernel)という。imageはG'の、kernelはGの部分群であることはすぐわかる。特にkernelは正規部分群でもあることがわかる。

準同型は必ず単位元を単位元にうつす。すなわち、 である。また、準同型が単射であることは、 と同値である。この事実は準同型の単射性の判定を簡便にするためにしばしば役立つ。

GからG自身への同型写像をGの自己同型という。任意の群に対して自己同型は必ず存在する(恒等写像)。また、Gの自己同型全体をAutGと書くことにすると、この集合は写像の合成を演算として群となることがわかる(確かめよ)。これをG自己同型群という。

群の準同型定理編集

次に述べるのが、準同型定理といわれるものである。

定理 GHを群、 を全射な群の準同型とするとき、 

この定理は、何か得体の知れない群に接したときの対処法としてとても有用である。すなわち、得体の知れない群が現れたときには、とりあえずよく知っている群からの全射を構成することさえできれば、よく知っている群の商群として理解できるということである。

(証明)

 とする。  で定める。まず、これがwell-definedであることを示す。

 とすると、 なので、 。よって なので はwell-defined。

 が準同型であること・全射であることは、 が準同型・全射であることから明らか。単射性を示す。 を示せばよい。

 であるとすると、 なので、 。よってa~ なので、 。すなわち である。 //

準同型定理の応用例として、同型定理と呼ばれる以下の命題たちを証明してみよう。

定理 群G,G' に対し、HGの部分群、NGの正規部分群、H'G' の正規部分群とする。

(1) を全射準同型とするとき、 であり、
 
(2) Gの部分群、 であり、
 
(3)HGの正規部分群、NHの部分群でもあるとすると、 であり、
 

(証明)

(1)fと標準全射 とを合成した全射準同型 に準同型定理を用いればよい。
(2)HNGの部分群、NHNの正規部分群であることは明らかなので、包含写像 と標準全射 を合成した全射準同型 に準同型定理を用いればよい。
(3)全射準同型 に準同型定理を用いればよい。//

Sylowの定理編集

準同型定理は一般の群について成り立つ重要な定理であったが、特に群の位数が有限である場合に限ると、さらに興味深い結果が表れてくる。次は、そのような結果の代表的なものであるSylowの定理について述べる。

剰余類別編集

さきほど商群を定義するときに、群をその部分群で割った商集合を考え、商集合の各元を剰余類と呼んだ。ここで、当たり前であるが、剰余類をすべて直和するともとの群になる、ということに注意しよう。すなわち、各剰余類の元をすべて集めると、もとの群の元をすべて(重複なく)集めることができているのである。この事実から、さらに考察を進めると、次の命題が成り立つことがわかる。ここで、「#」は、集合の濃度をあらわすものとする。

命題 Gを群、H,KをGの部分群で とすると、 

 Gを群、HをGの部分群とすると、 。特に、Gが有限群のとき、その部分群の位数はGの位数の約数。

部分群の位数はもとの群の位数の約数、という事実はLagrangeの定理と呼ばれる。もっとも、Lagrangeの時代にはまだ人類は群という概念を知らなかったので、Lagrangeはこのような近代的な形の命題を考えたわけではない。

Sylowの定理編集

Sylowの定理について述べる前に、まずはいくつか言葉の定義をしておく。

定義 Gを群、HとH'をGの部分群とする。ある が存在して となるとき、HとH'は共役であるという。

この言葉を使うと、部分群が正規部分群であるとは、自らと共役な群は自分自身しかない、ということである。

定義 位数がある素数pの冪である群を、p群という。

定義 Gを有限群とする。Gの位数が と素因数分解されるとき、位数が の部分群のことを、pi-Sylow部分群(Sylow-pi部分群とも)という。

以上の準備のもとで、Sylowの定理のステートメントを述べることができる。

定理(Sylow)

  1. 有限群Gは、任意の素数pに対してp-Sylow部分群を持つ。
  2. Gのp部分群はあるp-Sylow部分群に含まれる。
  3. p-Sylow部分群は互いに共役である。
  4. Sylow-p部分群の数をpで割った余りは1である。

群の直積と半直積編集

2つの群G,Hがあるとき、これをもとにして新たな群を作ることを考えよう。

直積編集

最も単純なのは、GHの集合としての直積 に次のようにして演算を与えることであろう。

 

このように定めると確かにこの集合は群になる(確かめよ)。これをGH直積(direct product)といい、 で表す。

半直積編集

上記のようにして直積集合に群の構造が入ることがわかったが、これに加えて群準同型

 

があるときには、これとは別の方法で群構造を入れることができる。具体的には、演算を次のように定める。

 

このようにして定めると、確かにこの集合は群になる(確かめよ)。これをGH半直積といい、 と書く。特に を、任意のhに対して は恒等写像、と定めると、この作用に関する半直積は直積と一致する。すなわち半直積は直積をより一般化した概念であり、これを考えることにより、直積だけを考えるよりもより多くの構造を考える余地ができる、といえる。

 Gを位数nの巡回群、Hを位数2の巡回群(生成元をiとする)とし、  で定めるとき、半直積 正2面体群という。これは正n角形の回転と裏返しによって自分自身に写す写し方全体からなる群になっている。

可解群と冪零群編集

Gの元 に対し、

 

xy交換子(commutator)という。

Gの部分群H,Kに対し、部分群 

 

と定める。これをHK交換子群(commutator group)という。

この交換子群を用いて、部分群の列 が次のように帰納的に定義される。

  1.  
  2.  

このように定めた について、あるkが存在して となるとき、G可解群であるという。

また、次のようにして部分群の列 が定まる。

  1.  
  2.  

このように定めた について、あるkが存在して となるとき、G冪零群であるという。

編集

定義より明らかに、 であることがわかる。すなわち なので、冪零群は可解群である。

また、 が部分群のとき、 なのも明らかである。つまり、冪零群の部分群は冪零群、可解群の部分群は可解群である。

アーベル群の交換子は必ず単位元になるので、アーベル群は可解群でも冪零群でもある。

対称群の可解性編集

対称群がいつ可解になるか、詳しく調べてみよう。まず、次の命題が成り立つ。

補題  のとき、 n以下の相異なる自然数 である。

(証明)
 
なので、 
 
 
 
なので、 
したがって、 

命題  

(証明)
 のとき、 である。以下 とする。
交換子の定義より、 は明らかなので、逆向きの包含関係を示す。
 
なので、 である。したがって上の補題より、 であり、すなわち 

  が可解 が可解。

つまり、対称群が可解かどうかを調べるには、交代群が可解かどうかを調べればよい。ここからは、具体的なnについて調べてみよう。まず、 の場合を考える。

命題   の部分群であり、

 
 

証明は具体的に交換子を計算するだけである。対称群の計算練習としてちょうどよいので省略する。なお、このVのことをクラインの四元群という。

  は可解群。

  は可解群。

(証明)  の部分群なので、可解である。 

では の場合はどうなのだろうか?結論から言えば、次のことが成り立つ。

命題  

(証明)
 は明らかなので逆向きの包含関係を示す。3文字からなる巡回置換が偶置換の交換子として表せることを見ればよいが、実際、 を5以下の相異なる自然数とするとき、
 
であることが計算によってわかる。したがって、 である。  

  は可解群ではない。

  は可解群ではない。

(証明) とすると、  の部分群である。したがって、 が可解ならば は可解となり、矛盾する。 

つまり、対称群  のとき可解群、 のとき非可解群となることがわかった。

具体的な群について長々と考察してきたのを訝しく思う読者がいるかもしれないので、この事実の背景についても少し説明しておく。二次方程式

 

の解は

 

となることはよく知っているだろう(日本では中学校、あるいは高校で学習するはずである)。日本の初等中等教育では学習しないが、実は三次方程式や四次方程式にも、このような(平方根、立方根などの冪根と四則演算だけを用いた)公式を作ることが可能である。しかし、実は五次以上の方程式の解は一般には冪根のみでは表すことはできない。このことと、四次以下の対称群は可解だが五次以上の対称群は非可解であるということは、密接なかかわりがあり、このことの研究が群論自体が生まれるきっかけともなっている(そもそも「可解群」という名の由来はこの事実である)。このあたりの詳しい事情については群論の範疇ではなくなるので、興味のある読者は体論およびガロア理論の項目を参照のこと。これらの項目にも今は記述が無いが、いずれ書かれるだろう。