A certified basis of 5 identities
This list of identities is a basis, proved in Lean, of 14 semigroups of order six, all of which generate the variety V[5933]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-611e040c20a5775c in the data of the bases-min seal.
Certified for
[6, 5933] [6, 8940] [6, 9081] [6, 9851] [6, 10202] [6, 10204] [6, 10217] [6, 10224] [6, 10225] [6, 10234] [6, 10235] [6, 10686] [6, 11624] [6, 11846]
The identities
- x³y ≈ xy
- xy ≈ xyx²
- xy ≈ xy³
- xy ≈ xyxyxy
- xyxy ≈ xy²x