A certified basis of 24 identities
This list of identities is a basis, proved in Lean, of 2 semigroups of order six, all of which generate the variety V[12761]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-b847c576aa02c9b5 in the data of the bases-min seal.
Certified for
The identities
- x² ≈ x³
- x²y² ≈ yxy
- xyx ≈ xyx²
- x²yzx ≈ xyzx
- xyxzy ≈ yxzy
- x²yz²yz ≈ zxyz
- xyxz ≈ xy²xyxz
- xyxzxzx ≈ xyzx
- xyxz²xz ≈ zyxz
- xy²xyz² ≈ zxyz
- xy²xz²x ≈ xyzx
- xy²zyzx ≈ xyzx
- xyzx ≈ xyzxyzx
- xyzx ≈ xyz²xzx
- xyzx ≈ xyz²yzx
- xyzx ≈ xzy²xzx
- xyzx ≈ xzyzxzx
- xyzx ≈ xzyzyzx
- xyzx ≈ yxzyxzx
- xyzx ≈ yxz²yzx
- xyzx ≈ zxy²xzx
- xyzx ≈ zxyzyzx
- xyzx ≈ zyxzxzx
- xyzy ≈ xyz²yzy