翻訳と辞書
Words near each other
・ 群の同型
・ 群の同型写像
・ 群の拡大
・ 群の指数
・ 群の生成元
・ 群の生成系
・ 群の生成集合
・ 群の直和
・ 群の直積
・ 群の積
群の自己同型
・ 群の自己同型写像
・ 群の自由積
・ 群の表現
・ 群の表現論
・ 群の表示
・ 群ようこ
・ 群れ
・ 群れ (曲)
・ 群れる


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

群の自己同型 : ウィキペディア日本語版
群同型[ぐんどうけい]
抽象代数学において、群同型(写像) (group isomorphism) は 2 つのの間の関数であって与えられた群演算と両立する方法で群の元の間の一対一対応ができるものである。2 つの群の間に同型写像が存在すれば、群は同型 (isomorphic) と呼ばれる。群論の見地からは、同型な群は同じ性質を持っており、区別する必要はない。
== 定義と表記 ==

2つの (, ∗) と (, \odot) が与えられたとき、(, ∗) から (, \odot) への''群同型写像'' (group isomorphism) は から への全単射群準同型である。説明すると、これが意味するのは、群同型写像は全単射関数 f : G \rightarrow H であってすべての , ∈ に対して
: f(u
* v) = f(u) \odot f(v)
が成り立つということである。
2つの群 (, ∗) と (, \odot) が同型 (isomorphic) であるとは、一方から他方への同型写像が存在するということである。これは
: (G,
*) \cong (H, \odot)
と書かれる。
しばしば短く簡潔な表記を用いることができる。適切な群演算があいまいでないときそれらは省略され
: G \cong H
と書く。
さらにシンプルに = と書くことさえある。そのような表記が混乱や曖昧さなく可能であるかどうかは文脈に依る。例えば、等号は群が両方同じ群の部分群であるときには全く適切でない。例も参照。
逆に、群 (, ∗)、集合 、全単射 f : G \rightarrow H が与えられると、
: f(u) \odot f(v) = f(u
* v)
と定義することによって を群 (, \odot) にできる。
= かつ \odot = ∗ であれば、全単射は同型である (''q.v.'')。
直感的には、群論家は 2 つの同型な群を次のように見る: 群 ''G'' のすべての元 ''g'' に対して、''H'' のある元 ''h'' が存在して、''h'' は ''g'' と'同じように振る舞う'(''g'' と同じように群の他の元と演算する)。例えば、''g'' が ''G'' を生成すれば、''h'' も ''H'' を生成する。これは特に ''G'' と ''H'' が全単射対応にあることを意味する。したがって、同型写像の定義は極めて自然である。
群の同型写像はにおける可逆としても同等に定義できる。ただしここで可逆は両側逆元を持つことを意味する。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「群同型」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.