Limit varieties generated by finite non-J-trivial aperiodic monoids

Abstract

Jackson and Lee proved that certain six-element monoid generates a hereditarily finitely based variety $\mathbb E^1$ whose lattice of subvarieties contains an infinite ascending chain. We identify syntactic monoids which generate finitely generated subvarieties of $\mathbb E^1$ and show that one of these finite monoids together with certain seven-element monoid generates a new limit variety.