A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 15 semigroups of order six, all of which generate the variety V[8218]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-8ac5a6f77fe52896 in the data of the bases-min seal.
Certified for
[6, 8218] [6, 8224] [6, 8225] [6, 8229] [6, 8236] [6, 10977] [6, 10978] [6, 10979] [6, 10985] [6, 11117] [6, 11120] [6, 11127] [6, 11285] [6, 11397] [6, 11405]
The identities
- xy ≈ xy²
- xyzt ≈ xytz