A certified basis of 1 identity
This list of identities is a basis, proved in Lean, of 36 semigroups of order six, all of which generate the variety V[3318]. Removing the identities that follow from the others leaves 1 identity (Vampire); the variety page shows the shortest known basis.
Identifier sb-c583a51b40ec42d2 in the data of the bases-min seal.
Certified for
[6, 3318] [6, 3556] [6, 3879] [6, 6010] [6, 6045] [6, 6151] [6, 6152] [6, 6286] [6, 6478] [6, 6479] [6, 6610] [6, 7546] [6, 7679] [6, 8292] [6, 8293] [6, 8294] [6, 8295] [6, 8509] [6, 9883] [6, 9890] [6, 10413] [6, 10422] [6, 10589] [6, 10638] [6, 10648] [6, 11154] [6, 11155] [6, 11158] [6, 11159] [6, 11167] [6, 11275] [6, 11600] [6, 13200] [6, 13589] [6, 13590] [6, 13779]
The identities
- xy ≈ xyz