A certified basis of 3 identities
This list of identities is a basis, proved in Lean, of 16 semigroups of order six, all of which generate the variety V[9971]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-b508a395bb6a2c02 in the data of the bases-min seal.
Certified for
[6, 9971] [6, 9977] [6, 11917] [6, 11924] [6, 14728] [6, 14729] [6, 14798] [6, 14799] [6, 14800] [6, 14801] [6, 14818] [6, 14819] [6, 14855] [6, 14856] [6, 14857] [6, 14858]
The identities
- x ≈ x³
- xy ≈ xyx²
- xyxy ≈ xy²x