有限群論序論
群論

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

集合Aと写像 ∗ : A × A → A {\displaystyle *:A\times A\to A} があるとき、*を A {\displaystyle A} 上の二項演算という。 a , b ∈ A {\displaystyle a,b\in A} に対して、通常 ∗ ( a , b ) {\displaystyle *(a,b)} を a ∗ b {\displaystyle a*b} とかく。*が写像であるとは、任意の a , b ∈ A {\displaystyle a,b\in A} に対して a ∗ b ∈ A {\displaystyle a*b\in A} が定まるということである。このことを強調した表現として、Aは演算 ∗ {\displaystyle *} について閉じているということがある。
導入

任意の2つの整数の足し算は、整数になる。つまり、足し算は、整数の集合上の二項演算である。一方、整数の割り算は二項演算ではない。1÷2=1/2は整数ではないから、整数は割り算について閉じていない。
導入

集合Gに演算 ⋅ {\displaystyle \cdot } が定まっているとき、 ( G , ⋅ ) {\displaystyle (G,\cdot )} とかく。集合と演算の組を代数系あるいは代数構造という。
導入

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

整数の集合 Z {\displaystyle \mathbb {Z} } において通常の足し算+は演算であり、 ( Z , + ) {\displaystyle (\mathbb {Z} ,+)} は代数構造である。
導入

実数の集合 R {\displaystyle \mathbb {R} } において通常の掛け算 ⋅ {\displaystyle \cdot } は演算であり、 ( R , ⋅ ) {\displaystyle (\mathbb {R} ,\cdot )} は代数構造である。
導入

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

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

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

∀ a,b,c ∈ Gについて、 a · (b · c) = (a · b) · c
導入

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

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

自然数の集合を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とは、 x · x = x · x = e となるようなx ∈ 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 ∈ Gが存在して、 x · x = x · 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もまた、存在すればGの中にただ一つ存在する。
群

証明
群

群x∈Gの逆元が二つあったと仮定し、それらをaとbとおく。 a,b∈ Gかつa ≠ bである。逆元の定義から
群

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

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

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

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

証明:
群

x · x = x · x=e
群

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

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

x · (x) =e
群

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

(x)=x
群

でなければならない。
群

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

まず、代数構造の例として述べた2つの例についてみてみよう。ここで挙げた2つのうち、 ( Z , + ) {\displaystyle (\mathbb {Z} ,+)} は群である。一方で、 ( R , ⋅ ) {\displaystyle (\mathbb {R} ,\cdot )} は群ではない。0の逆元が存在しないからである。一方、 R × := R ∖ { 0 } {\displaystyle \mathbb {R} ^{\times }:=\mathbb {R} \setminus \{0\}} は積を演算として群である。これらの群はアーベル群である。
群

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

特に X = { 1 , 2 , 3 , ⋯ , n } {\displaystyle X=\{1,2,3,\cdots ,n\}} のとき、Sym(X)を S n {\displaystyle {\mathfrak {S}}_{n}} と書き、これをn次の対称群(symmetric group)という。
群

対称群の元のうち、 i l ( 1 ≤ l ≤ m − 1 ) {\displaystyle i_{l}(1\leq l\leq m-1)} を i l + 1 {\displaystyle i_{l+1}} に、 i m {\displaystyle i_{m}} を i 1 {\displaystyle i_{1}} に写し、他の元は動かさない写像を、 ( i 1 i 2 i 3 ⋯ i m ) {\displaystyle (i_{1}\ i_{2}\ i_{3}\ \cdots \ i_{m})} と表記する。このような元を巡回置換(permutation)と呼ぶ。対称群の元はいくつかの巡回置換の積として表される。特に m = 2 {\displaystyle m=2} の巡回置換を互換(transposition)と呼ぶ。巡回置換はいくつかの互換の積として表されるので、結局対称群の元はいくつかの互換の積として表される。群の言葉を使わずに言えば、すべての並べ替えはあみだくじを使って実現することができる。 たとえば、 ( 1324 ) {\displaystyle (1324)} は1を3に、3を2に、2を4に、4を1に写す巡回置換である。 ( 53 ) {\displaystyle (53)} は5を3に、3を5に写す互換である。
部分群

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

すなわち、
部分群

a ∈ H , b ∈ H ⇒ a · b ∈ H
部分群

a ∈ H ⇒ a ∈ H
部分群

e ∈ H
部分群

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

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

eG · a = a · eG = a
部分群

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

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

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

a ∈ H , b ∈ H ⇒ a · b ∈ H
部分群

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

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

はGの部分群になる。これをSが生成する部分群という。特に ⟨ S ⟩ = G {\displaystyle \langle S\rangle =G} のときSをGの生成系といい、Sの元をGの生成元という。
部分群

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

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

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

g ∈ G , h ∈ H ⇒ g · h · g ∈ H
部分群

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

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

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

a , b ∈ G {\displaystyle a,b\in G} に対し、 a ∼ b ⇔ a − 1 b ∈ H {\displaystyle a\sim b\Leftrightarrow a^{-1}b\in H}
部分群

これが同値関係であることの確認は容易なので読者に任せる。
部分群

aの同値類は、 C ( a ) = { x ∈ G | a − 1 x ∈ H } {\displaystyle C(a)=\{x\in G|a^{-1}x\in H\}} である。 h ∈ H {\displaystyle h\in H} とすれば、 x = a h {\displaystyle x=ah} となるので、 C ( a ) = { a h | h ∈ H } {\displaystyle C(a)=\{ah|h\in H\}} となる。これを、 a H {\displaystyle aH} と書く。
部分群

Gをこの同値関係で割った商集合 { a H | a ∈ G } {\displaystyle \{aH|a\in G\}} を G / H {\displaystyle G/H} と書き、GのHによる左剰余類と呼ぶ。
部分群

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

a H ⋅ b H = a b H {\displaystyle aH\cdot bH=abH}
部分群

このようにして定義した群を、GをHで割った商群とか、剰余群という。剰余群の単位元は e G H {\displaystyle e_{G}H} 、aHの逆元は ( a − 1 ) H {\displaystyle (a^{-1})H} である。
部分群

これが群であることを示さなくてはならないが、その前に正規部分群ならばこの演算がwell-definedであることを示さなくてはならない。つまり、 a ∼ a ′ , b ∼ b ′ ⇒ a b ∼ a ′ b ′ {\displaystyle a\sim a',b\sim b'\Rightarrow ab\sim a'b'} を示す必要がある。 a ∼ a ′ , b ∼ b ′ {\displaystyle a\sim a',b\sim b'} 、すなわち a − 1 a ′ , b − 1 b ′ ∈ H {\displaystyle a^{-1}a',b^{-1}b'\in H} を仮定すると、 ( a b ) − 1 a ′ b ′ = b − 1 a − 1 a ′ b ′ = ( b − 1 b ′ ) ( b ′ − 1 a − 1 a ′ b ′ ) ∈ H {\displaystyle (ab)^{-1}a'b'=b^{-1}a^{-1}a'b'=(b^{-1}b')(b'^{-1}a^{-1}a'b')\in H} なので、 a b ∼ a ′ b ′ {\displaystyle ab\sim a'b'} である。これでwell-defined性を確かめることができた。あとは群になることを確かめることになるが、これはほとんど自明なので読者自ら試みるとよい。
準同型と準同型定理

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

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

Gと G' を群とする。写像 f : G → G ′ {\displaystyle f:G\to G'} が準同型写像である(あるいは単に準同型である)とは、次の条件を満たすことである。
準同型と準同型定理

f ( x ⋅ y ) = f ( x ) ⋅ f ( y ) , ∀ x , y ∈ G {\displaystyle f(x\cdot y)=f(x)\cdot f(y),\forall x,y\in G}
準同型と準同型定理

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

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

f : G → G ′ {\displaystyle f:G\to G'} を準同型とするとき、 I m f = { f ( x ) ∈ G ′ | x ∈ G } {\displaystyle \mathrm {Im} f=\{f(x)\in G'|x\in G\}} をfの像(image)といい、 ker f = { x ∈ G | f ( x ) = e G ′ } {\displaystyle \ker f=\{x\in G|f(x)=e_{G'}\}} をfの核(kernel)という。imageはG'の、kernelはGの部分群であることはすぐわかる。特にkernelは正規部分群でもあることがわかる。
準同型と準同型定理

準同型は必ず単位元を単位元にうつす。すなわち、 e G ∈ ker f {\displaystyle e_{G}\in \ker f} である。また、準同型が単射であることは、 ker f = { e G } {\displaystyle \ker f=\{e_{G}\}} と同値である。この事実は準同型の単射性の判定を簡便にするためにしばしば役立つ。
準同型と準同型定理

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

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

定理 GとHを群、 f : G → H {\displaystyle f:G\to H} を全射な群の準同型とするとき、 G / ker f ≅ H {\displaystyle G/\ker f\cong H}
準同型と準同型定理

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

(証明)
準同型と準同型定理

ker f = K {\displaystyle \ker f=K} とする。 f ̄ : G / ker f → H {\displaystyle {\bar {f}}:G/\ker f\to H} を f ̄ ( a K ) = f ( a ) {\displaystyle {\bar {f}}(aK)=f(a)} で定める。まず、これがwell-definedであることを示す。
準同型と準同型定理

a K = b K {\displaystyle aK=bK} とすると、 a − 1 ⋅ b ∈ K {\displaystyle a^{-1}\cdot b\in K} なので、 f ( a − 1 ⋅ b ) = f ( a ) − 1 ⋅ f ( b ) = e H {\displaystyle f(a^{-1}\cdot b)=f(a)^{-1}\cdot f(b)=e_{H}} 。よって f ( a ) = f ( b ) {\displaystyle f(a)=f(b)} なので f ̄ {\displaystyle {\bar {f}}} はwell-defined。
準同型と準同型定理

f ̄ {\displaystyle {\bar {f}}} が準同型であること・全射であることは、 f {\displaystyle f} が準同型・全射であることから明らか。単射性を示す。 ker f ̄ = { e G H } {\displaystyle \ker {\bar {f}}=\{e_{G}H\}} を示せばよい。
準同型と準同型定理

f ̄ ( a K ) = e H {\displaystyle {\bar {f}}(aK)=e_{H}} であるとすると、 f ( a ) = e H {\displaystyle f(a)=e_{H}} なので、 a ∈ ker f {\displaystyle a\in \ker f} 。よってa~ e G {\displaystyle e_{G}} なので、 a H = e G H {\displaystyle aH=e_{G}H} 。すなわち ker f ̄ = { e G H } {\displaystyle \ker {\bar {f}}=\{e_{G}H\}} である。 //
準同型と準同型定理

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

定理 群G,G' に対し、HはGの部分群、NはGの正規部分群、H' はG' の正規部分群とする。
準同型と準同型定理

(証明)
Sylowの定理

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

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

命題 Gを群、H,KをGの部分群で K ⊂ H {\displaystyle K\subset H} とすると、 ♯ ( G / H ) ⋅ ♯ ( H / K ) = ♯ ( G / K ) {\displaystyle \sharp (G/H)\cdot \sharp (H/K)=\sharp (G/K)}
Sylowの定理

系 Gを群、HをGの部分群とすると、 ♯ ( G / H ) ⋅ ♯ H = ♯ G {\displaystyle \sharp (G/H)\cdot \sharp H=\sharp G} 。特に、Gが有限群のとき、その部分群の位数はGの位数の約数。
Sylowの定理

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

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

定義 Gを群、HとH'をGの部分群とする。ある g ∈ G {\displaystyle g\in G} が存在して g H g − 1 = H ′ {\displaystyle gHg^{-1}=H'} となるとき、HとH'は共役であるという。
Sylowの定理

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

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

定義 Gを有限群とする。Gの位数が ♯ G = p 1 r 1 ⋅ . . . ⋅ p n r n {\displaystyle \sharp G=p_{1}^{r_{1}}\cdot ...\cdot p_{n}^{r_{n}}} と素因数分解されるとき、位数が p i r i {\displaystyle p_{i}^{r_{i}}} の部分群のことを、pi-Sylow部分群(Sylow-pi部分群とも)という。
Sylowの定理

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

定理(Sylow)
群の直積と半直積

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

最も単純なのは、GとHの集合としての直積 G × H {\displaystyle G\times H} に次のようにして演算を与えることであろう。
群の直積と半直積

このように定めると確かにこの集合は群になる(確かめよ)。これをGとHの直積(direct product)といい、 G × H {\displaystyle G\times H} で表す。
群の直積と半直積

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

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

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

例 Gを位数nの巡回群、Hを位数2の巡回群(生成元をiとする)とし、 σ : H → Aut G {\displaystyle \sigma :H\to \operatorname {Aut} G} を σ ( i ) ( x ) = x − 1 ( x ∈ G ) {\displaystyle \sigma (i)(x)=x^{-1}\ (x\in G)} で定めるとき、半直積 G ⋊ H {\displaystyle G\rtimes H} を正2面体群という。これは正n角形の回転と裏返しによって自分自身に写す写し方全体からなる群になっている。
完全系列

群と準同型からなる列
完全系列

があり、
完全系列

が満たされるとき、この列は完全系列であるという。
完全系列

最初と最後が単位元のみの群 { e } {\displaystyle \{e\}} であるような完全系列で、考える意味のある最も「短い」列はどのような列だろうか。
完全系列

が完全であるとする。このとき、 G = K e r f 2 = I m f 1 = { e } {\displaystyle G=\mathrm {Ker} f_{2}=\mathrm {Im} f_{1}=\{e\}} であるから、Gは単位元のみからなる群である。一方、
完全系列

が完全であるとすると、 K e r f 2 = I m f 1 = { e } {\displaystyle \mathrm {Ker} f_{2}=\mathrm {Im} f_{1}=\{e\}} なので f 2 {\displaystyle f_{2}} は単射、 I m f 2 = K e r f 3 = G 2 {\displaystyle \mathrm {Im} f_{2}=\mathrm {Ker} f_{3}=G_{2}} なので f 2 {\displaystyle f_{2}} は全射、よって G 1 ≅ G 2 {\displaystyle G_{1}\cong G_{2}} である。
完全系列

以上の例は自明であり、考えても面白くない。よって、非自明な完全系列で最も短いものは、5個の群からなる列
完全系列

であろう。この5個の群からなる列が完全であるのは、 f {\displaystyle f} は単射、 g {\displaystyle g} は全射、 I m f = K e r g {\displaystyle \mathrm {Im} f=\mathrm {Ker} g} が満たされるときである。このとき、この列を短完全系列という。短完全系列が存在するとき、群 G 2 {\displaystyle G_{2}} を G 3 {\displaystyle G_{3}} の G 1 {\displaystyle G_{1}} による拡大という。短完全系列に対してさらに、 g ∘ i {\displaystyle g\circ i} が恒等写像になるような単射 i : G 3 → G 2 {\displaystyle i:G_{3}\to G_{2}} があるとき、この短完全系列は分裂するという。
完全系列

前節でみた半直積は群の拡大の例であり、その短完全系列は分裂する。すなわち、次が成り立つ。
完全系列

命題 群と準同型の列
完全系列

は完全系列であり、この完全系列は分裂する。ただし、 φ ( g ) = ( g , e ) , π ( g , h ) = h , i ( h ) = ( e , h ) {\displaystyle \varphi (g)=(g,e),\pi (g,h)=h,i(h)=(e,h)} とする。
完全系列

証明は定義を確認するだけである。
可解群と冪零群

群Gの元 x , y ∈ G {\displaystyle x,y\in G} に対し、
可解群と冪零群

をxとyの交換子(commutator)という。
可解群と冪零群

Gの部分群H,Kに対し、部分群 [ H , K ] {\displaystyle [H,K]} を
可解群と冪零群

と定める。これをHとKの交換子群(commutator group)という。
可解群と冪零群

この交換子群を用いて、部分群の列 D i ( G ) {\displaystyle D_{i}(G)} が次のように帰納的に定義される。
可解群と冪零群

このように定めた D i ( G ) {\displaystyle D_{i}(G)} について、あるkが存在して D k ( G ) = { e } {\displaystyle D_{k}(G)=\{e\}} となるとき、Gは可解群であるという。
可解群と冪零群

また、次のようにして部分群の列 R i ( G ) {\displaystyle R_{i}(G)} が定まる。
可解群と冪零群

このように定めた R i ( G ) {\displaystyle R_{i}(G)} について、あるkが存在して R k ( G ) = { e } {\displaystyle R_{k}(G)=\{e\}} となるとき、Gは冪零群であるという。
可解群と冪零群

定義より明らかに、 D i ( G ) ⊂ R i ( G ) {\displaystyle D_{i}(G)\subset R_{i}(G)} であることがわかる。すなわち R k ( G ) = { e } ⇒ D k ( G ) = { e } {\displaystyle R_{k}(G)=\{e\}\Rightarrow D_{k}(G)=\{e\}} なので、冪零群は可解群である。
可解群と冪零群

また、 H ⊂ G {\displaystyle H\subset G} が部分群のとき、 D i ( H ) ⊂ D i ( G ) , R i ( H ) ⊂ R i ( G ) {\displaystyle D_{i}(H)\subset D_{i}(G),R_{i}(H)\subset R_{i}(G)} なのも明らかである。つまり、冪零群の部分群は冪零群、可解群の部分群は可解群である。
可解群と冪零群

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

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

補題 n ≥ 3 {\displaystyle n\geq 3} のとき、 A n = ⟨ ( i j k ) | i , j , k {\displaystyle A_{n}=\langle (i\ j\ k)|i,j,k} はn以下の相異なる自然数 ⟩ {\displaystyle \rangle } である。
可解群と冪零群

命題 D 1 ( S n ) = A n {\displaystyle D_{1}({\mathfrak {S}}_{n})=A_{n}}
可解群と冪零群

系 S n {\displaystyle {\mathfrak {S}}_{n}} が可解 ⇔ A n {\displaystyle \Leftrightarrow A_{n}} が可解。
可解群と冪零群

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

命題 V = { e , ( 1 2 ) ( 3 4 ) , ( 1 3 ) ( 2 4 ) , ( 1 4 ) ( 2 3 ) } {\displaystyle V=\{e,(1\ 2)(3\ 4),(1\ 3)(2\ 4),(1\ 4)(2\ 3)\}} は A 4 {\displaystyle A_{4}} の部分群であり、
可解群と冪零群

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

系 S 4 {\displaystyle {\mathfrak {S}}_{4}} は可解群。
可解群と冪零群

系 S n ( n ≤ 4 ) {\displaystyle {\mathfrak {S}}_{n}\ (n\leq 4)} は可解群。
可解群と冪零群

では n = 5 {\displaystyle n=5} の場合はどうなのだろうか?結論から言えば、次のことが成り立つ。
可解群と冪零群

命題 D 2 ( S 5 ) = D 1 ( A 5 ) = A 5 {\displaystyle D_{2}({\mathfrak {S}}_{5})=D_{1}(A_{5})=A_{5}}
可解群と冪零群

系 S 5 {\displaystyle {\mathfrak {S}}_{5}} は可解群ではない。
可解群と冪零群

系 S n ( n ≥ 5 ) {\displaystyle {\mathfrak {S}}_{n}\ (n\geq 5)} は可解群ではない。
可解群と冪零群

つまり、対称群 S n {\displaystyle {\mathfrak {S}}_{n}} は n ≤ 4 {\displaystyle n\leq 4} のとき可解群、 n ≥ 5 {\displaystyle n\geq 5} のとき非可解群となることがわかった。
可解群と冪零群

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

の解は
可解群と冪零群

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