Rees matrix covers and semidirect products of regular semigroups
type: Item
instance of: scholarly article
title: Rees matrix covers and semidirect products of regular semigroups
zbMATH Open document ID: 0942.20042
published in: Journal of Algebra
publication date: 1999-12-20T00:00:00Z
review text: In this important paper a regular version of Tilson's Delay Theorem is presented [see \textit{B. Tilson}, J. Pure Appl. Algebra 48, 83-198 (1987; Zbl 0627.20031)]. Let \(S\) and \(T\) be regular semigroups, one of them being completely simple and \(T\) acting on \(S\) by endomorphisms on the left. Then within the usual semidirect product \(S*T\) lies the set of all regular elements \(\text{Reg}(S*T)\) which forms a (necessarily regular) subsemigroup. This leads to a definition of a semidirect product \(\mathbf{U*V}\) of e-varieties \(\mathbf U\) and \(\mathbf V\) in a natural way (with the only restriction imposed being that \(*\) is defined only in case that either \(\mathbf U\) or \(\mathbf V\) entirely consists of completely simple semigroups) [for a development of this theory see \textit{P.~R.~Jones} and \textit{P.~G.~Trotter}, Trans. Am. Math. Soc. 349, No. 11, 4265-4310 (1997; Zbl 0892.20037)]. In the present paper those e-varieties \(\mathbf V\) are characterized for which the equation \(L\mathbf{V=V*RZ}\) holds where \(L\) is the usual ``local'' operator and \(\mathbf{RZ}\) denotes the e-variety of all right zero semigroups. The equation is true precisely if every regular category with local monoids in \(\mathbf V\) regularly divides a member of \(\mathbf V\); in turn, this is shown to be equivalent that each regular semigroup with all local submonoids in \(\mathbf V\) regularly divides a regular Rees matrix semigroup over a member of \(\mathbf V\). Reviewer's remark: There is a slight inaccuracy in the proofs of Proposition 1.9 and Theorem 2.1 which is in turn based on an erroneous observation on p.~291 stating that the e-variety generated by a class \(\mathcal C\) of regular semigroups consists of all regular semigroups that are obtained by a finite chain of divisions of direct products of members of \(\mathcal C\). However, there is no plausibility nor an argument that the class so obtained is closed under direct products and so is an e-variety at all. In…
Mathematics Subject Classification ID: 20M17
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M10
zbMATH DE Number: 1348161
zbMATH Keywords: regular semigroups
zbMATH Keywords: e-varieties
zbMATH Keywords: semidirect products
zbMATH Keywords: e-locality
zbMATH Keywords: Delay Theorem
zbMATH Keywords: completely simple semigroups
zbMATH Keywords: regular Rees matrix semigroups
author: Peter R. Jones
reviewed by: K. Auinger
MaRDI profile type: Publication
OpenAlex ID: W1970274625
cites work: Pseudovarieties, Regular Semigroups and Semidirect Products
cites work: Q4132170
cites work: Regular semigroups: Amalgamation and the lattice of existence varieties
cites work: Q4846425
cites work: \(E\)-free objects and \(E\)-locality for completely regular semigroups
cites work: Semidirect products of regular semigroups
cites work: Rees Matrix Covers for Locally Inverse Semigroups
cites work: Rees matrix covers for regular semigroups
cites work: Operators and products in the lattice of existence varieties of regular semigroups
cites work: Associativity of products of existence varieties of regular semigroups
cites work: Categories as algebra: An essential ingredient in the theory of monoids
DOI: 10.1006/JABR.1999.7872
description: scientific article; zbMATH DE number 1348161