A certified basis of 5 identities
This list of identities is a basis, proved in Lean, of 15 semigroups of order six, all of which generate the variety V[2633]. Removing the identities that follow from the others leaves 3 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-95a3bb089d0e5792 in the data of the bases-min seal.
Certified for
[6, 2633] [6, 2634] [6, 2635] [6, 2665] [6, 2684] [6, 2703] [6, 2704] [6, 2707] [6, 5206] [6, 5207] [6, 5448] [6, 5593] [6, 5594] [6, 5602] [6, 5705]
The identities
- x³ ≈ x⁴
- xyx ≈ yx²
- x³y ≈ x²y
- x²y²x ≈ x²y³
- xyz ≈ yxz