A certified basis of 5 identities
This list of identities is a basis, proved in Lean, of 15 semigroups of order six, all of which generate the variety V[4118]. Removing the identities that follow from the others leaves 3 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-c1e48af86a0ac2b8 in the data of the bases-min seal.
Certified for
[6, 4118] [6, 4225] [6, 4324] [6, 6885] [6, 7028] [6, 8916] [6, 8939] [6, 8947] [6, 8948] [6, 9057] [6, 9080] [6, 9088] [6, 9089] [6, 10231] [6, 11817]
The identities
- x³y ≈ xy
- x²yx ≈ yx
- xy ≈ xy³
- xy ≈ xyxyxy
- xyxy ≈ yx²y