On bases of identities for the \(\omega\)-variety generated by locally testable semigroups. (Q935166): Difference between revisions
From MaRDI portal
Latest revision as of 14:06, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On bases of identities for the \(\omega\)-variety generated by locally testable semigroups. |
scientific article |
Statements
On bases of identities for the \(\omega\)-variety generated by locally testable semigroups. (English)
0 references
31 July 2008
0 references
The authors treat finite semigroups as algebras of type \((2,1)\) where the additional unary operation \(x\mapsto x^\omega\) maps an element \(s\) of a finite semigroup to the unique idempotent of the subsemigroup generated by \(s\). They consider the variety \(LSI^\omega\) of such algebras generated by finite locally testable semigroups. The authors solve the word problem for the free algebra in \(LSI^\omega\) and give an identity basis for this variety. The basis involves identities in at most 3 variables but is infinite; the authors show that \(LSI^\omega\) has no finite identity basis.
0 references
finite semigroups
0 references
pseudovarieties
0 references
local testability of semigroups
0 references
omega-terms
0 references
word problem
0 references
identity bases
0 references
bases of identities
0 references
0 references