A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 33 semigroups of order six, all of which generate the variety V[7214]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-c5d72c3532ce088b in the data of the bases-min seal.
Certified for
[6, 7214] [6, 7257] [6, 7281] [6, 10350] [6, 10465] [6, 10487] [6, 12010] [6, 12102] [6, 12103] [6, 12163] [6, 12184] [6, 12193] [6, 12262] [6, 12299] [6, 12322] [6, 12385] [6, 12391] [6, 12398] [6, 12429] [6, 12445] [6, 12460] [6, 12471] [6, 12475] [6, 12478] [6, 12484] [6, 12485] [6, 12486] [6, 12491] [6, 13879] [6, 14076] [6, 14079] [6, 14217] [6, 14221]
The identities
- x²y ≈ xy
- xyxz ≈ xyz