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 the normal view instead:
scientific article; zbMATH DE number 5886840
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An elegant 3-basis for inverse semigroups. |
scientific article; zbMATH DE number 5886840 |
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
0.8074360489845276
0 references
0.7618010640144348
0 references
0.7583721280097961
0 references
0.7558088898658752
0 references
0.7543323636054993
0 references
