The functional equation f(xy) = ff(x) xy ff(y) in a partially ordered monoid.
Denecke and Reichel have described a method of studying the lattice of all varieties of a given type by using monoids of hypersubstitutions. In this paper we develop a Galois correspondence between monoids of hypersubstitutions of a given type and lattices of subvarieties of a given variety of that type. We then apply the results obtained to the lattice of varieties of bands (idempotent semigroups), and study the complete sublattices of this lattice obtained through the Galois correspondence.
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.