\(r\)-bands of \(r\)-Archimedean ordered semigroups (Q1033686): Difference between revisions

A congruence \(\sigma\) on an ordered semigroup \((S,\cdot,\leq)\) is called an \(r\)-band (resp. \(l\)-band) congruence if \(a\leq b \) implies \((a,ba)\in\sigma\) (resp. \(a\leq b \) implies \((a,ab)\in\sigma\)) for any \(a,b\in S.\) An ordered semigroup \(S\) is called \(r\)-Archimedean (resp. \(l\)-Archimedean) if for each \(a,b\in S \) there exists \(k\in N\) such that \(b^k\in R(a) \) (resp. for each \(a,b\in S \) there exists \(k\in N\) such that \(b^k\in L(a)\)). Let \(\sigma_r: = \{(a,b)\in S\times S\mid \exists m,n\in B: a^m\in R(b), b^n\in R(a)\}\) (resp. \(\sigma_l: = \{(a,b)\in S\times S\mid \exists m,n\in B: a^m\in L(b), b^n\in L(a)\}\)). In this paper, the authors prove that an ordered semigroup \(S\) is an \(r\)-band of \(r\)-Archimedean ordered semigoups if and only if it is satisfied that if \(a\leq b\) then \((xay, xbay)\in\sigma_r\) for all \(x,y\in S^1.\) Similarly, the authors prove the case of \(l\)-bands. The authors also give good examples in this paper.