Subsemigroups and complexity via the presentation lemma
type: Item
instance of: scholarly article
title: Subsemigroups and complexity via the presentation lemma
zbMATH Open document ID: 0836.20081
DOI: 10.1016/0022-4049(94)00063-O
author: Beverly Austin
author: Karsten Henckell
author: Chrystopher L. Nehaniv
author: John L. Rhodes
published in: Journal of Pure and Applied Algebra
publication date: 1996-04-16T00:00:00Z
review text: The Krohn-Rhodes decomposition theorem implies that every finite semigroup \(S\) divides an alternating wreath product of groups and finite aperiodic semigroups. The least number of group factors in such a wreath product is called the complexity of \(S\) and denoted \(Sc\). The problem of whether there is an algorithm computing the complexity function remains open for over the past thirty years and has motivated a considerable deal of research in finite semigroup theory. The conjecture that \(Sc\) is the maximum of all \((eSe)c\) where \(e\) ranges over the idempotents of \(S\) was proposed in the late 1960's, being verified in the completely regular case. \textit{J. Rhodes} [J. Algebra 49, 1-45 (1977; Zbl 0379.20054)] gave a counterexample with four non-zero \(\mathcal J\)-classes. To obtain it, he was guided by the Presentation Lemma, a technical result relating complexity of a semigroup \(S\) having a \([0]\)-minimal ideal \(I\) with a nontrivial group such that \(S\) acts faithfully both on the right and on the left of \(I\) (called a group-mapping semigroup) with the complexity of certain associated semigroups via a coordinatization of regular \(\mathcal J\)-classes and the action of \(S\) on them. In the present paper, the authors give a proof of the Presentation Lemma and a categorical formulation of the lemma. This leads to the verification of the above conjecture in several cases, where some technical definitions are left out: (1) when there is a unique maximal \(\mathcal J\)-class among the regular ones containing non- trivial groups; (2) for almost-disjoint semigroups; (3) for overlapping monoids; (4) for semigroups with at most three non-zero \(\mathcal J\)-classes.
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M10
zbMATH DE Number: 802562
zbMATH Keywords: Krohn-Rhodes decomposition theorem
zbMATH Keywords: finite semigroups
zbMATH Keywords: alternating wreath product of groups and finite aperiodic semigroups
zbMATH Keywords: complexity
zbMATH Keywords: idempotents
zbMATH Keywords: regular \(\mathcal J\)-classes
zbMATH Keywords: Presentation Lemma
reviewed by: Jorge Almeida
MaRDI profile type: Publication
Wikidata QID: Q124910146
cites work: Q3848243
cites work: Q4132170
cites work: Pointlike sets: the finest aperiodic cover of a finite semigroup
cites work: Q4872073
cites work: Q4126563
cites work: Q3853827
cites work: Kernel systems - a global study of homomorphisms on finite semigroups
cites work: Q4263906
cites work: Categories as algebra: An essential ingredient in the theory of monoids
description: scientific article; zbMATH DE number 802562