A certified basis of 3 identities
This list of identities is a basis, proved in Lean, of 26 semigroups of order six, all of which generate the variety V[7183]. Removing the identities that follow from the others leaves 3 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-1896b2ef908d05fc in the data of the bases-min seal.
Certified for
[6, 7183] [6, 7227] [6, 7265] [6, 10268] [6, 10474] [6, 10482] [6, 11994] [6, 12068] [6, 12095] [6, 12099] [6, 12160] [6, 12181] [6, 12259] [6, 12294] [6, 12358] [6, 12370] [6, 12372] [6, 12380] [6, 12388] [6, 12397] [6, 12415] [6, 12440] [6, 12456] [6, 13863] [6, 14056] [6, 14072]
The identities
- x²y ≈ xy
- xyxz ≈ xyz
- xyzx ≈ xzyx