Semilattice composition of ordered semigroups (Q2479662)

In the paper under review the authors study the semilattice composition of ordered semigroups using the ideal extensions. This is a problem opposite to that of the semilattice decomposition. The paper is based on the ideals of ordered semigroups first introduced by \textit{N. Kehayopulu} in [Math. Jap. 35, No. 6, 1051--1056 (1990; Zbl 0717.06006)]. They introduce the concept of the semilattice \(Y\) of the ordered semigroups \(\{ S_\alpha \}_{\alpha \in Y}\) (in which the order plays an essential role). They first give the main theorem of semilattice composition of ordered semigroups. Given a semilattice \(Y\) and a family \(\{ S_\alpha \}_{\alpha \in Y}\) of disjoint ordered semigroups indexed by \(Y\), they construct an ordered semigroup \(S\) which is a semilattice \(Y\) of the ordered semigroups \(\{ S_\alpha \}_{\alpha \in Y}\). Conversely, they prove that each ordered semigroup \(S\) which is a semilattice \(Y\) of the ordered semigroups \(\{ S_\alpha \}_{\alpha \in Y}\) can be so constructed. In addition, they prove that each ordered semigroup \(S\) which is a semilattice \(Y\) of the ordered semigroups \(\{ S_\alpha \}_{\alpha \in Y}\), is a subdirect product of some \(\{ B_\alpha \}_{\alpha \in Y}\), where \(B_\alpha\) is the extension of \(S_\alpha\) with a zero possibly adjoined to the extension. This is a paper on ordered semigroups and there is no connection of this paper with modes (idempotent and entropic algebras).