Left orders in regular \({\mathcal H}\)-semigroups. I (Q1175715)

Let \(S\) be a semigroup. The relation \({\mathcal L}^*\) (\({\mathcal R}^*\)) is defined on \(S\) by the rule that if \(a,b\in S\), then \(a{\mathcal L}^*b\) (\(a{\mathcal R}^*b\)) if and only if \(a{\mathcal L}b\) (\(a{\mathcal R}b\)) in some oversemigroup of \(S\). Denote \({\mathcal L}^*\cap {\mathcal R}^*\) by \({\mathcal H}^*\). An element \(a\in S\) is square-cancellable if \(a{\mathcal H}^*a^ 2\). If \(a{\mathcal H}a^ 2\) then the inverse of \(a\) in \(H_ a\) is denoted by \(a^{-1}\). \(S\) is a left order in an oversemigroup \(Q\) of \(S\) (and \(Q\) is a semigroup of left quotients of \(S\)) if 1) given \(q\in Q\), then \(q=a^{-1}b\), where \(a,b\in S\), 2) for \(a\in S\), \(a{\mathcal H}^*a^ 2\) in \(S\) iff \(a{\mathcal H}a^ 2\) in \(Q\). A semigroup is an \({\mathcal H}\)- semigroup if Green's relation \({\mathcal H}\) is a congruence on it. A suitable pair (\({\mathcal L}',{\mathcal R}'\)) for a semigroup \(S\) is an ordered pair of equivalence relations on \(S\) such that \({\mathcal L}'\subseteq{\mathcal L}^*\), \({\mathcal R}'\subseteq{\mathcal R}^*\), \({\mathcal L}'\) is a right congruence, \({\mathcal R}'\) is a left congruence, and for any \(a\in S\), \(a{\mathcal H}^*a^ 2\) iff \(a{\mathcal H}'a^ 2\). Theorem. Let \(S\) be a semigroup and let (\({\mathcal L}',{\mathcal R}'\)) be a suitable pair for \(S\). Then \(S\) is a left order in a regular \({\mathcal H}\)-semigroup \(Q\) such that \({\mathcal L}_ Q\cap(S\times S)={\mathcal L}'\), \({\mathcal R}_ Q\cap(S\times S)={\mathcal R}'\) if and only if \(S\) satisfies conditions (A), (B), (C), (D), (E) and the left-right duals of (C), (D), (E): (A) \({\mathcal H}'\) is a congruence on \(S\) and \(S/{\mathcal H}'\) is regular, (B) if \(a\in S\) is square-cancellable, then \(H_ a'\) is right reversible, (C) if \(a,b,c\in S\), \(a\) is square-cancellable, \(a{\mathcal R}'b{\mathcal R}'c\) and \(ab=ac\), then \(b=c\); (D) if \(a,b\in S\) are square-cancellable and \(a{\mathcal R}'b\), then \(ab{\mathcal H}'b\); (E) if \(a,b,c\in S\) and \(a{\mathcal R}'abc\), then \(a{\mathcal R}'ab\). For the second part of this article see Glasg. Math. J. 32, 95-108 (1990; Zbl 0692.20049).