Strongly compatible total orders on free monoids.
This paper recalls some properties of a cyclic semigroup and examines cyclic subsemigroups in a finite ordered semigroup. We prove that a partially ordered cyclic semigroup has a spiral structure which leads to a separation of three classes of such semigroups. The cardinality of the order relation is also estimated. Some results concern semigroups with a lattice order.
A subtraction semigroup is a semigroup with a further operation "" added, called subtraction and satisfying certain axioms. The paper concerns a problem by B. M. Schein concerning the structure of multiplication in a subtraction semigroup.
Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup , under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level of Straubing-Thérien’s concatenation hierarchy has infinite vertex rank.
Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup B2, under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level 3/2 of Straubing-Thérien's concatenation hierarchy has infinite vertex rank.