\(E\)-free objects and \(E\)-locality for completely regular semigroups
type: Item
instance of: scholarly article
title: \(E\)-free objects and \(E\)-locality for completely regular semigroups
zbMATH Open document ID: 0836.20083
DOI: 10.1007/BF02573644
published in: Semigroup Forum
publication date: 1996-04-16T00:00:00Z
full work available at URL: https://eudml.org/doc/135423
review text: Let \(H\) be a variety of groups and let \(CR(H)\) denote the class of all completely regular semigroups all of whose subgroups belong to \(H\). This class is a variety of unary semigroups and forms an existence variety (e- variety), as well. The main result of the paper states that the e-variety \(CR(H)\) is e-local: each regular semigroupoid \(C\) (i.e. for each edge \(x\) there is an edge \(y\) such that \(x=xyx\)) all of whose local semigroups \(C_c\) belong to \(CR(H)\) divides a member of \(CR(H)\) in a ``regular'' way. Locality of varieties and pseudovarieties of monoids (and semigroups) has been introduced and discussed systematically by \textit{B. Tilson} [J. Pure Appl. Algebra 48, 83-198 (1987; Zbl 0627.20031)] and has been shown to be an indispensable tool for the study of semidirect product decompositions of varieties and pseudovarieties. The present paper deals with the rightful analogue of this concept in the context of regular semigroups and e-varieties, and the result will have important applications in the theory of semidirect product decompositions of e-varieties [see, e.g., \textit{P. R. Jones} and \textit{P. G. Trotter}, Semidirect products of regular semigroups, Trans. Am. Math. Soc. (to appear), and forthcoming papers]. The proof of the main result relies heavily on some knowledge of the bifree semigroup in \(CR(H)\) (termed ``e-free'' object in this paper), and more generally, of the bifree semigroupoid on a graph \(X\) in the e- variety \(lCR(H)\) of all regular semigroupoids whose local semigroups belong to \(CR(H)\). This knowledge, a word problem solution, is obtained as a preliminary result. Finally, it is pointed out that in all stages finiteness may be preserved so that the result is equally important in the context of finite (regular) semigroups, that is, in the context of (e-) pseudovarieties.
reviewed by: K. Auinger
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M17
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 815967
zbMATH Keywords: variety of groups
zbMATH Keywords: completely regular semigroups
zbMATH Keywords: variety of unary semigroups
zbMATH Keywords: existence variety
zbMATH Keywords: e-variety
zbMATH Keywords: local semigroups
zbMATH Keywords: pseudovarieties of monoids
zbMATH Keywords: semidirect product decompositions
zbMATH Keywords: bifree semigroups
zbMATH Keywords: word problem
author: Peter R. Jones
MaRDI profile type: Publication
cites work: The bifree locally inverse semigroup on a set
cites work: The free completely regular semigroup on a set
cites work: Monoid varieties defined by \(x^{n+1}=x\) are local
cites work: An introduction to existence varieties of regular semigroups
cites work: Local varieties of completely regular monoids
cites work: Semidirect products of regular semigroups
cites work: On the word problem for free completely regular semigroups
cites work: Residual finiteness in completely regular semigroup varieties
cites work: The bifree regular \(E\)-solid semigroups
cites work: Categories as algebra: An essential ingredient in the theory of monoids
cites work: Free completely regular semigroups
cites work: THE EXISTENCE OF E-FREE OBJECTS IN E-VARIETIES OF REGULAR SEMIGROUPS
description: scientific article; zbMATH DE number 815967