\(E\)-solid e-varieties are not finitely based
type: Item
instance of: scholarly article
title: \(E\)-solid e-varieties are not finitely based
zbMATH Open document ID: 0920.20051
DOI: 10.1007/BF02783053
published in: Israel Journal of Mathematics
publication date: 1999-04-27T00:00:00Z
review text: The authors prove a stronger theorem than is suggested by the title: no non-orthodox e-variety of \(E\)-solid semigroups is finitely based. We should explain the framework of this theorem. Y. T. Yeh showed that within the e-varieties of locally inverse semigroups and of \(E\)-solid semigroups (these terms implicitly including regularity), some of the standard concepts of universal algebra have natural analogues. For instance, sub-e-varieties of each (and only of each) possess ``bifree'' semigroups, which play a role akin to free objects in varieties. J. Ka\u{d}ourek and M. B. Szendrei introduced the syntactic notion of ``bi-identity'' for the e-varieties of orthodox semigroups. \textit{K. Auinger} [J. Algebra 166, No. 3, 630-650 (1994; Zbl 0806.20052)] founded an ``equational logic'' for locally inverse semigroups, involving the addition of a binary operation to the signature. \textit{J. Ka\u{d}ourek} and \textit{M. B. Szendrei} [Semigroup Forum 59, No. 3, 470-521 (1999)] founded such a logic for \(E\)-solid semigroups, by adding a partial unary operation to the signature, as follows. One characterization of \(E\)-solid semigroups is that their self-conjugate core -- the smallest subsemigroup that contains the idempotents and is closed under conjugation -- is completely regular: thus on this core is defined the unary operation of inversion. In a bifree \(E\)-solid semigroup the self-conjugate core is the kernel of the natural morphism upon the corresponding free group. Thus, starting with a countably infinite set \(X\), choosing a set \(X'\) in bijection with, and disjoint from, \(X\) and setting \(\overline X=X\cup X'\), form the free unary semigroup \(U(\overline X)\) on \(\overline X\), let \(K(X)\) denote the kernel of the natural morphism upon the free group on \(X\) and let \(T(X)\) be the smallest subsemigroup \(T\) of \(U(\overline X)\) that contains \(\overline X\) and contains \((u)^{-1}\) whenever \(u\in T\cap K(X)\). Then \(T(X)\) is a semigroup on which…
Mathematics Subject Classification ID: 20M17
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 1270360
zbMATH Keywords: bi-identities
zbMATH Keywords: bifree semigroups
zbMATH Keywords: e-varieties of \(E\)-solid semigroups
zbMATH Keywords: e-varieties of locally inverse semigroups
zbMATH Keywords: e-varieties of orthodox semigroups
zbMATH Keywords: idempotents
author: K. Auinger
author: Mária B. Szendrei
reviewed by: Peter R. Jones
MaRDI profile type: Publication
cites work: The bifree locally inverse semigroup on a set
cites work: On the bifree locally inverse semigroup
cites work: A System of Bi-Identities for Locally Inverse Semigroups
cites work: Q3934450
cites work: The free completely regular semigroup on a set
cites work: On regular semigroups
cites work: Identities for existence varieties of regular semigroups
cites work: Q4846425
cites work: An introduction to existence varieties of regular semigroups
cites work: ON SOME EXISTENCE VARIETIES OF LOCALLY INVERSE SEMIGROUPS
cites work: A new approach in the theory of orthodox semigroups
cites work: Q4484922
cites work: The bifree regular \(E\)-solid semigroups
cites work: Congruence extensions in regular semigroups
cites work: Q4227137
cites work: THE EXISTENCE OF E-FREE OBJECTS IN E-VARIETIES OF REGULAR SEMIGROUPS
full work available at URL: https://doi.org/10.1007/bf02783053
OpenAlex ID: W2092338846
Recommended article: On finite bases for varieties and pseudovarieties
Recommended article: E-SOLID E-VARIETIES OF REGULAR SEMIGROUPS WHICH ARE BIEQUATIONAL
Recommended article: On existence varieties of \(E\)-solid semigroups
Recommended article: The finite basis problem for pseudovariety
Recommended article: Nonfinitely based pseudovarieties and inherently nonfinitely based varieties
Recommended article: Q3490146
Recommended article: Essentially infinitely based varieties of algebras
Recommended article: Finitely determined arithmetical varieties need not be universally- finite
Recommended article: On finitely based pseudovarieties of the forms \({\mathbf V}*{\mathbf D}\) and \({\mathbf V}*{\mathbf D}_n\)
description: scientific article; zbMATH DE number 1270360