Prerequisite
この節では前節で定義した群の性質について詳しく調べていく.
まずは群の定義に関する命題を示しておく.
を群とするとき次の(i)-(iv)が成り立つ:
- 群の単位元 は一意である.
- 各 の逆元は一意である.
- 積 の逆元は である.
- 任意の の逆元の逆元は である.
(i)を示すために に単位元が2つ が存在するとする.
このとき が単位元であることから であり,他方で が単位元であることから となる.
ゆえに が導かれる.
次に(ii)を示すために を の逆元とする.
逆元の性質から が成り立つ.
これを用いて
がわかる.
1つ目の等号では単位元の性質,2つ目の等号では逆元の性質,3つ目の等号では結合律,4つ目の等号では逆元の性質,そして最後の等号では単位元の性質を適用した.
(iii)については直接の計算から
がわかるので積 の逆元は である.
(iii)について,可換群の場合はあまり恩恵がないが非可換群の場合は意味がある.
たとえば一般線型群で行列の積 の逆元は で与えられる.
(iv)については逆元の定義 において と の役割を入れ替えれば,これは の逆元が であることを意味している.
群 に対して部分集合 を考える.
この が と同じ演算 に関して群となるとき を の部分群 (subgroup) という.
部分群の判定法の1つとして次の定理がある.
が の部分群であることと が以下の(i)-(iii)を満たすことは同値である:
- : の単位元の存在
- に対して :演算が閉じていること
- に対して :逆元の存在
まず が部分群であると仮定する.
すると単位元 が存在する.
単位元の性質から より(i)の がわかる.
また群であることから(ii)の演算で閉じること,(iii)の逆元が存在することは定義より明らかである.
次に(i)-(iii)を仮定して が部分群であることを示そう.
(ii)より は演算 で閉じていて,(i)より単位元 と(iii)より各元の逆元が存在している.
結合律は が群であることから でも満たされる.
以上により は群の公理を満たすことがわかる.
もう一つの部分群の判定法としてこちらの定理も有用である:
が の部分群であることと
が成り立つことは同値である.
まず が部分群であると仮定しよう.
任意の2つの元 をとる.
は群なので逆元 やそれらの演算結果も の元である.
したがって である.
逆に任意の元 に対し を仮定する.
とすると なので単位元が に存在する.
ここから単位元と任意の元 について となり, の各元に逆元が存在する.
それゆえ任意の元で となり,演算が閉じていることが示された.
以上により部分群の判定条件(i)-(iii)が示されたので は部分群である.
偶奇の群 は実数が乗法に関してなす群 の部分群である.
実際単位元は であり演算が閉じていることと逆元の存在は明らかである.
の倍数全体の集合 は の部分集合である.
は加法に関して の部分群になっていることが示せる.
任意の元 はある整数 を用いて と書ける.
また の逆元は である.
よって任意の2つの元 をとって とするとき である.
したがって は の部分群である.
この事実はもっと一般化できて任意の整数 の倍数の集合 は加法に関して の部分群になっている.
2つの群が与えられたときそれらの演算規則の間に対応関係を構成できる.
つまり2つの群が群として同じ構造を持っているかどうかを判定する道具を導入しよう.
まず2つの群 に対して写像 を考える.
任意の2つの元 に対して写像 が
を満たすとき を群準同型写像 (group homomorphism) という.
準同型写像は演算を保っていて,先に演算をしてから で移しても,先に で移してから後で演算をしても同じ結果を得る.
準同型写像は物理学で2つの異なる空間で物理構造を保ってほしいときに便利である.
Noetherの定理にしたがうような連続な変換が群をなす場合,座標空間(または位相空間)から別の空間への準同型写像を用意すればその空間においてもNoetherの定理が適用できる.
つまり物理的に内容がよくわからない空間に自然に保存量を導入することが可能になる.
このような考え方は量子論や一般相対性理論で重要となる.
群準同型写像の性質を示しておこう.
を群準同型写像とするとき
- の単位元を とするとき .
- 任意の に対して .
つまり群準同型写像は単位元と逆元の構造も保っている.
まず(i)を示すためには準同型性により
となることを用いる.
任意の元に逆元は存在するから であり
を得る.
(ii)を示すには任意の元 に対して(i)の結果を用いて
となるので逆元の一意性より の逆元が とわかる.
2つの群 の間の群準同型写像 に逆写像 が存在し も群準同型写像であるとき は群同型写像 (group isomorphism) という.
また2つの群は群同型 (group isomorphic) であるといい と表記する.
準同型写像,同型写像の例を見ていこう.
実は要素が2つの群は全て同型である.
単位元 と単位元以外の元 からなる群 を考える.
単位元の性質から である.
の逆元は自分自身であり の逆元は自分自身でなければならない; .
もし とすると となるが単位元の性質から となり の仮定に反する.
それゆえ演算規則は以下の表のように一意に定まってしまう:
要素が2つの群を2つ用意して と とすれば群同型写像 を としていつでも構成できる.
実数の群 から正の実数の群 への写像 として指数函数 を考えよう.
指数函数は指数法則によって任意の2つの実数 に対して
が成り立つので群準同型写像である.
逆函数は対数函数 であり
を満たすのでやはり群準同型写像である.
よって指数函数は群同型写像であり,群 と は群同型である.
実数上の一般線型群 から 以外の実数 の群を考える.
行列式は写像 は行列式の性質から任意の正則行列 に対して
を満たすので群準同型写像である(単射でないので逆写像は作れない).
Next
- 群準同型定理