A semigroup S is said to be
viable if ab = ba whenever ab and ba are idempotents. The main theorem
of this article proves in part that S is a viable semigroup if and only if S
is a semi-lattice of P-indecomposable semigroups having at most one
idempotent.