A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 44 semigroups of order six, all of which generate the variety V[15091]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-572ce2f92f65f488 in the data of the bases-min seal.
Certified for
[6, 15091] [6, 15143] [6, 15169] [6, 15249] [6, 15311] [6, 15332] [6, 15354] [6, 15405] [6, 15459] [6, 15465] [6, 15468] [6, 15471] [6, 15549] [6, 15570] [6, 15587] [6, 15588] [6, 15600] [6, 15601] [6, 15609] [6, 15610] [6, 15613] [6, 15616] [6, 15638] [6, 15642] [6, 15644] [6, 15645] [6, 15741] [6, 15784] [6, 15814] [6, 15823] [6, 15825] [6, 15829] [6, 15830] [6, 15833] [6, 15836] [6, 15844] [6, 15846] [6, 15847] [6, 15857] [6, 15858] [6, 15864] [6, 15865] [6, 15871] [6, 15872]
The identities
- x ≈ x²
- xyxzx ≈ xyzx