A semigroup is amiable if there is exactly one idempotent in each R?-class and in each L?-class. A semigroup is adequate if it is amiable and if its idempotents commute. We characterize adequate semigroups by showing that they are precisely those amiable semigroups which do not contain isomorphic copies of two particular nonadequate semigroups as subsemigroups.

CEMAT - Center for Computational and Stochastic Mathematics