半群の場合とは? わかりやすく解説

半群の場合

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/02 17:25 UTC 版)

逆元」の記事における「半群の場合」の解説

詳細は「正則半群」を参照 上述マグマ対する定義は群における「単位元対す逆元」の概念一般化するものであったそれよりは少し判りづらいが、演算結合性仮定する半群において考える)けれども、「単位元存在仮定しない」という形で逆元概念一般化するということも可能であり、ここではそのような定義を与える。 半群 S の元 x が(フォン・ノイマン正則元 ([von Neumann] regular) であるとは、S の元 z で xzx = x を満たすものが存在することを言う。このときしばしば z は x の擬逆元 pseudo-inverse) と呼ばれる。S の元 y が xyx = x かつ y = yxy満たすとき、y は単に x の逆元 (inverse) であるといわれる。x = xzx が成り立つとき、 y = zxz が x のここでいう意味での逆元となることは直ち確かめられるから、したがって任意の正則元は少なくもひとつ逆元を持つ。もうひとつすぐに確かめられることは、y が x の逆元ならば e = xy および f = yx冪等元、つまり ee = e およびff = f成立すること、したがって互いに他の逆である元の対 (x, y) からふたつの冪等元得られex = xf = x, ye = fy = y が成立して、 e は左単位元として、一方 f は右単位元として x に作用すること、および左右入れ替えて y についても同様のことが成り立つということである。このような簡単な視座グリーン関係式英語版)によって一般化され勝手な半群任意の冪等元 e は Re における左単位元、および Le における右単位元となる。もうすこし直観的にいえば、この事実互いに逆である任意の対から局所単位元および局所単位元導かれるということである。 単位半群において、前節定義した意味での逆元概念本節におけるそれよりも真に狭い意味のものになっている。H1 の元は前節単位マグマの意味での逆元を持つのみであるが、その一方で任意の冪等元 e に対する He の元は本節における意味での逆元を持つ。この広い意味での逆元の定義では、かってな半群単位半群において逆元一意である必要はない(し、存在するとも限らない)。任意の元が正則元であるよう半群あるいは単位半群正則半群呼ばれ任意の元が少なくも一つ逆元を持つ。また、任意の元が本節に言う意味での逆元をちょうどひとつだけ持つような半群は逆半群という。そして、ただひとつの冪等元を持つ逆半群は群である。逆半群吸収元 0 を持つことがあるが、(もしあれば 000 = 0満たすから)群ではそのような元は存在しない半群以外の文脈では、本節にいう意味の逆元ただひと存在するとき、それを擬似逆元あるいは準逆元 (quasi-inverse) と呼ぶことがある。このことは(本項で扱う例などのような多く応用において、結合性満足され、この概念単位元に関する(左、右)逆元一般化と見ることができることから正当化される

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

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



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

辞書ショートカット

すべての辞書の索引

「半群の場合」の関連用語

1
4% |||||

半群の場合のお隣キーワード
検索ランキング

   

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



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

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

©2025 GRAS Group, Inc.RSS