GRAPH EXPANSIONS OF RIGHT CANCELLATIVE MONOIDS

DOI10.1142/S0218196796000404MaRDI QIDQ4335558zbMATH OpenFDO

Authors Victoria Gould

Publication date 14 July 1997

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196796000404

zbMATH Keywords

\(E\)-unitary inverse monoidsCayley graphsfree left ample monoidsfunctorsgeneratorsGreen's relationsidempotentsinverse monoidsleft adequate monoidsmaximum right cancellative imagespresentationsright cancellative monoids

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) General structure theory for semigroups (20M10) Connections of semigroups with homological algebra and category theory (20M50)

Review text

The relation \({\mathcal R}^*\) on a monoid \(M\) is a natural generalisation of Green's relation \(\mathcal R\) and coincides with \(\mathcal R\) if \(M\) is regular. A monoid \(M\) in which every \(\mathcal R^*\)-class contains an idempotent is called left abundant; if in addition the idempotents of \(M\) commute, that is, \(E(M)\) is a semilattice, then \(M\) is left adequate. Regular monoids are obviously left abundant and inverse monoids are left adequate. Many of the well known results of regular and inverse semigroup theory have analogues for left abundant and left adequate monoids, or at least to special classes thereof. This paper develops a construction of left adequate monoids from the Cayley graph of a presentation of a right cancellative monoid. Monoids constructed in this way belong to the class of proper left ample (formerly proper left type \(A\)) monoids, a widely studied class which contains all \(E\)-unitary inverse monoids. This technique yields the `largest' left ample monoid with a given set of generators and given maximum right cancellative image. In particular a new description of the free left ample monoid on a set \(X\) is obtained. In the last section of the paper the author shows that graph expansions can be used to define a functor from the category of \(X\)-generated right cancellative monoids to the category of \(X\)-generated proper left ample monoids. Further, this functor is a left adjoint of the functor that takes a left ample monoid to its maximum right cancellative image.

Recommendations

• Right cancellative and left ample monoids: quasivarieties and proper covers
• Left adequate and left Ehresmann monoids.
• Graph expansions of unipotent monoids

Cited in

(18)

• A Munn type representation for a class of E-semiadequate semigroups
• Right cancellative and left ample monoids: quasivarieties and proper covers
• A Munn type representation of abundant semigroups with a multiplicative ample transversal
• On graph products of monoids
• scientific article; zbMATH DE number 5990929 (Why is no real title available?)
• Left adequate and left Ehresmann monoids.
• scientific article; zbMATH DE number 5368550 (Why is no real title available?)
• THE FREE AMPLE MONOID
• GRAPH PRODUCTS OF RIGHT CANCELLATIVE MONOIDS
• Left adequate and left Ehresmann monoids. II.
• Enlargements, semiabundancy and unipotent monoids¹
• Graph expansions of unipotent monoids
• Two-sided expansions of monoids
• PROPER COVERS OF AMPLE MONOIDS
• Extensions and covers for semigroups whose idempotents form a left regular band.
• Product decompositions of semigroups induced by action pairs
• F-birestriction monoids in enriched signature
• Pretzel monoids

This page was built for publication: GRAPH EXPANSIONS OF RIGHT CANCELLATIVE MONOIDS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4335558)