On varieties of ordered semigroups. (Q2350949)

As we know by \textit{G. Birkhoff} [Lattice theory. Third (new) ed. Providence: AMS (1967; Zbl 0153.02501)], there is a one-to-one correspondence between all varieties of semigroups and all fully invariant congruences on \(X^+\), where \(X=\{x_1, x_2,x_3,\ldots\}\). In Section 2, the author obtains an analog to this statement for ordered semigroups, proves that there is a one-to-one correspondence between all varieties of ordered semigroups and all fully invariant stable quasiorders on \(X^+\). In Section 3, the author uses syntactical methods presented in the previous section to study relations between the lattice \(L(\mathbf S)\) of all varieties of semigroups and the lattice \(L(\mathbf{OS})\) of all varieties of ordered semigroups, and proves that the lattice \(L(\mathbf S)\) is in a natural way embedded into the lattice \(L(\mathbf{OS})\). The embedding is not an isomorphism, infinitely many varieties from \(L(\mathbf{OS})\) lie outside of the image of \(L(\mathbf S)\). In Section 4, the author determines the lattice \(L(\mathbf{OB})\) of all varieties of ordered bands, proves that the closed intervals \([\mathbf{SL,B}]\) and \([\mathbf{OSL,OB}]\) are isomorphic (see Theorem 4.6). Furthermore, the author proves that if \(V\in L(\mathbf{OB})\), \(\neg(V\in[\mathbf{OSL,OB}])\), then \(V\in\mathbf{ONB}\).