有限群論序論のソースを表示
←
有限群論序論
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{半保護S}} {{Pathnav|メインページ|数学|frame=1}} {{Wikipedia|群論}} ==群論== [[代数学入門]]の'''群'''に関する項である。[[W:群論|Wikipediaの方]]にも詳細な記述があるが、百科事典という性格上、個々の例について深い解説を与えることはできない。 ここでは、初学者でもわかりやすいよう、個々の例について深い解説を与えながら見ていこうと思う。 == 導入 == === 二項演算 === 集合''A''と写像<math>*:A \times A \to A</math>があるとき、*を<math>A</math>上の'''二項演算'''という。<math>a,b\in A</math>に対して、通常<math>*(a,b)</math>を<math>a*b</math>とかく。*が写像であるとは、任意の<math>a,b\in A</math>に対して<math>a*b\in A</math>が定まるということである。このことを強調した表現として、''A''は演算<math>*</math>について'''閉じている'''ということがある。 ==== 例 ==== 任意の2つの整数の足し算は、整数になる。つまり、足し算は、整数の集合上の二項演算である。一方、整数の割り算は二項演算では'''ない'''。1÷2=1/2は整数ではないから、整数は割り算について閉じていない。 === 代数構造 === 集合Gに演算<math>\cdot</math>が定まっているとき、<math>(G,\cdot)</math>とかく。集合と演算の組を'''代数系'''あるいは'''代数構造'''という。 ==== 代数構造の例 ==== 定義は大げさだが、既に我々は代数構造の例を十分すぎるほど知っている。いくつか挙げてみる。 整数の集合<math>\mathbb{Z}</math>において通常の足し算+は演算であり、<math>(\mathbb{Z},+)</math>は代数構造である。 実数の集合<math>\mathbb{R}</math>において通常の掛け算<math>\cdot</math>は演算であり、<math>(\mathbb{R},\cdot)</math>は代数構造である。 これから我々はこのようなよく知っている代数構造の抽象的な性質だけを抜き出して調べることで、同じ抽象的性質を持つより複雑な代数構造も含めて統一的に性質を調べていこうとしている。 ===結合則と半群=== さて、ここからは、代数構造にルールを付け加えていくと、どうなるかを考えてみよう。 代数構造(''G'',·)があるとする。このとき、'''結合則'''とは、次のルールのことをいう。 ∀ ''a'',''b'',''c'' ∈ ''G''について、 ''a'' · (''b'' · ''c'') = (''a'' · ''b'') · c 結合則が成り立つ代数構造のことを、'''半群'''（semi group）という。 '''半群'''とは[[集合]] ''S'' と二項演算 "•" の組 (''S'', •) であって、二項演算 • が以下の条件 ; 演算が閉じている: ''S'' の各元 ''a'', ''b'' に対して、演算結果 ''a'' • ''b'' は再び ''S'' に属する。 ; 結合律: ''S'' の各元 ''a'', ''b'', ''c'' に対して、等式 (''a'' • ''b'') • ''c'' = ''a'' • (''b'' • ''c'') が満たされる。 がともに成立するものを言う。 結合則は、成り立つ場合もあるし、成り立たない場合ももちろんある。やはり、例を考えてみよう。 ====結合則が成り立つ例==== 自然数の集合を'''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'',·)があるとする。このとき、'''単位元'''とは、次のような元をいう。 ∃ ''e'' ∈ ''G''があって、∀ ''x'' ∈ ''G''について、 ''e'' · ''x'' = ''x'' · ''e'' = ''x'' となるとき、''e''を'''単位元'''（identity element）という。 結合則が成り立ち、単位元が存在する代数構造(''G'',·)を、'''モノイド'''（monoid）という。 例えば、足し算の単位元は、0である。掛け算の単位元は、1である。 単位元も、必ずしも存在するとは限らない。 ====単位元がない場合==== 自然数の集合を'''N'''、足し算を+とする。 自然数の集合ということは、1以上の整数であるから、0は含まないので、この場合、代数構造('''N''',+)には、単位元がないことになる。 ====単位元がある場合==== 自然数の集合'''N'''、足し算を+とする。 先ほどは、0がなかったので、次の性質を満たす、0という数を考える。 ∀ ''x'' ∈ '''N'''に対して、 ''x'' + 0 = 0 + ''x'' = ''x'' そして、'''N'''に{0}を加えた集合、'''N''' ∪ {0}を考える。 このとき、ようやく、足し算に単位元ができて、代数構造('''N''' ∪ {0},+)には、単位元があることになる。 いわゆる、インドにおける'''0の発見'''とは、まさしくこのことである。それまでの、単位元のなかった足し算に、0という単位元を導入する作業が、0の発見であったといえる。 ==群== さて、ようやく'''群'''の話題にうつろう。群とは、モノイドにさらにもう一つ'''逆元'''というものを導入した代数構造である。 ===逆元=== 今、代数構造(''G'',·)があり、''G''には単位元''e'' ∈ ''G''が定義されているとする。 ある''x'' ∈ ''G''に対する逆元''x''<sup>−1</sup>とは、 ''x'' · ''x''<sup>−1</sup> = ''x''<sup>−1</sup> · ''x'' = ''e'' となるような''x''<sup>−1</sup> ∈ ''G''のことである。 逆元は常にあるとは限らない。逆元が存在する元と存在しない元がともに混在している代数構造も考えられる。 ====逆元が存在しない例==== 自然数の集合を'''N'''、足し算を+とする。自然数の集合に単位元0を加えた代数構造 ('''N''' ∪ {0} , +) について考える。 このとき、どのような''k'' ∈ '''N'''をとってきたとしても、 ''k'' + ''x'' = ''x'' + ''k'' = 0 となるような''x''は負の数になってしまうため、''x'' ∉ '''N''' ∪ {0}であり、 0 以外のすべての元について逆元は存在しない。 ===群の定義=== さて、群とは、任意の元について逆元の定義されたモノイドだった。すなわち、まとめると、次の1から3を満たす代数構造(''G'',·)を群と呼ぶ。 1.単位元の存在 ある''e'' ∈ ''G''があって、∀ x ∈ ''G''に対して、 ''e'' · ''x'' = ''x'' · ''e'' = ''x'' が成り立つ。 2.逆元の存在 ∀ ''x'' ∈ ''G''に対して、∃ ''x''<sup>−1</sup> ∈ ''G''が存在して、 ''x'' · ''x''<sup>−1</sup> = ''x''<sup>−1</sup> · ''x''=''e'' である。 3.結合則 ∀ ''a'',''b'',''c'' ∈ ''G''に対して、 ''a'' · (''b'' · ''c'') = (''a'' · ''b'') · ''c'' が成り立つ。 これらに加えてさらに 4.交換法則 ∀ ''a'',''b'' ∈ ''G'' に対して''a'' · ''b''=''b'' · a が成り立つ群を特に'''可換群'''（commutative group）または'''アーベル群'''（abelian group）という。 ===群に関する基本的な定理=== これだけからいくつかの基本的な定理を見出すことができる。 ====単位元の一意性==== 単位元が存在すれば、それは代数構造(''G'',·)の中にただ一つ存在する。 証明： ''e'',''e''’ ∈ ''G''を単位元とし、''e'' ≠ ''e''’とする。 単位元の定義より、 ∀ ''x'' ∈ ''G''に対して、''x'' · ''e'' = ''e'' · ''x'' = ''x'' ∀ ''y'' ∈ ''G''に対して、''y'' · ''e''’ = ''e''’ · ''y'' = ''y'' ''x''は任意だから、''x''=''e''’,''y''=''e''とおいてもよいので、そうおけば、 ''e''’ · ''e'' = ''e'' = ''e''’ これは、''e'' ≠ ''e''’に反する。 故に、単位元''e''∈ ''G''は、存在すれば、ただ一つ存在する。 ====逆元の一意性==== 群(''G'',·)について考える。 元''x''∈ ''G''に対する逆元''x''<sup>−1</sup>もまた、存在すれば''G''の中にただ一つ存在する。 証明 群''x''∈''G''の逆元が二つあったと仮定し、それらを''a''と''b''とおく。 ''a'',''b''∈ ''G''かつ''a'' ≠ ''b''である。逆元の定義から #''x'' · ''a'' = ''a'' · ''x''=''e'' #''x'' · ''b'' = ''b'' · ''x''=''e'' が成り立つ。このとき、''G''は群だから、結合則が成り立つことに注意すると ''a'' = ''a'' · ''e'' = ''a'' · ( ''x'' · ''b'' ) = ( ''a'' · ''x'' ) · ''b'' = ''e'' · ''b'' = ''b'' よって、''a''=''b''。これは、''a'' ≠ ''b''に反す。矛盾。 よって、群''G''について、''x''の逆元があれば、''x''の逆元は一意。 ====逆元の逆元は、もとの元==== 群(''G'',·)について考える。 ''x'' ∈ ''G''の逆元''x''<sup>−1</sup>があるとき、''x''の逆元の逆元、すなわち、(''x''<sup>−1</sup>)<sup>−1</sup>=''x''である。 証明： ''x'' · ''x''<sup>−1</sup> = ''x''<sup>−1</sup> · ''x''=''e'' である。これは''x''の逆元が''x''<sup>−1</sup>であることを示しているが、同時に''x''<sup>−1</sup>の逆元が''x''であることを示しているとも取ることができる。 (''x''<sup>−1</sup>)<sup>−1</sup>を考えると、(''x''<sup>−1</sup>)<sup>−1</sup>は''x''<sup>−1</sup>の逆元であるから、 ''x''<sup>−1</sup> · (''x''<sup>−1</sup>)<sup>−1</sup> =''e'' が成り立つ。先ほど示したように、逆元の一意性より、''x''<sup>−1</sup>の逆元は存在すればただ一つである。(''x''<sup>−1</sup>)<sup>−1</sup>も''x''も、''x''<sup>−1</sup>の逆元であるということは、 (''x''<sup>−1</sup>)<sup>−1</sup>=''x'' でなければならない。 === 群の例 === 群の公理だけからわかることについてみてきたが、その公理を満たすような対象として具体的にどのようなものがあるかということも重要である。ここではそのような例を挙げてみる。 まず、代数構造の例として述べた2つの例についてみてみよう。ここで挙げた2つのうち、<math>(\mathbb{Z},+)</math>は群である。一方で、<math>(\mathbb{R},\cdot)</math>は群ではない。0の逆元が存在しないからである。一方、<math>\mathbb{R}^\times :=\mathbb{R} \setminus \{0\}</math>は積を演算として群である。これらの群はアーベル群である。 一方、次のような群の例もある。集合''X''上の全単射<math>f:X \to X</math>をすべて集めた集合をSym(''X'')とする。Sym(''X'')は写像の合成を演算として群になる。単位元は恒等写像、逆元は逆写像である。これは一般にアーベル群にはならない。 特に<math>X=\{1,2,3,\cdots,n\}</math>のとき、Sym(''X'')を<math>\mathfrak{S}_n</math>と書き、これを''n''次の'''対称群'''（symmetric group）という。 対称群の元のうち、<math>i_l(1 \le l \le m-1)</math>を<math>i_{l+1}</math>に、<math>i_m</math>を<math>i_1</math>に写し、他の元は動かさない写像を、<math>(i_1 \ i_2 \ i_3 \ \cdots \ i_m)</math>と表記する。このような元を'''巡回置換'''（permutation）と呼ぶ。対称群の元はいくつかの巡回置換の積として表される。特に<math>m=2</math>の巡回置換を'''互換'''（transposition）と呼ぶ。巡回置換はいくつかの互換の積として表されるので、結局対称群の元はいくつかの互換の積として表される。群の言葉を使わずに言えば、すべての並べ替えはあみだくじを使って実現することができる。 たとえば、<math>(1324)</math>は1を3に、3を2に、2を4に、4を1に写す巡回置換である。<math>(53)</math>は5を3に、3を5に写す互換である。 == 部分群 == === 部分群 === 群''G''が与えられたとき、群''G''の部分群''H'' ⊂ ''G''とは、集合として、''H'' ⊂ ''G''であり、なおかつ、''H''が群であるものを指す。 すなわち、 ''a'' ∈ ''H'' , ''b'' ∈ ''H'' ⇒ ''a'' · ''b'' ∈ ''H'' ''a'' ∈ ''H'' ⇒ ''a''<sup>-1</sup> ∈ ''H'' ''e'' ∈ ''H'' ただし、''e''は、''H''の単位元である。 簡単に証明できる事柄として、''G''の単位元と''H''の単位元は一致する。なぜなら、''G''の単位元を''e''<sub>G</sub>とすれば、∀ ''a'' ∈ ''H''に対して、 ''e''<sub>G</sub> · ''a'' = ''a'' · ''e''<sub>G</sub> = ''a'' が成り立つ。これは、''e''<sub>G</sub>が''H''の単位元であることも示しており、''H''は群だから、単位元を含むので、''e''<sub>G</sub> ∈ ''H''。 群の部分集合が部分群であることを判定するには、定義に戻ってもよいが、下のような簡便な判定法がある。 群''G''の空でない部分集合''H''が部分群あるための必要十分条件は ''a'' ∈ ''H'' , ''b'' ∈ ''H'' ⇒ ''a'' · ''b''<sup>-1</sup> ∈ ''H'' 必要性は明らかだろう。十分性は以下のように示される。''a'' ∈ ''H''とすると、条件より、''a'' · ''a''<sup>-1</sup> = ''e'' ∈ ''H''である。 よって''a'' ∈ ''H''かつ''e'' ∈ ''H''なので、 条件より''e'' · ''a''<sup>-1</sup> = ''a''<sup>-1</sup> ∈ ''H''である。最後に、''a'' ∈ ''H'' , ''b'' ∈ ''H''とすると、''b'' ∈ ''H''より''b''<sup>-1</sup>∈ ''H''なので、''a'' · ( ''b''<sup>-1</sup> ) <sup>-1</sup> = ''a'' · ''b'' ∈ ''H''。よって''H''は''G''の部分群である。 === 生成元と巡回群 === 群''G''の部分集合''S''は、一般に部分群になるとは限らない。しかし、''S''の元とその逆元をいくつか掛け合わせた元全体、すなわち :<math>\langle S \rangle :=\{x_1 x_2 \cdots x_n | x_i \in S \ or \ x_i^{-1} \in S \}</math> は''G''の部分群になる。これを''S''が生成する部分群という。特に<math>\langle S \rangle = G</math>のとき''S''を''G''の'''生成系'''といい、''S''の元を''G''の'''生成元'''という。 ただ一つの元からなる生成系を持つ群を'''巡回群'''（cyclic group）という。巡回群は明らかにアーベル群である。 '''例''' 互換の全体は対称群の生成系である。 ===正規部分群=== 群''G''の部分群''H''がさらに下の条件を満たすとき、''H''は'''正規部分群'''（normal subgroup）であるといい、<math>G \vartriangleright H</math>と書く。 ''g'' ∈ ''G'' , ''h'' ∈ ''H'' ⇒ ''g'' · ''h'' · ''g''<sup>-1</sup> ∈ ''H'' 明らかにアーベル群の部分群は必ず正規部分群であるが、アーベル群でない群の部分群は、一般に正規部分群になるとは限らない。そのほかに、次のような例がある。 '''例''' 上でみたように、''n''次対称群の任意の元はいくつかの互換の積として表せる。その表し方は一意ではないが、積として表すときに用いる互換の個数が偶数か奇数かは表し方によらず元のみによってきまることが知られており、偶数個で表せる元を'''偶置換'''（even permutation）と呼び、奇数個で表せる元を'''奇置換'''（odd permutation）と呼ぶ。偶置換の全体は明らかに正規部分群となる。これを''n''次'''交代群'''（alternating group）といい、<math>A_n</math>と書く。 ===正規部分群による商群=== ''G''を群、''H''をその部分群とする。''G''に次のような同値関係を与える。 <math>a,b \in G</math>に対し、<math>a \sim b \Leftrightarrow a^{-1}b \in H</math> これが同値関係であることの確認は容易なので読者に任せる。 aの同値類は、<math>C(a) = \{ x \in G | a^{-1} x \in H\}</math>である。<math>h \in H</math>とすれば、<math>x = ah</math>となるので、<math>C(a) = \{ ah | h \in H \}</math>となる。これを、<math>aH</math>と書く。 ''G''をこの同値関係で割った商集合<math>\{ aH | a \in G \}</math>を <math>G/H</math>と書き、''G''の''H''による'''左剰余類'''と呼ぶ。 さて、せっかく群を群で割った商集合を考えているのだから、その商集合にも群の構造が入れば便利である。実はこの商集合には、''H''が''G''の正規部分群ならば、次のような自然な演算によって群の構造を入れることができる。 <math>aH \cdot bH = abH</math> このようにして定義した群を、''G''を''H''で割った商群とか、剰余群という。剰余群の単位元は<math>e_G H</math>、aHの逆元は<math>(a^{-1})H</math>である。 これが群であることを示さなくてはならないが、その前に正規部分群ならばこの演算がwell-definedであることを示さなくてはならない。つまり、<math>a \sim a',b \sim b'\Rightarrow ab \sim a'b'</math>を示す必要がある。<math>a \sim a',b \sim b'</math>、すなわち<math>a^{-1}a',b^{-1}b' \in H</math>を仮定すると、<math>(ab)^{-1}a'b'=b^{-1}a^{-1}a'b'=(b^{-1}b')(b'^{-1}a^{-1}a'b') \in H</math>なので、<math>ab \sim a'b'</math>である。これでwell-defined性を確かめることができた。あとは群になることを確かめることになるが、これはほとんど自明なので読者自ら試みるとよい。 == 準同型と準同型定理 == ここで紹介する準同型定理は、群の基本的な定理である。群論を学ぶからには、よく理解し、使いこなせるようになるべきである。 === 準同型写像 === これまではひとつの群についてばかり考えてきたが、ここでは2つの群の間の写像について考えよう。 ''G''と'' G' ''を群とする。写像<math>f:G \to G'</math>が'''準同型写像'''である（あるいは単に準同型である）とは、次の条件を満たすことである。 <math>f(x \cdot y) = f(x) \cdot f(y) , \forall x,y \in G</math> 準同型であって特に全単射なものを'''同型'''という。少し紛らわしい表現だが、''G''から'' G' ''への同型写像があるときこの2つの群は同型であるといい、<math>G \cong G'</math>と書く。 明らかに準同型となる例として、部分群からもとの群への包含写像は単射な準同型であり、特に群の恒等写像は同型である。また、準同型の合成は準同型であり、同型の逆写像は同型である。以上から、2つの群が同型であるという関係は同値関係であることがわかる。 <math>f:G \to G'</math>を準同型とするとき、<math>\mathrm{Im} f = \{f(x) \in G'|x \in G \}</math>をfの'''像'''(image)といい、<math>\ker f = \{ x \in G | f(x) = e_{G'} \}</math>をfの'''核'''(kernel)という。imageはG'の、kernelはGの部分群であることはすぐわかる。特にkernelは正規部分群でもあることがわかる。 準同型は必ず単位元を単位元にうつす。すなわち、<math>e_G \in \ker f</math>である。また、準同型が単射であることは、<math>\ker f = \{ e_G \}</math>と同値である。この事実は準同型の単射性の判定を簡便にするためにしばしば役立つ。 群''G''から''G''自身への同型写像を''G''の自己同型という。任意の群に対して自己同型は必ず存在する（恒等写像）。また、''G''の自己同型全体をAut''G''と書くことにすると、この集合は写像の合成を演算として群となることがわかる（確かめよ）。これを''G''の'''自己同型群'''という。 ===群の準同型定理=== 次に述べるのが、準同型定理といわれるものである。 '''定理''' ''G''と''H''を群、<math>f:G \to H</math>を全射な群の準同型とするとき、<math>G/\ker f \cong H</math> この定理は、何か得体の知れない群に接したときの対処法としてとても有用である。すなわち、得体の知れない群が現れたときには、とりあえずよく知っている群からの全射を構成することさえできれば、よく知っている群の商群として理解できるということである。 （証明） <math>\ker f = K</math>とする。<math>\bar{f}:G/\ker f \to H</math>を<math>\bar{f} (aK) = f(a)</math>で定める。まず、これがwell-definedであることを示す。 <math>aK=bK</math>とすると、<math>a^{-1} \cdot b \in K</math>なので、<math>f(a^{-1} \cdot b)=f(a)^{-1} \cdot f(b) = e_H</math>。よって<math>f(a)=f(b)</math>なので<math>\bar{f}</math>はwell-defined。 <math>\bar{f}</math>が準同型であること・全射であることは、<math>f</math>が準同型・全射であることから明らか。単射性を示す。<math>\ker \bar{f} =\{ e_G H \}</math>を示せばよい。 <math>\bar{f}(aK)=e_H</math>であるとすると、<math>f(a)=e_H</math>なので、<math>a \in \ker f</math>。よってa～<math>e_G</math>なので、<math>aH = e_G H</math>。すなわち<math>\ker \bar{f} =\{ e_G H \}</math>である。 // 準同型定理の応用例として、'''同型定理'''と呼ばれる以下の命題たちを証明してみよう。 '''定理''' 群''G'',''G' ''に対し、''H''は''G''の部分群、''N''は''G''の正規部分群、''H' ''は''G' ''の正規部分群とする。 :(1)<math>f:G \to G'</math>を全射準同型とするとき、<math>f^{-1}(H') \vartriangleleft G</math>であり、 ::<math>G/f^{-1}(H') \cong G'/H'</math> :(2)<math>HN :=\{ hn| h \in H,n \in N \}</math>は''G''の部分群、<math>N \vartriangleleft HN,H \cap N \vartriangleleft H</math>であり、 ::<math>H/H \cap N \cong HN/N</math> :(3)''H''は''G''の正規部分群、''N''は''H''の部分群でもあるとすると、<math>N \vartriangleleft H,H/N \vartriangleleft G/N</math>であり、 ::<math>(G/N)/(H/N) \cong G/H</math> （証明） :(1)''f''と標準全射<math>\pi:G' \to G'/H'</math>とを合成した全射準同型<math>\pi \circ f:G \to G'/H'</math>に準同型定理を用いればよい。 :(2)''HN''が''G''の部分群、''N''が''HN''の正規部分群であることは明らかなので、包含写像<math>i:H \to HN</math>と標準全射<math>\pi:HN \to HN/N</math>を合成した全射準同型<math>\pi \circ i:H \to HN/N</math>に準同型定理を用いればよい。 :(3)全射準同型<math>G/N \to G/H,\bar{x} \mapsto \bar{x}</math>に準同型定理を用いればよい。// == Sylowの定理 == 準同型定理は一般の群について成り立つ重要な定理であったが、特に群の位数が有限である場合に限ると、さらに興味深い結果が表れてくる。次は、そのような結果の代表的なものであるSylowの定理について述べる。 === 剰余類別 === さきほど商群を定義するときに、群をその部分群で割った商集合を考え、商集合の各元を剰余類と呼んだ。ここで、当たり前であるが、剰余類をすべて直和するともとの群になる、ということに注意しよう。すなわち、各剰余類の元をすべて集めると、もとの群の元をすべて（重複なく）集めることができているのである。この事実から、さらに考察を進めると、次の命題が成り立つことがわかる。ここで、「#」は、集合の濃度をあらわすものとする。 '''命題''' Gを群、H,KをGの部分群で<math>K \subset H</math>とすると、<math>\sharp(G/H) \cdot \sharp(H/K) = \sharp(G/K)</math> '''系''' Gを群、HをGの部分群とすると、<math>\sharp(G/H) \cdot \sharp H = \sharp G</math>。特に、Gが有限群のとき、その部分群の位数はGの位数の約数。 部分群の位数はもとの群の位数の約数、という事実はLagrangeの定理と呼ばれる。もっとも、Lagrangeの時代にはまだ人類は群という概念を知らなかったので、Lagrangeはこのような近代的な形の命題を考えたわけではない。 === Sylowの定理 === Sylowの定理について述べる前に、まずはいくつか言葉の定義をしておく。 '''定義''' Gを群、HとH'をGの部分群とする。ある<math>g \in G</math>が存在して<math>gHg^{-1}=H'</math>となるとき、HとH'は共役であるという。 この言葉を使うと、部分群が正規部分群であるとは、自らと共役な群は自分自身しかない、ということである。 '''定義''' 位数がある素数pの冪である群を、p群という。 '''定義''' Gを有限群とする。Gの位数が<math>\sharp G=p_1^{r_1} \cdot ... \cdot p_n^{r_n}</math>と素因数分解されるとき、位数が<math>p_i^{r_i}</math>の部分群のことを、p<sub>i</sub>-Sylow部分群（Sylow-p<sub>i</sub>部分群とも）という。 以上の準備のもとで、Sylowの定理のステートメントを述べることができる。 '''定理'''(Sylow) # 有限群Gは、任意の素数pに対してp-Sylow部分群を持つ。 # Gのp部分群はあるp-Sylow部分群に含まれる。 # p-Sylow部分群は互いに共役である。 # Sylow-p部分群の数をpで割った余りは1である。 == 群の直積と半直積 == 2つの群''G'',''H''があるとき、これをもとにして新たな群を作ることを考えよう。 === 直積 === 最も単純なのは、''G''と''H''の集合としての直積<math>G \times H</math>に次のようにして演算を与えることであろう。 :<math>(g_1,h_1) \cdot (g_2,h_2):=(g_1 g_2,h_1 h_2)</math> このように定めると確かにこの集合は群になる（確かめよ）。これを''G''と''H''の'''直積'''（direct product）といい、<math>G \times H</math>で表す。 === 半直積 === 上記のようにして直積集合に群の構造が入ることがわかったが、これに加えて群準同型 :<math>\sigma:H \to \operatorname{Aut} G</math> があるときには、これとは別の方法で群構造を入れることができる。具体的には、演算を次のように定める。 :<math>(g_1,h_1) \cdot (g_2,h_2):=(g_1 \sigma(h_1)(g_2),h_1h_2)</math> このようにして定めると、確かにこの集合は群になる（確かめよ）。これを''G''と''H''の'''半直積'''といい、<math>G \rtimes H</math>と書く。特に<math>\sigma</math>を、任意の''h''に対して<math>\sigma(h)</math>は恒等写像、と定めると、この作用に関する半直積は直積と一致する。すなわち半直積は直積をより一般化した概念であり、これを考えることにより、直積だけを考えるよりもより多くの構造を考える余地ができる、といえる。 '''例''' ''G''を位数''n''の巡回群、''H''を位数2の巡回群（生成元を''i''とする）とし、<math>\sigma:H \to \operatorname{Aut} G</math>を<math>\sigma(i)(x)=x^{-1} \ (x \in G)</math>で定めるとき、半直積<math>G \rtimes H</math>を'''正2面体群'''という。これは正''n''角形の回転と裏返しによって自分自身に写す写し方全体からなる群になっている。 == 完全系列 == 群と準同型からなる列 :<math>\cdots \to G_{i-1} \xrightarrow{f_{i-1}} G_i \xrightarrow{f_{i}} G_{i+1} \to \cdots</math> があり、 :すべての''i''について<math>\mathrm{Im} f_{i-1} = \mathrm{Ker} f_i</math> が満たされるとき、この列は'''完全系列'''であるという。 最初と最後が単位元のみの群<math>\{e\}</math>であるような完全系列で、考える意味のある最も「短い」列はどのような列だろうか。 :<math>\{e\} \xrightarrow{f_1} G \xrightarrow{f_2} \{e\}</math> が完全であるとする。このとき、<math>G=\mathrm{Ker} f_2=\mathrm{Im} f_1=\{e\}</math>であるから、''G''は単位元のみからなる群である。一方、 :<math>\{e\} \xrightarrow{f_1} G_1 \xrightarrow{f_2} G_2 \xrightarrow{f_3} \{e\}</math> が完全であるとすると、<math>\mathrm{Ker} f_2=\mathrm{Im} f_1=\{e\}</math>なので<math>f_2</math>は単射、<math>\mathrm{Im} f_2=\mathrm{Ker} f_3=G_2</math>なので<math>f_2</math>は全射、よって<math>G_1 \cong G_2</math>である。 以上の例は自明であり、考えても面白くない。よって、非自明な完全系列で最も短いものは、5個の群からなる列 :<math>\{e\} \to G_1 \xrightarrow{f} G_2 \xrightarrow{g} G_3 \to \{e\}</math> であろう。この5個の群からなる列が完全であるのは、<math>f</math>は単射、<math>g</math>は全射、<math>\mathrm{Im} f=\mathrm{Ker} g</math>が満たされるときである。このとき、この列を'''短完全系列'''という。短完全系列が存在するとき、群<math>G_2</math>を<math>G_3</math>の<math>G_1</math>による'''拡大'''という。短完全系列に対してさらに、<math>g \circ i</math>が恒等写像になるような単射<math>i:G_3 \to G_2</math>があるとき、この短完全系列は'''分裂'''するという。 前節でみた半直積は群の拡大の例であり、その短完全系列は分裂する。すなわち、次が成り立つ。 '''命題''' 群と準同型の列 :<math>\{e\} \to G \xrightarrow{\varphi} G \rtimes H \xrightarrow{\pi} H \to \{e\}</math> は完全系列であり、この完全系列は分裂する。ただし、<math>\varphi(g)=(g,e),\pi(g,h)=h,i(h)=(e,h)</math>とする。 証明は定義を確認するだけである。 == 可解群と冪零群 == 群''G''の元<math>x,y \in G</math>に対し、 :<math>[x,y]:=xyx^{-1}y^{-1} \in G</math> を''x''と''y''の'''交換子'''（commutator）という。 ''G''の部分群''H'',''K''に対し、部分群<math>[H,K]</math>を :<math> [H,K]:=\langle [x,y]|x \in H,y \in K \rangle</math> と定める。これを''H''と''K''の'''交換子群'''（commutator group）という。 この交換子群を用いて、部分群の列<math>D_i(G)</math>が次のように帰納的に定義される。 #<math>D_0(G)=G</math> #<math>D_{i+1}(G)=[D_i(G),D_i(G)]</math> このように定めた<math>D_i(G)</math>について、ある''k''が存在して<math>D_k(G)=\{e\}</math>となるとき、''G''は'''可解群'''であるという。 また、次のようにして部分群の列<math>R_i(G)</math>が定まる。 #<math>R_0(G)=G</math> #<math>R_{i+1}(G)=[R_i(G),G]</math> このように定めた<math>R_i(G)</math>について、ある''k''が存在して<math>R_k(G)=\{e\}</math>となるとき、''G''は'''冪零群'''であるという。 === 例 === 定義より明らかに、<math>D_i(G) \subset R_i(G)</math>であることがわかる。すなわち<math>R_k(G)=\{e\} \Rightarrow D_k(G)=\{e\}</math>なので、冪零群は可解群である。 また、<math>H \subset G</math>が部分群のとき、<math>D_i(H) \subset D_i(G),R_i(H) \subset R_i(G)</math>なのも明らかである。つまり、冪零群の部分群は冪零群、可解群の部分群は可解群である。 アーベル群の交換子は必ず単位元になるので、アーベル群は可解群でも冪零群でもある。 ==== 対称群の可解性 ==== 対称群がいつ可解になるか、詳しく調べてみよう。まず、次の命題が成り立つ。 '''補題''' <math>n \ge 3</math>のとき、<math>A_n=\langle (i \ j \ k) | i,j,k</math>は''n''以下の相異なる自然数<math>\rangle</math>である。 :（証明） ::<math>(i \ j \ k)=(i \ j)(j \ k)</math> :なので、<math>A_n \supset \langle (i \ j \ k) \rangle</math> ::<math>(i \ j)(i \ j)=e</math> ::<math>(i \ j)(j \ k)=(i \ j \ k)</math> ::<math>(i \ j)(k \ l)=(i \ j \ k)(j \ k \ l)</math> :なので、<math>A_n \subset \langle (i \ j \ k) \rangle</math> :したがって、<math>A_n=\langle (i \ j \ k) \rangle \ \square</math> '''命題''' <math>D_1(\mathfrak{S}_n)=A_n</math> :（証明） :<math>n=2</math>のとき、<math>D_1(\mathfrak{S}_2)=A_2=\{e\}</math>である。以下<math>n \ge 3</math>とする。 :交換子の定義より、<math>D_1(\mathfrak{S}_n) \subset A_n</math>は明らかなので、逆向きの包含関係を示す。 ::<math>(i \ j \ k)=[(i \ j),(i \ k)]</math> :なので、<math>(i \ j \ k) \in D_1(\mathfrak{S}_n)</math>である。したがって上の補題より、<math>D_1(\mathfrak{S}_n) \supset A_n</math>であり、すなわち<math>D_1(\mathfrak{S}_n) = A_n \ \square</math> '''系''' <math>\mathfrak{S}_n</math>が可解<math>\Leftrightarrow A_n</math>が可解。 つまり、対称群が可解かどうかを調べるには、交代群が可解かどうかを調べればよい。ここからは、具体的な''n''について調べてみよう。まず、<math>n=4</math>の場合を考える。 '''命題''' <math>V=\{e,(1 \ 2)(3 \ 4),(1 \ 3)(2 \ 4),(1 \ 4)(2 \ 3)\}</math>は<math>A_4</math>の部分群であり、 :<math>D_2(\mathfrak{S}_4)=D_1(A_4)=V</math> :<math>D_3(\mathfrak{S}_4)=D_2(A_4)=D_1(V)=\{e\}</math> 証明は具体的に交換子を計算するだけである。対称群の計算練習としてちょうどよいので省略する。なお、この''V''のことを[[w:クラインの四元群|クラインの四元群]]という。 '''系''' <math>\mathfrak{S}_4</math>は可解群。 '''系''' <math>\mathfrak{S}_n \ (n \le 4)</math>は可解群。 :（証明）<math>\mathfrak{S}_n \ (n \le 4)</math>は<math>\mathfrak{S}_4</math>の部分群なので、可解である。<math>\square</math> では<math>n=5</math>の場合はどうなのだろうか？結論から言えば、次のことが成り立つ。 '''命題''' <math>D_2(\mathfrak{S}_5)=D_1(A_5)=A_5</math> :（証明） :<math>D_1(A_5) \subset A_5</math>は明らかなので逆向きの包含関係を示す。3文字からなる巡回置換が偶置換の交換子として表せることを見ればよいが、実際、<math>i,j,k,l,m</math>を5以下の相異なる自然数とするとき、 ::<math>(i \ j \ k)=[(i \ j)(j \ m),(i \ k)(k \ l)]</math> :であることが計算によってわかる。したがって、<math>D_1(A_5)=A_5</math>である。 <math>\square</math> '''系''' <math>\mathfrak{S}_5</math>は可解群ではない。 '''系''' <math>\mathfrak{S}_n \ (n \ge 5)</math>は可解群ではない。 :（証明）<math>n \ge 5</math>とすると、<math>\mathfrak{S}_5</math>は<math>\mathfrak{S}_n</math>の部分群である。したがって、<math>\mathfrak{S}_n</math>が可解ならば<math>\mathfrak{S}_5</math>は可解となり、矛盾する。<math>\square</math> つまり、対称群<math>\mathfrak{S}_n</math>は<math>n \le 4</math>のとき可解群、<math>n \ge 5</math>のとき非可解群となることがわかった。 具体的な群について長々と考察してきたのを訝しく思う読者がいるかもしれないので、この事実の背景についても少し説明しておく。二次方程式 :<math>ax^2+bx+c=0</math> の解は :<math>x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}</math> となることはよく知っているだろう（現行の日本の教育課程では中学校3年生で学習することになっている）。日本の初等中等教育では学習しないが、実は三次方程式や四次方程式にも、このような（平方根、立方根などの冪根と四則演算だけを用いた）公式を作ることが可能である。しかし、実は五次以上の方程式の解は一般には冪根のみでは表すことはできない。このことと、四次以下の対称群は可解だが五次以上の対称群は非可解であるということは、密接なかかわりがあり、このことの研究が群論自体が生まれるきっかけともなっている（そもそも「可解群」という名の由来はこの事実である）。このあたりの詳しい事情については群論の範疇ではなくなるので、興味のある読者は[[体論]]および[[ガロア理論]]の項目を参照のこと。これらの項目にも今は記述が無いが、いずれ書かれるだろう。 {{DEFAULTSORT:くんろん}} [[Category:代数学]]
このページで使用されているテンプレート:
テンプレート:Pathnav
(
ソースを閲覧
)
テンプレート:Wikipedia
(
ソースを閲覧
)
テンプレート:半保護S
(
ソースを閲覧
)
有限群論序論
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報