On ordered left groups
type: Item
instance of: scholarly article
title: On ordered left groups
zbMATH Open document ID: 1080.06022
author: Niovi Kehayopulu
author: Michael Tsingelis
published in: Lobachevskii Journal of Mathematics
publication date: 2005-11-09T00:00:00Z
full work available at URL: https://eudml.org/doc/228870
full work available at URL: 2.html
review text: 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.
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 20M10
zbMATH DE Number: 2227257
zbMATH Keywords: partially ordered semigroup
zbMATH Keywords: direct product
zbMATH Keywords: complete left group
reviewed by: H. Mitsch
MaRDI profile type: MaRDI publication profile
description: scientific article; zbMATH DE number 2227257