A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 22 semigroups of order six, all of which generate the variety V[15088]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-0d97be41b179a8d9 in the data of the bases-min seal.
Certified for
[6, 15088] [6, 15190] [6, 15248] [6, 15286] [6, 15462] [6, 15545] [6, 15584] [6, 15593] [6, 15594] [6, 15597] [6, 15604] [6, 15635] [6, 15637] [6, 15738] [6, 15822] [6, 15856] [6, 15860] [6, 15862] [6, 15863] [6, 15867] [6, 15869] [6, 15870]
The identities
- x ≈ x²
- xyz ≈ xzyz