An elegant 3-basis for inverse semigroups. (Q535223)
From MaRDI portal
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
