A certified basis of 5 identities
This list of identities is a basis, proved in Lean, of 31 semigroups of order six, all of which generate the variety V[187]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-d2b7fb383b2603cd in the data of the bases-min seal.
Certified for
[6, 187] [6, 188] [6, 190] [6, 191] [6, 192] [6, 193] [6, 194] [6, 196] [6, 197] [6, 198] [6, 201] [6, 204] [6, 205] [6, 206] [6, 208] [6, 210] [6, 211] [6, 215] [6, 216] [6, 217] [6, 219] [6, 220] [6, 221] [6, 222] [6, 223] [6, 225] [6, 226] [6, 227] [6, 230] [6, 231] [6, 232]
The identities
- x² ≈ y²
- x³ ≈ yxy
- xyz ≈ xzy
- xyz ≈ yxz
- x³yz ≈ xyz