Semigroups of inverse quotients.

DOI10.1007/S10998-012-4890-4MaRDI QIDQ2392042zbMATH OpenOpenAlexFDO

Authors Nassraddin Ghroda, Victoria Gould

Publication date 6 August 2013

Published in Periodica Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1003.3640

zbMATH Keywords

inverse hullsinverse semigroupsleft \(I\)-ordersleft \(I\)-quotientsleft ample semigroupssemigroups of quotients

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Inverse semigroups (20M18)

Abstract: We examine, in a general setting, a notion of inverse semigroup of left quotients, which we call left I-quotients. This concept has appeared, and has been used, as far back as Clifford's seminal work describing bisimple inverse monoids in terms of their right unit subsemigroups. As a consequence of our approach, we find a straightforward way of extending Clifford's work to bisimple inverse semigroups (a step that has previously proved to be awkward). We also put some earlier work on Gantos into a wider and clearer context, and pave the way for further progress.

Review text

The paper discusses the notion of left I-quotients in inverse semigroups. A subsemigroup \(S\) of an inverse semigroup \(Q\) is called a left I-order in \(Q\) (and \(Q\) is a semigroup of left I-quotients of \(S\)) if every \(q\in Q\) can be written as \(q=a^{-1}b\) where \(a,b\in S\). In Section~2 the authors extend the result of \textit{J.~Fountain} and \textit{M.~Petrich} [Math. Proc. Camb. Philos. Soc. 98, 413-426 (1985; Zbl 0589.20042)] by showing that Brandt semigroups of left I-quotients of a given semigroup are unique up to isomorphism. Section~3 focuses on left ample semigroups, i.e.\ on semigroups \(S\) which embed into an inverse semigroup in such a way that if \(a\in S\) then \(aa^{-1}\in S\). Theorem~3.7 states that a left ample semigroup \(S\) is an I-order in its inverse hull if and only if it satisfies \[ \text{for any }a,b\in S,\;Sa\cap Sb=Sc\text{ for some }c \in S.\tag{LC} \] In Section~4 the authors investigate semigroups which are strong semilattices of left ample semigroups having (LC), and they extend the results of \textit{R.~L.~Gantos} [Q. J. Math., Oxf. II. Ser. 22, 379-393 (1971; Zbl 0247.20070)]. Finally, in Section~5 they prove that the category of left ample semigroups with (LC) is equivalent to the category of bisimple inverse semigroups.

Recommendations

• Bisimple Inverse ω-Semigroups of Left Quotients
• Semigroups of left quotients—the uniqueness problem
• Left regular bands of groups of left quotients
• Semigroups of straight left inverse quotients
• Brandt semigroups of quotients

Cites work

• A Class of d-Simple Semigroups
• Adequate Semigroups
• Bicyclic semigroups of left I-quotients.
• Bisimple Inverse Semigroups
• Brandt semigroups of quotients
• Commutative orders
• Completely 0-simple semigroups of quotients
• Congruences on a Bisimple Inverse Semigroup in Terms Of RP-Systems
• Constructing inverse semigroups from category actions
• FAITHFUL FUNCTORS FROM CANCELLATIVE CATEGORIES TO CANCELLATIVE MONOIDS WITH AN APPLICATION TO ABUNDANT SEMIGROUPS
• Homomorphisms of d-simple inverse semigroups with identity
• scientific article; zbMATH DE number 3869616 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 3328203 (Why is no real title available?)
• On the Group of a Set of Partial Transformations
• One-to-one partial right translations of a right cancellative semigroup
• Semigroups of left quotients: existence, straightness and locality.
• SEMILATTICES OF BISIMPLE INVERSE SEMIGROUPS
• The inverse hull of right cancellative semigroups

Cited in

(4)

• Semigroups of straight left inverse quotients
• Lower semimodular inverse semigroups.
• The property of rough quotient semigroup.
• Bisimple Inverse ω-Semigroups of Left Quotients

This page was built for publication: Semigroups of inverse quotients.

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