翻訳と辞書
Words near each other
・ 準動詞
・ 準化石
・ 準医療活動従事者
・ 準協定出願
・ 準博士
・ 準占有
・ 準友愛数
・ 準双線型形式
・ 準合成飼料
・ 準同型
準同型写像
・ 準同型定理
・ 準同型暗号
・ 準同期衛星
・ 準同期軌道
・ 準名人
・ 準周期函数
・ 準周期関数
・ 準回帰軌道
・ 準土壌群集


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

準同型写像 : ウィキペディア日本語版
準同型[じゅんどうけい]

準同型(じゅんどうけい、)とは、複数の対象(おもに代数系)に対して、それらの特定の数学的構造に関する類似性を表す概念で、構造を保つ写像である準同型写像(じゅんどうけいしゃぞう、) を持つことを意味する。構造がまったく同じであることを表すときは、準同型・準同型写像の代わりに同型(どうけい、)および同型写像(どうけいしゃぞう、)という術語を用いる。しばしば、準同型写像・同型写像のことを指して単に準同型同型と呼ぶ。いずれも、「型」の代わりに「形」が用いられることが稀にある。

== 定義と概要 ==
''A'' を台集合として、代数的構造 ''R'' をもつ代数系を (''A'', ''R'') と記す。''R'' は演算と呼ばれる写像
の集まりである。同類である二つの代数系 (''A'', ''R''), (''B'', ''S'') (''R'' = λ∈Λ, ''S'' = λ∈Λ) に対し、(''A'', ''R'') から (''B'', ''S'') への準同型写像 (''f'', ''F''): (''A'', ''R'') → (''B'', ''S'') (''F'' = λ∈Λ) とは、台集合の間の写像 ''f'': ''A'' → ''B'' であって、''R'', ''S'' の各々対応する演算 αλ, βλ可換にする(あるいは両立させる)写像 ''f''λ を引き起こすものをいう。つまり
となる写像の組 (''f'', ''F'') を準同型写像と呼ぶのである。ここで、αλ, βλ は |''I''λ| 項演算であるものとする。通常は (''f'', ''F''): (''A'', ''R'') → (''B'', ''S'') を単に準同型 ''f'': ''A'' → ''B'' と略記する。
重要なことは、''A'' の演算と ''B'' の演算とが台集合上の写像 ''f'' のみで一対一に対応させることができるということである。これを、''f'' は構造を保存 する、構造と両立 する、構造と可換 であるなどといい表す。これにより、''A'' における演算が ''f'' で ''B'' に移されると考えることができる。特に、準同型写像 ''f'': ''A'' → ''B'' が与えられたとき、その像 ''f''(''A'') は ''B'' の部分代数系となる。このとき一般には、像 ''f''(''A'') はもとの代数系 ''A'' からある程度 "つぶれている" ため、像 ''f''(''A'') から直接にもとの代数系 ''A'' の様子を知ることは完全にはできないのであるが、この潰れ具合は準同型のと呼ばれる同値関係によって推し量ることができ、それによってもとの代数系 ''A'' を復元することができる。一方、準同型 ''f'' が単射であれば ''A'' は ''B'' にその構造まで込めて埋め込まれる。ゆえに、単射な準同型をしばしば埋め込み(うめこみ、)と呼ぶ。なお、単射な準同型、全射な準同型はそれぞれ単準同型(たんじゅんどうけい、)、全準同型(ぜんじゅんどうけい、)とも言われる。
準同型写像 ''f'' が逆写像 ''f''−1 を持ち、なおかつ ''f''−1 もまた準同型であるとき、''f'' は同型写像あるいは単に同型であるという。''f'' が同型ならば ''f''−1 も同型である。ある数学的構造を持つ二つの集合 ''A'', ''B'' の間に準同型写像が存在するとき、''A'' と ''B'' とは準同型であるといい、さらに同型写像が存在するとき同型であるという。互いに同型な集合はその構造に関しては同じものとみなすことができる。
の準同型(単位元を持つ環としての準同型)は常に単射であり、かつ零射でないのでその像と元の体は同型になる。ゆえに体の場合は準同型といわず中への同型 とよび、さらに全射ならば上への同型 であるという。また、の準同型、ベクトル空間線型写像環上の加群としての準同型)は全単射ならば同型である。
まったく同じ写像でも、ある構造に注目したときは準同型を与えるけれども、始域・終域にさらに構造をいれたり、他の構造を持つ集合と見たりしたときには準同型でないことがありうる。したがって、同時にいくつもの構造を併せ持つ集合たちの間の準同型を扱う時には、それがどの構造と可換であるかをはっきりさせる必要が生じる。

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

英語版ウィキペディアに対照対訳語「 Homomorphism 」があります。



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

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