半群準同型と半群合同とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 半群準同型と半群合同の意味・解説 

半群準同型と半群合同

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/06 09:06 UTC 版)

半群」の記事における「半群準同型と半群合同」の解説

半群準同型 (semigroup homomorphism) とは半群構造を保つ写像のことである。二つ半群 S, T の間の写像 f: S → T が準同型であるとは、等式 f(ab) = f(a)f(b) が S の各元 a, b に対して成立するときに言う。つまり(S の中で)積をとってから f で写しても、f で写してから(T のなかで)積をとっても同一結果得られる。(半群単位元持ちモノイドとなる場合であっても半群準同型は必ずしもモノイド準同型とならなくてもよい。 ふたつの半群 S, T が互いに同型であるとは、全単射半群準同型(すなわち半群同型写像)f: S ↔ T が存在することを言う。同型半群は、半群として同一構造を持つ。 半群合同 (semigroup congruence) ∼ は、半群演算両立する同値関係である。つまり、半群合同 ∼ (⊂ S × S) は S 上の同値関係であって、かつ [x ∼ y かつ u ∼ v] ならば xuyv が S の任意の元 x, y, u, v に対して成立するものを言う任意の同値関係同じく半群合同 ∼ は合同類 [ a ] = { x ∈ S ∣ x ∼ a } {\displaystyle [a]=\{x\in S\mid x\sim a\}} を定めるが、さらに合同類の間の二項演算 ∘ を [ u ] ∘ [ v ] = [ u v ] {\displaystyle [u]\circ [v]=[uv]} で定めるとこれは矛盾無く定義できて半群演算となる。これにより、半群合同 ∼ による合同類の全体 S/∼ は ∘ を演算として半群を成す。この半群剰余半群 (residue class semigroup)、商半群 (quotient semigroup, factor semigroup) などと呼ぶ。自然な写像 S → S / ∼ ; x ↦ [ x ] {\displaystyle S\to S/{\sim }\,;\;x\mapsto [x]} は全射半群準同型であり、商写像などと呼ばれる。S がモノイドならばその剰余半群は S の単位元属す合同類を単位元とするモノイドを成す。逆に任意の半群準同型半群合同与える。これらの結果は、普遍代数学における第一同型定理特別な場合ほかならない半群任意のイデアル I は、 x ρ y ⟺ x = y  or  x , y ∈ I {\displaystyle x\,\rho \,y\iff x=y{\text{ or }}x,y\in I} で定まる半群合同 ρ に関するリース剰余半群英語版)として部分半群誘導する。 「正規部分群」、「剰余群」、「環のイデアル」、および「剰余環」も参照

※この「半群準同型と半群合同」の解説は、「半群」の解説の一部です。
「半群準同型と半群合同」を含む「半群」の記事については、「半群」の概要を参照ください。

ウィキペディア小見出し辞書の「半群準同型と半群合同」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「半群準同型と半群合同」の関連用語

1
10% |||||

半群準同型と半群合同のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



半群準同型と半群合同のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの半群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS