群同型のソースを表示

[[抽象代数学]]において、'''群同型（写像）''' (group isomorphism) は 2 つの[[群 (数学)|群]]の間の[[関数 (数学)|関数]]であって与えられた群演算と両立する方法で群の元の間の一対一対応ができるものである。2 つの群の間に同型写像が存在すれば、群は'''同型''' (isomorphic) と呼ばれる。群論の見地からは、同型な群は同じ性質を持っており、区別する必要はない。

== 定義と表記 ==

2つの[[群 (数学)|群]] ({{mvar|G}}, ∗) と ({{mvar|H}}, <math>\odot</math>) が与えられたとき、({{mvar|G}}, ∗) から ({{mvar|H}}, <math>\odot</math>) への''群同型写像'' (group isomorphism) は{{mvar|G}} から {{mvar|H}} への[[全単射]][[群準同型]]である。説明すると、これが意味するのは、群同型写像は全単射関数 <math>f : G \rightarrow H</math> であってすべての {{mvar|u}}, {{mvar|v}} &isin; {{mvar|G}} に対して
: <math> f(u * v) = f(u) \odot f(v)</math>
が成り立つということである。

2つの群 ({{mvar|G}}, ∗) と ({{mvar|H}}, <math>\odot</math>) が同型 (isomorphic) であるとは、一方から他方への同型写像が存在するということである。これは
: <math>(G, *) \cong (H, \odot)</math>  <!-- the Unicode symbol ≅ is not visible with all browsers and browser settings -->
と書かれる。

しばしば短く簡潔な表記を用いることができる。適切な群演算があいまいでないときそれらは省略され
: <math>G \cong H</math>
と書く。

さらにシンプルに {{mvar|G}} = {{mvar|H}} と書くことさえある。そのような表記が混乱や曖昧さなく可能であるかどうかは文脈に依る。例えば、等号は群が両方同じ群の部分群であるときには全く適切でない。例も参照。

逆に、群 ({{mvar|G}}, ∗)、集合 {{mvar|H}}、全単射 <math>f : G \rightarrow H</math> が与えられると、
: <math>f(u) \odot f(v) = f(u * v)</math>
と定義することによって {{mvar|H}} を群 ({{mvar|H}}, <math>\odot</math>) にできる。

{{mvar|H}} = {{mvar|G}} かつ <math>\odot</math> = ∗ であれば、全単射は同型である (''q.v.'')。

直感的には、群論家は 2 つの同型な群を次のように見る： 群 ''G'' のすべての元 ''g'' に対して、''H'' のある元 ''h'' が存在して、''h'' は ''g'' と'同じように振る舞う'（''g'' と同じように群の他の元と演算する）。例えば、''g'' が ''G'' を生成すれば、''h'' も ''H'' を生成する。これは特に ''G'' と ''H'' が全単射対応にあることを意味する。したがって、同型写像の定義は極めて自然である。

群の同型写像は[[群の圏]]における[[可逆]][[射]]としても同等に定義できる。ただしここで可逆は両側逆元を持つことを意味する。

== 例 ==

* すべての[[実数]]が加法についてなす群 (<math>\mathbb{R}</math>,+) は、すべての正の実数が乗法についてなす群 (<math>\mathbb{R}</math><sup>+</sup>,&times;) に、同型写像
:: <math>f(x) = e^x</math>
:（[[指数関数]]参照）によって同型である：
:: <math>(\mathbb{R}, +) \cong (\mathbb{R}^+, \times).</math>

* [[整数]]の（加法）群 <math>\mathbb{Z}</math> は <math>\mathbb{R}</math> の[[部分群]]であり、[[商群]] <math>\mathbb{R}/\mathbb{Z}</math> は[[絶対値]] 1 の[[複素数]]の（乗法）群 <math>S^1</math> に同型である：
:: <math>\mathbb{R}/\mathbb{Z} \cong S^1</math>
:同型写像はすべての <math>x\in\mathbb{R}</math> に対して
:: <math>f(x + \mathbb{Z}) = e^{2 \pi xi}</math>
:によって与えられる。

* [[クラインの四元群]] (Klein four-group) は <math>\mathbb{Z}_2 = \mathbb{Z}/2\mathbb{Z}</math> の 2 つのコピーの[[群の直積|直積]]に同型であり（[[合同算術]]参照）、したがって <math>\mathbb{Z}_2 \times \mathbb{Z}_2</math> と書ける。別の表記は Dih<sub>2</sub> である、なぜならばそれは[[二面体群]]であるからである。

* これを一般化して、すべての奇正数 ''n'' に対して、Dih<sub>2''n''</sub> は Dih<sub>''n''</sub> と Z<sub>2</sub> の直積に同型である。

* (''G'', ∗) が[[無限巡回群]]であれば、(''G'', ∗) は整数全体（が加法演算についてなす群）に同型である。代数的な視点からは、これはすべての整数のなす集合が「唯一の」無限巡回群であることを意味する。

[[選択公理]]に依存して同型であることが証明できる群もあるが、証明は具体的な同型写像の構成方法を示さない。例：
* 群 (<math>\mathbb{R}</math>, +) はすべての複素数が加法についてなす群 (<math>\mathbb{C}</math>, +) に同型である<ref>{{cite journal |last1= Ash|year=1973 |title=A Consequence of the Axiom of Choice |journal=Journal of the Australian Mathematical Society |volume=19 |pages=306-308 |url=http://journals.cambridge.org/download.php?file=%2FJAZ%2FJAZ1_19_03%2FS1446788700031505a.pdf&code=d2e5b0d7bbbbe7368eb4aa14d4bda045 |accessdate=21 September 2013}}</ref>。
* 0 でない複素数が乗法を演算としてなす群 (<math>\mathbb{C}</math><sup>*</sup>, ·) は上で述べた群 ''S''<sup>1</sup> に同型である。

==性質==

* (''G'', ∗) から (''H'', <math>\odot</math>) への同型写像の[[核 (代数学)|核]]は必ず {e<sub>G</sub>} である、ただし e<sub>G</sub> は群 (''G'', ∗) の単位元。

* (''G'', ∗) が (''H'',<math>\odot</math>) に同型で ''G'' が[[可換群]]であれば ''H'' も可換である。

* (''G'', ∗) が (''H'', <math>\odot</math>) に同型（で ''f'' が同型写像）であれば、''a'' が ''G'' の元で[[位数 (群論)|位数]] ''n'' であれば、''f''(''a'') もそうである。

* (''G'', ∗) が (''H'', <math>\odot</math>) に同型な{{仮リンク|局所有限群|en|locally finite group}}であれば (''H'', <math>\odot</math>) も局所有限である。

* 前の例は「群の性質」は同型によって必ず保たれることを 例証している。

== 巡回群 ==
与えられた（有限）位数のすべての巡回群は <math>(\mathbb{Z}_n, +_n)</math> に同型である。

''G'' を巡回群とし ''n'' を ''G'' の位数とする。すると ''G'' は ''x'' によって生成される群である： <math><x>=\{e,x,...,x^{n-1}\}</math>。
: <math>G \cong (\mathbb{Z}_n, +_n)</math>
を示す。

: <math>\varphi : G \rightarrow \mathbb{Z}_n=\{0,1,...,n-1 \}</math> を <math>\varphi(x^a)=a</math>
と定義する。明らかに <math>\varphi</math> は全単射である。すると
: <math>\varphi(x^a \cdot x^b) = \varphi(x^{a+b}) = a+b = \varphi(x^a)+_n \varphi(x^b)</math>
であり、<math>G \cong (\mathbb{Z}_n, +_n)</math> が証明された。

== 結果 ==

定義から次が従う。任意の同型写像 <math>f : G \rightarrow H</math> は {{mvar|G}} の単位元を {{mvar|H}} の単位元に写す
: <math>f(e_G) = e_H,</math>
逆元を逆元に写す： すべての ''u'' &isin; ''G'' に対して
: <math>f(u^{-1}) = \left[ f(u) \right]^{-1},</math>
そしてより一般に、''n'' 乗を ''n'' 乗に写す
: <math>f(u^n)= \left[ f(u) \right]^n </math>
そして逆写像 <math>f^{-1} : H \rightarrow G</math> も群同型写像である。

関係「同型である」は[[同値関係]]のすべての公理を満たす。''f'' が 2 つの群 ''G'' と ''H'' の間の同型写像であれば、群構造にのみ関係する ''G'' について正しいすべてのことは ''f'' を通じて ''H'' についての正しい同じ主張に翻訳され、逆もまた然り。

== 自己同型写像 ==<!-- This section is linked from [[Abelian group]] -->

群 ({{mvar|G}}, ∗) から自身への同型写像はこの群の[[自己同型写像]] (automorphism) と呼ばれる。したがってそれは全単射 <math>f : G \rightarrow G</math> であって
: <math>f(u) * f(v) = f(u * v)</math>
なるものである。

同型写像は常に単位元を単位元に写す。[[共役類]]の自己同型写像による像は常に共役類（同じあるいは別の）である。元の像はもとの元と同じ位数を持つ。

2 つの同型写像の合成は再び同型写像であり、この演算によって群 {{mvar|G}} のすべての同型写像からなる集合、Aut({{mvar|G}}) と表記される、はそれ自身群をなし、{{mvar|G}} の''自己同型群'' (automorphism group) である。

すべてのアーベル群に対して群の元をその逆元で置き換える同型写像が少なくとも存在する。しかしながら、すべての元が逆元に等しい群、例えば[[クラインの四元群]]において、これは自明な自己同型写像である。クラインの四元群に対して 3 つの単位元でない元の置換はすべて自己同型写像であるので、自己同型群は <var>S</var><sub>3</sub> と Dih<sub>3</sub> に同型である。

素数 ''p'' に対して '''Z'''<sub>''p''</sub> において、1 つの単位元でない元は別の元によって置き換えて他のすべての元を対応するように変えることができる。自己同型群は {{nowrap|'''Z'''<sub><var>p</var> − 1</sub>}} に同型である。例えば、{{nowrap|1=<var>n</var> = 7}} に対して、modulo 7 で 3 を '''Z'''<sub>7</sub> のすべての元に掛けることは自己同型群において位数 6 の自己同型である。なぜなら {{nowrap|3<sup>6</sup> ≡ 1 (modulo 7)}} でありこれより低い冪は 1 にならないからである。したがってこの自己同型写像は '''Z'''<sub>6</sub> を生成する。この性質を持つ自己同型写像がもう 1 つある： modulo 7 で 5 を '''Z'''<sub>7</sub> のすべての元に掛けること。したがって、これら 2 つは '''Z'''<sub>6</sub> の元 1 と 5 に、この順であるいは逆に、対応する。

'''Z'''<sub>6</sub> の自己同型群は '''Z'''<sub>2</sub> に同型である、なぜならば2つの元 1 と 5 のそれぞれしか '''Z'''<sub>6</sub> を生成しないので、単位元を除いてこれらの交換しかできない。

{{nowrap|1='''Z'''<sub>2</sub> × '''Z'''<sub>2</sub> × '''Z'''<sub>2</sub> = Dih<sub>2</sub> × '''Z'''<sub>2</sub>}} の自己同型群は位数 168 を持ち、これは以下のようにしてわかる。すべての 7 個の単位元でない元は同じ役割を果たすので、どれが (1, 0, 0) の役割を果たすのか選ぶことができる。残りの 6 個の任意を (0, 1, 0) の役割を果たすように選べる。これはどれが (1, 1, 0) に対応するかを決定する。(0,0,1) に対して 4 つから選ぶことができ、これで残りが決まる。したがって {{nowrap|1=7 × 6 × 4 = 168}} 個の自己同型写像がある。それらは{{仮リンク|ファノ平面|en|Fano plane}}の自己同型写像に対応し、その 7 個の点は 7 個の単位元でない元に対応する。3 つの点を結ぶ線は群演算に対応する： 1 つの線上の ''a'', ''b'', ''c'' は {{nowrap|1=''a'' + ''b'' = ''c''}}, {{nowrap|1=''a'' + ''c'' = ''b''}}, {{nowrap|1=''b'' + ''c'' = ''a''}} を意味する。[[:en:General_linear_group#Over_finite_fields|general linear group over finite fields]] も参照。

アーベル群に対して自明なものを除くすべての自己同型写像は{{仮リンク|外部自己同型|en|outer automorphism}}と呼ばれる。

非アーベル群は非自明な[[内部自己同型]]群を持ち、ひょっとすると外部自己同型も持つかもしれない。

== 参考文献 ==
* Herstein, I. N., ''Topics in Algebra'', Wiley; 2 edition (June 20, 1975), ISBN 0-471-01090-1.

{{reflist}}

{{DEFAULTSORT:くんとうけい}}
[[Category:群論]]
[[Category:射]]
[[Category:数学に関する記事]]