A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 35 semigroups of order six, all of which generate the variety V[7637]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-77eb3f474d898544 in the data of the bases-min seal.
Certified for
[6, 7637] [6, 8340] [6, 8440] [6, 8492] [6, 10604] [6, 11252] [6, 11447] [6, 12751] [6, 12770] [6, 12877] [6, 12883] [6, 12891] [6, 13124] [6, 13133] [6, 13221] [6, 13266] [6, 13303] [6, 13314] [6, 13322] [6, 13449] [6, 13474] [6, 13500] [6, 13509] [6, 13514] [6, 13548] [6, 13648] [6, 13663] [6, 13676] [6, 13684] [6, 13693] [6, 13694] [6, 13697] [6, 13988] [6, 14169] [6, 14251]
The identities
- xy ≈ xy²
- x²yz ≈ xyxz