Weakly separative weakly commutative semigroups

A semigroup S is called a weakly commutative semigroup if, for every a,b∈S, there is a positive integer n such that (ab) ⁿ ∈Sa∩bS. A semigroup S is called archimedean if, for every a,b∈S, there are positive integers m and n such that a ⁿ ∈SbS and b ^m ∈SaS. It is known that every weakly commutative semigroup is a semilattice of weakly commutative archimedean semigroups. A semigroup S is called a weakly separative semigroup if, for every a,b∈S, the assumption a ²=ab=b ² implies a=b. In this paper we show that a weakly commutative semigroup is weakly separative if and only if its archimedean components are weakly cancellative. This result is a generalization of Theorem 4.16 of Clifford and Preston (The Algebraic Theory of Semigroups, Am. Math. Soc., Providence, 1961).