A certified basis of 5 identities
This list of identities is a basis, proved in Lean, of 20 semigroups of order six, all of which generate the variety V[3362]. Removing the identities that follow from the others leaves 3 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-86f51fb2c3f7f0a5 in the data of the bases-min seal.
Certified for
[6, 3362] [6, 3364] [6, 3379] [6, 3619] [6, 3621] [6, 3623] [6, 3972] [6, 3985] [6, 4002] [6, 4004] [6, 5894] [6, 5912] [6, 6155] [6, 6157] [6, 6160] [6, 6173] [6, 6178] [6, 6181] [6, 6625] [6, 9817]
The identities
- x² ≈ x³
- x²y ≈ xyx
- x²y ≈ xy²
- xyz ≈ xzy
- x²yz ≈ xyz