On ordered left groups
The authors continue the generalization of concepts of semigroup theory replacing equality by a compatible partial order. Here the case of left groups is considered. A partially ordered semigroup \((S,\cdot,\leq)\) is called a left group (quite confusing) if (i) for all \(a,b\in S\) there exists \(x\in S\) such that \(a\leq xb\), and (ii) \(ac\leq bc\) \((a,b,c\in S)\) implies \(a\leq b\). \((S,\cdot,\leq)\) is called a complete left group if it is isomorphic with the direct product of a partially ordered semigroup \(T\) with \(xy= x\) for all \(x,y\in T\) and a partially ordered group \(G\) (with respect to the componentwise partial ordering). It is shown that any complete left group \((S,\cdot,\leq)\) is a left group, but not conversely. Next, if every class of the semilattice congruence \({\mathcal N}\) (defined by equality of filters in \((S,\cdot,\leq)\)) is a left group then for all \(a,b\in S\) there are \(x,y\in S\) such that \(a\leq axa\) and \(ab\leq ya\); again, the converse does not hold in general. By contrast, \((S,\cdot,\leq)\) is a left group if and only if (i) for any \(a\in S\) there exists \(x\in S\) such that \(a\leq axa\), and (ii) \(ac\leq bc\) implies that \(a\leq b\). Finally, if \((S,\cdot,\leq)\) is a left group then there exists \(e\in S\) with \(e\leq e^2\) and for all \(a,b\in S\) there is \(x\in S\) such that \(a\leq xb\); the converse does not hold in general.
- Left-orderable groups that don't act on the line
- On linearly ordered groups
- scientific article; zbMATH DE number 1467758 (Why is no real title available?)
- The structure of E-inflation semigroups with left negative order _s.
- scientific article; zbMATH DE number 1421722 (Why is no real title available?)
- Dense Orderings in the Space of Left-orderings of a Group
- Inverse ordered semigroups
This page was built for publication: On ordered left groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2572478)
