On quasi-separative semigroups. (Q2571029)

A semigroup \(S\) is called quasi-separative if the equalities \(x^2=xy=y^2\) imply \(x=y\) for all \(x,y\in S\). A semigroup \(S\) is called quasi-cancellative if by the condition \(xby=xcy\Leftrightarrow yxb=yxc \Leftrightarrow byx=cyx\) for all \(x,y\in S\), the equality \(ab=ac\) implies \(b=c\). It is shown that a semigroup \(S\) is quasi-separative if and only if \(S\) is a semilattice of quasi-separative quasi-cancellative semigroups. Some consequences from this main result are obtained, in particular, \textit{I. E. Burmistrovich}'s theorem: any separative semigroup is isomorphic to a semilattice of cancellative semigroups [Sib. Mat. Zh. 6, 284-299 (1965; Zbl 0133.27903)].