Orthodox ordered semigroups
A (generalized) idempotent of an ordered semigroup \(S\) is an element \(e\in S\) such that \(e\le e^2\) (respectively, such that \(e\) and \(e^2\) belong to the same class of the congruence on \(S\) generated by \(\le\)). The author calls an ordered semigroup \(S\) orthodox if \(S\) contains an idempotent and the product of any two idempotents of \(S\) is a generalized idempotent. An inverse of an element \(a\) of an ordered semigroup is an element \(b\) such that \(aba\le a\) and \(bab\le b\). An ordered semigroup \(S\) is regular if every element of \(S\) has an inverse. The author proves that a regular ordered semigroup \(S\) is orthodox if and only if every inverse of every idempotent in \(S\) is a generalized idempotent (Theorem 3.1). This result is analogous to a lemma by \textit{N. R. Reilly} and \textit{H. E. Scheiblich} [Pac. J. Math. 23, 349--360 (1967; Zbl 0159.02503)] and reduces to that lemma when the order relation \(\le\) is equality.
- Congruences on regular semigroups
- scientific article; zbMATH DE number 3552814 (Why is no real title available?)
- Inverse ordered semigroups
- On a regular semigroup in which the idempotents form a band
- On orthodox semigroups and uniform and antiuniform bands
- On regular semigroups whose idempotents form a subsemigroup
- Orthodox semigroups
This page was built for publication: Orthodox ordered semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7310663)
