A certified basis of 4 identities
This list of identities is a basis, proved in Lean, of 19 semigroups of order six, all of which generate the variety V[3097]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-19dcad42272d8a17 in the data of the bases-min seal.
Certified for
[6, 3097] [6, 3126] [6, 3159] [6, 3167] [6, 5821] [6, 5823] [6, 5837] [6, 6855] [6, 6862] [6, 6871] [6, 6878] [6, 6880] [6, 6884] [6, 6998] [6, 7005] [6, 7014] [6, 7021] [6, 7023] [6, 7027]
The identities
- xy ≈ xy³
- x³y ≈ y³x
- x²y² ≈ y²x²
- xyz ≈ xzy