Existence varieties with lattices of regular subsemigroups
type: Item
instance of: scholarly article
title: Existence varieties with lattices of regular subsemigroups
zbMATH Open document ID: 0797.20046
DOI: 10.1007/BF01195377
published in: Algebra Universalis
publication date: 1994-10-24T00:00:00Z
review text: For a regular semigroup, the set \(\text{Sub}(S)\) of its regular subsemigroups forms a partially ordered set under set inclusion. In general, \(\text{Sub}(S)\) is not a sublattice of the lattice of all subsemigroups of \(S\); in fact, it need not even be a lattice at all. It is proven here that if \(S\) is either locally inverse or \(S\)-solid, then \(\text{Sub}(S)\) is indeed a complete lattice, the meet of a family of regular subsemigroups being the set of regular elements of their intersection, in either case. In the context of \(e\)-varieties (classes of regular semigroups closed under products, quotients and regular subsemigroups), this is best possible: any \(e\)-variety \(\mathcal U\) with the property that \(\text{Sub}(S)\) is a lattice for each \(S \in {\mathcal U}\) must be contained in either the \(e\)-variety of locally inverse regular semigroups or that of \(E\)-solid regular semigroups. \{Reviewer's remark: A similar result is proven by \textit{Y. T. Yeh} [Int. J. Algebra Comput. 2, No. 4, 471-484 (1992; Zbl 0765.20030)], where it is used to prove the existence of ``\(e\)-free'' objects in the \(e\)-varieties of locally inverse and \(E\)-solid semigroups\}.
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M17
zbMATH DE Number: 488262
zbMATH Keywords: regular subsemigroups
zbMATH Keywords: regular elements
zbMATH Keywords: \(e\)-varieties
zbMATH Keywords: locally inverse regular semigroups
zbMATH Keywords: \(E\)-solid regular semigroups
author: Katherine G. Johnston
reviewed by: Peter R. Jones
MaRDI profile type: Publication
cites work: On regular semigroups
cites work: Some properties of local subsemigroups inherited by larger subsemigroups
cites work: Identities for existence varieties of regular semigroups
cites work: Regular semigroups: Amalgamation and the lattice of existence varieties
cites work: Q4126563
cites work: Lattice isomorphisms of orthodox semigroups
cites work: The lattice of full regular subsemigroups of a regular semigroup
cites work: A new approach in the theory of orthodox semigroups
cites work: Q3487647
cites work: Q3337662
Recommended article: Q4824732
Recommended article: Lattice isomorphisms of orthodox semigroups
Recommended article: On existence varieties of locally inverse semigroups
Recommended article: Bifree objects in e-varieties of strict orthodox semigroups and the lattice of strict orthodox *-semigroup varieties
Recommended article: Decomposition of regular subsemigroup lattices
Recommended article: Q4515422
Recommended article: Semidirect products of regular semigroups
Recommended article: THE EXISTENCE OF E-FREE OBJECTS IN E-VARIETIES OF REGULAR SEMIGROUPS
Recommended article: \(e\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences
Recommended article: Operators and products in the lattice of existence varieties of regular semigroups
description: scientific article; zbMATH DE number 488262