Automatic presentations for semigroups
Automatic presentations for semigroups
复制标题
半群的自动呈现
DOI：
10.1016/j.ic.2009.02.005
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
R. Thomas
中科院分区：
文献类型：
--
作者：
Alan J. Cain;G. Oliver;N. Ruškuc;R. Thomas
本文将 FA 可表示结构的概念应用于半群。我们给出了有限生成的 FA 可表示取消半群的完整分类：即，有限生成的取消半群当且仅当它是虚拟阿贝尔群的子半群时才是 FA 可表示的。我们证明所有有限生成的交换半群都是 FA 可表示的。我们给出了 FA 可表示的单关系半群的完整列表，并比较了 FA 可表示的半群和自动半群的类别。
This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group. We prove that all finitely generated commutative semigroups are FA-presentable. We give a complete list of FA-presentable one-relation semigroups and compare the classes of FA-presentable semigroups and automatic semigroups.