An elegant 3-basis for inverse semigroups. (Q535223)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An elegant 3-basis for inverse semigroups. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An elegant 3-basis for inverse semigroups. |
scientific article |
Statements
An elegant 3-basis for inverse semigroups. (English)
0 references
11 May 2011
0 references
It is shown that the algebras of type \((2,1)\) satisfying the identities \[ x=(xx')x,\quad (xx')(y'y)=(y'y)(xx'),\quad (xy)z=x(yz'') \] are precisely the inverse semigroups under the usual operation of inversion. Variations on these identities are also considered, using computer tools. It is conjectured that no set of two identities suffices.
0 references
inverse semigroups
0 references
equational logic
0 references
bases of identities
0 references
