今回は群論の基礎について書きたいと思います。
1. 群の定義
群は代数学の基本となる構造を持つ。群は2項演算を持ち、その演算に対し結合則(結合則は演算が順序に依らないことを意味している。)、単位元、逆元を持つものとして定義される。
1.1 群
は二項演算
を持ち二項演算
が以下を満たすとき群と呼ばれる。
[結合則]
に対して
,
[単位元]
が存在して
に対し、
,
[逆元]
に対して
が存在して、![a \cdot a^{-1} = a^{-1} \cdot a = e](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Ccdot%26space%3Ba%5E%7B-1%7D%26space%3B%3D%26space%3Ba%5E%7B-1%7D%26space%3B%5Ccdot%26space%3Ba%26space%3B%3D%26space%3Be)
更に、
[可換則]
に対して![a \cdot b = b \cdot a](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Ccdot%26space%3Bb%26space%3B%3D%26space%3Bb%26space%3B%5Ccdot%26space%3Ba)
を満たすとき、二項演算・を+と書きGをアーベル群と呼ぶ。
1.2 同値関係と商集合
集合に於いて集合の元同士を同一視してより小さな集合を考えることがある。これを元の集合の商集合と呼ぶ。
1.2.1 同値関係
集合Aに対し同値関係~とは、
[反射律]
に対し
,
[対称率]
ならば、
,
[推移律]
かつ
ならば、![a \sim c](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Csim%26space%3Bc)
を満たす関係(集合論に於いて、集合Aの関係Rは
であって、
ならば
であり、それ以外は
と定義される。)
の事を言う。
1.2.2 商集合
集合Aに対し同値関係~に依る商集合A / ~は、
![A /\sim := \left\{ \ [a] \ | \ a\sim b \Rightarrow [a] = [b] \ \right\}](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3FA%26space%3B%2F%5Csim%26space%3B%3A%3D%26space%3B%5Cleft%5C%7B%26space%3B%5C%26space%3B%5Ba%5D%26space%3B%5C%26space%3B%7C%26space%3B%5C%26space%3Ba%5Csim%26space%3Bb%26space%3B%5CRightarrow%26space%3B%5Ba%5D%26space%3B%3D%26space%3B%5Bb%5D%26space%3B%5C%26space%3B%5Cright%5C%7D)
に依り定義される。
商集合は集合の直和分解を与える。即ち集合Aは互いに素な集合
を用いて、
と書かれ、逆に集合Aの直和分解は集合Aの同値関係を与える。
1.2.3 正規部分群と剰余群
群Gの部分集合Hが元の演算をHに制限した二項演算に対してまた群を成すとき、HをGの部分群と呼ぶ。
部分群Hを単位元eと考えて得られる(これは後で定義する正規部分群Hの共役類に演算を定義するということを意味する。)新しい群を考えたい。その為に、
![[a] \cdot [b] = (a \cdot H) \cdot (b \cdot H) = a \cdot H \cdot b \cdot H](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%5Ba%5D%26space%3B%5Ccdot%26space%3B%5Bb%5D%26space%3B%3D%26space%3B%28a%26space%3B%5Ccdot%26space%3BH%29%26space%3B%5Ccdot%26space%3B%28b%26space%3B%5Ccdot%26space%3BH%29%26space%3B%3D%26space%3Ba%26space%3B%5Ccdot%26space%3BH%26space%3B%5Ccdot%26space%3Bb%26space%3B%5Ccdot%26space%3BH)
![= (a \cdot b) \cdot H \cdot H = (a \cdot b) \cdot H = [a \cdot b]](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%3D%26space%3B%28a%26space%3B%5Ccdot%26space%3Bb%29%26space%3B%5Ccdot%26space%3BH%26space%3B%5Ccdot%26space%3BH%26space%3B%3D%26space%3B%28a%26space%3B%5Ccdot%26space%3Bb%29%26space%3B%5Ccdot%26space%3BH%26space%3B%3D%26space%3B%5Ba%26space%3B%5Ccdot%26space%3Bb%5D)
という計算をしたい。ここで用いたルールは、
![a \cdot H = H \cdot a](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Ccdot%26space%3BH%26space%3B%3D%26space%3BH%26space%3B%5Ccdot%26space%3Ba)
である。これは元で書くと、
に対して
が存在して、
![a \cdot h = h' \cdot a](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Ccdot%26space%3Bh%26space%3B%3D%26space%3Bh%27%26space%3B%5Ccdot%26space%3Ba)
が成り立つことを意味する。これが成り立つ部分群HをGの正規部分群と呼ぶ。
1.2.4 共役類
群Gの部分群Hの共役類G/Hとは同値類、
![a \sim b \Leftrightarrow a^{-1} \cdot b \in H](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Csim%26space%3Bb%26space%3B%5CLeftrightarrow%26space%3Ba%5E%7B-1%7D%26space%3B%5Ccdot%26space%3Bb%26space%3B%5Cin%26space%3BH)
に依り定義される商集合のことである。
共役類の元は、
![[a] = aH](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%5Ba%5D%26space%3B%3D%26space%3BaH)
と書ける。
1.2.5 正規部分群
群Gの部分群Hが正規部分群であるとは、
と
に対して
が存在して、
![a \cdot h = h' \cdot a](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Fa%26space%3B%5Ccdot%26space%3Bh%26space%3B%3D%26space%3Bh%27%26space%3B%5Ccdot%26space%3Ba)
が成り立つことと定義される。
1.2.6 剰余群
Gの正規部分群Hに対して、その共役類G/Hに演算を
![[a] \cdot [b] = [a \cdot b]](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%5Ba%5D%26space%3B%5Ccdot%26space%3B%5Bb%5D%26space%3B%3D%26space%3B%5Ba%26space%3B%5Ccdot%26space%3Bb%5D)
で定義して得られる群をGのHに依る剰余群と呼ぶ。
特にアーベル群では、全ての部分群が正規部分群になる。従って全ての部分群に対してその剰余群を考えることが出来る。
1.3 準同型
群
に対し(区別が必要なときのみ、積のドットの右下に集合のラベルをつけることにする。)、写像
が存在して、
![f(a \cdot_G b) = f(a) \cdot_H f(b)](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Ff%28a%26space%3B%5Ccdot_G%26space%3Bb%29%26space%3B%3D%26space%3Bf%28a%29%26space%3B%5Ccdot_H%26space%3Bf%28b%29)
を満たすとき、写像fを群GからHへの(群)準同型写像と呼び、GとHは準同型であるという。
1.4 核と準同型定理
準同型写像には、その単射度合いを調べる道具``核''(核は群に対して定義する他にもフォーマルに定義することが出来る。しかしここでは簡単のため``基点のある場合''の核の定義を行う。)がある。核は以下のように定義される。
1.4.1 核
![\mathrm{ker} f := \{ \ g \in G \ | \ f(g)=e_H \ \}](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%5Cmathrm%7Bker%7D%26space%3Bf%26space%3B%3A%3D%26space%3B%5C%7B%26space%3B%5C%26space%3Bg%26space%3B%5Cin%26space%3BG%26space%3B%5C%26space%3B%7C%26space%3B%5C%26space%3Bf%28g%29%3De_H%26space%3B%5C%26space%3B%5C%7D)
核が自明、つまり
の時、写像fは単射である。これは必要十分条件である。即ち、
![f(a) = f(b)](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Ff%28a%29%26space%3B%3D%26space%3Bf%28b%29)
![f(a)\cdot_H (f(b))^{-1} = e_H](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Ff%28a%29%5Ccdot_H%26space%3B%28f%28b%29%29%5E%7B-1%7D%26space%3B%3D%26space%3Be_H)
![f(a) \cdot_H f(b^{-1}) = e_H](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Ff%28a%29%26space%3B%5Ccdot_H%26space%3Bf%28b%5E%7B-1%7D%29%26space%3B%3D%26space%3Be_H)
![f(a \cdot_G b^{-1}) = e_H](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3Ff%28a%26space%3B%5Ccdot_G%26space%3Bb%5E%7B-1%7D%29%26space%3B%3D%26space%3Be_H)
より、
が自明ならばa=bであるし、a=bならば
は自明である。
また、ここでは示さないが核は正規部分群をなす。従って群Gを
で潰した剰余群
![\mathrm{Coim}f := G/ \mathrm{ker} f](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%5Cmathrm%7BCoim%7Df%26space%3B%3A%3D%26space%3BG%2F%26space%3B%5Cmathrm%7Bker%7D%26space%3Bf)
を考えると、準同型写像fから導かれる自然な準同型写像
が単射になる。つまり、行き先を
の像に制限すれば、この準同型
は準同型写像かつ全単射写像、つまり同型写像になる。この事実を準同型定理と呼ぶ。
![\mathrm{Coim} \ f \simeq \mathrm{Im} \ f](https://img-proxy.blog-video.jp/images?url=http%3A%2F%2Flatex.codecogs.com%2Fgif.latex%3F%5Cmathrm%7BCoim%7D%26space%3B%5C%26space%3Bf%26space%3B%5Csimeq%26space%3B%5Cmathrm%7BIm%7D%26space%3B%5C%26space%3Bf)
1. 群の定義
群は代数学の基本となる構造を持つ。群は2項演算を持ち、その演算に対し結合則(結合則は演算が順序に依らないことを意味している。)、単位元、逆元を持つものとして定義される。
1.1 群
[結合則]
[単位元]
[逆元]
更に、
[可換則]
を満たすとき、二項演算・を+と書きGをアーベル群と呼ぶ。
1.2 同値関係と商集合
集合に於いて集合の元同士を同一視してより小さな集合を考えることがある。これを元の集合の商集合と呼ぶ。
1.2.1 同値関係
集合Aに対し同値関係~とは、
[反射律]
[対称率]
[推移律]
を満たす関係(集合論に於いて、集合Aの関係Rは
の事を言う。
1.2.2 商集合
集合Aに対し同値関係~に依る商集合A / ~は、
に依り定義される。
商集合は集合の直和分解を与える。即ち集合Aは互いに素な集合
1.2.3 正規部分群と剰余群
群Gの部分集合Hが元の演算をHに制限した二項演算に対してまた群を成すとき、HをGの部分群と呼ぶ。
部分群Hを単位元eと考えて得られる(これは後で定義する正規部分群Hの共役類に演算を定義するということを意味する。)新しい群を考えたい。その為に、
という計算をしたい。ここで用いたルールは、
である。これは元で書くと、
が成り立つことを意味する。これが成り立つ部分群HをGの正規部分群と呼ぶ。
1.2.4 共役類
群Gの部分群Hの共役類G/Hとは同値類、
に依り定義される商集合のことである。
共役類の元は、
と書ける。
1.2.5 正規部分群
群Gの部分群Hが正規部分群であるとは、
が成り立つことと定義される。
1.2.6 剰余群
Gの正規部分群Hに対して、その共役類G/Hに演算を
で定義して得られる群をGのHに依る剰余群と呼ぶ。
特にアーベル群では、全ての部分群が正規部分群になる。従って全ての部分群に対してその剰余群を考えることが出来る。
1.3 準同型
群
を満たすとき、写像fを群GからHへの(群)準同型写像と呼び、GとHは準同型であるという。
1.4 核と準同型定理
準同型写像には、その単射度合いを調べる道具``核''(核は群に対して定義する他にもフォーマルに定義することが出来る。しかしここでは簡単のため``基点のある場合''の核の定義を行う。)がある。核は以下のように定義される。
1.4.1 核
核が自明、つまり
より、
また、ここでは示さないが核は正規部分群をなす。従って群Gを
を考えると、準同型写像fから導かれる自然な準同型写像