Decomposition of commutative ordered semigroups into archimedean components (Q875201)

The decomposition of a commutative semigroup (without order) into its archimedean components by means of the division relation has been studied in [\textit{A. H. Clifford} and \textit{G. B. Preston}, The algebraic theory of semigroups, Am. Math. Soc., Providence, Rhode Island (1961; Zbl 0111.03403)]. In this paper, the authors extend this result to ordered semigroups. In Section 2, the authors first introduce the division relation ``\(|\)'' on ordered semigroups, where the relation ``\(|\)'' is defined as follows: \(a| b\) if there exists \(x\in S^1\) such that \(b\leq ax.\) Then the authors prove that in commutative ordered semigroups the relation ``\({\mathcal N}\)'' defined by means of filters can be defined in terms of the division relation as well, and show that in commutative ordered semigroups ``\({\mathcal N}\)'' is equal to the relation ``\(\eta\)'' defined by \(a \eta b\) if and only if there exist positive integers \(m, n\) such that \(a| b^{m}\) and \(b| a^{n}.\) As a consequence, when studying the structure of commutative ordered semigroups, one can also use the relation \(\eta \) (instead of \({\mathcal N}\)), which has also been proved to be useful for studying the structure of commutative ordered semigroups. In Section 3, using the relation \(\eta \) defined above, the authors prove that the commutative ordered semigroups are, uniquely, complete semilattices of archimedean semigroups. That is, they are decomposable into their archimedean components, and the decomposition is unique.