A certified basis of 3 identities
This list of identities is a basis, proved in Lean, of 14 semigroups of order six, all of which generate the variety V[2933]. Removing the identities that follow from the others leaves 3 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-f29adfafc5092cc9 in the data of the bases-min seal.
Certified for
[6, 2933] [6, 2934] [6, 2935] [6, 2967] [6, 2968] [6, 2975] [6, 2976] [6, 5792] [6, 5797] [6, 6164] [6, 6166] [6, 6168] [6, 6170] [6, 6624]
The identities
- x² ≈ x³
- xy² ≈ yx²
- x²yz ≈ xyz