半群
提供: Yourpedia
半群（はんぐん）とは、結合法則を満たす二項演算の定義された集合のことである。
詳しくいうと、集合 S について、写像 · : S×S → S が定義されていて、· が:(a · b) · c = a · (b · c) を満たすとき、S を半群という。ただし、ここで a · b は (a, b) の · による像 ·(a, b) を表す。演算の記号 · は普通省略され、a · b は ab と書かれる。
また、半群において複数の元に演算を施した結果は、結合法則により、元の並び順さえ変えなければどのような順で演算を施したかを考える必要が無い。そこで、
- a · b · c = (a · b) · c = a · (b · c)
のように演算の処理順を示す括弧は省略する、という記法を採用することができる。
例
- 正の整数全体は加法に関して半群である。
- モノイド、また群はもちろん半群である。
- 唯一つの元 e からなる集合 {e} は ee = e と置けば半群になる。これを自明な半群あるいは一元半群という。
- 集合 S から一つの元 0 を選び、S の演算を、任意の元 x, y に対して xy = 0 と定めると、S は半群である。これを 零半群という。
- ある文字の集合 Σ を決めたときに、その文字から生成される有限な文字列全体の集合は、列をつなげることを演算とみなすことで、半群になる。空文を付け加えれば、これはモノイドになる。この半群を文字 Σ から生成される自由半群という。
- C0-半群は発展方程式の解の時間発展を表す半群である。これは解析における半群の代表例である。
関連する概念
- 単位元付加
- 上の最後の例のように、半群 S が与えられたとき、S のどの元とも異なる元 e を付け加えて ee = e、任意のS の元 a に対して ea = ae = a と e についての演算を定義すれば、S ∪ {e} は e を単位元とする半群になる。これを S に単位元 e を付加した半群と呼ぶ。S に e を付加した半群はモノイドになる。
- 零付加
- 半群 S が与えられたとき、S のどの元とも異なる元 0 を付け加えて、00 = 0、任意の S の元 x に対して x0 = 0x = 0 と定めると S ∪ {0} は 0 を零元として持つ半群になる。これを S に零元 0 を付加した半群という。
- 準同型
- 半群 A から半群 B への写像 f が A の任意の元 a, b について f(ab) = f(a)f(b) を満たすとき、準同型という。さらに、f が全単射であれば、同型という。
- 部分半群・イデアル
- 半群 S の部分集合 A が、そのどの二つの元をかけてもまた A に含まれるとき A を部分半群という。AA := {ab | a∈A, b∈A} という記号を使うと、これは AA が A の部分集合であるというのと同じことである。
- 同じ記号で、SA が A の部分集合であるとき、A を左イデアルという。AS が A の部分集合ならば、A を右イデアルという。右イデアルでかつ左イデアルでもあるとき、両側イデアルまたは単にイデアルという。イデアルの共通部分はまたイデアルである。したがって、どんな半群も高々一つの極小イデアルしか持たない。
- 空でない有限な半群は全て極小イデアルを持つ。正の整数全体のなす半群は、極小イデアルを持たない例である。可換な半群の極小イデアルは、もしそれが存在すれば、群になる。
- 一つの半群について、その部分半群をいくつ取ってきても、その共通部分はまた部分半群になる。つまり、部分半群全体は完備束になる。
関連項目
このページは Wikipedia日本語版由来のコンテンツを利用しています。もとの記事は半群にあります。執筆者のリストは履歴をご覧ください。 Yourpediaと同じく、WikipediaはGFDLのライセンスで提供されています。 コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
