The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups. (Q1408762): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0021-8693(03)00394-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W188877664 / rank | |||
Normal rank |
Latest revision as of 11:43, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups. |
scientific article |
Statements
The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups. (English)
0 references
25 September 2003
0 references
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.
0 references
inverse semigroups
0 references
regular semigroups
0 references
quasivarieties of semigroups
0 references
pseudovarieties
0 references
finite basis problem
0 references
non-finitely based quasivarieties
0 references