The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups. (Q1408762): Difference between revisions

The article is the first one in a series of three papers in which the authors show that certain important classes of regular semigroups admit no finite bases for their quasiidentities and pseudoidentities. Let \(B_2^1\) be the inverse semigroup variety generated by the 6-element Brandt monoid \(B_2^1\). Main results of the article under review are Theorems 3.2 and 4.3. Theorem 3.2. Let \(\mathcal C\) be a class of inverse semigroups such that the inverse semigroup quasivariety generated by \(\mathcal C\) contains \(B_2^1\) but does not contain the free inverse semigroup over a countable, infinite alphabet. Then the semigroup quasivariety generated by \(\mathcal C\) has no basis of quasiidentities involving finitely many variables (in particular has no finite quasiidentity basis). As a corollary, the authors note that if a variety of inverse semigroups \(V\) contains \(B_2^1\) then the semigroup quasivariety generated by \(V\) is non-finitely based (Corollary 3.3). Theorem 4.3. Let \(V\) be an e-variety of locally \(E\)-solid regular semigroups that contains \(B_2^1\) but does not contain the variety of all inverse semigroups. Then the semigroup quasivariety generated by \(V\) is non-finitely based.