数学中,半群是闭合于结合性二元运算之下的集合 S 构成的代数结构

半群的运算经常指示为乘号,也就是 或简写为 xy 来指示应用半群运算于有序对 (xy) 的结果。

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

定义

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

相关概念

  • 幺半群独异点
若S上的乘法有幺元单位元),即:∃1∈S,使得∀s∈S,1·s=s·1=s。则S称为幺半群独异点)。
  • 嵌入
任何半群S都可以嵌入到幺半群(通常指示为 )中,简单的通过邻接(adjoining)一个不在S中的元素e,并定义es=s=se对于所有s∈S∪e。
  交换半群可以嵌入到群中当且仅当它有消除性质

例子

历史

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

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

参见

引用

  • 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.

注释

  1. ^ https://web.archive.org/web/19991003231318/http://members.aol.com/jeff570/s.html Earliest Known Uses of Some of the Words of Mathematics
  2. ^ 2.0 2.1 http://www-users.york.ac.uk/~cdh500/suschkewitsch3.pdf[永久失效連結] An account of Suschkewitsch's paper by Christopher Hollings
  3. ^ Varieties of Formal Languages, J.É. Pin, Plenum Press, 1986.