Limit varieties of aperiodic monoids with commuting idempotents

A variety of algebras is called limit if it is nonfinitely-based but all its proper subvarieties are finitely-based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.

A SUFFICIENT CONDITION UNDER WHICH A SEMIGROUP IS NONFINITELY BASED

We give a sufficient condition under which a semigroup is nonfinitely based. As an application, we show that a certain variety is nonfinitely based, and we indicate the additional analysis (to be presented in a forthcoming paper), which shows that this example is a new limit variety of aperiodic monoids.

A PROFINITE APPROACH TO STABLE PAIRS

We give a short proof, using profinite techniques, that idempotent pointlikes, stable pairs and triples are decidable for the pseudovariety of aperiodic monoids. Stable pairs are also described for the pseudovariety of all finite monoids.

FINITELY GENERATED LIMIT VARIETIES OF APERIODIC MONOIDS WITH CENTRAL IDEMPOTENTS

A non-finitely based variety of algebras is said to be a limit variety if all its proper subvarieties are finitely based. Recently, Marcel Jackson published two examples of finitely generated limit varieties of aperiodic monoids with central idempotents and questioned whether or not they are unique. The present article answers this question affirmatively.