查看“半群”的源代码

{{NoteTA|G1=Math}}

在[[数学]]中，'''半群'''是闭合于[[结合律|结合性]][[二元运算]]之下的[[集合]] ''S'' 构成的[[代数结构]]。

半群的运算经常指示为乘号，也就是 <math> x\cdot y</math> 或简写为 ''xy'' 来指示应用半群运算于有序对 (''x'',&nbsp;''y'') 的结果。

半群的正式研究开始于[[二十世纪]]早期。自从1950年代，有限半群的研究在[[理论计算机科学]]中变得特别重要，因为在有限半群和[[有限自动机]]之间有自然的联系。

==定义==
集合S和其上的二元运算·:S×S→S。若·满足结合律，即：∀x,y,z∈S，有(x·y)·z=x·(y·z)，则称有序对(S,·)为'''半群'''，运算·称为该半群的'''乘法'''。实际使用中，在上下文明确的情况下，可以简略叙述为“半群S”。

===相关概念===
*'''幺半群'''（'''独异点'''）
{{main|幺半群}}
:若S上的乘法有'''幺元'''（'''单位元'''），即：∃1∈S，使得∀s∈S，1·s=s·1。则S称为'''幺半群'''（'''独异点'''）。

*'''嵌入'''
:任何半群S都可以嵌入到幺半群(通常指示为<math>S^{1}</math>)中，简单的通过邻接(adjoining)一个不在S中的元素e，并定义es=s=se对于所有s∈S∪e。
:<math>\bullet</math> 交换半群可以嵌入到群中当且仅当它有[[消除性质]]。

==例子==
* 作为一种平凡的情形，空集<math>\varnothing</math>是一个半群。
* 正[[整数]]带有加法运算。
* 闭合在半群运算下的任何半群的[[子集]]。这种子集叫做子半群。
* 运算是[[幂等律|幂等]]的半群叫做[[带 (代数)|带]]。
* 运算是[[幂等律|幂等]]的和[[交换律|交换]]的半群是[[半格]]。
* 任何环的[[环理想|理想]]，给定乘法运算。任何环包括了[[整数]]、[[有理数]]、[[实数]]、[[复数]]或[[四元数]]，带有在环中的值的函数(包括序列)、[[多项式]]和[[矩阵]]。
** [[矩阵单位]]形成了 [[0-简单]]半群。
** 正方[[非负矩阵]]带有矩阵乘法运算。 
* 在某个固定[[字母表 (计算机科学)|字母表]] Σ 上的所有有限[[字符串]]的集合，带有字符串[[串接]]运算。如果包括了[[空串]]，则它实际上是幺半群，叫做“Σ 上的[[自由幺半群]]”；如果排除了空串，则就是半群，叫做“Σ上的[[自由半群]]”。特别地：当 |Σ| = 1 时，Σ上的[[自由幺半群]]（在[[同构]]意义下）即为[[自然数]]带有其加法构成的半群（'''N''',+）（同时也是[[幺半群]]）;而Σ上的[[自由半群]]（在[[同构]]意义下）则是[[正整数]]带有其加法构成的半群（'''N'''*,+）。
* [[变换半群]] : 任何有限半群 ''S'' 都可以被表示为最多 |''S''|+1 个状态的(状态)集合 ''Q'' 的变换。''S'' 的每个元素 ''x'' 是 ''Q'' 到自身的映射 ''x'': ''Q'' → ''Q''，序列 ''xy'' 定义为 ''q''(''xy'') = (''qx'')''y'' 对于 ''Q'' 中的每个 ''q''。序列明显的是结合性运算，等价于[[函数复合]]。这种表示是任何[[自动机]]或[[有限状态机]](FSM)的基础。
* [[双环半群]]。
* [[C0-半群]]。
* [[正规半群]]。
* [[逆半群]]。

==历史==
半群的正式研究比其他起步于[[十九世纪]]中期的代数结构如[[群]]或环要晚一些。一些来源<ref>https://web.archive.org/web/19991003231318/http://members.aol.com/jeff570/s.html Earliest Known Uses of Some of the Words of Mathematics</ref><ref name=Hollings>http://www-users.york.ac.uk/~cdh500/suschkewitsch3.pdf{{dead link|date=2017年11月 |bot=InternetArchiveBot |fix-attempted=yes }} An account of Suschkewitsch's paper by Christopher Hollings</ref>把(法语的)这个术语归功于 J.-A. de Séguier 在1904年在《Élements de la Théorie des Groupes Abstraits》(《抽象群论基础》)中的首次使用。这个术语的英语使用是在1908年 Harold Hinton 的《有限次序群的理论》中。在1970年，叫做《[[半群论坛]]》的新期刊(目前由[[Springer Verlag]]编辑)成为少见的完全关于半群理论的数学期刊之一。

[[Anton Suschkewitsch]] 经常被归功获得了关于半群的第一个非平凡的结果。他1928年的论文《Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit》(《关于没有唯一可逆性规则的有限群》) 确定了有限[[简单半群]]的结构并证明了有限半群的极小理想(或[[Green关系]] J-类)是简单的<ref name=Hollings/>。在这个基点之上，半群理论的基础进一步由 [[David Rees (mathematician)|David Rees]]、[[James Alexander Green]]、[[Evgenii Sergeevich Lyapin]]、[[Alfred H. Clifford]] 和 [[Gordon Preston]] 建立。后面二人在 1961 年出版了半群理论的专论。

有限半群理论比它的无限对应者要更加发达。这特别根源于[[语法半群]]概念，和继而在半群的伪品种和已经被证明在自动机理论中特别多产的所谓的形式语言品种之间的联系<ref>''Varieties of Formal Languages'', J.É. Pin, [[Plenum Press]], 1986.</ref>。

==参见==
* [[Grothendieck群]]

==引用==
* John M. Howie is the author of two books, published twenty years apart, which are often cited as a basic reference in the mathematical community.
**{{cite book|last= Howie|first= John M.|title=Fundamentals of Semigroup Theory|year=1995|publisher=[[Clarendon Press]]|id=ISBN 978-0-19-851194-6}}
**{{cite book|last= Howie|first= John M.|title=Introduction to Semigroup Theory|year=1976|publisher=[[Academic Press]]|id=ISBN 978-0-12-754633-9}}
* Two volumes of [[Samuel Eilenberg]] have also been a common reference for the applications of semigroup theory in theoretical computer science.
**{{cite book|last=Eilenberg|first=Samuel|title=Automata, Languages, and Machines (Vol.A)|publisher=[[Academic Press]]|year= 1973|id=ISBN 978-0-12-234001-7}}
**{{cite book|last=Eilenberg|first=Samuel|title=Automata, Languages, and Machines (Vol.B)|publisher=[[Academic Press]]|year= 1976|id=ISBN 978-0-12-234002-4}}
* ''The algebraic theory of semigroups'', A. H. Clifford and G. B. Preston. American Mathematical Society, 1961 (volume 1), 1967 (volume 2). 
* ''Semigroups: an introduction to the structure theory'', Pierre Antoine Grillet. Marcel Dekker, Inc., 1995. 
* ''Semigroup Forum'' is the best-known periodical devoted specifically to the subject of semigroups.

==注释==
<references/>

{{ModernAlgebra}}

[[Category:半群论|*]]
[[Category:代数结构|B]]