g-congruences on semigroups, ordered semigroups (Q2908992)

A g-congruence on a semigroup \(S\) is a congruence \(\sigma\) of \(S\) such that each quotient semigroup \(S/\sigma\) has just one right unit. In the paper, linearly ordered semigroups are considered, and several elementary properties of the order in such semigroups, involving the right units associated with some g-congruence, are established. A typical example: Let \(S\) be a linearly ordered semigroup, and let \(\sigma\) be a g-congruence of \(S\); if \(e\), \(f\) are different right units, \(g \in (e)_\sigma\) and \(h \in (f)_\sigma\), then \(h \leq g\) if and only if either \(h < gh\) or (\(h = gh\) and \(f < e\)).