群同型

抽象代数学において、群同型（写像） (group isomorphism) は 2 つの群の間の関数であって与えられた群演算と両立する方法で群の元の間の一対一対応ができるものである。2 つの群の間に同型写像が存在すれば、群は同型 (isomorphic) と呼ばれる。群論の見地からは、同型な群は同じ性質を持っており、区別する必要はない。
定義と表記.
2つの群 (, ∗) と (, formula_1) が与えられたとき、(, ∗) から (, formula_1) への"群同型写像" (group isomorphism) は から への全単射群準同型である。説明すると、これが意味するのは、群同型写像は全単射関数 formula_3 であってすべての , ∈ に対して
が成り立つということである。
2つの群 (, ∗) と (, formula_1) が同型 (isomorphic) であるとは、一方から他方への同型写像が存在するということである。これは
と書かれる。
しばしば短く簡潔な表記を用いることができる。適切な群演算があいまいでないときそれらは省略され
と書く。
さらにシンプルに = と書くことさえある。そのような表記が混乱や曖昧さなく可能であるかどうかは文脈に依る。例えば、等号は群が両方同じ群の部分群であるときには全く適切でない。例も参照。
逆に、群 (, ∗)、集合 、全単射 formula_3 が与えられると、
と定義することによって を群 (, formula_1) にできる。
 = かつ formula_1 = ∗ であれば、全単射は同型である ("q.v.")。
直感的には、群論家は 2 つの同型な群を次のように見る： 群 "G" のすべての元 "g" に対して、"H" のある元 "h" が存在して、"h" は "g" と'同じように振る舞う'（"g" と同じように群の他の元と演算する）。例えば、"g" が "G" を生成すれば、"h" も "H" を生成する。これは特に "G" と "H" が全単射対応にあることを意味する。したがって、同型写像の定義は極めて自然である。
群の同型写像は群の圏における可逆射としても同等に定義できる。ただしここで可逆は両側逆元を持つことを意味する。
例.
選択公理に依存して同型であることが証明できる群もあるが、証明は具体的な同型写像の構成方法を示さない。例：
巡回群.
与えられた（有限）位数のすべての巡回群は formula_33 に同型である。
"G" を巡回群とし "n" を "G" の位数とする。すると "G" は "x" によって生成される群である： formula_34。
を示す。
と定義する。明らかに formula_38 は全単射である。すると
であり、formula_35 が証明された。
結果.
定義から次が従う。任意の同型写像 formula_3 は の単位元を の単位元に写す
逆元を逆元に写す： すべての "u" ∈ "G" に対して
そしてより一般に、"n" 乗を "n" 乗に写す
そして逆写像 formula_45 も群同型写像である。
関係「同型である」は同値関係のすべての公理を満たす。"f" が 2 つの群 "G" と "H" の間の同型写像であれば、群構造にのみ関係する "G" について正しいすべてのことは "f" を通じて "H" についての正しい同じ主張に翻訳され、逆もまた然り。
自己同型写像.
群 (, ∗) から自身への同型写像はこの群の自己同型写像 (automorphism) と呼ばれる。したがってそれは全単射 formula_46 であって
なるものである。
同型写像は常に単位元を単位元に写す。共役類の自己同型写像による像は常に共役類（同じあるいは別の）である。元の像はもとの元と同じ位数を持つ。
2 つの同型写像の合成は再び同型写像であり、この演算によって群 のすべての同型写像からなる集合、Aut() と表記される、はそれ自身群をなし、 の"自己同型群" (automorphism group) である。
すべてのアーベル群に対して群の元をその逆元で置き換える同型写像が少なくとも存在する。しかしながら、すべての元が逆元に等しい群、例えばクラインの四元群において、これは自明な自己同型写像である。クラインの四元群に対して 3 つの単位元でない元の置換はすべて自己同型写像であるので、自己同型群は S3 と Dih3 に同型である。
素数 "p" に対して Z"p" において、1 つの単位元でない元は別の元によって置き換えて他のすべての元を対応するように変えることができる。自己同型群は に同型である。例えば、 に対して、modulo 7 で 3 を Z7 のすべての元に掛けることは自己同型群において位数 6 の自己同型である。なぜなら でありこれより低い冪は 1 にならないからである。したがってこの自己同型写像は Z6 を生成する。この性質を持つ自己同型写像がもう 1 つある： modulo 7 で 5 を Z7 のすべての元に掛けること。したがって、これら 2 つは Z6 の元 1 と 5 に、この順であるいは逆に、対応する。
Z6 の自己同型群は Z2 に同型である、なぜならば2つの元 1 と 5 のそれぞれしか Z6 を生成しないので、単位元を除いてこれらの交換しかできない。
 の自己同型群は位数 168 を持ち、これは以下のようにしてわかる。すべての 7 個の単位元でない元は同じ役割を果たすので、どれが (1, 0, 0) の役割を果たすのか選ぶことができる。残りの 6 個の任意を (0, 1, 0) の役割を果たすように選べる。これはどれが (1, 1, 0) に対応するかを決定する。(0,0,1) に対して 4 つから選ぶことができ、これで残りが決まる。したがって 個の自己同型写像がある。それらはの自己同型写像に対応し、その 7 個の点は 7 個の単位元でない元に対応する。3 つの点を結ぶ線は群演算に対応する： 1 つの線上の "a", "b", "c" は , , を意味する。 も参照。
アーベル群に対して自明なものを除くすべての自己同型写像はと呼ばれる。
非アーベル群は非自明な内部自己同型群を持ち、ひょっとすると外部自己同型も持つかもしれない。