On semigroup presentations

Abstract

Semigroup presentations have been studied over a long period, usually as a means of providing examples of semigroups. In 1967 B. H. Neumann introduced an enumeration method for finitely presented semigroups analogous to the Todd-Coxeter coset enumeration process for groups. A proof of Neumann's enumeration method was given by Jura in 1978.In Section 3 of this paper we describe a machine implementation of a semigroup enumeration algorithm based on that of Neumann. In Section 2 we examine certain semigroup presentations, motivated by the fact that the corresponding group presentation has yielded interesting groups. The theorems, although proved algebraically, were suggested by the semigroup enumeration program. Definitions and preliminary theoremsLet X be a finite set and let F S (X) be the free semigroup (excluding the empty word) on X. Throughout this paper, by a presentation P on X we mean a generating set X together with a finite set of relations L ; = R h i e / where L h R t e F S (X). We write and use the notation SmgpP and GpP for the free-est semigroup on X satisfying the relations L, = i?,, iel and the free-est group on X satisfying the relations L, = /?,, iel, respectively. We are thus only interested in finitely presented semigroups and finitely presented groups. We use the symbols F*J and Z for the set of positive integers and the set of integers, respectively. Definition 1.1. Let P be a presentation on X. We say that SmgpP has a group kernel if it has an ideal which is isomorphic to Gp P. Theorem 1.2. Let P be a presentation, S = SmgpP and G = GpP. (a) S has a group kernel if and only if S has an idempotent e such that Se is a group which is an ideal in S.

Generators and relations of direct products of semigroups

“…However, S is finite. Indeed, it has 11 elements, as can be verified computationally by using the Todd-Coxeter enumeration procedure (see [24], [15], [11], [18], [25]) or directly. Thus, if T is any finitely generated infinite semigroup, then S × T is finitely generated by Theorem 8.2, but is not finitely presented by Theorem 8.3.…”

Notes on a semigroup related to the dicyclic group Qn

“…The elements of A are called generators, and the elements of R are relations. Some preliminaries and more information on semigroup presentations may be found in [3,10]. However, there are many semigroup presentations that each of which has some specific properties [1, 10,11].…”

Non-commutative finite monoids of a given order n ≥ 4

“…Here, our notation is standard and we follow [5,11,12]. one may consult [10] for more information on the presentation of groups.…”