Finite Semigroups Whose Idempotents Commute or Form a Subsemigroup

We give a new proof that every finite semigroup whose idempotents commute divides a finite inverse semigroup (Ash’s theorem), and, more generally, we prove that every finite semigroup whose idempotents form a subsemigroup divides a finite orthodox semigroup.