Subsemigroups of completely simple semigroups. II (Q2367900)

A semigroup \(S\) which does not generate the variety of all semigroups can be embedded into a completely simple semigroup iff it satisfies two pairs of dual quasi-identities and an identity of a certain type. [Reviewer's remark: these conditions are equivalent to the following ones: if \(S^ 1x \cap S^ 1y \neq \emptyset\) then \(xz= yz \Rightarrow x = y\), and dually, the variety generated by \(S\) contains neither the variety defined by \(xyx = xy\) nor its dual].