半群

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学における半群(はんぐん、テンプレート:Lang-en-short)はでない集合 S とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマのことをいう。半群の名は、既存のの概念に由来するものである。半群の概念は、各元が必ずしも逆元を持たないという点で(あるいはさらに単位元すら持たない可能性があるという点で)群の概念とは異なる。

半群の演算はほとんど乗法的に書かれる(順序対 (x, y) に対して演算を施した結果を xy などで、あるいは単に xy で表す)。

半群についてきちんとした形での研究が行われるようになるのは20世紀の初めごろからである。半群は、「無記憶」系 ("memoryless" system) すなわち各反復時点でゼロから開始される時間依存系 (time-dependent system) の抽象代数的な定式化の基盤であるので、数学の各種分野において重要な概念である。応用数学においては、半群はテンプレート:仮リンクの基本モデルである。また偏微分方程式論では、半群は空間発展的かつ時間非依存な任意の方程式に対応している。有限半群論は1950年代以降、有限半群と有限オートマトンとの間の自然な関連性から、理論計算機科学の分野で特に重要となった。確率論では半群はマルコフ過程に関連付けられている テンプレート:Harv

定義

集合 S とその上の二項演算 • : S × S → S が与えられたとき、組 (S, • ) が以下の条件を満たすならば、これを半群という。

結合律
S の各元 a, b, c に対して、等式 (ab) • c = a • (bc) が満たされる。

手短に言えば、半群とは結合的マグマのことである。S を半群 (S, •) の台集合とよび、また誤解の虞が無いならば「半群 S」のように台集合と同じ記号で半群そのものを表す。

台集合が有限集合であるような半群を有限半群 (finite semigroup) または位数有限な半群、有限位数を持つ半群 (semigroup with finite order)、無限集合であるような半群を無限半群 (infinite semigroup) または位数無限な半群、無限位数を持つ半群 (semigroup with infinite order)という。

半群の例

  • 空半群: 空集合は空写像を演算として半群を成す。あまりにもつまらない (trivial) ため、通常は半群の定義に台集合が空でないことを課して、空半群を除外することが多い。
  • 一元半群: 一元集合 {a} に aa = a で演算を定めたものは、ただひとつの元からなる半群となる。これは(同型の違いを除けば)本質的に一つしか存在しない。しばしばこれを自明半群 (trivial semigroup) と呼ぶ。
  • 二元半群: 台集合が二元からなる半群は同型を除いて五種類の異なったものが存在する。
  • 正の整数の全体の成す集合 N は加法に関して半群を成す。
  • 非負正方行列(すべての成分が非負であるような正方行列)の全体に行列の積を与えたものは半群を成す。
  • 任意の環のイデアルの乗法に関する半群である。
  • 文字集合 Σ を固定して、その上の有限文字列の全体を考えれば、文字列の連接を演算とする半群を得られる。これを Σ 上の自由半群という。空文字列をも含めて考えるならこの半群は Σ 上の自由モノイドとなる。
  • 確率分布 F に対して、F の畳み込み冪全体の成す集合に畳み込みを演算として考えたものは半群を成す。これは畳み込み半群 (convolution semigroup) と呼ばれる。
  • 任意のモノイドは単位元を持つ半群である。
  • 任意のは各元が逆元を持つモノイドである。
  • 繰り込み群は群ではないが、慣用されている呼称である。

基本的な概念

単位元と零元

任意の半群(じつは任意のマグマ)が持つことのできる単位元は高々ひとつである。単位元を持つ半群は、単位的半群あるいはモノイドと呼ばれる。「必要ならば」、単位元を持たない半群 S を、単に S のどの元とも異なる元 e を添加して S ∪ {e} の各元 s に対して es = se = s と定めることによって、モノイドに埋め込むことができる。S に単位元を添加して得られるモノイドを S1 で表し、S の単位元添加あるいは 1-添加と呼ぶ(誤解の虞が無いならば、必要に応じて S の 1-添加も同じ記号 S で表すこともある)。したがって、任意の可換半群をグロタンディーク構成を通じて群に埋め込むことができる。

同様に、任意のマグマが持ちうる吸収元は高々一つであり、半群ではそれを零元と呼ぶ。先ほどと同様に、零元を持たない半群 SS に属さない元 0 を添加して、零元付き半群 S0</sub> に S を埋め込むことができる。S0S の零元添加あるいは 0-添加と呼ぶ。

部分半群とイデアル

半群演算はその部分集合の全体における演算を誘導する。半群 (S, ∗) の部分集合 A, B が与えられたとき、AB あるいはよく AB で表される S の部分集合を

<math> AB := \{ab \mid a\in A,\,b\in B\}</math>

で与える。この演算の語法に従えば、半群 S の部分集合 A について

  • AS部分半群 (subsemigroup) であるとは、AAA が満たされるときに言う。
  • AS右イデアル (right ideal) であるとは、ASA となるときに言う。
  • AS左イデアル (left ideal) であるとは、SAA が成り立つことを言う。

A が左イデアルかつ右イデアルであるならば、A両側イデアル (two-sided ideal) あるいは単にイデアル (ideal) と呼ぶ。

S が半群ならば、S の部分半群からなる(任意濃度の)族の交わりは、再び S の部分半群となる。すなわち、S の部分半群の全体は完備束を成す。

極小イデアル(包含関係に関して極小なイデアル)を持たない半群の例は、正の整数全体が加法に関して成す半群 N である。可換半群の極小イデアルは(存在するならば)群を成す。

元をそれが生成する主イデアルの言葉で特徴付ける、五つの同値関係からなるテンプレート:仮リンクは半群のイデアルや関連する構造概念を調べる重要な道具である。

半群準同型と半群合同

半群の準同型 (semigroup homomorphism) とは半群構造を保つ写像のことである。二つの半群 S, T の間の写像 f: ST準同型であるとは、等式

テンプレート:Nowrap beginf(ab) = f(a)f(b)テンプレート:Nowrap end

S の各元 a, b に対して成立するときに言う。つまり(S の中で)積をとってから f で写しても、f で写してから(T のなかで)積をとっても同一の結果が得られる。半群準同型は必ずしもモノイド準同型とならなくてもよい。

ふたつの半群 S, T が互いに同型 (isomorphic) であるとは、全単射な半群準同型(半群の同型写像 (isomorphism)f: ST が存在することを言う。同型な半群は、半群として同一の構造を持つ。

半群合同 (semigroup congruence) ∼ は、半群演算に両立する同値関係である。つまり、半群合同 ∼(⊂ S × S) は S 上の同値関係であって、かつ

xy かつ uv ならば xuyv

S の任意の元 x, y, u, v に対してが成立するものを言う。任意の同値関係と同じく半群合同 ∼ は合同類

<math>[a] = \{x\in S\mid x\sim a\}</math>

を定めるが、さらに合同類の間の二項演算 o を

<math>[u]\circ [v] = [uv]</math>

で定めるとこれは矛盾無く定義できて半群演算となる。これにより、半群合同 ∼ による合同類の全体は o を演算として半群を成す。この半群を剰余半群 (residue class semigroup)商半群 (quotient semigroup) あるいは因子半群 (factor semigroup) などと呼び、S/∼ で表す。写像

<math>S\to S/{\sim{}};\; x \mapsto [x]</math>

は半群準同型であり、商写像 (quotient map)標準全射 (canonical surjection) あるいは標準射影 (projection) などと呼ばれる。S がモノイドならばその剰余半群は S の単位元の属する合同類を単位元とするモノイドを成す。逆に、任意の半群準同型のは半群合同を与える。これらの結果は、普遍代数学における第一同型定理の特別な場合にほかならない。

半群の任意のイデアル I は、

<math>x\,\rho\, y \iff x = y \text{ or } x, y \in I</math>

で定まる半群合同 ρ に関するテンプレート:仮リンクとして部分半群を誘導する。

テンプレート:Seealso

半群の構造

S の任意の部分集合 A に対し、A を含むような S の最小の部分半群 T が存在する。この TA生成する (generate) 部分半群という。S の一つの元 x が(つまり単元集合 {x} が)生成する部分半群(の台集合) { xn | n は正の整数} が有限集合であるとき、x は有限な位数を持つ、あるいは位数有限 (finite order) であるといい、そうでないとき無限位数を持つあるいは位数無限 (infinite order) であるという。 半群が周期的 (periodic) あるいはねじれ半群 (torsion semigroup) であるとは、その任意の元が位数有限であるときに言う。また、ただ一つの元から生成される半群は単項生成または巡回半群であるという。巡回半群が位数無限ならばそれは正の整数全体が加法に関して成す半群に同型であり、位数有限かつ空でないならば少なくとも一つは冪等元を含まねばならない。したがって、任意の空でない周期的半群は少なくともひとつの冪等元を含む。

半群の部分半群は、それ自身が群を成すならば部分群と呼ばれる。半群の部分群と半群の冪等元の間には近しい関係が存在する。半群の各部分群はちょうど一つの冪等元を含み、それはつまり部分群の単位元である。逆に、半群の各冪等元 e に対し、e を含む極大部分群が唯一つ存在する。半群の各極大部分群は必ずこのやり方で得ることができ、したがって半群の極大部分群と冪等元との間に一対一対応がとれる。ここでの、極大部分群は群論における標準的な語法とは異なる。

位数有限の場合にはさらにいろいろなことが言える。例えば、任意の空でない有限半群は、周期的で、極小イデアルを持ち、少なくとも一つの冪等元を持つ。さらなる有限半群の構造についての議論はテンプレート:仮リンクの項を参照せよ。

半群のクラス

  • モノイドは単位的半群である。
  • 部分半群は半群の部分集合であって、もとの半群の演算について閉じているようなものである。部分半群がを成すならば、それをもとの半群の部分群と呼ぶ。
  • はその演算が冪等であるような半群である。
  • 消約半群は左消約律「ab = ac ならば b = c」かつ右消約律「ba = ca ならば b = c」を満たす半群である[1]
  • 半束はその演算が冪等かつ可換な半群である。
  • 0-単純半群
  • 変換半群は何らかの集合上の変換からなる、写像の合成を積とする半群である。任意の有限半群 S は高々 |S| + 1 個の状態をもつ(状態)集合 Q 上の変換半群として表現することができる。S の各元 xQ をそれ自身に写す写像 x: QQ であり、列 xyQ の各元 q に対して q(xy) = (qx)y と定義される。変換の列を作る操作は明らかに結合的演算で、ここでは写像の合成と等価である。この表現は任意のオートマトンあるいは有限状態機械 (FSM) に対する基本である。
  • テンプレート:仮リンク(実はモノイド)は、二つの生成元 p, q が生成する自由半群を基本関係式 pq = 1 で割ったものとして得られる。
  • C0-半群発展方程式の時間発展を表す半群である。これは解析学における半群の代表例である。
  • 正則半群は各元 x が少なくとも一つの一般化逆元 yxyx=x かつ yxy=y を満たす元)を持つ半群である。このとき元 x および y は「互いに逆である」("mutually inverse") ということもある。
  • 逆半群は任意の原がちょうど一つの一般化逆元をもつような正則半群である。あるいは、正則半群が逆半群となるために必要十分な条件として、任意の二つの冪等元が互いに可換となることが挙げられる。
  • アフィン半群Zd の有限生成部分半群に同型な半群である。アフィン半群は可換環論に応用を持つ。

分数群

半群 S分数群あるいは商の群 (group of fractions) G = G(S) とは、S の元全体で生成され、S において成立する xy = z の形の等式すべてを基本関係とするような群である[2]。商の群は S から群への射に対する普遍性を示す[3]

明らかに S の各元を G(S) の中の対応する生成元に写す写像が存在する。重要な問題として、この写像が埋め込みとなるような半群の特徴づけの問題がある。必ずしも埋め込みとならないことの例として、S をある集合 X の部分集合が交わりを演算として成す半群がある(実は半束を成す)。これは、S の任意の元が AA = A を満たすから G(S) の生成元もすべてそうでなければならず、したがって G(S) は自明群となっている。問題の写像 SG(S) が埋め込みとなるためには S消約律を満たすことが必要となるのは明らかである。S が可換ならばそれは十分条件にもなり[4]、かつ半群のグロタンディーク群が分数群の構成を与える。非可換半群に対するこの問題は半群について本格的にあつかった最初の論文 テンプレート:Harv で追求されている[5]テンプレート:仮リンクは1937年に埋め込み可能性についての必要条件を与えている[6]

テンプレート:Seealso

偏微分方程式の半群法

テンプレート:Further

半群論は、偏微分方程式論においてもある種の問題の研究のために用いられる。大雑把にいえば、半群を使った手法というのは偏微分方程式をある種の函数空間上の常微分方程式とみなすことである。例えば、次のような空間的な区間 (0, 1) ⊂ R と時間 t ≥ 0 上の熱方程式の初期値/境界値問題

<math>\begin{cases}
\partial_{t} u(t, x) = \partial_{x}^{2} u(t, x), & (x \in (0, 1), t > 0); \\
 u(t, x) = 0, & (x \in \{ 0, 1 \}, t > 0); \\
 u(t, x) = u_{0} (x), & (x \in (0, 1), t = 0)

\end{cases}</math>

を考える。X L2((0, 1); R) とし、A

<math>D(A) = \{ u \in H^{2}((0, 1); \mathbf{R}) \mid u(0) = u(1) = 0 \}</math>

定義域とする二階微分作用素とすれば、先ほどの初期値/境界値問題は空間 X 上の常微分方程式の初期値問題

<math>\begin{cases} \dot{u}(t) = A u (t); \\ u(0) = u_{0} \end{cases}</math>

として解釈することができる。発見的方法のレベルでいえば、この問題の解は u(t) = exp(tA)u0 という形をしている「はず」である。しかし厳密に言えば tAとは何であるかということに意味を与えなければならない。t の函数としては、exp(tA) は X から X への作用素からなる半群であり、時刻 t = t0 において初期状態 u0 をとり、任意の時刻 t において状態 u(t) = exp(tA)u0 をとるものである。このとき、作用素 A はこの半群の無限小生成作用素と呼ばれる。

歴史

半群の研究は、といったより複雑な公理から決まるほかの代数的構造からすると、随分と若い。いくつかの文献[7][8]によれば、半群に対応する用語が用いられた最初はフランス語で、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-系列)が単純であることを示した[8]。そういったことからすれば、有限群論の基礎付けが行われるのは随分と後になってからのことで、デヴィット・リースジェイムス・アレクサンダー・グリーンEvgenii Sergeevich Lyapinアルフレッド・クリフォードおよびゴードン・プレストンらによる。最後の二者は半群論に関する二巻のモノグラフを1961年と1967年にそれぞれ出版している。1970年には『半群フォーラム』という定期刊行雑誌(現在はシュプリンガー・フェアラークが編集)が発行され、半群論全般を扱う数少ない数学雑誌の一つとなっている。

近年の在野の研究ではより分化が進んでおり、(逆半群のような)半群の重要なクラスに焦点を当てたモノグラフや、代数的オートマトン理論(特に有限オートマトン)や函数解析学における応用などに焦点を当てたものなども現れている。

一般化

半群から演算の結合性の公理を落とせば、マグマが得られる。これは 二項演算 M × MM を備えた集合 M という意味以上のものではない。

別な方向での一般化として、n-項半群 (n-ary semigroup) あるいはn-半群 (n-semigroup)多重項半群 (polyadic semigroup) とか多項半群 (multiary semigroup) などと呼ばれるタイプの一般化がある。これは演算のアリティを変更し、二項演算の替わりに多項演算を備えた「半群」G を考えるものである[9]。結合律の一般化は、たとえば三項版の結合律が

(abc)de = a(bcd)e = ab(cde)

つまり文字列のどの隣り合う三つを括弧で括ったものも相等しい、というふうに与えられる。一般の n-項版は n + (n − 1) の長さの文字列のどの隣り合う n-項を括っても相等しいとなる。2-半群が通常の半群である。詳細はテンプレート:仮リンク を参照

関連項目

  1. テンプレート:Harv
  2. B. Farb, Problems on mapping class groups and related topics (Amer. Math. Soc., 2006) page 357. ISBN 0821838385
  3. M. Auslander and D.A. Buchsbaum, Groups, rings, modules (Harper&Row, 1974) page 50. ISBN 006040387X
  4. テンプレート:Harv
  5. テンプレート:Cite web
  6. テンプレート:Cite journal
  7. Earliest Known Uses of Some of the Words of Mathematics
  8. 8.0 8.1 An account of Suschkewitsch's paper by Christopher Hollings
  9. テンプレート:Citation

参考文献

全般

各論