定义

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

相关概念

幺半群 （ 独异点 ）

嵌入

例子

作为一种平凡的情形，空集 ∅ ∅ --> {\displaystyle \varnothing } 是一个半群。

正整数带有加法运算。

闭合在半群运算下的任何半群的子集。这种子集叫做子半群。

运算是幂等的半群叫做带。

运算是幂等的和交换的半群是半格。

任何环的理想，给定乘法运算。任何环包括了整数、有理数、实数、复数或四元数，带有在环中的值的函数(包括序列)、多项式和矩阵。

在某个固定字母表Σ 上的所有有限字符串的集合，带有字符串串接运算。如果包括了空串，则它实际上是幺半群，叫做“Σ 上的自由么半群”；如果排除了空串，则就是半群，叫做“Σ上的自由半群”。特别地：当 |Σ| = 1 时，Σ上的自由幺半群（在同构意义下）即为自然数带有其加法构成的半群（ N ,+）（同时也是幺半群）;而Σ上的自由半群（在同构意义下）则是正整数带有其加法构成的半群（ N *,+）。

变换半群: 任何有限半群 S 都可以被表示为最多 | S |+1 个状态的(状态)集合 Q 的变换。 S 的每个元素 x 是 Q 到自身的映射 x : Q → Q ，序列 xy 定义为 q ( xy ) = ( qx ) y 对于 Q 中的每个 q 。序列明显的是结合性运算，等价于函数复合。这种表示是任何自动机或有限状态机(FSM)的基础。

双环半群。

C0-半群。

正规半群。

逆半群。

历史

半群的正式研究比其他起步于十九世纪中期的代数结构如群或环要晚一些。一些来源 把(法语的)这个术语归功于 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-类)是简单的 。在这个基点之上，半群理论的基础进一步由 David Rees、James Alexander Green、Evgenii Sergeevich Lyapin、Alfred H. Clifford 和 Gordon Preston 建立。后面二人在 1961 年出版了半群理论的专论。

有限半群理论比它的无限对应者要更加发达。这特别根源于语法半群概念，和继而在半群的伪品种和已经被证明在自动机理论中特别多产的所谓的形式语言品种之间的联系 。

参见

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.

Two volumes of Samuel Eilenberg have also been a common reference for the applications of semigroup theory in theoretical computer science.

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.

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。