A certified basis of 3 identities
This list of identities is a basis, proved in Lean, of 29 semigroups of order six, all of which generate the variety V[4333]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-5127dcdec2288d84 in the data of the bases-min seal.
Certified for
[6, 4333] [6, 11868] [6, 11878] [6, 11911] [6, 14683] [6, 14686] [6, 14691] [6, 14720] [6, 14727] [6, 14736] [6, 14737] [6, 14794] [6, 14795] [6, 14797] [6, 14815] [6, 14816] [6, 14827] [6, 14848] [6, 14853] [6, 14854] [6, 14866] [6, 14880] [6, 14885] [6, 14889] [6, 14890] [6, 14892] [6, 14893] [6, 14894] [6, 14896]
The identities
- x ≈ x³
- x²yx ≈ yx
- xyxy ≈ yx²y