Right cancellative and left ample monoids: quasivarieties and proper covers
type: Item
instance of: scholarly article
title: Right cancellative and left ample monoids: quasivarieties and proper covers
zbMATH Open document ID: 0959.20053
author: Victoria Gould
published in: Journal of Algebra
publication date: 2001-01-31T00:00:00Z
review text: Left ample monoids (called left type A in earlier papers by \textit{J.~Fountain} who introduced this notion [in Q. J. Math., Oxf. II. Ser. 28, 285-300 (1977; Zbl 0377.20051)]) can be defined as monoids with commuting idempotents and an additional unary operation \(x\mapsto x^+\) verifying the laws \((x^+)^+=x^+\), \(x^+x=x\), \(xy=zy\Rightarrow xy^+=zy^+\), \(x=x^2\Rightarrow yx=(yx)^+y\). Such monoids have proved to be related to right cancellative monoids in a way very similar to the way inverse semigroups are related to groups. In particular, the notion of a proper cover of a left ample monoid over a given quasivariety \(\mathcal V\) of right cancellative monoids naturally extends the well known notion of an \(E\)-unitary cover of an inverse semigroup over a given variety of groups. Studying proper covers, the author proves the following result analogous to the one obtained by \textit{M.~Petrich} and \textit{N.~R.~Reilly} [Acta Sci. Math. 46, 59-72 (1983; Zbl 0537.20032)] and \textit{F.~Pastijn} [Semigroup Forum 24, 87-88 (1982; Zbl 0503.20023)] in the inverse semigroup setting: if \(\mathcal V\) can be defined within the quasivariety of all right cancellative monoids by a set of identities of type \((2,0)\) then the class \(\widehat{\mathcal V}\) of all left ample monoids having a proper cover in \(\mathcal V\) can be defined by a set of identities of type \((2,1,0)\) within the quasivariety of all left ample monoids, namely, by the set \(\{u^+v=v^+u\mid u=v\) is an identity in \(\mathcal V\}\) (Theorem~5.3). The free objects in \(\widehat{\mathcal V}\) are then characterized as certain graph extensions of the free objects in \(\mathcal V\) (Theorem 5.4) -- the inverse forerunner of this result is due to \textit{S.~W.~Margolis} and \textit{J.~C.~Meakin} [J. Pure Appl. Algebra 58, No.~1, 45-76 (1989; Zbl 0676.20037)].
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M18
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 1471821
zbMATH Keywords: right cancellative monoids
zbMATH Keywords: left ample monoids
zbMATH Keywords: proper covers
zbMATH Keywords: quasivarieties
zbMATH Keywords: graph expansions
zbMATH Keywords: identities
zbMATH Keywords: free objects
MaRDI profile type: Publication
full work available at URL: jabr.1999.8265
OpenAlex ID: W2054384083
cites work: Almost finite expansions of arbitrary semigroups
cites work: Q3934450
cites work: A CLASS OF RIGHT PP MONOIDS
cites work: Adequate Semigroups
cites work: Abundant Semigroups
cites work: Q3804926
cites work: Free right type A semigroups
cites work: The Szendrei expansion of a semigroup
cites work: Proper left type-A monoids revisited
cites work: GRAPH EXPANSIONS OF RIGHT CANCELLATIVE MONOIDS
cites work: Q4846425
cites work: E-unitary inverse monoids and the Cayley graph of a group presentation
cites work: Inverse semigroup varieties generated by E-unitary inverse semigroups
cites work: Q3322300
cites work: A Reiterman theorem for pseudovarieties of finite first-order structures
cites work: A note on Birget-Rhodes expansion of groups
DOI: 10.1006/JABR.1999.8265
description: scientific article; zbMATH DE number 1471821