半群 - 変更履歴

小内山晶: /* 関連項目 */

2010-08-19T00:13:35Z

‎関連項目

2007年5月16日 (水) 18:29にキリカによる

2007-05-16T18:29:57Z

キリカ: http://ja.wikipedia.org/w/index.php?title=半群&oldid=12519203

2007-05-16T18:29:33Z

http://ja.wikipedia.org/w/index.php?title=半群&oldid=12519203

新規ページ

'''半群'''（はんぐん）とは、[[結合法則]]を満たす[[二項演算]]の定義された[[集合]]のことである。

詳しくいうと、集合 ''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-半群|''C''<sub>0</sub>-半群]]は[[発展方程式]]の[[解]]の時間発展を表す半群である。これは[[解析]]における半群の代表例である。

==関連する概念==
;単位元付加 :上の最後の例のように、半群 ''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'' に対して ''x''0 = 0''x'' = 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'' を'''右イデアル'''という。右イデアルでかつ左イデアルでもあるとき、'''両側イデアル'''または単に'''[[イデアル]]'''という。イデアルの[[共通部分]]はまたイデアルである。したがって、どんな半群も[[高々 (数学)|高々]]一つの極小イデアルしか持たない。

:空でない有限な半群は全て極小イデアルを持つ。正の整数全体のなす半群は、極小イデアルを持たない例である。[[交換法則|可換な]]半群の極小イデアルは、もしそれが存在すれば、群になる。

:一つの半群について、その部分半群をいくつ取ってきても、その共通部分はまた部分半群になる。つまり、部分半群全体は[[束 (数学)|完備束]]になる。

==関連項目==
*[[代数的構造]]

[[Category:代数的構造|はんくん]]
[[Category:数学に関する記事|はんくん]]

[[ar:نصف زمرة]]
[[cs:Pologrupa]]
[[de:Halbgruppe]]
[[en:Semigroup]]
[[eo:Duongrupo (algebro)]]
[[es:Semigrupo]]
[[fr:Semigroupe]]
[[hu:Félcsoport]]
[[it:Semigruppo]]
[[ko:반군 (수학)]]
[[nl:Halfgroep]]
[[pl:Półgrupa]]
[[pt:Semigrupo]]
[[ru:Полугруппа]]
[[sk:Pologrupa]]
[[sl:Polgrupa]]
[[sr:Полугрупа]]
[[sv:Semigrupp]]
[[zh:半群]]

@@ 35行目: / 35行目: @@
 ==関連項目==
 *[[代数的構造]]
 [[Category:代数的構造|はんくん]]
@@ 40行目: / 41行目: @@
 [[en:Semigroup]]

@@ 39行目: / 39行目: @@
 [[Category:数学に関する記事|はんくん]]
 [[en:Semigroup]]
-[[eo:Duongrupo (algebro)]]
-[[es:Semigrupo]]
+<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
-[[fr:Semigroupe]]
+このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/半群 '''半群''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=半群&amp;action=history '''履歴''']をご覧ください。
-[[hu:Félcsoport]]
+[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
-[[it:Semigruppo]]
+コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
-[[ko:반군 (수학)]]
+</div>
-[[nl:Halfgroep]]
+[[Category:Wikipedia出典元の記事|{{PAGENAME}}]]
-[[pl:Półgrupa]]
-[[pt:Semigrupo]]
-[[ru:Полугруппа]]
-[[sk:Pologrupa]]
-[[sl:Polgrupa]]
-[[sr:Полугрупа]]
-[[sv:Semigrupp]]
-[[zh:半群]]