Locality of DS and associated varieties Original Research Article

We prove that the pseudovariety DS, of all finite monoids, each of whose regular image-classes is a subsemigroup, is local. (A pseudovariety (or variety) V is local if any category whose local monoids belong to V divides a member of V.) The proof uses the “kernel theorem” of the first author and Pustejovsky together with the description by Weil of DS as an iterated “block product”. The one-sided analogues of these methods provide wide new classes of local pseudovarieties of completely regular monoids. We conclude, however, with the second authorʹs example of a variety (and a pseudovariety) of completely regular monoids that is not local.