A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 18 semigroups of order six, all of which generate the variety V[15875]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-ab23a6c8c675d16d in the data of the bases-min seal.
Certified for
[6, 15875] [6, 15877] [6, 15878] [6, 15881] [6, 15885] [6, 15886] [6, 15892] [6, 15894] [6, 15895] [6, 15897] [6, 15898] [6, 15904] [6, 15905] [6, 15907] [6, 15908] [6, 15910] [6, 15957] [6, 15958]
The identities
- x ≈ x⁴
- xy ≈ yx