On semioirect products of two finite semilattices

It is shown that a finite monoid M divides a semidirect product of two finite semilattices iff M satisfies the two following equations: (1) xuyvxy=xuyvyx and (2) xux=xux2. The proof rests on language theory and on a theorem of I. Simon on graph congruences.