群同型
(群自己同型から転送)
定義と表記
編集
2つの群 (G, ∗) と (H,
) が与えられたとき、(G, ∗) から (H,
) への群同型写像 (group isomorphism) はG から Hへの全単射群準同型である。説明すると、これが意味するのは、群同型写像は全単射関数
であってすべての u, v∈ Gに対して
が成り立つということである。
2つの群 (G, ∗) と (H,
) が同型 (isomorphic) であるとは、一方から他方への同型写像が存在するということである。これは
と書かれる。
しばしば短く簡潔な表記を用いることができる。適切な群演算があいまいでないときそれらは省略され
と書く。
さらにシンプルに G= Hと書くことさえある。そのような表記が混乱や曖昧さなく可能であるかどうかは文脈に依る。例えば、等号は群が両方同じ群の部分群であるときには全く適切でない。例も参照。
逆に、群 (G, ∗)、集合 H、全単射
が与えられると、
と定義することによって Hを群 (H,
) にできる。
H = Gかつ
= ∗ であれば、全単射は同型である (q.v.)。
直感的には、群論家は2つの同型な群を次のように見る‥ 群 Gのすべての元 gに対して、H のある元 hが存在して、h は gと'同じように振る舞う'︵g と同じように群の他の元と演算する︶。例えば、g が Gを生成すれば、h も Hを生成する。これは特に Gと Hが全単射対応にあることを意味する。したがって、同型写像の定義は極めて自然である。
群の同型写像は群の圏における可逆射としても同等に定義できる。ただしここで可逆は両側逆元を持つことを意味する。
例
編集
●すべての実数が加法についてなす群 (
,+) は、すべての正の実数が乗法についてなす群 (
+,×) に、同型写像
︵指数関数参照︶によって同型である‥
●整数の︵加法︶群
は
の部分群であり、商群
は絶対値1の複素数の︵乗法︶群
に同型である‥
同型写像はすべての
に対して
によって与えられる。
●クラインの四元群 (Klein four-group) は
の2つのコピーの直積に同型であり︵合同算術参照︶、したがって
と書ける。別の表記は Dih2 である、なぜならばそれは二面体群であるからである。
●これを一般化して、すべての奇正数 nに対して、Dih2n は Dihn とZ2 の直積に同型である。
●(G, ∗) が無限巡回群であれば、(G, ∗) は整数全体︵が加法演算についてなす群︶に同型である。代数的な視点からは、これはすべての整数のなす集合が﹁唯一の﹂無限巡回群であることを意味する。
選択公理に依存して同型であることが証明できる群もあるが、証明は具体的な同型写像の構成方法を示さない。例‥
●群 (
, +) はすべての複素数が加法についてなす群 (
, +) に同型である[1]。
●0 でない複素数が乗法を演算としてなす群 (
*, ·) は上で述べた群 S1に同型である。
性質
編集
●(G, ∗) から (H,
) への同型写像の核は必ず {eG} である、ただしeG は群 (G, ∗) の単位元。
●(G, ∗) が (H,
) に同型で Gが可換群であれば Hも可換である。
●(G, ∗) が (H,
) に同型︵で fが同型写像︶であれば、a が Gの元で位数 nであれば、f(a) もそうである。
●(G, ∗) が (H,
) に同型な局所有限群であれば (H,
) も局所有限である。
●前の例は﹁群の性質﹂は同型によって必ず保たれることを 例証している。
巡回群
編集
与えられた︵有限︶位数のすべての巡回群は
に同型である。
G を巡回群とし nを Gの位数とする。すると Gは xによって生成される群である‥
。
を示す。
を
と定義する。明らかに
は全単射である。すると
であり、
が証明された。
結果
編集
定義から次が従う。任意の同型写像
は Gの単位元を Hの単位元に写す
逆元を逆元に写す‥ すべての u∈ Gに対して
そしてより一般に、n 乗を n乗に写す
そして逆写像
も群同型写像である。
関係﹁同型である﹂は同値関係のすべての公理を満たす。f が2つの群 Gと Hの間の同型写像であれば、群構造にのみ関係する Gについて正しいすべてのことは fを通じて Hについての正しい同じ主張に翻訳され、逆もまた然り。
自己同型写像
編集
群 (G, ∗) から自身への同型写像はこの群の自己同型写像 (automorphism) と呼ばれる。したがってそれは全単射
であって
なるものである。
同型写像は常に単位元を単位元に写す。共役類の自己同型写像による像は常に共役類︵同じあるいは別の︶である。元の像はもとの元と同じ位数を持つ。
2つの同型写像の合成は再び同型写像であり、この演算によって群 Gのすべての同型写像からなる集合、Aut(G) と表記される、はそれ自身群をなし、G の自己同型群 (automorphism group) である。
すべてのアーベル群に対して群の元をその逆元で置き換える同型写像が少なくとも存在する。しかしながら、すべての元が逆元に等しい群、例えばクラインの四元群において、これは自明な自己同型写像である。クラインの四元群に対して3つの単位元でない元の置換はすべて自己同型写像であるので、自己同型群は S3と Dih3 に同型である。
素数 pに対して Zpにおいて、1つの単位元でない元は別の元によって置き換えて他のすべての元を対応するように変えることができる。自己同型群は Zp− 1 に同型である。例えば、n = 7 に対して、modulo 7 で3を Z7のすべての元に掛けることは自己同型群において位数6の自己同型である。なぜなら 36≡ 1 (modulo 7) でありこれより低い冪は1にならないからである。したがってこの自己同型写像は Z6を生成する。この性質を持つ自己同型写像がもう1つある‥ modulo 7 で5を Z7のすべての元に掛けること。したがって、これら2つは Z6の元1と5に、この順であるいは逆に、対応する。
Z6 の自己同型群は Z2に同型である、なぜならば2つの元1と5のそれぞれしか Z6を生成しないので、単位元を除いてこれらの交換しかできない。
Z2 × Z2× Z2= Dih2 × Z2の自己同型群は位数 168 を持ち、これは以下のようにしてわかる。すべての7個の単位元でない元は同じ役割を果たすので、どれが (1, 0, 0) の役割を果たすのか選ぶことができる。残りの6個の任意を (0, 1, 0) の役割を果たすように選べる。これはどれが (1, 1, 0) に対応するかを決定する。(0,0,1) に対して4つから選ぶことができ、これで残りが決まる。したがって 7 × 6 × 4 = 168 個の自己同型写像がある。それらはファノ平面の自己同型写像に対応し、その7個の点は7個の単位元でない元に対応する。3つの点を結ぶ線は群演算に対応する‥1つの線上の a, b, cは a+ b= c, a+ c= b, b+ c= aを意味する。general linear group over finite fields も参照。
アーベル群に対して自明なものを除くすべての自己同型写像は外部自己同型と呼ばれる。
非アーベル群は非自明な内部自己同型群を持ち、ひょっとすると外部自己同型も持つかもしれない。
参考文献
編集- Herstein, I. N., Topics in Algebra, Wiley; 2 edition (June 20, 1975), ISBN 0-471-01090-1.
- ^ Ash (1973). “A Consequence of the Axiom of Choice”. Journal of the Australian Mathematical Society 19: 306-308 2013年9月21日閲覧。.