半群

数学における半群（はんぐん、）は、集合 "S" とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマである。「半群」という名は群に由来する。群と異なり半群では、単位元が存在するとは限らず、また各元は必ずしも逆元を持たない。
半群の演算は多くの場合乗法的に書く（順序対 ("x", "y") に演算を施した結果を "x" • "y" あるいは単に "xy" と表す）。
半群について本格的な研究が行われるようになるのは20世紀に入ってからである。半群は、「無記憶」系 すなわち各反復時点でゼロから開始される時間依存系 の抽象代数的な定式化の基盤であり、数学の様々な分野において重要な概念となっている。応用数学においては、半群はの基本モデルである。また偏微分方程式論では、半群は空間発展的かつ時間非依存な任意の方程式に対応している。有限半群論は1950年代以降、有限半群と有限オートマトンとの間の自然な関連性から、理論計算機科学の分野で特に重要となっている。確率論では半群はマルコフ過程に関連付けられる 。
定義.
集合 "S" とその上の二項演算 • : S × S → S の対 ("S", • ) が以下の条件を満たすとき、これを半群という。
"S" を半群 ("S", •) の台集合とよぶ。また誤解のおそれがなければ「半群 "S"」のように台集合と同じ記号で半群を表す。
台集合が有限集合である半群を有限半群 または有限位数を持つ半群 、台集合が無限集合である半群を無限半群 または無限位数を持つ半群 という。
基本的な概念.
単位元と零元.
任意の半群が持つことのできる単位元は高々ひとつである（これは任意のマグマについても成り立つ）。単位元を持つ半群は、単位的半群あるいはモノイドと呼ばれる。半群 "S" に"S" のどの元とも異なる元 "e" を添加して "S" ∪ {"e"} の各元 "s" に対して "es" = "se" = "s" と定めることによって、半群をモノイドに埋め込むことができる。"S" に単位元を添加して得られるモノイドを "S"1 で表し、"S" の単位元添加あるいは 1-添加と呼ぶ（誤解のおそれがなければ、"S" の 1-添加も同じ記号 "S" で表すこともある）。したがって、任意の可換半群をグロタンディーク構成を通じて群に埋め込むことができる。
任意のマグマが持ちうる吸収元は高々一つであり、半群ではそれを零元と呼ぶ。零元を持たない半群 "S" に "S" に属さない元 0 を添加して、零元付き半群 "S"0 に "S" を埋め込むことができる。"S"0 を "S" の零元添加あるいは 0-添加と呼ぶ。
部分半群とイデアル.
半群 ("S", ∗) の部分集合 "A", "B" が与えられたとき、"A" ∗ "B" （あるいは単に "AB"） で表される "S" の部分集合を
と定める。この記法を用いれば、半群 "S" の部分集合 "A" について
"A" が左イデアルかつ右イデアルであるとき、"A" を両側イデアル あるいは単にイデアル と言う。
半群 "S" の部分半群からなる族の交わりは再び "S" の部分半群となる。すなわち、"S" の部分半群の全体は完備束を成す。
極小イデアル（包含関係に関して極小なイデアル）を持たない半群の例は、正の整数全体が加法に関して成す半群 N である。可換半群の極小イデアルは（存在するならば）群を成す。
元をそれが生成する主イデアルの言葉で特徴付ける、五つの同値関係からなるは半群のイデアルや関連する構造概念を調べる重要な道具である。
半群準同型と半群合同.
半群の準同型 とは半群構造を保つ写像のことである。2つの半群 の間の写像　 が準同型であるとは、等式
が の各元 に対して成立することを言う。つまり（ の中で）積をとってから で写しても、 で写してから（ のなかで）積をとっても同一の結果が得られると言うことである。半群が単位元を持つ場合でも、半群準同型は必ずしも単位元を単位元に移すとは限らない。
ふたつの半群 が同型であるとは、全単射の半群準同型（すなわち半群同型写像） が存在することを言う。同型な半群は、半群として同一の構造を持つ。
半群合同 は、半群演算と両立する同値関係である。つまり、半群合同 は 上の同値関係であって、かつ
が の任意の元 に対して成立するものを言う。任意の同値関係と同じく半群合同 は合同類
を定めるが、さらに合同類の間の二項演算 を
で定めるとこれは矛盾無く定義できて半群演算となる。これにより、半群合同 による合同類の全体 は を演算として半群を成す。この半群を剰余半群 、商半群 などと呼ぶ。自然な写像
は全射半群準同型であり、商写像などと呼ばれる。 がモノイドならばその剰余半群は の単位元の属する合同類を単位元とするモノイドを成す。逆に、任意の半群準同型の核は半群合同を与える。これらの結果は、普遍代数学における第一同型定理の特別な場合にほかならない。
半群の任意のイデアル "I" は、
で定まる半群合同 に関するとして部分半群を誘導する。
半群の構造.
"S" の任意の部分集合 "A" に対し、"A" を含むような "S" の最小の部分半群 "T" が存在する。この "T" を "A" が生成する 部分半群という。"S" の一つの元 "x" が（つまり単元集合 {"x"} が）生成する部分半群（の台集合） { "x""n" | "n" は正の整数} が有限集合であるとき、"x" は有限な位数を持つ、あるいは位数有限 であるといい、そうでないとき無限位数を持つあるいは位数無限 であるという。
半群が周期的 あるいはねじれ半群 であるとは、その任意の元が位数有限であるときに言う。また、ただ一つの元から生成される半群は単項生成または巡回半群であるという。巡回半群が位数無限ならばそれは正の整数全体が加法に関して成す半群に同型であり、位数有限かつ空でないならば少なくとも一つは冪等元を含まねばならない。したがって、任意の空でない周期的半群は少なくともひとつの冪等元を含む。
半群の部分半群は、それ自身が群を成すならば部分群と呼ばれる。半群の部分群と半群の冪等元の間には近しい関係が存在する。半群の各部分群はちょうど一つの冪等元を含み、それはつまり部分群の単位元である。逆に、半群の各冪等元 "e" に対し、"e" を含む極大部分群が唯一つ存在する。半群の各極大部分群は必ずこのやり方で得ることができ、したがって半群の極大部分群と冪等元との間に一対一対応がとれる。ここでの、極大部分群は群論における標準的な語法とは異なる。
位数有限の場合にはさらにいろいろなことが言える。例えば、任意の空でない有限半群は、周期的で、極小イデアルを持ち、少なくとも一つの冪等元を持つ。さらなる有限半群の構造についての議論はの項を参照せよ。
分数群.
半群 "S" の分数群あるいは商の群 "G" = "G"("S") とは、"S" の元全体で生成され、"S" において成立する "xy" = "z" の形の等式すべてを基本関係とするような群である。商の群は "S" から群への射に対する普遍性を示す。
明らかに "S" の各元を "G"("S") の中の対応する生成元に写す写像が存在する。重要な問題として、この写像が埋め込みとなるような半群の特徴づけの問題がある。必ずしも埋め込みとならないことの例として、"S" をある集合 "X" の部分集合が交わりを演算として成す半群がある（実は半束を成す）。これは、"S" の任意の元が "AA" = "A" を満たすから "G"("S") の生成元もすべてそうでなければならず、したがって "G"("S") は自明群となっている。問題の写像 "S" → "G"("S") が埋め込みとなるためには "S" が消約律を満たすことが必要となるのは明らかである。"S" が可換ならばそれは十分条件にもなり、かつ半群のグロタンディーク群が分数群の構成を与える。非可換半群に対するこの問題は半群について本格的にあつかった最初の論文 で追求されている。は1937年に埋め込み可能性についての必要条件を与えている。
偏微分方程式の半群法.
半群論は、偏微分方程式論においてもある種の問題の研究のために用いられる。大雑把にいえば、半群を使った手法というのは偏微分方程式をある種の函数空間上の常微分方程式とみなすことである。例えば、次のような空間的な区間 (0, 1) ⊂ R と時間 "t" ≥ 0 上の熱方程式の初期値/境界値問題
を考える。"X" を"L"2((0, 1); R) とし、"A" を
を定義域とする二階微分作用素とすれば、先ほどの初期値/境界値問題は空間 "X" 上の常微分方程式の初期値問題
として解釈することができる。発見的方法のレベルでいえば、この問題の解は "u"("t") = exp("tA")"u"0 という形をしている「はず」である。しかし厳密に言えば "tA" の冪とは何であるかということに意味を与えなければならない。"t" の函数としては、exp("tA") は "X" から "X" への作用素からなる半群であり、時刻 "t" = "t"0 において初期状態 "u"0 をとり、任意の時刻 "t" において状態 "u"("t") = exp("tA")"u"0 をとるものである。このとき、作用素 "A" はこの半群の無限小生成作用素と呼ばれる。
歴史.
半群の研究は、群や環といったより複雑な公理から決まるほかの代数的構造からすると、随分と若い。いくつかの文献 によれば、半群に対応する用語が用いられた最初はフランス語で、1904年に J.-A. de Séguier の著した "Élements de la Théorie des Groupes Abstraits"（『抽象群原論』）においてである。
Anton Suschkewitschは半群についてのそれなりに意味のある結果を得た最初の人で、1928年の論文 "Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit"（『一意可逆性の条件を外した有限群について』）で有限単純半群の構造を決定し、有限半群の極小イデアル（あるいはグリーンの関係式の "J"-系列）が単純であることを示した。そういったことからすれば、有限群論の基礎付けが行われるのは随分と後になってからのことで、デヴィット・リース、ジェイムス・アレクサンダー・グリーン、Evgenii Sergeevich Lyapin、アルフレッド・クリフォードおよびゴードン・プレストンらによる。最後の二者は半群論に関する二巻のモノグラフを1961年と1967年にそれぞれ出版している。1970年には『半群フォーラム』という定期刊行雑誌（現在はシュプリンガー・フェアラークが編集）が発行され、半群論全般を扱う数少ない数学雑誌の一つとなっている。
近年の在野の研究ではより分化が進んでおり、（逆半群のような）半群の重要なクラスに焦点を当てたモノグラフや、代数的オートマトン理論（特に有限オートマトン）や函数解析学における応用などに焦点を当てたものなども現れている。
一般化.
半群から演算の結合性の公理を落とせば、マグマが得られる。これは 二項演算 "M" × "M" → "M" を備えた集合 "M" という意味以上のものではない。
別な方向での一般化として、n"-項半群 あるいはn"-半群 、多重項半群 とか多項半群 などと呼ばれるタイプの一般化がある。これは演算のアリティを変更し、二項演算の替わりに多項演算を備えた「半群」"G" を考えるものである。結合律の一般化は、たとえば三項版の結合律が
つまり文字列のどの隣り合う三つを括弧で括ったものも相等しい、というふうに与えられる。一般の "n"-項版は "n" + ("n" − 1) の長さの文字列のどの隣り合う "n"-項を括っても相等しいとなる。2-半群が通常の半群である。詳細は を参照