A certified basis of 23 identities
This list of identities is a basis, proved in Lean, of 2 semigroups of order six, all of which generate the variety V[11165]. Removing the identities that follow from the others leaves 3 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-94b21cf69109b05a in the data of the bases-min seal.
Certified for
The identities
- x² ≈ x⁴
- xyx ≈ xyx³
- xyx ≈ xy³x
- xyx² ≈ xy³
- xyxy ≈ xy²x
- x³y³ ≈ x²yx
- xyxzx ≈ xy²zy
- xyxzx ≈ xy²zy
- xyxzy ≈ xy²zx
- xyxzy ≈ xy²zx
- xyzx ≈ xyz³x
- xyzx² ≈ xyz³
- xyzxy ≈ xyzyx
- xyzxz ≈ xyz²x
- x³yzy ≈ x²yzxy
- x²yxzy ≈ x²y²zx
- x²yxzy ≈ x²y²zx
- xyxyz² ≈ xyxz²y
- xyxz² ≈ xy²z²yx
- xyztxz ≈ xyztzx
- xyxzt² ≈ xy²zt²yx
- xyzxt² ≈ xyz²t²zx
- xyzxtu² ≈ xyz²tu²zx