Semigroups of left quotients: existence, straightness and locality. (Q1408754)

A subsemigroup \(S\) of a semigroup \(Q\) is called a `local left order' in \(Q\) if, for every group \(\mathcal H\)-class \(H\) of \(Q\), \(S\cap H\) is a left order in \(H\) in the sense of group theory. That is, every \(q\in H\) can be written as \(a^*b\) for some \(a,b\in S\cap H\), where \(a^*\) denotes the group inverse of \(a\) in \(H\). A subsemigroup \(S\) in \(Q\) is a `left order' in \(Q\) and \(Q\) is a semigroup of left quotients of \(S\) if every element of \(Q\) can be written as \(c^*d\) for some \(c,d\in S\) and if, in addition, every element of \(S\) that is square cancellable lies in a subgroup of \(Q\). Moreover, if \(c,d\) can be chosen such that \(c{\mathcal R}d\) in \(Q\), then \(S\) is said to be a `straight left order' in \(Q\). This paper investigates the close relation between local left orders and straight left orders in a semigroup \(Q\) and gives some quite general conditions for a left order \(S\) in \(Q\) to be straight. This theorem improves upon the result of \textit{V. Gould} [in Stud. Sci. Math. Hung. 30, No. 3-4, 355-373 (1995; Zbl 0853.20037)]. In conclusion the author gives a characterization of straight left orders in inverse semigroups, in completely regular and in completely semisimple semigroups.