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[8562]. Removing the identities that follow from the others leaves 5 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-82723c8bf3728445 in the data of the bases-min seal.
Certified for
The identities
- x² ≈ x³
- xyx ≈ xyxyx
- x²yxy ≈ x²y²
- xy²x ≈ xy²xy
- x²y² ≈ x²y²x²y²
- x²y²x² ≈ x²y²x²y²
- xyxzx ≈ xzxyx
- xyxz² ≈ xz²yx
- xy²zy ≈ xzy²z
- xy²zy ≈ xzy²z
- xy²zy ≈ xzy²z
- x²yzxy ≈ x²yzy
- x²yzy ≈ xyzx²y
- x²yzy ≈ xyzx²y
- xyxyzx ≈ xyz²x
- xyxyzx ≈ xyz²x
- xy²zxz ≈ xyzxz
- xyzx² ≈ xyzyzx
- xyzxyx ≈ xyz²x
- xyzxyx ≈ xyz²x
- xyzxyx ≈ xyz²x
- xyxzxy ≈ xyxzxz
- xyxzyx ≈ xzyxz²
- xy²z²y² ≈ xz²y²z²y²