A certified basis of 14 identities
This list of identities is a basis, proved in Lean, of 6 semigroups of order six, all of which generate the variety V[8222]. Removing the identities that follow from the others leaves 7 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-3163d5264ce33f9e in the data of the bases-min seal.
Certified for
The identities
- x² ≈ x³
- xyx ≈ xyx²
- xyxy ≈ xy²x
- x²y² ≈ x²y²x
- xyxzy ≈ xy²zx
- xyzxy ≈ xyzyx
- xyzxz ≈ xyz²x
- x²yz² ≈ x²yz²x
- xyxz² ≈ xyxz²x
- xyzxty ≈ xyzytx
- xyzxtz ≈ xyz²tx
- xyztxz ≈ xyztzx
- xyxzt² ≈ xyxzt²x
- xyztxuz ≈ xyztzux