# Semigroups of straight left inverse quotients

Victoria Gould  Department of Mathematics, University of York, Heslington,
York, YO10 5DD, UK<EMAIL_ADDRESS>and  Georgia Schneider
Department of Mathematics, University of Manchester, Oxford Road, Manchester,
M13 9PL, UK<EMAIL_ADDRESS>
###### Abstract.

Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a _left I-order_
in $Q$ and $Q$ is a _semigroup of left I-quotients_ of $S$ if every element in
$Q$ can be written as $a^{-1}b$, where $a,b\in S$ and $a^{-1}$ is the inverse
of $a$ in the sense of inverse semigroup theory. If we insist on being able to
take $a$ and $b$ to be $\mathcal{R}$-related in $Q$ we say that $S$ is
_straight_ in $Q$ and $Q$ is a _semigroup of straight left I-quotients_ of
$S$. We give a set of necessary and sufficient conditions for a semigroup to
be a straight left I-order. The conditions are in terms of two binary
relations, corresponding to the potential restrictions of ${\mathcal{R}}$ and
${\mathcal{L}}$ from an oversemigroup, and an associated partial order. Our
approach relies on the meet structure of the $\mathcal{L}$-classes of inverse
semigroups. We prove that every finite left I-order is straight and give an
example of a left I-order which is not straight.

###### Key words and phrases:

Inverse semigroup, I-order, I-quotients

###### 2021 Mathematics Subject Classification:

Primary: 20M05, 20M10 Secondary: 20F05

This work forms part of the PhD of the second author. It was completed whilst
she was supported by a Heilbronn Fellowship.

##  1\. Introduction

Several definitions of a semigroup of quotients have been proposed and studied
by a number of authors, each with their own purpose. The earliest definition
is that of a group of left quotients, introduced by Dubreil in 1943 [4],
building on the work of Ore on rings of left quotients [21]. A subsemigroup
$S$ of a group $G$ is a left order in $G$ and $G$ is a group of left quotients
of $S$ if every $g\in G$ can be written as $g=a^{-1}b$ for some $a,b\in S$.
Ore and Dubreil showed that a semigroup $S$ has a group of left quotients if
and only if $S$ is cancellative and satisfies the left Ore condition. The left
Ore condition, also known as right reversibility, says that for any $a,b\in S$
there exists $c,d\in S$ such that $ca=db$.

In 1950 Murata [19] extended the notions of groups and rings of left quotients
to semigroups. He did this by insisting that the semigroup of quotients be a
monoid, and then by considering inverses lying in the group of units. To be
precise, a subsemigroup $S$ of a monoid $M$ is a _classical 111The terminology
classical is ours. left order_ in $M$ and $M$ is a _semigroup of classical
left quotients_ of $S$ if every $m\in M$ can be written as $m=a^{-1}b$ for
some $a,b\in S$, where $a^{-1}$ is the inverse of $a$ in the group of units of
$M$, and if, in addition, every cancellative element of $S$ lies in the group
of units of $M$. Murata showed that a semigroup $S$ has a monoid of classical
left quotients if and only if $S$ satisfies the left Ore-Asano condition,
which is the relevant weakening of the left Ore condition. The condition that
cancellative elements of $S$ must acquire an inverse in the group of units of
$M$ exactly reflects the corresponding condition in classical ring theory.

Unlike the case for rings and groups, the identity of a monoid may have little
influence on its structure. In part to reflect this, a different definition of
semigroup of quotients, and one which does not insist on the oversemigroup
being a monoid, was proposed by Fountain and Petrich in 1986 [8]. It was
initially restricted to completely 0-simple semigroups of (two-sided)
quotients; only in the degenerate case are these monoids. The first author
[12] formally extended this concept to left orders in an arbitrary semigroup,
as follows. A subsemigroup $S$ of a semigroup $Q$ is a left Fountain-Gould
order in $Q$ and $Q$ is a semigroup of left Fountain-Gould quotients of $S$ if
every $q\in Q$ can be written as $q=a^{{}^{\sharp}}b$ for some $a,b\in S$,
where $a^{{}^{\sharp}}$ is the inverse of $a$ in some subgroup of $Q$, and if,
in addition, every square-cancellable element of $S$ lies in a subgroup of
$Q$. The notion of square-cancellability is a (strong) necessary condition for
an element to lie in a subgroup of an oversemigroup, corresponding to the way
in which being cancellable is a (strong) necessary condition to lie in the
group of units of an oversemigroup. The characterisations of Fountain-Gould
left orders in $Q$ become more complicated than in earlier cases, reflecting
the ${\mathcal{R}}$\- and ${\mathcal{L}}$-class structure of $Q$ [14].

All of the above approaches use, in one form or another, the notion of
inverses in a (sub)group. But, in the theory of inverse semigroups, there is
another crucial notion of inverse of an element $a$, which we write as
$a^{-1}$. The concept central to this paper makes use of this. Namely, it is
that of a semigroup of left inverse quotients, which we will shorten to left
I-quotients, first defined by Ghroda and Gould in 2010 [10].

######  Definition 1.1.

Let $S$ be a subsemigroup of an inverse semigroup $Q$. Then $Q$ is a semigroup
of left I-quotients of $S$ and $S$ is a left I-order in $Q$ if every $q\in Q$
can be written as

$q=a^{-1}b$

for some $a,b\in S$. If in addition we can choose $a,b$ such that
$a\,{\mathcal{R}}\,b$ in $S$, then we say $Q$ is a semigroup of straight left
I-quotients of $S$ and $S$ is a straight left I-order in $Q$.

The notion of semigroups of I-quotients has effectively been used by a number
of authors without employing the above terminology. The first case of this is
probably Clifford in 1953 [2] where he showed that every right cancellative
monoid $S$ with the (LC) condition has a bisimple inverse monoid of left
I-quotients. By saying that a semigroup $S$ satisfies the (LC) condition we
mean for any $a,b\in S$ there exists $c\in S$ such that $Sa\,\cap\,Sb=Sc$.
Thus, (LC) is a stronger condition than right reversibility. Left I-quotients
have also appeared implicitly in work on inverse hulls of right cancellative
semigroups developed in [20] and [18], and taken further in [1]. A related
approach recently appeared in Exel and Steinberg’s work on inverse hulls of
0-left cancellative semigroups [5]. All of these examples are left ample (or
right ample), and so we can determine the structure of their inverse hulls
using Theorem 3.7 of [11]. Fountain and Kambites effectively utilise left
I-quotients in Section 2 of [6], in which they use the fact that graph
products of right cancellative, right reversible, monoids are again right
cancellative and right reversible, and then show they are left I-orders in the
inverse hull.

None of the earlier work on left I-orders attempts to describe those
semigroups that occur as left I-orders. It transpires that, as for left
Fountain-Gould orders, this question is more amenable in the straight case.
The aim of this article, achieved in Theorem 3.7, is to characterise
completely those semigroups that occur as straight left I-orders. Again, we
will need conditions reflecting the ${\mathcal{R}}$\- and
${\mathcal{L}}$-class configurations of the oversemigroup.

The structure of the paper is as follows. In Section 2 we discuss some
connections between left I-orders and left Fountain-Gould orders and prove
that finite left I-orders are always straight. We also provide some pertinent
examples, namely an example of a left I-order which is not straight and an
example of a semigroup with multiple semigroups of left I-quotients. Section 3
contains Theorem 3.7, in which we determine the conditions under which a
semigroup $S$ is a straight left I-order. In Section 4 we use our general
result to provide characterisations of right ample and (two-sided) ample
straight left I-orders that sit inside their semigroups of left I-quotients in
a way that preserves their additional unary operation(s). The result for ample
semigroups is particularly pleasing, and after the exigencies of Theorem 3.7
brings us to a condition reminiscent of that of Ore.

We assume familiarity with the basic notions of semigroup theory, as found in
[16] and [3]. In particular, we make frequent use of Green’s relations and
their associated preorders. To avoid ambiguity, we may use the superscript $Q$
to denote the semigroup in question, for example, $a\leq_{\mathcal{L}^{Q}}b$
if and only if $Q^{1}a\subseteq Q^{1}b$.

##  2\. Observations on Left I-orders: straightness and uniqueness

We will make some brief observations concerning left orders (of various kinds)
in inverse semigroups. Before we begin we remark that [22] gives an infinite
list of necessary and sufficient conditions for embeddability of a semigroup
$S$ into an inverse semigroup. These may be regarded as analogous to those of
Mal’cev [17] for embeddability of a semigroup into a group. Clearly any left
I-order must satisfy the conditions of [22]. However, our focus here is a
particular kind of embedding, and we will produce a finite list of conditions
to check; admittedly, this list is longer than merely cancellativity and right
reversibility, which is all that is required for a semigroup to have a group
of left quotients.

Straightness is not only a very useful property, but one that appears in some
typical examples of left I-orders. We will find in Section 3 that if $S$ is
straight, we can determine equalities and products in $Q$ using equalities and
relations between elements of $S$. This makes straight left I-orders easier to
work with than general left I-orders. Because of this, it is of interest to
determine when a left I-order is straight. The following result is an
important tool.

######  Lemma 2.1.

Let $S$ be a left I-order in $Q$. Then $S$ is straight in $Q$ if and only if
$S$ intersects every $\mathcal{L}$-class of $Q$.

###### Proof.

Let $S$ be straight in $Q$, and let $q=a^{-1}b\in Q$ such that $a,b\in S$ and
$a\,\mathcal{R}^{Q}\,b$. Then

$q^{-1}q=b^{-1}aa^{-1}b=b^{-1}bb^{-1}b=b^{-1}b,$

and so $b\in S\cap L_{q}$.

Conversely, suppose $S\cap L_{q}\neq\,\emptyset$ for all $q\in Q$. Let $q\in
Q$; we know that $q=a^{-1}b$, where $a,b\in S$. Then

$q=a^{-1}aa^{-1}bb^{-1}b=a^{-1}fb,$

where $f=aa^{-1}bb^{-1}\in E(Q)$. Since $S$ intersects every
$\mathcal{L}$-class, there exists ${u\in S\cap L_{f}}$, and so $f=u^{-1}u$.
Hence

$(ua)(ua)^{-1}=uaa^{-1}u^{-1}=ufaa^{-1}u^{-1}=ufu^{-1}=uu^{-1}.$

Similarly $(ub)(ub)^{-1}=uu^{-1}$. We can therefore write

$q=a^{-1}fb=a^{-1}u^{-1}ub=(ua)^{-1}(ub),$

where $ua\,\mathcal{R}^{Q}\,u\,\mathcal{R}^{Q}\,ub$. It follows that $Q$ is
straight over $S$. ∎

We now briefly compare the different kinds of left orders in inverse
semigroups. Observe that if an inverse monoid has trivial group of units, then
it contains no proper classical left order. However, if $S$ is a Fountain-
Gould left order in an inverse semigroup $Q$ (and many are known to exist,
see, for example [7]), then $S^{1}$ is easily seen to be a Fountain-Gould left
order in $Q^{1}$. On the other hand, we have the following.

######  Lemma 2.2.

Let $S$ be a left Fountain-Gould order an inverse semigroup $Q$. Then $S$ is a
straight left I-order in $Q$.

###### Proof.

Let $a\in S$. If $a^{\\#}$ exists, then clearly $a^{-1}=a^{\\#}$. We have that
every $q\in Q$ can be written as $q=a^{\\#}b$ for some $a,b\in S$. Therefore
every $q\in Q$ can be written as $q=a^{-1}b$ for some $a,b\in S$.

We will now prove that $S$ is straight in $Q$ by proving that $S$ intersects
every $\mathcal{L}$-class of $Q$. Let $q\in Q$. We know that $q\in Q$ can be
written as $q=a^{\\#}b$ for some $a,b\in S$. We see that

$q=a^{\\#}b\,\mathcal{L}^{Q}\,aa^{\\#}b=a^{\\#}ab\,\mathcal{L}^{Q}\,ab.$

We know that $ab\in S$ and so $ab\in L_{q}\cap S$. Therefore, $S$ intersects
every $\mathcal{L}$-class of $Q$. We apply Lemma 2.1 to obtain that $S$ is
straight in $Q$. ∎

The converse to Lemma 2.2 is not true.

######  Example 2.3.

Let $\mathcal{B}$ be the bicyclic monoid, which for convenience we write as
elements of $\mathbb{N}^{0}\times\mathbb{N}^{0}$. Let $S$ be the
$\mathcal{R}$-class of the identity,
${S=\\{\,(0,n)\,|\,n\in\mathbb{N}^{0}\,\\}}$. Certainly $\mathcal{B}$ is an
inverse semigroup and for any $(a,b)\in\mathcal{B}$,

$(a,b)=(a,0)(0,b)=(0,a)^{-1}(0,b)$

so $\mathcal{B}$ is a semigroup of left I-quotients of $S$. Since $S$
intersects every $\mathcal{L}$-class of $\mathcal{B}$ we have from Lemma 2.1
that $S$ is straight.

The monoid $\mathcal{B}$ has trivial subgroups, and as the only element of $S$
that lies in a subgroup is $(0,0)$, it is clear that $S$ is not a Fountain-
Gould left order in $\mathcal{B}$.

We now show that for a wide class of inverse semigroups, all left I-orders are
straight.

######  Theorem 2.4.

Let $Q$ be a completely semisimple semigroup with the ascending chain
condition on the $\leq_{\mathcal{J}}$-order. Then any left I-order in $Q$ is
straight.

###### Proof.

Let $S$ be a left I-order in $Q$, and suppose that $S$ is not straight, so
that by Lemma 2.1, $S$ does not intersect every $\mathcal{L}$-class of $Q$.
Let $J$ be a $\mathcal{J}^{Q}$-class maximal with respect to there being an
$\mathcal{L}^{Q}$-class $L$ in $J$ such that $S\cap L=\emptyset$. Let
$L=L^{Q}_{e}$ where $e=e^{2}$. Since $S$ is a left I-order in $Q$, we know
that there exists $a,b\in S$ such that

$e=a^{-1}b=b^{-1}a,$

the second statement following from the fact that $e$ is an idempotent. Now
$e\leq_{\mathcal{L}^{Q}}a$ and as $e\neq a^{-1}a$ we have that
$e<_{\mathcal{L}^{Q}}a^{-1}a$ and then by the semisimplicity of $Q$ that
$e<_{\mathcal{J}^{Q}}a^{-1}a$. By assumption, $S$ intersects every
$\mathcal{L}^{Q}$-class of $J^{Q}_{a^{-1}a}=J^{Q}_{a}$. In particular, there
is a $c\in S$ such that $c^{-1}c=aa^{-1}$ and then

$e=a^{-1}b\,\mathcal{L}^{Q}\,aa^{-1}b=c^{-1}cb\,\mathcal{L}^{Q}\,cb.$

But $cb\in S$, a contradiction.

∎

######  Corollary 2.5.

Let $Q$ be a finite inverse semigroup. Then any left I-order in $Q$ is
straight.

An obvious question to ask is whether every left I-order is straight. The
answer to this is no, although they do seem to be difficult to find. The
authors are grateful to Mark Kambites for the following example.

######  Example 2.6.

Let $X$ be a countably infinite set and let $Q=\mathcal{I}_{X}$ be the
symmetric inverse monoid on $X$. Let $S$ be the set of surjective elements of
$Q$. Then $S$ is a left I-order in $Q$ which is not straight.

###### Proof.

We start by proving that $S$ is a subsemigroup of $Q$. Let $a,b\in S$ so that
$\text{im}(a)=\text{im}(b)=X$. We have that

$\text{im}(ab)=(\text{im}(a)\cap\text{dom}(b))b=(X\cap\text{dom}(b))b=(\text{dom}(b))b=\text{im}(b)=X.$

Therefore $ab\in S$ and so $S$ is a subsemigroup of $Q$.

We now prove that $S$ in a left I-order in $Q$. Let $\gamma\in Q$ with
$\text{dom}(\gamma)=A$ and $\text{im}(\gamma)=B$. Let $C=X\backslash A$ and
let $D=X\backslash B$. Our aim is to find $\alpha,\beta\in S$ such that
$\gamma=\alpha^{-1}\beta$.

Case 1: $C$ and $D$ both infinite.

Split $C$ into two disjoint infinite sets, $C=V\,\dot{\cup}\,W$. We know that
$C,D,V,W$ are all countably infinite, so we can construct two bijections,
$\lambda:W\rightarrow C$ and $\mu:V\rightarrow D$.

We then define $\alpha:A\,\dot{\cup}\,W\rightarrow X$ by

$x\alpha=\begin{cases}x&\text{if $x\in A$}\\\ x\lambda&\text{if $x\in
W$},\end{cases}$

and $\beta:A\,\dot{\cup}\,V\rightarrow X$ by

$x\beta=\begin{cases}x\gamma&\text{if $x\in A$}\\\ x\mu&\text{if $x\in
V$}.\end{cases}$

It is easy to check that $\alpha$ and $\beta$ are surjective and one-to-one.
We will now prove that $\gamma=\alpha^{-1}\beta$. We see that

$\begin{split}\text{dom}(\alpha^{-1}\beta)&=(\text{im}(\alpha^{-1})\cap\text{dom}(\beta))\alpha\\\
&=(\text{dom}(\alpha)\cap\text{dom}(\beta))\alpha\\\
&=((A\,\dot{\cup}\,W)\cap(A\,\dot{\cup}\,V))\alpha\\\
&=A\alpha=A=\text{dom}(\gamma),\end{split}$

and that for $x\in A$, we have $x\alpha^{-1}\beta=x\beta=x\gamma$. Therefore
$\gamma=\alpha^{-1}\beta$.

Case 2: $C$ infinite and $D$ finite.

Split $C$ into two disjoint sets, $C=U\,\dot{\cup}\,W$, with $|U|=|D|$ and $W$
infinite. We know that $C$ and $W$ are countably infinite, so we can construct
a bijection $\lambda:W\rightarrow C$. Also since $|U|=|D|$, we can construct a
bijection $\mu:U\rightarrow D$.

We define $\alpha:A\,\dot{\cup}\,W\rightarrow X$ by

$x\alpha=\begin{cases}x&\text{if $x\in A$}\\\ x\lambda&\text{if $x\in
W$},\end{cases}$

and $\beta:A\,\dot{\cup}\,U\rightarrow X$ by

$x\beta=\begin{cases}x\gamma&\text{if $x\in A$}\\\ x\mu&\text{if $x\in
U$}.\end{cases}$

In a similar way to the previous case, $\alpha$ and $\beta$ are surjective
with $\gamma=\alpha^{-1}\beta$.

Case 3: $C$ finite and $D$ infinite.

By considering $\gamma^{-1}:B\rightarrow A$, we can use Case 2 to write
$\gamma^{-1}=\alpha^{-1}\beta$ with $\alpha,\beta$ surjective. Then
$\gamma=\beta^{-1}\alpha$.

Case 4: $C$ and $D$ both finite.

Since $C$ is finite, we know that $A=X\backslash C$ is countably infinite.
Therefore we can construct a bijection $\beta:A\rightarrow X$. We see that

$\text{dom}(\beta\gamma^{-1})=(\text{im}(\beta)\cap\text{dom}(\gamma^{-1}))\beta^{-1}=(\text{im}(\beta)\cap\text{im}(\gamma))\beta^{-1}=B\beta^{-1}.$

Note that $B\beta^{-1}\subseteq A$, and so $B\beta^{-1}$ is disjoint with $C$.
We define $\alpha:C\,\dot{\cup}\,B\beta^{-1}\rightarrow X$ by

$x\alpha=\begin{cases}x&\text{if $x\in C$}\\\ x(\beta\gamma^{-1})&\text{if
$x\in B\beta^{-1}$}.\end{cases}$

We firstly prove that $\alpha$ is surjective. We see that $\alpha$ is a
piecewise composition of two functions. The first piece has image $C$. We
calculate the image of the second piece as follows.

$\text{im}(\beta\gamma^{-1})=(\text{im}(\beta)\cap\text{dom}(\gamma^{-1}))\gamma^{-1}=(\text{im}(\beta)\cap\text{im}(\gamma))\gamma^{-1}=B\gamma^{-1}=A.$

Therefore $\text{im}(\alpha)=A\,\dot{\cup}\,C=X$. Note that since the domains
and images of the two pieces of $\alpha$ are disjoint and both pieces are one-
to-one, it follows that $\alpha$ is one-to-one.

We will now prove that $\gamma=\alpha^{-1}\beta$. We see that

$\begin{split}\text{dom}(\alpha^{-1}\beta)&=(\text{im}(\alpha^{-1})\cap\text{dom}(\beta))\alpha\\\
&=(\text{dom}(\alpha)\cap\text{dom}(\beta))\alpha\\\
&=((C\,\dot{\cup}\,B\beta^{-1})\cap A)\alpha\\\
&=(B\beta^{-1})\alpha=\text{im}(\beta\gamma^{-1})=A=\text{dom}(\gamma),\end{split}$

and that for $x\in A$ we have

$x\alpha^{-1}\beta=x(\beta\gamma^{-1})^{-1}\beta=x\gamma\beta^{-1}\beta=x\gamma.$

Therefore $\gamma=\alpha^{-1}\beta$.

We have now proved that $S$ is a left I-order in $Q$. We know that $S$ is not
straight in $Q$ because it does not intersect every $\mathcal{L}$-class of
$Q$. Indeed, although $Q$ has an infinite number of $\mathcal{L}$-classes, one
for each subset of $X$, $S$ is contained completely within the largest one. ∎

Another natural question to ask is whether a given semigroup has at most one
semigroup of left I-quotients. The answer to this is no, as we show in the
following example.

######  Example 2.7.

Section 4 of [13] provides an example of a semigroup with two non-isomorphic
Clifford semigroups of left Fountain-Gould quotients. For $Q$, a Clifford
semigroup, we know that every element lies in a subgroup. Consequently, for
every $a\in Q$, $a^{\\#}$ exists and $a^{-1}=a^{\\#}$. We can therefore see
that a semigroup $S$ is a left I-order in $Q$ if and only if $S$ is a left
Fountain-Gould order in $Q$.

##  3\. The general case

The aim of this section is to prove Theorem 3.7, which gives necessary and
sufficient conditions for a semigroup $S$ to be a straight left I-order. Our
first lemma follows immediately from the fact that in an inverse semigroup $Q$
we have $Qe\cap Qf=Qef$ for any $e,f\in E(Q)$ so that the poset
$Q/\mathcal{L}$ is order isomorphic to the semilattice of idempotents under
the natural partial order.

######  Lemma 3.1.

Let $Q$ be an inverse semigroup. Then $Q/\mathcal{L}$ is a meet semilattice
with $L_{a}\,\wedge\,L_{b}=L_{c}$ if and only if $c^{-1}c=a^{-1}ab^{-1}b$.

Assume now that $S$ has a semigroup of straight left I-quotients $Q$. We aim
to identify properties of $S$ inherited from $Q$ with the eventual goal of
reconstructing $Q$ from these properties.

By definition, every element in $Q$ can be written as $a^{-1}b$, where $a,b\in
S$ and $a\,\mathcal{R}^{Q}\,b$. Therefore, we can reconstruct $Q$ as ordered
pairs of elements of $S$ under an equivalence relation:

$Q\cong\\{(a,b)\,|\,a,b\in S,\,a\,\mathcal{R}^{Q}\,b\\}/\sim\,$

where

$(a,b)\sim(c,d)\mbox{ if and only if }a^{-1}b=c^{-1}d\mbox{ in }Q.$

This relation has already been determined by Ghroda and Gould.

######  Lemma 3.2.

[11, Lemma 2.7] Let $S$ be a straight left I-order in $Q$. Let ${a,b,c,d\in
S}$ with $a\,\mathcal{R}^{Q}\,b$ and $c\,\mathcal{R}^{Q}\,d$. Then
$a^{-1}b=c^{-1}d$ in $Q$ if and only if there exists $x,y\in S$ such that

$xa=yc,\;xb=yd,\;x\,\mathcal{R}^{Q}\,y,\;x^{-1}\,\mathcal{R}^{Q}\,a\text{ and
}\,y^{-1}\>\mathcal{R}^{Q}\,c.$

However, we wish to be able to express the conditions in Lemma 3.2 entirely in
terms of elements of $S$. We remind the reader that in an inverse semigroup
$Q$, we have that $x\,\mathcal{R}^{Q}\,y$ if and only if
$x^{-1}\,\mathcal{L}^{Q}\,y^{-1}$.

######  Lemma 3.3.

Let $Q$ be an inverse semigroup and let ${x,a\in Q}$. Then

$x^{-1}\,\mathcal{R}^{Q}\,a\,\text{ if and only if
}\,x\,\mathcal{R}^{Q}\,xa\,\mathcal{L}^{Q}\,a.$

###### Proof.

Let $x^{-1}\,\mathcal{R}^{Q}\,a$. Using the fact that $\mathcal{R}^{Q}$ is a
left congruence, this implies

$xa\,\mathcal{R}^{Q}\,xx^{-1}\,\mathcal{R}^{Q}\,x.$

We know that $x^{-1}\,\mathcal{R}^{Q}\,a$ implies that
$x\,\mathcal{L}^{Q}\,a^{-1}$. Therefore, using the fact that $\mathcal{L}^{Q}$
is a right congruence, we also have

$xa\,\mathcal{L}^{Q}\,a^{-1}a\,\mathcal{L}^{Q}\,a.$

Conversely, let $xa\in R_{x}\cap L_{a}$. By [16, Prop. 2.3.7], we have that
$L_{x}\cap R_{a}$ contains an idempotent, $e$.

$\begin{array}[]{|l|lll|l|}\hline\cr xa&&&&x\\\ \hline\cr&&&&\\\ &&&&\\\
\hline\cr a&&&&e\\\ \hline\cr\end{array}$

Then, as $x\,\mathcal{L}^{Q}\,e$, we have
$x^{-1}\,\mathcal{R}^{Q}\,e^{-1}=e\,\mathcal{R}^{Q}\,a$. ∎

We now rewrite Lemma 3.2 in terms of relations restricted to $S$.

######  Lemma 3.4.

Let $S$ be a straight left I-order in $Q$. Let $a,b,c,d\in S$ with
$a\,\mathcal{R}^{Q}\,b$ and $c\,\mathcal{R}^{Q}\,d$. Then $a^{-1}b=c^{-1}d$ if
and only if there exists $x,y\in S$ such that

$xa=yc,\;xb=yd,\;x\,\mathcal{R}^{Q}\,xa\,\mathcal{L}^{Q}\,a,\text{ and
}\>y\,\mathcal{R}^{Q}\,yc\,\mathcal{L}^{Q}\,c.$

Note that since $xa=yc$, the conditions imply that $x\,\mathcal{R}^{Q}\,y$ and
$a\,\mathcal{L}^{Q}\,c$.

The conditions given in Lemma 3.4 will determine our $\sim$.

The next thing to address is multiplication on $Q$. We note that for every
$b,c\in S$, $bc^{-1}\in Q$ and therefore, since $Q$ is a semigroup of straight
left I-quotients of $S$, there exists $u,v\in S$ with $u\,\mathcal{R}^{Q}\,v$,
such that $bc^{-1}=u^{-1}v$ in $Q$. Therefore, multiplication on $Q$ must be
given by $a^{-1}bc^{-1}d=(ua)^{-1}(vd)$, where $bc^{-1}=u^{-1}v$ in $Q$. In
the same way as we need to internalise to $S$ the condition that
$a^{-1}b=c^{-1}d$ in $Q$, we need to be able to express the equality
$bc^{-1}=u^{-1}v$ solely in terms of elements of $S$. We first quote a result
from [11].

######  Lemma 3.5.

[11, Lemma 2.6] Let $b,c,u,v$ be elements of an inverse semigroup Q such that
$u\,\mathcal{R}^{Q}\,v$. If $bc^{-1}=u^{-1}v$ then $ub=vc$.

######  Lemma 3.6.

Let $Q$ be an inverse semigroup and let $b,c,u,v\in Q$ such that
$u\,\mathcal{R}^{Q}\,v$. Then $bc^{-1}=u^{-1}v$ in $Q$ if and only if

$ub=vc,\;v\,\mathcal{R}^{Q}\,vc\,\text{ and
}\,L^{Q}_{b}\,\wedge\,L^{Q}_{c}=L^{Q}_{ub}.$

###### Proof.

Let $bc^{-1}=u^{-1}v$. By Lemma 3.5, we have $ub=vc$. Since
$u\,\mathcal{R}^{Q}\,v$, we know that $uu^{-1}=vv^{-1}$. Therefore, using
$u^{-1}v=bc^{-1}$ and $ub=vc$, we have

$v=vv^{-1}v=uu^{-1}v=ubc^{-1}=vcc^{-1}$

and therefore $v\,\mathcal{R}^{Q}\,vc$. Finally, again using $bc^{-1}=u^{-1}v$
and $ub=vc$, we have

$b^{-1}bc^{-1}c=b^{-1}u^{-1}vc=b^{-1}u^{-1}ub=(ub)^{-1}(ub).$

It follows from Lemma 3.1 that $L^{Q}_{b}\,\wedge\,L^{Q}_{c}=L^{Q}_{ub}$.

Conversely, let

$ub=vc,\;v\,\mathcal{R}^{Q}\,vc\,\text{ and
}\,L^{Q}_{b}\,\wedge\,L^{Q}_{c}=L^{Q}_{ub}.$

Since $Q$ is an inverse semigroup $v\,\mathcal{R}^{Q}\,vc$ implies that
$vv^{-1}=vcc^{-1}v^{-1}$, and so $v=vcc^{-1}$. Using this along with $vc=ub$,
we have

(1)
$u^{-1}v=u^{-1}vcc^{-1}=u^{-1}ubc^{-1}=u^{-1}ubb^{-1}bc^{-1}=bb^{-1}u^{-1}ubc^{-1},$

using the fact that idempotents commute in the last equality. By Lemma 3.1, we
know that $\,L^{Q}_{b}\,\wedge\,L^{Q}_{c}=L^{Q}_{ub}\,$ implies that
$\,{b^{-1}bc^{-1}c=(ub)^{-1}(ub)}$. Therefore

(2)
$bb^{-1}u^{-1}ubc^{-1}=b(ub)^{-1}(ub)c^{-1}=bb^{-1}bc^{-1}cc^{-1}=bc^{-1}.$

Putting Equations (1) and (2) together, we obtain $u^{-1}v=bc^{-1}$. ∎

We now introduce the notation used in Theorem 3.7. The relation
$\mathcal{R}^{*}$ is defined on a semigroup $S$ by the rule that
$a\,\mathcal{R}^{*}\,b$ if and only $a\,\mathcal{R}\,b$ in some oversemigroup
of $S$. According to Lemma 1.7 of [18], $a\,\mathcal{R}^{*}\,b$ is equivalent
to the condition that $xa=ya$ if and only if $xb=yb$ for all $x,y\in S^{1}$.
By considering the right regular embedding of $S$ as a subsemigroup of
$\mathcal{T}_{S^{1}}$, it is easy to see that $a\,\mathcal{R}^{*}\,b$ if and
only if $a\,\mathcal{R}\,b$ in $\mathcal{T}_{S^{1}}$. The relation
$\mathcal{R}^{*}$ will always refer to $S$. For a given preorder $\,\leq_{l}$
on $S$ we will use $\mathcal{L}^{\prime}$ to denote the associated equivalence
relation and $L^{\prime}_{a}$ to denote the $\mathcal{L}^{\prime}$-class of
$a$. We use $\wedge$ to denote the meet of $\mathcal{L}^{\prime}$-classes with
respect to the partial order induced by $\leq_{l}$, where these meets exist.
We state our theorem making use of Greek letters, which will aid in
applicability and reference, when we will use Roman letters for fixed elements
of our semigroup.

######  Theorem 3.7.

Let $S$ be a semigroup and let $\mathcal{R}^{\prime}$ and $\,\leq_{l}$ be
binary relations on $S$. Then $S$ has a semigroup of straight left I-quotients
$Q$ such that

${\mathcal{R}^{Q}\cap(S\times S)=\mathcal{R}^{\prime}}\mbox{ and
}\leq_{\mathcal{L}^{Q}}\cap\,(S\times S)=\,\leq_{l}$

if and only if $\mathcal{R}^{\prime}$ is a left compatible equivalence
relation; $\,\leq_{l}$ is a preorder such that the
$\mathcal{L}^{\prime}$-classes form a meet semilattice under the associated
partial order; and $S$ satisfies Conditions (M1) - (M6).

  * (M1)

For all $\alpha,\beta\in S$, there exists $\gamma,\delta\in S$ such that

$\gamma\,\mathcal{R}^{\prime}\,\delta\,\mathcal{R}^{\prime}\,\delta\beta=\gamma\alpha\,\text{
and
}\,L^{\prime}_{\alpha}\,\wedge\,L^{\prime}_{\beta}=L^{\prime}_{\gamma\alpha}.$

  * (M2)

Right multiplication distributes over meet, that is, for all
$\alpha,\beta,\gamma,\delta\in S$,

${L^{\prime}_{\alpha}\,\wedge\,L^{\prime}_{\beta}=L^{\prime}_{\gamma}}\,\text{
implies that
}\,L^{\prime}_{\alpha\delta}\,\wedge\,L^{\prime}_{\beta\delta}=L^{\prime}_{\gamma\delta}.$

  * (M3)

For all $\alpha,\beta\in S$, $\alpha\beta\leq_{l}\beta$.

  * (M4)

$\mathcal{R}^{\prime}\subseteq\mathcal{R}^{*}$.

  * (M5)

Let $\alpha,\beta,\gamma,\delta\in S$ such that
$\gamma\,\mathcal{R}^{\prime}\,\gamma\alpha\,\mathcal{L}^{\prime}\,\alpha$ and
$\delta\,\mathcal{R}^{\prime}\,\delta\beta\,\mathcal{L}^{\prime}\,\beta$. Then
$\gamma\,\mathcal{L}^{\prime}\,\delta$ if and only if
$\alpha\,\mathcal{R}^{\prime}\,\beta$.

  * (M6)

For all $\alpha,\beta,\gamma\in S$,
$\alpha\,\mathcal{L}^{\prime}\,\beta\,\mathcal{L}^{\prime}\,\gamma\alpha=\gamma\beta$
implies that $\alpha=\beta$.

We start the proof of Theorem 3.7 by first proving the forward implication. We
assume that $S$ has a semigroup of straight left I-quotients, $Q$, and we put
${\mathcal{R}^{Q}\cap(S\times S)=\mathcal{R}^{\prime}}$,
$\,{\mathcal{L}^{Q}\cap(S\times S)=\mathcal{L}^{\prime}}$ and
$\,\leq_{\mathcal{L}^{Q}}\,\cap\,(S\times S)=\,\leq_{l}\,$. From knowledge of
Green’s relations, we know that $\mathcal{R}^{\prime}$ is a left congruence on
$S$, and that $\leq_{l}$ is a preorder on $S$ with the associated equivalence
relation, $\mathcal{L}^{\prime}$. Using Lemma 3.1, we know that
$Q/\mathcal{L}^{Q}$ forms a meet semilattice under $\leq_{\mathcal{L}^{Q}}$.
Since $S$ intersects every $\mathcal{L}^{Q}$-class, this means that
$S/\mathcal{L}^{\prime}$ forms a meet semilattice under $\leq_{l}$. We now
prove that Properties (M1) - (M6) hold.

  * (M1)

Let $\alpha,\beta\in S$. Then $\alpha,\beta\in Q$ and so, by closure under
taking of inverses and multiplication, $\alpha\beta^{-1}\in Q$. Since $Q$ is a
semigroup of straight left I-quotients of $S$, there exists $\gamma,\delta\in
S$ such that $\alpha\beta^{-1}=\gamma^{-1}\delta$ with
$\gamma\,\mathcal{R}^{\prime}\,\delta$. Lemma 3.6 then gives the result.

  * (M2)

Since $Q$ is an inverse semigroup, we can use Lemma 3.1 to give us that
$\,L^{\prime}_{\alpha}\,\wedge\,L^{\prime}_{\beta}=L^{\prime}_{\gamma}\,$ is
equivalent to $\,\alpha^{-1}\alpha\beta^{-1}\beta=\gamma^{-1}\gamma$.
Therefore

$\begin{split}(\alpha\delta)^{-1}(\alpha\delta)(\beta\delta)^{-1}(\beta\delta)&=\delta^{-1}\alpha^{-1}\alpha\delta\delta^{-1}\beta^{-1}\beta\delta\\\
&=\delta^{-1}\alpha^{-1}\alpha\beta^{-1}\beta\delta\\\
&=\delta^{-1}\gamma^{-1}\gamma\delta\\\
&=(\gamma\delta)^{-1}(\gamma\delta).\end{split}$

And so, using Lemma 3.1 again,
$L^{\prime}_{\alpha\delta}\,\wedge\,L^{\prime}_{\beta\delta}=L^{\prime}_{\gamma\delta}$.

  * (M3)

This is true in any semigroup, since $Q^{1}\alpha\beta\subseteq Q^{1}\beta$.

  * (M4)

Since $\mathcal{R}^{\prime}=\mathcal{R}^{Q}\cap(S\times S)$ and $Q$ is an
oversemigroup of $S$, then, by definition,
$\alpha\,\mathcal{R}^{\prime}\,\beta$ implies that
$\alpha\,\mathcal{R}^{*}\,\beta$.

  * (M5)

By Lemma 3.3, in an inverse semigroup we have that
$\gamma\,\mathcal{R}^{\prime}\,\gamma\alpha\,\mathcal{L}^{\prime}\,\alpha$
implies that $\gamma^{-1}\,\mathcal{R}^{Q}\,\alpha$, and similarly
$\delta\,\mathcal{R}^{\prime}\,\delta\beta\,\mathcal{L}^{\prime}\,\beta$
implies that $\delta^{-1}\,\mathcal{R}^{Q}\,\beta$. Then
$\alpha\,\mathcal{R}^{\prime}\,\beta$ implies that
$\gamma^{-1}\,\mathcal{R}^{Q}\,\alpha\,\mathcal{R}^{Q}\,\beta\,\mathcal{R}^{Q}\,\delta^{-1}$.
We know that $\gamma^{-1}\,\mathcal{R}^{Q}\,\delta^{-1}$ implies that
$\gamma\,\mathcal{L}^{Q}\,\delta$, and so
$\gamma\,\mathcal{L}^{\prime}\,\delta$. The converse is similar.

  * (M6)

Since $\alpha$ and $\gamma$ are elements in an inverse semigroup,
$\alpha\,\mathcal{L}^{\prime}\,\gamma\alpha$ if and only if
${\alpha=\gamma^{-1}\gamma\alpha}$. Similarly,
$\beta\,\mathcal{L}^{\prime}\,\gamma\beta$ if and only if
${\beta=\gamma^{-1}\gamma\beta}$. Therefore, $\gamma\alpha=\gamma\beta\,$
together with $\alpha\,\mathcal{L}^{\prime}\,\gamma\alpha$ and
$\beta\,\mathcal{L}^{\prime}\,\gamma\beta$, implies that

$\alpha=\gamma^{-1}\gamma\alpha=\gamma^{-1}\gamma\beta=\beta.$

This proves the forward implication of Theorem 3.7. Note that in the above we
only required that $S$ is embedded in $Q$ to obtain (M2) - (M6); for (M1) we
required $S$ to be a straight left I-order.

We now prove the converse. This will consist of proving that the following
construction, $P$, yields a semigroup of straight left I-quotients of $S$,
with ${\mathcal{R}^{\prime}=\mathcal{R}^{P}\cap\,(S\times S)}$ and
$\leq_{l}\,=\,\leq_{\mathcal{L}^{P}}\cap\,(S\times S)$. For the convenience of
the reader, we now set up the ‘roadmap’ for the proof.

######  Roadmap 3.8.

Let $S$ be a semigroup with $\mathcal{R}^{\prime}$, $\leq_{l}$ and
$\mathcal{L}^{\prime}$ satisfying the conditions of Theorem 3.7. Note that by
considering (M2) with $\alpha=\gamma$, we see that $\leq_{l}$ is right
compatible. Therefore, since $\mathcal{L}^{\prime}$ is an equivalence relation
associated with a right compatible preorder, $\mathcal{L}^{\prime}$ is a right
congruence.

We begin by defining

$\Sigma=\\{(a,b)\in S\times S\,|\,a\,\mathcal{R}^{\prime}\,b\\}.$

We then define an equivalence relation $\sim$ on $\Sigma$, by

$(a,b)\sim(c,d)$

if and only if there exists $x,y\in S$ such that

$xa=yc,\,xb=yd,\;x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a\mbox{
and }y\,\mathcal{R}^{\prime}\,yc\,\mathcal{L}^{\prime}\,c.$

Note that $x\,\mathcal{R}^{\prime}\,y$ and $a\,\mathcal{L}^{\prime}\,c$ as a
consequence.

We show that this is an equivalence relation in Lemma 3.10. Using $[a,b]$ to
denote the equivalence class of $(a,b)$ under $\sim$ we then define
$P=\Sigma\,/\\!\sim$ and multiplication on $P$ via the following rule:

${[a,b][c,d]=[ua,vd]}\text{ where
}{\,u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vc=ub}\mbox{ and
}L^{\prime}_{b}\,\wedge\,L^{\prime}_{c}=L^{\prime}_{ub}\,.$

Note that such a $u$ and $v$ exist in $S$ by (M1). We show that $P$ is a
semigroup in Lemma 3.11 and Lemma 3.12 and an inverse semigroup in Lemma 3.14
and Lemma 3.15.

The next step is to show that $S$ embeds into $P$, by defining
$\phi:S\rightarrow P$ by $a\phi=[x,xa]$, where $x$ is an element in $S$ such
that $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$. The existence of
such an $x$ is a consequence of (M1) proved in Lemma 3.9. We will prove that
this function is an embedding in Lemma 3.16.

We show that the restriction of $\mathcal{R}^{P}$ to $(S\times S)$ is
$\mathcal{R}^{\prime}$ in Lemma 3.17, and that the restriction of
$\,\leq_{\mathcal{L}^{P}}$ to $(S\times S)$ is $\,\leq_{l}$ in Lemma 3.18.
Finally, we verify that $P$ is a semigroup of straight left I-quotients of
$S\phi$ in Lemma 3.19.

Now that we have set up the ‘roadmap’, the rest of the section will be the
‘road trip’. The properties in Theorem 3.7 will be used extensively, so the
reader might prefer to have the list of properties in front of them whilst
reading. For the remaining results in this section, $S$,
$\mathcal{R}^{\prime}$, $\leq_{l}$ and $\mathcal{L}^{\prime}$ are as described
in the conditions of Theorem 3.7, and $\Sigma$, $\sim$, $P$ and $\phi$ are as
described in Roadmap 3.8.

The following technical lemma will provide a few shortcuts as we procede with
the main proof.

######  Lemma 3.9.

  1. (i)

For all $a\in S$, there exists an $x\in S$ such that
$x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$.

  2. (ii)

For all $a,b,x\in S$, $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$
and $\,a\,\mathcal{R}^{\prime}\,b$ together imply that
$x\,\mathcal{R}^{\prime}\,xb\,\mathcal{L}^{\prime}\,b$.

  3. (iii)

For all $x,a\in S$, we have $L^{\prime}_{xa}\wedge
L^{\prime}_{a}=L^{\prime}_{xa}$.

  4. (iv)

For all $a,b,x,y\in S$, $a\,\mathcal{R}^{\prime}\,b$ and
$xa\,\mathcal{L}^{\prime}\,ya$ together imply that
$xb\,\mathcal{L}^{\prime}\,yb$.

###### Proof.

  1. (i)

By applying (M1) with $\alpha=\beta=a$, there exists $x\in S$ such that
$x\,\mathcal{R}^{\prime}\,xa$ and
$L^{\prime}_{xa}=L^{\prime}_{a}\,\wedge\,L^{\prime}_{a}=L^{\prime}_{a}$.

  2. (ii)

Let $a,b,x\in S$ such that $\,a\,\mathcal{R}^{\prime}\,b$ and
$x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$. Using the fact that
$\mathcal{R}^{\prime}$ is a left congruence, $b\,\mathcal{R}^{\prime}\,a$
implies that $xb\,\mathcal{R}^{\prime}\,xa\,\mathcal{R}^{\prime}\,x$. By (i),
there exists ${y\in S}$ such that
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$. We can then use (M5),
to see that $a\,\mathcal{R}^{\prime}\,b$ implies that
$x\,\mathcal{L}^{\prime}\,y$. Therefore, using the fact that
$\mathcal{L}^{\prime}$ is a right congruence,
$xb\,\mathcal{L}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$.

  3. (iii)

Let $x,a\in S$. By (M3), we know that $\,xa\leq_{l}a$, Therefore, by the
definition of meet, we have that $L^{\prime}_{xa}\wedge
L^{\prime}_{a}=L^{\prime}_{xa}$.

  4. (iv)

Applying (M1) to $xa$ and $ya$, there exists $w,z\in S$ such that

$w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,zya=wxa\,\text{ and
}\,L^{\prime}_{xa}\wedge L^{\prime}_{ya}=L^{\prime}_{wxa}.$

Since $xa\,\mathcal{L}^{\prime}\,ya$, this gives us

$w\,\mathcal{R}^{\prime}\,wxa\,\mathcal{L}^{\prime}\,xa\text{ and
}z\,\mathcal{R}^{\prime}\,zya\,\mathcal{L}^{\prime}\,ya.$

Using the fact that $\mathcal{R}^{\prime}$ is a left congruence, we have that
$a\,\mathcal{R}^{\prime}\,b$ implies that both $xa\,\mathcal{R}^{\prime}\,xb$
and $ya\,\mathcal{R}^{\prime}\,yb$. Therefore we can apply (ii) to both of the
above equations to get

$w\,\mathcal{R}^{\prime}\,wxb\,\mathcal{L}^{\prime}\,xb\text{ and
}z\,\mathcal{R}^{\prime}\,zyb\,\mathcal{L}^{\prime}\,yb.$

Also we can apply (M4) to $wxa=zya$ to get $wxb=zyb$. Therefore
$xb\,\mathcal{L}^{\prime}\,wxb=zyb\,\mathcal{L}^{\prime}\,yb$.

∎

######  Lemma 3.10.

The relation $\sim$ is an equivalence relation on $\Sigma$.

###### Proof.

We check the required properties in turn.

Reflexivity: Let $(a,b)\in\Sigma$. By definition, $(a,b)\sim(a,b)$ if there
exists $x,y\in S$ such that

$xa=ya,\,xb=yb,\;x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a\mbox{
and }y\,\mathcal{R}^{\prime}\,ya\,\mathcal{L}^{\prime}\,a.$

By Lemma 3.9 (i), there is an $x\in S$ such that
$x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$. Then take $y=x$ to get
reflexivity.

Symmetry: Let $(a,b)\sim(c,d)$. By definition there must exist $x,y\in S$ such
that

$xa=yc,\,xb=yd,\;x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a\mbox{
and }y\,\mathcal{R}^{\prime}\,yc\,\mathcal{L}^{\prime}\,c,$

By switching the roles of $x$ and $y$, we can immediately see that
$(c,d)\sim(a,b)$.

Transitivity: Let $(a,b)\sim(c,d)$. Therefore there exists $x,y\in S$ such
that

(3)
$xa=yc,\,xb=yd,\;x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a\mbox{
and }y\,\mathcal{R}^{\prime}\,yc\,\mathcal{L}^{\prime}\,c.$

Suppose also that $(c,d)\sim(e,f)$. Then there exists $w,z\in S$ such that

(4)
$wc=ze,\,wd=zf,\;w\,\mathcal{R}^{\prime}\,wc\,\mathcal{L}^{\prime}\,c\mbox{
and }z\,\mathcal{R}^{\prime}\,ze\,\mathcal{L}^{\prime}\,e.$

We need $(a,b)\sim(e,f)$. That is, we need $X,Y\in S$ such that

(5)
$X\\!a=Y\\!e,\,X\\!b=Y\\!f,\;X\,\mathcal{R}^{\prime}\,X\\!a\,\mathcal{L}^{\prime}\,a\mbox{
and }Y\,\mathcal{R}^{\prime}\,Y\\!e\,\mathcal{L}^{\prime}\,e.$

We apply Property (M1) to $y$ and $w$, to obtain $h,k\in S$ such that

(6) $h\,\mathcal{R}^{\prime}\,k\,\mathcal{R}^{\prime}\,kw=hy\,\text{ and
}\,L^{\prime}_{y}\wedge L^{\prime}_{w}=L^{\prime}_{hy}.$

We then take $X=hx$ and $Y=kz$ to give us that

$\begin{split}X\\!a&=hxa=hyc=kwc=kze=Y\\!e\\\
X\\!b&=hxb=hyd=kwd=kzf=Y\\!f,\end{split}$

using (3), (6) and (4). Also, since $\mathcal{R}^{\prime}$ is a left
congruence,

$\begin{split}x\,\mathcal{R}^{\prime}\,xa&\implies
X=hx\,\mathcal{R}^{\prime}\,hxa=X\\!a\mbox{ and }\\\
z\,\mathcal{R}^{\prime}\,ze&\implies
Y=kz\,\mathcal{R}^{\prime}\,kze=Y\\!e.\end{split}$

Using Property (M2) we have that (6) implies that $L^{\prime}_{yc}\wedge
L^{\prime}_{wc}=L^{\prime}_{hyc}$. Hence, using $xa=yc$ from (3) and
$wc\,\mathcal{L}^{\prime}\,c$ from (4), we have $L^{\prime}_{xa}\wedge
L^{\prime}_{c}=L^{\prime}_{hxa}$. We can then use (3) to give us
$a\,\mathcal{L}^{\prime}\,xa=yc\,\mathcal{L}^{\prime}\,c$, and so
$L^{\prime}_{a}\wedge L^{\prime}_{a}=L^{\prime}_{hxa}$. Therefore
$X\\!a\,\mathcal{L}^{\prime}\,a$.

The last relation needed can be obtained similarly or achieved more directly
by noticing that

$e\,\mathcal{L}^{\prime}\,c\,\mathcal{L}^{\prime}\,a\,\mathcal{L}^{\prime}\,X\\!a=Y\\!e.$

∎

######  Lemma 3.11.

Multiplication in $P$ is well-defined.

###### Proof.

Let $[a,b],[c,d]\in P$. From Roadmap 3.8, we have that

${[a,b][c,d]=[ua,vd]},$

where $u,v\in S$ are the elements that exist by (M1) such that

${\,u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vc=ub}\mbox{ and
}L^{\prime}_{b}\,\wedge\,L^{\prime}_{c}=L^{\prime}_{ub}.$

We need to show that the product, $[a,b][c,d]$, depends neither upon the
choice of representative for the equivalence class, nor the choice of $u$ and
$v$ appearing in the rule for multiplication. We start with the choice of $u$
and $v$.

Choice of $u$ and $v$: Let

(7) $u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vc=ub\mbox{ and
}L^{\prime}_{b}\,\wedge\,L^{\prime}_{c}=L^{\prime}_{ub},$

so that ${[a,b][c,d]=[ua,vd]}$. Also let

(8) $s\,\mathcal{R}^{\prime}\,t\,\mathcal{R}^{\prime}\,{tc=sb}\mbox{ and
}L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{sb},$

so that $[a,b][c,d]=[sa,td]$. We show that $(ua,vd)\sim(sa,td)$, which is true
exactly if there exists $w,z\in S$ such that

(9)
$wua=zsa,\>wvd=ztd,\;w\,\mathcal{R}^{\prime}\,wua\,\mathcal{L}^{\prime}\,ua\mbox{
and }z\,\mathcal{R}^{\prime}\,zsa\,\mathcal{L}^{\prime}\,sa.$

Applying Property (M1) to $ua$ and $sa$, let $w$ and $z$ be elements such that

(10) ${w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,zsa=wua}\,\text{ and
}\,{L^{\prime}_{ua}\wedge L^{\prime}_{sa}=L^{\prime}_{wua}}.$

Using the fact that $a\,\mathcal{R}^{\prime}\,b$, we see that

$wua=zsa\overset{(M4)}{\implies}wub=zsb.$

Then, as $ub=vc$ and $tc=sb$ from (7) and (8), this gives us $wvc=ztc$. We
then use $c\,\mathcal{R}^{\prime}\,d$ to obtain

$wvc=ztc\overset{(M4)}{\implies}wvd=ztd.$

From (7) and (8), we also see that

$L^{\prime}_{ub}=L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{sb}\implies
ub\,\mathcal{L}^{\prime}\,sb,$

which, together with $a\,\mathcal{R}^{\prime}\,b$, implies that
$ua\,\mathcal{L}^{\prime}\,sa$ by Lemma 3.9 (iv). Using the definition of
$\wedge$, along with (9), we then have

$L^{\prime}_{ua}=L^{\prime}_{sa}=L^{\prime}_{ua}\wedge
L^{\prime}_{sa}=L^{\prime}_{wua}=L^{\prime}_{zsa}.$

This gives us the required properties for $(ua,vd)\sim(sa,td)$.

First Variable: Let $(a,b)\sim(\tilde{a},\tilde{b})$. Therefore there exists
$x,y\in S$ such that

(11)
$xa=y\tilde{a},\,xb=y\tilde{b},\;x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a\mbox{
and }y\,\mathcal{R}^{\prime}\,y\tilde{a}\,\mathcal{L}^{\prime}\,\tilde{a}.$

In order to show well-definedness in the first variable, we need that for all
$[c,d]\in P$, $[a,b][c,d]=[\tilde{a},\tilde{b}][c,d]$. With that goal in mind,
we apply (M1) to $b$ and $c$, to get that there exists $u,v\in S$ such that

(12) $u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vc=ub\text{ and
}L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{ub}.$

Therefore $[a,b][c,d]=[ua,vd]$.

Our aim is to first find elements $\tilde{u}$ and $\tilde{v}$ which witness
$[\tilde{a},\tilde{b}][c,d]=[\tilde{u}\tilde{a},\tilde{v}d]$. We will then
prove that $(ua,vd)\sim(\tilde{u}\tilde{a},\tilde{v}d)$. Of course, we could
use (M1) applied to $\tilde{b}$ and $c$, but for our purposes we need to be
more careful.

Applying Property (M1) to $u$ and $x$, we know that there exists $s,t\in S$
such that

(13) $s\,\mathcal{R}^{\prime}\,t\,\mathcal{R}^{\prime}\,{tu=sx}\,\text{ and
}\,L^{\prime}_{x}\wedge L^{\prime}_{u}=L^{\prime}_{sx}.$

We take $\tilde{u}=sy$ and $\tilde{v}=tv$.

We want to prove that
$[\tilde{a},\tilde{b}][c,d]=[\tilde{u}\tilde{a},\tilde{v}d]$. To prove this,
it is sufficient that
$\tilde{u}\,\mathcal{R}^{\prime}\,\tilde{v}\,\mathcal{R}^{\prime}\,\tilde{v}c=\tilde{u}\tilde{b}$
and that ${L^{\prime}_{\tilde{b}}\wedge
L^{\prime}_{c}=L^{\prime}_{\tilde{u}\tilde{b}}}$. Substituting letters and
rewriting, we need to prove that

(14) $sy\,\mathcal{R}^{\prime}\,tv\,\mathcal{R}^{\prime}\,tvc=sy\tilde{b}$

and

(15) $L^{\prime}_{\tilde{b}}\wedge L^{\prime}_{c}=L^{\prime}_{sy\tilde{b}}.$

We start by proving each relation in Equation (14) in turn:

We know that $y\,\mathcal{R}^{\prime}\,x$ from (11) and
$u\,\mathcal{R}^{\prime}\,v$ from (12). Using the fact that
$\mathcal{R}^{\prime}$ is a left congruence, $y\,\mathcal{R}^{\prime}\,x$ and
$u\,\mathcal{R}^{\prime}\,v$ imply that $sy\,\mathcal{R}^{\prime}\,sx$ and
$tu\,\mathcal{R}^{\prime}\,tv$ respectively. Then, as $sx=tu$ from (13), this
gives us that $sy\,\mathcal{R}^{\prime}\,tv$. Using left compatibility of
$\mathcal{R}^{\prime}$ again, $v\,\mathcal{R}^{\prime}\,vc$ from (12) implies
that $tv\,\mathcal{R}^{\prime}\,tvc$. Also, using $vc=ub$, $tu=sx$,
$xb=y\tilde{b}$, we get

(16) $tvc=tub=sxb=sy\tilde{b}.$

We now verify that Equation (15) holds. We can use (M2) to give us

$L^{\prime}_{x}\wedge L^{\prime}_{u}=L^{\prime}_{sx}\implies
L^{\prime}_{xb}\wedge L^{\prime}_{ub}=L^{\prime}_{sxb}.$

Using Lemma 3.9 (ii) we have that $a\,\mathcal{R}^{\prime}\,b$ imples that
$x\,\mathcal{R}^{\prime}\,xb\,\mathcal{L}^{\prime}\,b$. Using
$xb\,\mathcal{L}^{\prime}\,b$ and $L^{\prime}_{b}\wedge
L^{\prime}_{c}=L^{\prime}_{ub}$, we have

$L^{\prime}_{b}\wedge(L^{\prime}_{b}\wedge L^{\prime}_{c})=L^{\prime}_{sxb}.$

Therefore

(17) $L^{\prime}_{b}\wedge L^{\prime}_{c}=(L^{\prime}_{b}\wedge
L^{\prime}_{b})\wedge L^{\prime}_{c}=L^{\prime}_{sxb}.$

We have that $\tilde{a}\,\mathcal{R}^{\prime}\,\tilde{b}$, so that together
with $y\,\mathcal{R}^{\prime}\,y\tilde{a}\,\mathcal{L}^{\prime}\,\tilde{a}$
from (11) we may apply Lemma 3.9 (ii) again to obtain
$y\,\mathcal{R}^{\prime}\,y\tilde{b}\,\mathcal{L}^{\prime}\,\tilde{b}$. Using
(11) we now have
$b\,\mathcal{L}^{\prime}\,xb=y\tilde{b}\,\mathcal{L}^{\prime}\,\tilde{b}$.
Using this together with $xb=y\tilde{b}$ and (17), we have

$L^{\prime}_{\tilde{b}}\wedge L^{\prime}_{c}=L^{\prime}_{sy\tilde{b}},$

which is (15). Therefore $[\tilde{a},\tilde{b}][c,d]=[sy\tilde{a},tvd]$.

Using $xa=y\tilde{a}$ from (11), this also means that
$[\tilde{a},\tilde{b}][c,d]=[sxa,tvd]$. Therefore, in order to have well-
definedness in the first variable, one needs ${(ua,vd)\sim(sxa,tvd)}$. This is
true exactly if there exists ${w,z\in S}$ such that

$wua=zsxa,\,wvd=ztvd,\;w\,\mathcal{R}^{\prime}\,wua\,\mathcal{L}^{\prime}\,ua\mbox{
and }z\,\mathcal{R}^{\prime}\,zsxa\,\mathcal{L}^{\prime}\,sxa.$

Applying Property (M1) to $ua$ and $sxa$, take $w$ and $z$ to be elements in
$S$ such that

(18) $w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,{zsxa=wua}\,\text{ and
}\,L^{\prime}_{ua}\wedge L^{\prime}_{sxa}=L^{\prime}_{wua}.$

Since $a\,\mathcal{R}^{\prime}\,b$, we know that ${wua=zsxa}$ implies
$wub=zsxb$ by (M4). We then use $sxb=tvc$ from (16) and $ub=vc$ from (12) to
obtain $wvc=ztvc$. And therefore, using (M4) again,
$c\,\mathcal{R}^{\prime}\,d$ implies that $wvd=ztvd$.

Using Property (M2), $L^{\prime}_{x}\wedge L^{\prime}_{u}=L^{\prime}_{sx}$
implies that $L^{\prime}_{xa}\wedge L^{\prime}_{ua}=L^{\prime}_{sxa}$. We then
use $xa\,\mathcal{L}^{\prime}\,a$ from (11) and Lemma 3.9 (iii), to get

$L^{\prime}_{xa}\wedge L^{\prime}_{ua}=L^{\prime}_{sxa}\implies
L^{\prime}_{a}\wedge L^{\prime}_{ua}=L^{\prime}_{sxa}\implies
L^{\prime}_{ua}=L^{\prime}_{sxa}.$

We then compare this with $L^{\prime}_{ua}\wedge
L^{\prime}_{sxa}=L^{\prime}_{wua}$ from (18) to obtain
$L^{\prime}_{ua}=L^{\prime}_{wua}$. Lastly,
$sxa\,\mathcal{L}^{\prime}\,ua\,\mathcal{L}^{\prime}\,wua=zsxa$. Altogether,
this proves that

${(ua,vd)\sim(sxa,tvd)}=(\tilde{u}\tilde{a},\tilde{v}d).$

Second Variable: Let $(c,d)\sim(\tilde{c},\tilde{d})$. Therefore there exists
$x,y\in S$ such that

(19)
$xc=y\tilde{c},\,xd=y\tilde{d},\;x\,\mathcal{R}^{\prime}\,xc\,\mathcal{L}^{\prime}\,c\mbox{
and }y\,\mathcal{R}^{\prime}\,y\tilde{c}\,\mathcal{L}^{\prime}\,\tilde{c}.$

In order to show well-definedness in the second variable, we need that for all
$[a,b]\in P$ we have the equality $[a,b][c,d]=[a,b][\tilde{c},\tilde{d}]$.
With that goal in mind, given $[a,b]\in P$, we apply (M1) to $b$ and $c$, to
get that there exists $u,v\in S$ such that

(20) $u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vc=ub\,\text{ and
}\,L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{ub},$

so that $[a,b][c,d]=[ua,vd]$.

Our aim is to find elements $\tilde{u}$ and $\tilde{v}$ which witness
$[a,b][\tilde{c},\tilde{d}]=[\tilde{u}a,\tilde{v}\tilde{d}]$. We will then
prove that $(ua,vd)\sim(\tilde{u}a,\tilde{v}\tilde{d})$.

Applying Property (M1) to $v$ and $x$, we know that there exists $p,q\in S$
such that

(21) $p\,\mathcal{R}^{\prime}\,q\,\mathcal{R}^{\prime}\,{qx=pv}\,\text{ and
}\,{L^{\prime}_{v}\wedge L^{\prime}_{x}=L^{\prime}_{pv}}.$

We take $\tilde{u}=pu$ and $\tilde{v}=qy$.

We want to prove that
$[a,b][\tilde{c},\tilde{d}]=[\tilde{u}a,\tilde{v}\tilde{d}]$. To prove this,
it is sufficient that

(22)
$\tilde{u}\,\mathcal{R}^{\prime}\,\tilde{v}\,\mathcal{R}^{\prime}\,\tilde{v}\tilde{c}=\tilde{u}b\,\text{
and }\,{L^{\prime}_{b}\wedge L^{\prime}_{\tilde{c}}=L^{\prime}_{\tilde{u}b}}.$

Rewriting this, we need to prove that

(23) $pu\,\mathcal{R}^{\prime}\,qy\,\mathcal{R}^{\prime}\,qy\tilde{c}=pub$

and

(24) $L^{\prime}_{b}\wedge L^{\prime}_{\tilde{c}}=L^{\prime}_{pub}.$

We start be proving each relation in Equation (23) in turn:

We know that $u\,\mathcal{R}^{\prime}\,v$ from (20) and that
$x\,\mathcal{R}^{\prime}\,y$ from (19). Using the fact that
$\mathcal{R}^{\prime}$ is a left congruence, $u\,\mathcal{R}^{\prime}\,v$ and
$x\,\mathcal{R}^{\prime}\,y$ imply that $pu\,\mathcal{R}^{\prime}\,pv$ and
$qx\,\mathcal{R}^{\prime}\,qy$ respectively. Then, since $pv=qx$ from (21),
this gives us that $pu\,\mathcal{R}^{\prime}\,qy$. Using left compatibility of
$\mathcal{R}^{\prime}$ again, $u\,\mathcal{R}^{\prime}\,ub$ from (20) implies
that $pu\,\mathcal{R}^{\prime}\,pub$. Also, using $ub=vc$ from (20), $pv=qx$
from (21), and $xc=y\tilde{c}$ from (19), we get

(25) $pub=pvc=qxc=qy\tilde{c}.$

We now prove Equation (24). Using (M2) applied to (21), we have

$L^{\prime}_{v}\wedge L^{\prime}_{x}=L^{\prime}_{pv}\implies
L^{\prime}_{vc}\wedge L^{\prime}_{xc}=L^{\prime}_{pvc}.$

We use $L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{vc}$ from (20) and
$xc\,\mathcal{L}^{\prime}\,c$ from (19) to get

$(L^{\prime}_{b}\wedge L^{\prime}_{c})\wedge L^{\prime}_{c}=L^{\prime}_{pvc}.$

Therefore

$L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{b}\wedge(L^{\prime}_{c}\wedge
L^{\prime}_{c})=L^{\prime}_{pvc}.$

We apply
$c\,\mathcal{L}^{\prime}\,xc=y\tilde{c}\,\mathcal{L}^{\prime}\,\tilde{c}$ from
(19) and $ub=vc$ from (20) to get

$L^{\prime}_{b}\wedge L^{\prime}_{\tilde{c}}=L^{\prime}_{pub}.$

This concludes the verification of Equations (23) and (24), so that using (19)

$[a,b][\tilde{c},\tilde{d}]=[pua,qy\tilde{d}]=[pua,qxd].$

Therefore, in order to have well-definedness in the second variable, one needs
$(ua,vd)\sim(pua,qxd)$. This is true exactly if there exists $w,z\in S$ such
that

$wua=zpua,\,wvd=zqxd,\;w\,\mathcal{R}^{\prime}\,wua\,\mathcal{L}^{\prime}\,ua\mbox{
and }z\,\mathcal{R}^{\prime}\,zpua\,\mathcal{L}^{\prime}\,pua.$

Applying Property (M1) to $ua$ and $pua$, take $w$ and $z$ to be elements in
$S$ such that $w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,{zpua=wua}$
and $L^{\prime}_{ua}\wedge L^{\prime}_{pua}=L^{\prime}_{wua}$. We use
$pub=qxc$ from (25) and $ub=vc$ from (20), along with
$a\,\mathcal{R}^{\prime}\,b$ and $c\,\mathcal{R}^{\prime}\,d$, to obtain

$wua=zpua\overset{(M4)}{\implies}wub=zpub\implies
wvc=zqxc\overset{(M4)}{\implies}wvd=zqxd.$

Using Property (M2), $L^{\prime}_{v}\wedge L^{\prime}_{x}=L^{\prime}_{pv}$
implies that $L^{\prime}_{vc}\wedge L^{\prime}_{xc}=L^{\prime}_{pvc}$. We then
use $xc\,\mathcal{L}^{\prime}\,c$ from (19) and Lemma 3.9 (iii), to get

$L^{\prime}_{vc}\wedge L^{\prime}_{xc}=L^{\prime}_{pvc}\implies
L^{\prime}_{vc}\wedge L^{\prime}_{c}=L^{\prime}_{pvc}\implies
L^{\prime}_{vc}=L^{\prime}_{pvc}\implies L^{\prime}_{ub}=L^{\prime}_{pub}.$

We apply Lemma 3.9 (iv) to $ub\,\mathcal{L}^{\prime}\,pub$ and
$a\,\mathcal{R}^{\prime}\,b$ to obtain $ua\,\mathcal{L}^{\prime}\,pua$.
Therefore $L^{\prime}_{wua}={L^{\prime}_{ua}\wedge
L^{\prime}_{pua}}=L^{\prime}_{ua}$. Finally,
$pua\,\mathcal{L}^{\prime}\,ua\,\mathcal{L}^{\prime}\,wua=zpua$, which gives
us all the necessary conditions for
${(ua,vd)\sim(pua,qxd)=(\tilde{u}a,\tilde{v}\tilde{d})}$.

Note that by using well-definedness in the first variable and well-definedness
in the second variable together, we can see that for
$(a,b)\sim(\tilde{a},\tilde{b})$ and $(c,d)\sim(\tilde{c},\tilde{d})$, we get

$(a,b)(c,d)\sim(\tilde{a},\tilde{b})(c,d)\sim(\tilde{a},\tilde{b})(\tilde{c},\tilde{d}).$

Therefore, by transitivity, this multiplication is well-defined. ∎

######  Lemma 3.12.

Multiplication in $P$ is associative.

###### Proof.

Let $[a,b],[c,d],[e,f]\in P$.

Applying Property (M1) to $b$ and $c$, we choose $u,v\in S$ satisfying

(26) $u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,{vc=ub}\,\text{ and
}\,L^{\prime}_{b}\wedge L^{\prime}_{c}=L^{\prime}_{ub}.$

This gives us that $[a,b][c,d]=[ua,vd]$. Similarly, we choose $p,q\in S$
satisfying

(27) $p\,\mathcal{R}^{\prime}\,q\,\mathcal{R}^{\prime}\,qe=pd\,\text{ and
}\,L^{\prime}_{d}\wedge L^{\prime}_{e}=L^{\prime}_{pd}.$

Then $[c,d][e,f]=[pc,qf]$.

Applying Property (M1) to $v$ and $p$, we know that there exists $i,j\in S$
such that

(28) $i\,\mathcal{R}^{\prime}\,j\,\mathcal{R}^{\prime}\,{jp=iv}\,\text{ and
}\,{L^{\prime}_{v}\wedge L^{\prime}_{p}=L^{\prime}_{iv}}.$

We want to prove that

(29) $([a,b][c,d])[e,f]=[ua,vd][e,f]=[i(ua),(jq)f],$

and that

(30) $[a,b]([c,d][e,f])=[a,b][pc,qf]=[(iu)a,j(qf)].$

This would prove associativity.

In order to prove (29), we need

(31) $i\,\mathcal{R}^{\prime}\,jq\,\mathcal{R}^{\prime}\,{jqe=ivd}$

and

(32) $L^{\prime}_{vd}\wedge L^{\prime}_{e}=L^{\prime}_{ivd}.$

We start by proving each relation in Equation (31).

Since $\mathcal{R}^{\prime}$ is a left congruence,
$q\,\mathcal{R}^{\prime}\,p$ implies that $jq\,\mathcal{R}^{\prime}\,jp$,
which in turn is $\mathcal{R}^{\prime}$-related to $i$. Using again the left
compatibility of $\mathcal{R}^{\prime}$, we see that
$q\,\mathcal{R}^{\prime}\,qe$ implies that $jq\,\mathcal{R}^{\prime}\,jqe$.
Also, using $qe=pd$ and $jp=iv$, we see that $jqe=jpd=ivd$.

We now prove Equation (32). We apply (M2) to $L^{\prime}_{v}\wedge
L^{\prime}_{p}=L^{\prime}_{iv}$ to give us that $L^{\prime}_{vd}\wedge
L^{\prime}_{pd}=L^{\prime}_{ivd}$. And so, using $L^{\prime}_{d}\wedge
L^{\prime}_{e}=L^{\prime}_{pd}$ and Lemma 3.9 (iii), we have

$\begin{split}L^{\prime}_{vd}\,\wedge\,L^{\prime}_{pd}=L^{\prime}_{ivd}&\implies
L^{\prime}_{vd}\,\wedge\,(L^{\prime}_{d}\,\wedge\,L^{\prime}_{e})=L^{\prime}_{ivd}\\\
&\implies(L^{\prime}_{vd}\,\wedge\,L^{\prime}_{d})\,\wedge\,L^{\prime}_{e}=L^{\prime}_{ivd}\\\
&\implies
L^{\prime}_{vd}\,\wedge\,L^{\prime}_{e}=L^{\prime}_{ivd}.\end{split}$

We now have proved both (31) and (32), which together gives us (29).

In order to prove (30), we need

(33) $iu\,\mathcal{R}^{\prime}\,j\,\mathcal{R}^{\prime}\,{jpc=iub}$

and

(34) $L^{\prime}_{b}\wedge L^{\prime}_{pc}=L^{\prime}_{iub}.$

We start by proving each relation in Equation (33).

Since $\mathcal{R}^{\prime}$ is a left congruence,
$u\,\mathcal{R}^{\prime}\,v$ implies that $iu\,\mathcal{R}^{\prime}\,iv$,
which in turn is $\mathcal{R}^{\prime}$-related to $j$. Using again the left
compatibility of $\mathcal{R}^{\prime}$, we see that
$c\,\mathcal{R}^{\prime}\,d$ implies that $jpc\,\mathcal{R}^{\prime}\,jpd$ and
$p\,\mathcal{R}^{\prime}\,pd$ implies that $jp\,\mathcal{R}^{\prime}\,jpd$.
Therefore
$j\,\mathcal{R}^{\prime}\,jp\,\mathcal{R}^{\prime}\,jpd\,\mathcal{R}^{\prime}\,jpc$.
Also, using $ub=vc$ and $iv=jp$, we see that $iub=ivc=jpc$.

We now prove Equation (34). We apply (M2) to $L^{\prime}_{v}\wedge
L^{\prime}_{p}=L^{\prime}_{iv}$ to give us that $L^{\prime}_{vc}\wedge
L^{\prime}_{pc}=L^{\prime}_{ivc}$. And so, using $L^{\prime}_{b}\wedge
L^{\prime}_{c}=L^{\prime}_{vc}$ and Lemma 3.9 (iii), we have

$\begin{split}L^{\prime}_{vc}\,\wedge\,L^{\prime}_{pc}=L^{\prime}_{ivc}&\implies(L^{\prime}_{b}\,\wedge\,L^{\prime}_{c})\,\wedge
L^{\prime}_{pc}=L^{\prime}_{iub}\\\ &\implies
L^{\prime}_{b}\,\wedge\,(L^{\prime}_{c}\,\wedge\,L^{\prime}_{pc})=L^{\prime}_{iub}\\\
&\implies
L^{\prime}_{b}\,\wedge\,L^{\prime}_{pc}=L^{\prime}_{iub}.\end{split}$

We have now proved both (33) and (34), which together gives us (30), finishing
the proof. ∎

We have now proved that $P$ is a semigroup. The next lemma provides a couple
of useful shortcuts to help in later stages.

######  Lemma 3.13.

These following statements are true in $P$:

  1. (i)

$[a,a]=[b,b]$ if and only if $a\,\mathcal{L}^{\prime}\,b$;

  2. (ii)

$[a,b][b,a]=[a,a]$.

###### Proof.

$(i)$ We know that $[a,a]=[b,b]$ if and only if there exists $w,z\in S$ such
that

(35) $wa=zb,\;w\,\mathcal{R}^{\prime}\,wa\,\mathcal{L}^{\prime}\,a\mbox{ and
}z\,\mathcal{R}^{\prime}\,zb\,\mathcal{L}^{\prime}\,b.$

Let $[a,a]=[b,b]$. Therefore there exists $w,z\in S$ satisfying (35). Hence
$a\,\mathcal{L}^{\prime}\,wa=zb\,\mathcal{L}^{\prime}\,b$.

Conversely let $a\,\mathcal{L}^{\prime}\,b$. Applying (M1) to $a$ and $b$,
there exists $w,z\in S$ such that
$w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,{zb=wa}$ and
${L^{\prime}_{a}\wedge L^{\prime}_{b}=L^{\prime}_{wa}}$ Therefore, since
$a\,\mathcal{L}^{\prime}\,b$, we have $L^{\prime}_{wa}=L^{\prime}_{a}\wedge
L^{\prime}_{b}=L^{\prime}_{a}$, and consequently
$zb=wa\,\mathcal{L}^{\prime}\,a\,\mathcal{L}^{\prime}\,b$. Comparing with
(35), we see that ${[a,a]=[b,b]}$.

$(ii)$ By Lemma 3.9 (i), there exists $y\in S$ such that
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$. By comparing with the
definition of multiplication in Roadmap 3.8, we see that
${[a,b][b,a]=[ya,ya]}$. Since $a\,\mathcal{R}^{\prime}\,b$, Lemma 3.9 (ii)
gives us that $\,y\,\mathcal{R}^{\prime}\,ya\,\mathcal{L}^{\prime}\,a$. So by
(i), $[a,b][b,a]=[a,a]$. ∎

######  Lemma 3.14.

The semigroup $P$ is regular.

###### Proof.

Let $[a,b]\in P$. By Lemma 3.13 (ii), $[a,b][b,a][a,b]=[a,a][a,b]$. By Lemma
3.9 (i), there exists $y\in S$ such that
$y\,\mathcal{R}^{\prime}\,ya\,\mathcal{L}^{\prime}\,a$. Therefore, by our
definition of multiplication, $[a,a][a,b]=[ya,yb]$.

We want to prove that $(a,b)\sim(ya,yb)$. That is there exists $w,z\in S$ such
that

$wa=zya,\,wb=zyb,\;w\,\mathcal{R}^{\prime}\,wa\,\mathcal{L}^{\prime}\,a\mbox{
and }z\,\mathcal{R}^{\prime}\,zya\,\mathcal{L}^{\prime}\,ya.$

Applying Property (M1) to $a$ and $ya$, there exists $w,z\in S$ such that

$w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,{zya=wa}\,\text{ and
}\,{L^{\prime}_{a}\wedge L^{\prime}_{ya}=L^{\prime}_{wa}}.$

We use (M4) to give us that $wa=zya$ implies $wb=zyb$. We can also use
$a\,\mathcal{L}^{\prime}\,ya$ to give us that
$L^{\prime}_{wa}=L^{\prime}_{a}\,\wedge\,L^{\prime}_{ya}=L^{\prime}_{a}$.
Therefore ${a\,\mathcal{L}^{\prime}\,ya\,\mathcal{L}^{\prime}\,wa=zya}$.

So we have that $[a,b][b,a][a,b]=[a,b]$. Therefore $P$ is regular. ∎

It is good to note that in the exactly same way $[b,a][a,b][b,a]=[b,a]$.
Therefore $[b,a]\in V([a,b])$.

######  Lemma 3.15.

The semigroup $P$ is an inverse semigroup, with semilattice of idempotents

$E(P)=\\{[a,a]:a\in S\\}$

and the inverse of $[a,b]$ given by $[a,b]^{-1}=[b,a]$.

###### Proof.

We start by identifying the idempotents of $P$. For any $[a,a]\in P$ it is
easy to see, using (M1), that $[a,a]\in E(P)$.

Let $[a,b]\in P$ be an idempotent, i.e. let $[a,b][a,b]=[a,b]$. We know that
${[a,b][a,b]=[ua,vb]}$, where $u$ and $v$ are the elements that exists by (M1)
such that

$u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,va=ub\,\text{ and
}\,{L^{\prime}_{a}\wedge L^{\prime}_{b}=L^{\prime}_{ub}}\,.$

Consequently we know that $(a,b)\sim(ua,vb)$. Therefore there exists $w,z\in
S$ such that

$wa=zua,\,wb=zvb,\;w\,\mathcal{R}^{\prime}\,wa\,\mathcal{L}^{\prime}\,a,\,z\,\mathcal{R}^{\prime}\,zua\,\mathcal{L}^{\prime}\,ua.$

By Lemma 3.9 (ii) we have that $a\,\mathcal{R}^{\prime}\,b$ implies that
$w\,\mathcal{R}^{\prime}\,wb\,\mathcal{L}^{\prime}\,b$. Also, by applying (M4)
to both $wb=zvb$ and $wa=zua$ and using $va=ub$, we have

$wa\overset{(M4)}{=}zva=zub\overset{(M4)}{=}wb.$

Therefore $a\,\mathcal{L}^{\prime}\,wa=wb\,\mathcal{L}^{\prime}\,b$. We then
apply Property (M6) to give us $a=b$. Therefore $E(P)$ is as given in the
statement.

We now prove that idempotents commute. Let $[a,a],[b,b]\in E(P)$. Applying
Property (M1) to $a$ and $b$, we choose $u$ and $v$ such that
${[a,a][b,b]=[ua,vb]}$, where

$u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vb=ua\,\text{ and
}\,{L^{\prime}_{a}\wedge L^{\prime}_{b}=L^{\prime}_{ua}}.$

By inspection we can see that $v$ and $u$ satisfy the necessary properties for
${[b,b][a,a]=[vb,ua]}$. And so we see that, since $ua=vb$, we have

$[a,a][b,b]=[ua,vb]=[vb,ua]=[b,b][a,a].$

Therefore the idempotents of $P$ commute. Since $P$ is also regular, this
means that $P$ is an inverse semigroup.

Moreover since $[b,a]\in V([a,b])$, we easily see that $[a,b]^{-1}=[b,a]$ for
all ${[a,b]\in P}$. ∎

We now prove that $S$ embeds into $P$. We do this by defining a function
$\phi:S\rightarrow P$, by $a\phi=[x,xa]$, where $x$ is the element such that
$x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$, that exists by Lemma
3.9 (i). Note that $[x,xa]\in P$.

######  Lemma 3.16.

The function $\phi$ is an embedding.

###### Proof.

Again we must proceed in stages.

Well-defined: Let $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$ and
let $y\,\mathcal{R}^{\prime}\,ya\,\mathcal{L}^{\prime}\,a$. By our definition,
this means that ${a\phi=[x,xa]}$ and that ${a\phi=[y,ya]}$. Therefore, in
order to prove that $\phi$ is well-defined, we need to prove that
$(x,xa)\sim(y,ya)$. This is true exactly if there exists $w,z\in S$ such that

$wx=zy,\,wxa=zya,\;w\,\mathcal{R}^{\prime}\,wx\,\mathcal{L}^{\prime}\,x\mbox{
and }z\,\mathcal{R}^{\prime}\,zy\,\mathcal{L}^{\prime}\,y.$

Applying Property (M1) to $x$ and $y$, we take $w$ and $z$ to be elements in
$S$ such that ${w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,wx=zy}$ and
${L^{\prime}_{x}\wedge L^{\prime}_{y}=L^{\prime}_{wx}}\,$. Trivially,
$wxa=zya$. Using (M5), $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$
and $y\,\mathcal{R}^{\prime}\,ya\,\mathcal{L}^{\prime}\,a$ implies that
$x\,\mathcal{L}^{\prime}y$. Therefore

$L^{\prime}_{wx}=L^{\prime}_{x}\wedge L^{\prime}_{y}=L^{\prime}_{x}.$

For the last necessary property, we notice
$y\,\mathcal{L}^{\prime}\,x\,\mathcal{L}^{\prime}\,wx=zy$.

Homomorphism: Let $a,b\in S$, and let $x,y\in S$ such that
$x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$ and
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$. Therefore, by
definition, $a\phi=[x,xa]$ and $b\phi=[y,yb]$. Then

$(a\phi)(b\phi)=[x,xa][y,yb]=[ux,vyb]=[ux,uxab],$

where $u$ and $v$ are the elements that exist by (M1) such that

$u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vy=uxa\,\text{ and
}\,{L^{\prime}_{xa}\wedge L^{\prime}_{y}=L^{\prime}_{uxa}}.$

We want to prove that this is equal to $(ab)\phi$.

Using the fact that $\mathcal{R}^{\prime}$ is a left conguence, we have that
$yb\,\mathcal{R}^{\prime}\,y$ implies that $vyb\,\mathcal{R}^{\prime}\,vy$,
and $xa\,\mathcal{R}^{\prime}\,x$ implies that
$uxa\,\mathcal{R}^{\prime}\,ux$. Therefore

$uxab=vyb\,\mathcal{R}^{\prime}\,vy=uxa\,\mathcal{R}^{\prime}\,ux.$

We use $xa\,\mathcal{L}^{\prime}\,a$ to obtain ${L^{\prime}_{a}\wedge
L^{\prime}_{y}=L^{\prime}_{uxa}}$. We can then apply Property (M2) to
${L^{\prime}_{a}\wedge L^{\prime}_{y}=L^{\prime}_{uxa}}$ to give us that
${L^{\prime}_{ab}\wedge L^{\prime}_{yb}=L^{\prime}_{uxab}}$. Using
$yb\,\mathcal{L}^{\prime}\,b$, this means that ${L^{\prime}_{ab}\wedge
L^{\prime}_{b}=L^{\prime}_{uxab}}$. We can then apply Lemma 3.9 (iii) to give
us $ab\,\mathcal{L}^{\prime}\,uxab$.

By the definition of $\phi$, since
$ux\,\mathcal{R}^{\prime}\,uxab\,\mathcal{L}^{\prime}\,ab$, this means that

$(ab)\phi=[ux,uxab]=(a\phi)(b\phi).$

Injective: Let $a,b\in S$ such that $a\phi=b\phi$. Therefore, choosing $x$ and
$y$ such that $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$ and
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$, we have that
$[x,xa]=[y,yb]$. This means there exists $w,z\in S$ such that

$wx=zy,\,wxa=zyb,\;w\,\mathcal{R}^{\prime}\,wx\,\mathcal{L}^{\prime}\,x\text{
and }z\,\mathcal{R}^{\prime}\,zy\,\mathcal{L}^{\prime}\,y.$

Therefore, using the fact that $\mathcal{L}^{\prime}$ is a right congruence,
we have that $x\,\mathcal{L}^{\prime}\,wx$ implies that
$xa\,\mathcal{L}^{\prime}\,wxa$. Consequently,
$a\,\mathcal{L}^{\prime}\,xa\,\mathcal{L}^{\prime}\,wxa$. Similarly,
$y\,\mathcal{L}^{\prime}\,zy$ implies that $yb\,\mathcal{L}^{\prime}\,zyb$.
And so, $b\,\mathcal{L}^{\prime}\,yb\,\mathcal{L}^{\prime}\,zyb=wxb$, using
$zy=wx$ in the last equality. Therefore, we can apply Property (M6) giving us
that $a\,\mathcal{L}^{\prime}\,wxa=wxb\,\mathcal{L}^{\prime}\,b$ implies that
$a=b$. ∎

######  Lemma 3.17.

Let $a,b\in S$. Then $a\,\mathcal{R}^{\prime}\,b$ if and only if
$a\phi\,\mathcal{R}^{P}\,b\phi$.

###### Proof.

We have already proved that $P$ is an inverse semigroup, so
$a\phi\,\mathcal{R}^{P}\,b\phi$ if and only if
${(a\phi)(a\phi)^{-1}=(b\phi)(b\phi)^{-1}}$.

Let $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$ and
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$, so that $a\phi=[x,xa]$
and $b\phi=[y,yb]$. Then $(a\phi)(a\phi)^{-1}=[x,xa][xa,x]=[x,x]$, by Lemmas
3.15 and 3.13 (ii). Similarly $(b\phi)(b\phi)^{-1}=[y,yb][yb,b]=[y,y]$.

Therefore $a\phi\,\mathcal{R}^{P}\,b\phi$ if and only if $(x,x)\sim(y,y)$,
which is true if and only if $x\,\mathcal{L}^{\prime}\,y$, using Lemma 3.13
(i). We then use (M5) to give us that this is equivalent to
$a\,\mathcal{R}^{\prime}\,b$. ∎

######  Lemma 3.18.

Let $a,b\in S$. Then $a\leq_{l}b$ if and only if
$a\phi\leq_{\mathcal{L}^{P}}b\phi$.

###### Proof.

We have already proved that $P$ is an inverse semigroup, so
$a\phi\leq_{\mathcal{L}^{P}}b\phi$ if and only if
${a\phi=(a\phi)(b\phi)^{-1}(b\phi)}$.

Let $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$ and
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$, so that $a\phi=[x,xa]$
and $b\phi=[y,yb]$. Using Lemma 3.13, we have
$(b\phi)^{-1}(b\phi)=[yb,y][y,yb]=[yb,yb]=[b,b]$. Therefore

$(a\phi)(b\phi)^{-1}(b\phi)=[x,xa][b,b]=[ux,vb],$

where $u$ and $v$ are the elements that exist by (M1) such that

$u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vb=uxa\,\text{ and
}\,{L^{\prime}_{xa}\wedge L^{\prime}_{b}=L^{\prime}_{uxa}}.$

Note that since $xa\,\mathcal{L}\,a$, this means that ${L^{\prime}_{a}\wedge
L^{\prime}_{b}=L^{\prime}_{uxa}}$.

We use $vb=uxa$ to give us that $(a\phi)(b\phi)^{-1}(b\phi)=[ux,uxa]$. It
follows that $a\phi\leq_{\mathcal{L}^{P}}b\phi$ if and only if
$(x,xa)\sim(ux,uxa)$, which is true exactly if there exists $w,z\in S$ such
that

(36)
$wx=zux,\,wxa=zuxa,\;w\,\mathcal{R}^{\prime}\,wx\,\mathcal{L}^{\prime}\,x\mbox{
and }z\,\mathcal{R}^{\prime}\,zux\,\mathcal{L}^{\prime}\,ux.$

We know that $x\,\mathcal{R}^{\prime}\,xa$, and so
$ux\,\mathcal{R}^{\prime}\,uxa$ as $\mathcal{R}^{\prime}$ is a left
congruence. Therefore we can use Lemma 3.9 (ii) to rewrite (36) to the
equivalent expression (37). That is, $a\phi\leq_{\mathcal{L}^{P}}b\phi$ if and
only if there exists $w,z\in S$ such that

(37)
$wx=zux,\,wxa=zuxa,\;w\,\mathcal{R}^{\prime}\,wxa\,\mathcal{L}^{\prime}\,xa\mbox{
and }z\,\mathcal{R}^{\prime}\,zuxa\,\mathcal{L}^{\prime}\,uxa.$

Let $a\phi\leq_{\mathcal{L}^{P}}b\phi$, i.e. let $w$ and $z$ exist in $S$ such
that (37) is satisfied. We see that
$uxa\,\mathcal{L}^{\prime}\,zuxa=wxa\,\mathcal{L}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$.
Therefore ${L^{\prime}_{a}\wedge
L^{\prime}_{b}=L^{\prime}_{uxa}=L^{\prime}_{a}}$. By definition this means
that $a\leq_{l}b$.

On the other hand, let $a\leq_{l}b$. By definition ${L^{\prime}_{a}\wedge
L^{\prime}_{b}=L^{\prime}_{a}}$. Therefore

${L^{\prime}_{uxa}=L^{\prime}_{a}\wedge
L^{\prime}_{b}=L^{\prime}_{a}=L^{\prime}_{xa}}.$

Applying Property (M1) to $xa$ and $uxa$, there exists $w,z\in S$ such that

$w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,{zuxa=wxa}\text{ and
}{L^{\prime}_{uxa}\wedge L^{\prime}_{xa}=L^{\prime}_{wxa}}.$

Using $x\,\mathcal{R}^{\prime}\,xa$, we know that $zuxa=wxa$ implies that
$zux=wx$ by (M4). Using the fact that $uxa\,\mathcal{L}^{\prime}\,xa$, we see
that $L^{\prime}_{wxa}=L^{\prime}_{uxa}\wedge
L^{\prime}_{xa}=L^{\prime}_{xa}$. Therefore
$uxa\,\mathcal{L}^{\prime}\,xa\,\mathcal{L}^{\prime}\,wxa=zuxa$. This gives us
(37), and so $a\phi\leq_{\mathcal{L}^{P}}b\phi$. ∎

######  Lemma 3.19.

The semigroup $P$ is a semigroup of straight left I-quotients of $S\phi$.

###### Proof.

Let $[a,b]\in P$. Note that $a,b\in S$ with $a\,\mathcal{R}^{\prime}\,b$.

Let $x\,\mathcal{R}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$ and
$y\,\mathcal{R}^{\prime}\,yb\,\mathcal{L}^{\prime}\,b$, so that $a\phi=[x,xa]$
and $b\phi=[y,yb]$. By Lemma 3.17, $a\phi\,\mathcal{R}^{P}\,b\phi$. We have

$(a\phi)^{-1}(b\phi)=[xa,x][y,yb]=[uxa,vyb],$

where $u$ and $v$ are the elements that exist by (M1) such that

$u\,\mathcal{R}^{\prime}\,v\,\mathcal{R}^{\prime}\,vy=ux\,\text{ and
}\,{L^{\prime}_{x}\wedge L^{\prime}_{y}=L^{\prime}_{ux}}.$

We want to prove that $(a\phi)^{-1}(b\phi)=[a,b]$.

We see that $(a,b)\sim(uxa,vyb)$ exactly if there exists $w,z\in S$ such that

$wa=zuxa,\,wb=zvyb,\;w\,\mathcal{R}^{\prime}\,wa\,\mathcal{L}^{\prime}\,a\mbox{
and }z\,\mathcal{R}^{\prime}\,zuxa\,\mathcal{L}^{\prime}\,uxa.$

Applying Property (M1) to $a$ and $uxa$, we know that there exists $w,z\in S$
such that

$w\,\mathcal{R}^{\prime}\,z\,\mathcal{R}^{\prime}\,{zuxa=wa}\,\text{ and
}\,{L^{\prime}_{a}\wedge L^{\prime}_{uxa}=L^{\prime}_{wa}}.$

We see that $wa=zuxa$ implies ${wb=zuxb}$ by (M4), and therefore, since
$ux=vy$ we have $wb=zvyb$. We use Property (M5) to get that
$a\,\mathcal{R}^{\prime}\,b$ implies $x\,\mathcal{L}^{\prime}y$, and therefore
${L^{\prime}_{ux}=L^{\prime}_{x}\wedge L^{\prime}_{y}=L^{\prime}_{x}}$. We
then use the fact that $\mathcal{L}^{\prime}$ is a right congruence to give us
that $ux\,\mathcal{L}^{\prime}\,x$ implies
$uxa\,\mathcal{L}^{\prime}\,xa\,\mathcal{L}^{\prime}\,a$. Therefore
${L^{\prime}_{wa}=L^{\prime}_{a}\wedge L^{\prime}_{uxa}=L^{\prime}_{a}}$, and
so $zuxa=wa\,\mathcal{L}^{\prime}\,a\,\mathcal{L}^{\prime}\,uxa$. This gives
us ${[a,b]=(a\phi)^{-1}(b\phi)}$, where $a\phi\,\mathcal{R}^{P}\,b\phi$. ∎

The proof of Theorem 3.7 is now complete.

##  4\. Right ample straight left I-orders

The aim of this section is to give two applications of Theorem 3.7 to new
classes of semigroups. We could, of course, apply it to describe left I-orders
in some classes of semigroups, such as primitive inverse semigroups, that have
already been considered, but we refer the reader to the thesis of the second
author [23] for those arguments.

In this work we have already seen the importance of the relation
$\mathcal{R}^{*}$, introduced in Section 3. The dual relation is denoted by
$\mathcal{L}^{*}$. In fact, $\mathcal{L}^{*}$ is the (right compatible)
equivalence relation associated with the (right compatible) preorder
${\leq_{\mathcal{L}^{*}}}$, where for $a,b\in S$ we have that
$a\,{\leq_{\mathcal{L}^{*}}}\,b$ if and only if for all $x,y\in S^{1}$, if
$bx=by$ then $ax=ay$. The latter condition is equivalent to
$a\,{\leq_{\mathcal{L}}}\,b$ in some oversemigroup of $S$. Of course a dual
statement is true for $\mathcal{R}^{*}$ but we do not explicitly need that
here. We remark that as for $\mathcal{R}^{*}$, the relations $\mathcal{L}^{*}$
and ${\leq_{\mathcal{L}^{*}}}$ will always refer to $S$ itself.

A semigroup for which $E(S)$ is a semilattice and every element is
$\mathcal{R}^{*}$-related to an idempotent is said to be left adequate. Right
adequate semigroups are defined dually, and a semigroup is adequate if it is
right and left adequate. Notice that if $S$ is left (right) adequate, then
$a\in S$ is $\mathcal{R}^{*}$-related ($\mathcal{L}^{*}$-related) to a unique
idempotent, which we denote by $a^{+}$ ($a^{*}$). Right, left and (two-sided)
adequate semigroups are potential analogues of inverse semigroups. It
transpires that for the closest connections with inverse semigroups, we need
some control on moving idempotents in products, as witnessed by the following
definition.

######  Definition 4.1.

A left adequate semigroup is left ample if for all $a,b\in S$ we have

$ab^{+}=(ab)^{+}a.$

Right ample semigroups are defined dually, and a semigroup is ample if it is
both right and left ample.

It is easy to see that an inverse semigroup is ample, with $a^{+}=aa^{-1}$ and
$a^{*}=a^{-1}a$. Moreover, if $S$ is a subsemigroup of an inverse semigroup
$Q$ in a way that preserves +, that is, it is as a unary subsemigroup of $Q$,
then $S$ is left ample, with the dual and two-sided statements also holding.
The precise relationship between one- and two-sided ample semigroups and
inverse semigroups is complex. It is worth noting that an ample semigroup $S$
may not be embeddable into an inverse semigroup in such a way that preserves
both + and ∗. We refer the reader to [15] for further details.

In [9] a characterisation was given of a particular kind of left ample
straight left I-orders. In this section, we characterise right ample and (two-
sided) ample straight left I-orders, sitting as unary and bi-unary
subsemigroups of their semigroups of I-quotients, as an application of Theorem
3.7. Note that not every right ample left I-order is straight. It is easy to
see that the left I-order given in Example 2.6 is a left cancellative monoid,
which is easily seen to be right ample.

We start with four useful lemmas. The first follows from the well-known fact
that the restriction of ${\leq_{\mathcal{L}}}$ to regular elements is exactly
${\leq_{\mathcal{L}^{*}}}$.

######  Lemma 4.2.

Let $S$ be a semigroup and let ${e,f\in E(S)}$. Then $e\leq_{\mathcal{L}}f$ if
and only if $e\leq_{\mathcal{L}^{*}}f$.

######  Lemma 4.3.

Let $S$ be a semigroup such that $E(S)$ is a semilattice. Then the
$\mathcal{L}^{*}$-classes of idempotents form a meet semilattice under the
induced partial order on $S/\mathcal{L}^{*}$. Moreover, for ${e,f\in E(S)}$ we
have $L^{*}_{e}\,\wedge\,L^{*}_{f}=L^{*}_{ef}$.

###### Proof.

Since ${\leq_{\mathcal{L}}}\subseteq{\leq_{\mathcal{L}^{*}}}$ we certainly
have $ef\leq_{\mathcal{L}^{*}}e,f$.

Now let $h\in S$ such that $h\leq_{\mathcal{L}^{*}}e,f$. As $e1=ee$ we have
$h=h1=he$ and similarly $h=hf$, so that $h=hef\,{\leq_{\mathcal{L}}}\,ef$ and
hence $h\,{\leq_{\mathcal{L}^{*}}}\,ef$. The result follows. ∎

We give some elementary properties of right ample semigroups. The duals of
these properties apply to left ample semigroups.

######  Lemma 4.4.

Let $S$ be a right ample semigroup. Then for all $a,b\in S$:

  1. (i)

$aa^{*}=a$;

  2. (ii)

$(ab)^{*}=(a^{*}b)^{*}$;

  3. (iii)

$b^{*}=(ab)^{*}$ if and only if $b=a^{*}b$.

###### Proof.

Claim (i) follows similarly to the argument in Lemma 4.3; (ii) uses the fact
that $\mathcal{L}^{*}$ is a right congruence. For (iii), let $b^{*}=(ab)^{*}$.
Then, using the ample condition,

$b=bb^{*}=b(ab)^{*}=a^{*}b.$

Conversely, let $b=a^{*}b$. Then, applying ∗ to both sides,

$b^{*}=(a^{*}b)^{*}=(ab)^{*},$

using (ii) in the last equality. ∎

######  Lemma 4.5.

Let $S$ be a right ample subsemigroup of an inverse semigroup $Q$. Then $S$ is
embedded as a unary semigroup into $Q$ if and only if
$\mathcal{L}^{Q}\cap(S\times S)=\mathcal{L}^{*}$.

###### Proof.

For any $a,b\in S$ we have $a\,\mathcal{L}^{*}\,b$ if and only if
$a^{*}=b^{*}$. Further, $a\,{\mathcal{L}}^{Q}\,b$ if and only if
$a^{-1}a=b^{-1}b$. The statement follows. ∎

###  4.1. Right ample straight left I-orders

The aim of this subsection is to prove the following theorem.

######  Theorem 4.6.

Let $S$ be a right ample semigroup and let $\mathcal{R}^{\prime}$ be a binary
relation on $S$. Then $S$ has a semigroup of straight left I-quotients $Q$,
such that $S$ is embedded in $Q$ as a unary semigroup and
$\mathcal{R}^{Q}\cap(S\times S)=\mathcal{R}^{\prime}$, if and only if
$\mathcal{R}^{\prime}$ is a left congruence on $S$ such that $S$ satisfies
Conditions (A1) - (A3).

  * (A1)

For all $\alpha,\beta\in S$, there exists $\gamma,\delta\in S$ such that
$\gamma\,\mathcal{R}^{\prime}\,\delta\,\mathcal{R}^{\prime}\,\delta\beta=\gamma\alpha$
and $\alpha\beta^{*}=\gamma^{*}\alpha$.

  * (A2)

For all $\alpha,\beta,\gamma\in S$,
$\gamma\alpha\,\mathcal{R}^{\prime}\,\gamma\beta$ implies that
$\gamma^{*}\alpha\,\mathcal{R}^{\prime}\,\gamma^{*}\beta$.

  * (A3)

$\mathcal{R}^{\prime}\subseteq\mathcal{R}^{*}$.

To prove this we will apply Theorem 3.7. In order to apply Theorem 3.7, we
must find $\leq_{\mathcal{L}^{Q}}$ and the associated meet.

######  Lemma 4.7.

Let $S$ be a right ample semigroup embedded as a unary semigroup into an
inverse semigroup $Q$. Then for all $a,b,c,x\in S$,

  1. (i)

$a\leq_{\mathcal{L}^{Q}}b$ if and only if $a^{*}=a^{*}b^{*}$ if and only if
$a\leq_{\mathcal{L}^{*}}b$;

  2. (ii)

$L_{a}\,\wedge\,L_{b}=L_{c}\,$ if and only if $\,c^{*}=a^{*}b^{*}$; and

  3. (iii)

$L_{a}\,\wedge\,L_{b}=L_{xa}\,$ if and only if $\,ab^{*}=x^{*}a$.

###### Proof.

First recall that since $S$ is embedded in $Q$ in such a way that ∗ is
preserved, we have that for all $a\in S$, $a^{*}=a^{-1}a$.

  1. (i)

By Lemma 4.2, $a^{*}\leq b^{*}$, $a^{*}\leq_{\mathcal{L}^{Q}}b^{*}$ and
$a^{*}\leq_{\mathcal{L}^{*}}b^{*}$ are all equivalent. The result is then
obtained by noticing that $a\,\mathcal{L}^{*}\,a^{*}$ and
$a\,\mathcal{L}^{Q}\,a^{*}$.

  2. (ii)

Using (i), we can see that the poset $Q/\mathcal{L}$ is order isomorphic to
$Q/\mathcal{L}^{*}$. Therefore $L_{a}\,\wedge\,L_{b}=L_{c}\,$ if and only if
$L^{*}_{a}\,\wedge\,L^{*}_{b}=L^{*}_{c}\,$, which is true exactly when
$L^{*}_{a^{*}}\,\wedge\,L^{*}_{b^{*}}=L^{*}_{c^{*}}\,$. By Lemma 4.3, we know
that $L^{*}_{a^{*}}\,\wedge\,L^{*}_{b^{*}}=L^{*}_{a^{*}b^{*}}\,$. Therefore
$L^{*}_{a^{*}}\,\wedge\,L^{*}_{b^{*}}=L^{*}_{c^{*}}\,$ if and only if
$c^{*}=a^{*}b^{*}$.

  3. (iii)

Let $L_{a}\,\wedge\,L_{b}=L_{xa}\,$. Therefore, by (ii), we have
$a^{*}b^{*}=(xa)^{*}$. Then, using Lemma 4.4,

$ab^{*}=aa^{*}b^{*}=a(xa)^{*}=x^{*}a.$

On the other hand let $ab^{*}=x^{*}a$. Then, again using Lemma 4.4,

$(xa)^{*}=(x^{*}a)^{*}=(ab^{*})^{*}=(a^{*}b^{*})^{*}=a^{*}b^{*},$

and so by (ii), we have $L_{a}\,\wedge\,L_{b}=L_{xa}\,$.

∎

We now prove Theorem 4.6.

###### Proof.

We consider the forward implication first. Let $S$ be a right ample straight
left I-order in $Q$, such that $S$ is embedded in $Q$ as a unary semigroup,
and let ${\mathcal{R}^{\prime}=\mathcal{R}^{Q}\cap(S\times S)}$. We know that
$\mathcal{R}^{\prime}$ is a left congruence and that therefore
$\gamma\alpha\,\mathcal{R}^{\prime}\,\gamma\beta$ implies that
$\gamma^{-1}\gamma\alpha\,\mathcal{R}^{\prime}\,\gamma^{-1}\gamma\beta$, so
(A2) is satisfied. Using Theorem 3.7, we know that (M1) and (M4) are
satisfied, which are exactly (A1) and (A3) respectively, using Lemma 4.7
(iii).

We will prove the converse by proving each property in Theorem 3.7 with
${\leq_{l}\,=\,\leq_{\mathcal{L}^{*}}}$, so that
${\mathcal{L}}^{\prime}=\mathcal{L}^{*}$. Using the fact that
$a\,\mathcal{L}^{*}\,a^{*}$ for all $a\in S$ along with Lemma 4.2, we see that
$a\leq_{l}b$ if and only if $a^{*}b^{*}=a^{*}$, for $a,b,\in S$. We already
know that $\leq_{\mathcal{L}^{*}}$ is a right compatible preorder. By Lemma
4.3, we know that $L^{*}_{a^{*}}\,\wedge\,L^{*}_{b^{*}}=L^{*}_{a^{*}b^{*}}$.
Therefore, using the fact that there is a unique idempotent in each
$\mathcal{L}^{*}$-class, we have that

$L^{*}_{a}\,\wedge\,L^{*}_{b}=L^{*}_{c}\,\text{ if and only if
}\,c^{*}=a^{*}b^{*}.$

We will now prove (M1) - (M6) with $\leq_{l}\,=\,\leq_{\mathcal{L}^{*}}$ in
order to satisfy the conditions of Theorem 3.7.

  1. (M1)

Let $\alpha,\beta\in S$. Applying Property (A1), there exists
$\gamma,\delta\in S$ such that
$\gamma\,\mathcal{R}^{\prime}\,\delta\,\mathcal{R}^{\prime}\,\delta\beta=\gamma\alpha$
and $\alpha\beta^{*}=\gamma^{*}\alpha$. We can use Lemma 4.4 (ii), along with
$\alpha\beta^{*}=\gamma^{*}\alpha$ to obtain

$(\gamma\alpha)^{*}=(\gamma^{*}\alpha)^{*}=(\alpha\beta^{*})^{*}=(\alpha^{*}\beta^{*})^{*}=\alpha^{*}\beta^{*}.$

Therefore $L^{*}_{\alpha}\,\wedge\,L^{*}_{\beta}=L^{*}_{\gamma\alpha}$.

  2. (M3)

By definition, we know that $\alpha\beta\leq_{\mathcal{L}^{*}}\beta$.

  3. (M2)

Let $L^{*}_{\alpha}\,\wedge\,L^{*}_{\beta}=L^{*}_{\gamma}\,$. Then
$\gamma^{*}=\alpha^{*}\beta^{*}$. Also, let $\delta\in S$. We use the ample
condition twice, to get

${\delta(\alpha\delta)^{*}(\beta\delta)^{*}=\alpha^{*}\delta(\beta\delta)^{*}=\alpha^{*}\beta^{*}\delta}.$

Therefore, using Lemma 4.4 (ii),

(38)
$(\alpha^{*}\beta^{*}\delta)^{*}=(\delta(\alpha\delta)^{*}(\beta\delta)^{*})^{*}=(\delta^{*}(\alpha\delta)^{*}(\beta\delta)^{*})^{*}=\delta^{*}(\alpha\delta)^{*}(\beta\delta)^{*}.$

Also, since $\alpha\delta\leq_{l}\delta$ by (M3), we have that

(39) $\delta^{*}(\alpha\delta)^{*}=(\alpha\delta)^{*}.$

Lastly, using Lemma 4.4 (ii),

(40)
$(\gamma\delta)^{*}=(\gamma^{*}\delta)^{*}=(\alpha^{*}\beta^{*}\delta)^{*}.$

Putting all this together,

$(\gamma\delta)^{*}\overset{(\ref{RA3})}{=}(\alpha^{*}\beta^{*}\delta)^{*}\overset{(\ref{RA1})}{=}\delta^{*}(\alpha\delta)^{*}(\beta\delta)^{*}\overset{(\ref{RA2})}{=}(\alpha\delta)^{*}(\beta\delta)^{*},$

which gives us that
$L^{*}_{\alpha\delta}\,\wedge\,L^{*}_{\beta\delta}=L^{*}_{\gamma\delta}\,$.

  4. (M4)

This is Property (A3).

  5. (M5)

Let $\gamma\,\mathcal{R}^{\prime}\,\gamma\alpha\,\mathcal{L}^{*}\,\alpha$ and
let $\delta\,\mathcal{R}^{\prime}\,\delta\beta\,\mathcal{L}^{*}\,\beta$. We
have that $\gamma\gamma^{*}=\gamma\,\mathcal{R}^{\prime}\,\gamma\alpha$.
Therefore we can use Property (A2) to obtain
$\gamma^{*}=\gamma^{*}\gamma^{*}\,\mathcal{R}^{\prime}\,\gamma^{*}\alpha$. We
also have that $\gamma\alpha\,\mathcal{L}^{*}\,\alpha$, and so
$(\gamma\alpha)^{*}=\alpha^{*}$. By Lemma 4.4 (iii) this is equivalent to
${\alpha=\gamma^{*}\alpha}$. Similarly
$\delta^{*}\,\mathcal{R}^{\prime}\,\delta^{*}\beta$ and
${\beta=\delta^{*}\beta}$.

Let $\gamma\,\mathcal{L}^{*}\,\delta$, and so $\gamma^{*}=\delta^{*}$.
Therefore
$\alpha=\gamma^{*}\alpha\,\mathcal{R}^{\prime}\,\gamma^{*}=\delta^{*}\,\mathcal{R}^{\prime}\,\delta^{*}\beta=\beta$.

Conversely, let $\alpha\,\mathcal{R}^{\prime}\,\beta$. We see that
$\gamma^{*}\,\mathcal{R}^{\prime}\,\gamma^{*}\alpha=\alpha\,\mathcal{R}^{\prime}\,\beta=\delta^{*}\beta\,\mathcal{R}^{\prime}\,\delta^{*}$,
and therefore using (A3), $\gamma^{*}\,\mathcal{R}^{*}\,\delta^{*}$. We know
that since $E(S)$ is a semilattice, there can only be one idempotent in each
$\mathcal{R}^{*}$-class, and so $\gamma^{*}=\delta^{*}$.

  6. (M6)

Let
$\alpha\,\mathcal{L}^{*}\,\beta\,\mathcal{L}^{*}\,\gamma\alpha\,\mathcal{L}^{*}\,\gamma\beta$
and let $\gamma\alpha=\gamma\beta$. We have that

$\alpha^{*}=\beta^{*}=(\gamma\alpha)^{*}=(\gamma\beta)^{*},$

and so we can use Lemma 4.4 (iii) to give us that $\alpha=\gamma^{*}\alpha$
and $\beta=\gamma^{*}\beta$. We then use the fact that
$\gamma\,\mathcal{L}^{*}\,\gamma^{*}$, to give us that
$\gamma\alpha=\gamma\beta$ implies that $\gamma^{*}\alpha=\gamma^{*}\beta$,
and therefore $\alpha=\beta$.

Therefore, $S$ with $\,\leq_{l}\,=\,\leq_{\mathcal{L}^{*}}$ satisfies the
conditions of Theorem 3.7 and we can apply Theorem 3.7 to give us that $S$ has
a semigroup of straight left I-quotients, $Q$, such that
$\mathcal{R}^{Q}\cap(S\times S)=\mathcal{R}^{\prime}$ and
$\leq_{\mathcal{L}^{Q}}\cap\,(S\times S)=\,\leq_{\mathcal{L}^{*}}$. Therefore
$\mathcal{L}^{Q}\cap(S\times S)=\mathcal{L}^{*}$, and so by Lemma 4.5, $S$ is
embedded in $Q$ as a unary semigroup. ∎

###  4.2. Two-sided ample left I-orders

Finally we consider (two-sided) ample semigroups as left I-orders. Here we
have a pleasing description much more reminiscent of the Ore result describing
classical left orders in groups.

######  Corollary 4.8.

Let $S$ be an ample semigroup. Then $S$ has a semigroup of left I-quotients
$Q$ such that $S$ is a bi-unary subsemigroup of $Q$, if and only if for all
$b,c\in S$, there exists $u,v\in S$ such that

($\star$) $ub=vc,\;u^{+}=v^{+}=(vc)^{+}\mbox{ and }bc^{*}=u^{*}b.$

###### Proof.

We first consider the forward implication. Let $S$ be bi-unary subsemigroup of
an inverse semigroup $Q$ such that $Q$ is a semigroup of left I-quotients of
$S$. We know that $a\,\mathcal{R}^{Q}\,b$ if and only if $a^{+}=b^{+}$ and
$a\,\mathcal{L}^{Q}\,b$ if and only if $a^{*}=b^{*}$. By Lemma 2.4 of [11], we
know that $S$ is straight in $Q$. Therefore, by Theorem 4.6, Property (A1) is
satisfied. Therefore ($\star$) is satisfied.

For the backward implication, we aim to apply Theorem 4.6 with
$\mathcal{R}^{\prime}=\mathcal{R}^{*}$. That is, $a\,\mathcal{R}^{\prime}\,b$
if and only if $a^{+}=b^{+}$. Note that $\mathcal{R}^{*}$ is a left
congruence. We now prove Properties (A1) - (A3).

  * (A1)

Satisfied since ($\star$) is assumed.

  * (A2)

Let $xa\,\mathcal{R}^{*}\,xb$. This means

$(xa)^{+}=(xb)^{+}.$

We apply the dual of Lemma 4.4 (ii) to get

$(xa^{+})^{+}=(xb^{+})^{+}.$

Right multiplying this by $x$ gives us

$(xa^{+})^{+}x=(xb^{+})^{+}x.$

We then apply the left ample property to give us

$xa^{+}=xb^{+}.$

By the definition of $\mathcal{L}^{*}$, we know that
$x\,\mathcal{L}^{*}\,x^{*}$. Therefore, the above equation implies that

$x^{*}a^{+}=x^{*}b^{+}.$

Therefore, applying + to both sides, we have

$(x^{*}a^{+})^{+}=(x^{*}b^{+})^{+}.$

Then, the dual of Lemma 4.4 (ii) gives us

$(x^{*}a)^{+}=(x^{*}b)^{+},$

and so $x^{*}a\,\mathcal{R}^{*}\,x^{*}b$.

  * (A3)

$\mathcal{R}^{\prime}=\mathcal{R}^{*}$.

Therefore, Theorem 4.6 gives us that $S$ has a straight left I-order $Q$ such
that ∗ is preserved and $\mathcal{R}^{Q}\cap(S\times S)=\mathcal{R}^{*}$.
Therefore, by the dual of Lemma 4.5, + is also preserved. ∎

## Acknowledgement and Open Question

The authors would like to thank Mark Kambites for his suggestions which led to
Example 2.6. We remark again that many of the left I-orders that naturally
occur are straight. We end by posing the following question: is every left
I-order in a proper inverse semigroup straight?

## References

  * [1] A. Cherubini and M. Petrich.  The inverse hull of right cancellative semigroups.  Journal of Algebra, 111:74–113, 1987.
  * [2] A. Clifford.  A class of d-simple semigroups.  American Journal of Mathematics, 75:547–556, 1953.
  * [3] A. H. Clifford and G. B. Preston.  The algebraic theory of semigroups, Vols. I and II.  American Mathematical Soc., 1967.
  * [4] P. Dubreil.  Sur les problèmes d’immersion et la théorie des modules.  CR Acad. Sci. Paris, 216:625–627, 1943.
  * [5] R. Exel and B. Steinberg.  Representations of the inverse hull of a 0-left cancellative semigroup.  arXiv preprint arXiv:1802.06281, 2018.
  * [6] J. Fountain and M. Kambites.  Graph products of right cancellative monoids.  Journal of the Australian Mathematical Society, 87:227–252, 2009\.
  * [7] J. Fountain and M. Petrich.  Brandt semigroups of quotients.  Math. Comb. Phil. Soc., 98:413–426, 1985.
  * [8] J. Fountain and M. Petrich.  Completely 0-simple semigroups of quotients.  Journal of Algebra, 101:365–402, 1986.
  * [9] N. Ghroda.  Bisimple inverse $\omega$-semigroups of left I-quotients.  arXiv preprint arXiv:1008.3241, 2010.
  * [10] N. Ghroda and V. Gould.  Inverse semigroups of left I-quotients.  arXiv preprint arXiv:1003.3640, 2010.
  * [11] N. Ghroda and V. Gould.  Semigroups of inverse quotients.  Periodica Mathematica Hungarica, 65:45–73, 2012.
  * [12] V. Gould.  Bisimple inverse $\omega$-semigroups of left quotients.  Proceedings of the London Mathematical Society, 3:95–118, 1986\.
  * [13] V. Gould.  Clifford semigroups of left quotients.  Glasgow Mathematical Journal, 28(2):181–191, 1986.
  * [14] V. Gould.  Semigroups of left quotients: existence, straightness and locality.  Journal of Algebra, 267:514–541, 2003.
  * [15] V. Gould and M. Kambites.  Faithful functors from cancellative categories to cancellative monoids with an application to abundant semigroups.  International Journal of Algebra and Computation, 15:683–698, 2005\.
  * [16] J. M. Howie.  Fundamentals of semigroup theory.  Oxford University Press, 1995.
  * [17] A. Malcev.  On the embedding of associative systems into groups. i.  Mat. Sb, 6:331–336, 1939.
  * [18] D. McAlister.  One-to-one partial right translations of a right cancellative semigroup.  Journal of Algebra, 43:231–251, 1976.
  * [19] K. Murata et al.  On the quotient semi-group of a non-commutative semi-group.  Osaka Mathematical Journal, 2:1–5, 1950.
  * [20] M. Nivat and J.-F. Perrot.  Une généralisation du monoïde bicyclique.  Comptes Rendus de l’Académie des Sciences de Paris, 271:824–827, 1970.
  * [21] O. Ore.  Linear equations in non-commutative fields.  Annals of Mathematics, 32:463–477, 1931.
  * [22] B. M. Schein.  Subsemigroups of inverse semigroups.  Le Matematiche, 51(3):205–227, 1996.
  * [23] G. Schneider.  Semigroups of straight I-quotients: a general approach.  PhD thesis, University of York, 2021.