Finite orthodox locally idempotent semigroups having no finite basis of biidentities.
type: Item
instance of: scholarly article
title: Finite orthodox locally idempotent semigroups having no finite basis of biidentities.
zbMATH Open document ID: 1036.20049
DOI: 10.1016/S0021-8693(03)00310-7
author: Jiří Kad'ourek
published in: Journal of Algebra
publication date: 2003-09-07T00:00:00Z
review text: This paper provides new deep results in the theory of orthodox semigroups. For a variety \(\mathcal A\) of bands, denote by \(\mathcal{AOLB}\) the e-variety of all orthodox, locally idempotent semigroups whose band of idempotents is in \(\mathcal A\). The first fundamental result is the solution to the word problem for the bifree objects in \(\mathcal{AOLB}\). Next, a sub-e-variety \(\mathcal{OZ}\) of \((\mathcal{LRB})\mathcal{OLB}\) (here \(\mathcal{LRB}\) denotes the variety of all left regular bands) is constructed which is (i) finitely generated and (ii) not finitely based. As a consequence, the bifree object (on at least seven generators) in \(\mathcal{OZ}\) serves as an example of a finite orthodox, locally idempotent semigroup which has no finite basis for its bi-identities nor for its semigroup identities -- this solves a longstanding open problem in the theory of identity bases [see \textit{L. N. Shevrin} and \textit{M. V. Volkov}, Izv. Vyssh. Uchebn. Zaved., Mat. 1985, No. 11(282), 3-47 (1985; Zbl 0629.20029) and \textit{M. V. Volkov}, Sci. Math. Jpn. 53, No. 1, 171-199 (2001; Zbl 0990.20039)]; note that the Brandt monoid \(B_2^1\) is \textit{not} a member of the variety generated by this object. On the other hand it is pointed out that \((\mathcal{LRB})\mathcal{OLB}\) itself is also finitely generated, thereby providing an example of a finite orthodox semigroup which is neither strict nor completely regular and which has a finite basis for its bi-identities. The methods of the paper are syntactical; the main ingredients are the invention and the clever use of some, quite sophisticated, new combinatorial invariants of words on a doubled alphabet \(X\cup X'\).
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M17
Mathematics Subject Classification ID: 20M19
zbMATH DE Number: 1975851
zbMATH Keywords: e-varieties
zbMATH Keywords: orthodox semigroups
zbMATH Keywords: identity bases
zbMATH Keywords: bi-identities
zbMATH Keywords: word problem
reviewed by: K. Auinger
MaRDI profile type: Publication
cites work: Free strict inverse semigroups
cites work: Congruences and Green's relations on regular semigroups
cites work: Identities for existence varieties of regular semigroups
cites work: Uncountably many existence varieties of orthodox locally idempotent semigroups
cites work: A new approach in the theory of orthodox semigroups
cites work: On existence varieties of \(E\)-solid semigroups
cites work: On basis of identities of Brandt semigroups
cites work: Free Objects in Certain Varieties of Inverse Semigroups
cites work: On varieties of completely regular semigroups. I
cites work: On varieties of completely regular semigroups. II, III
cites work: Q3661813
cites work: Free Combinatorial Strict Inverse Semigroups
cites work: Q3765976
Recommended article: Uncountably many existence varieties of orthodox locally idempotent semigroups
Recommended article: The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups.
Recommended article: All varieties of regular orthogroups
Recommended article: \(E\)-solid e-varieties are not finitely based
Recommended article: On free spectra of finite completely regular semigroups and monoids.
Recommended article: E-SOLID E-VARIETIES OF REGULAR SEMIGROUPS WHICH ARE BIEQUATIONAL
Recommended article: Uniform bands.
Recommended article: A new approach in the theory of orthodox semigroups
Recommended article: Inverse semigroups and varieties of finite semigroups
Recommended article: On Some Existence Varieties of Locally Orthodox Semigroups
description: scientific article; zbMATH DE number 1975851