A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 34 semigroups of order six, all of which generate the variety V[9094]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-59bf900988f29c18 in the data of the bases-min seal.
Certified for
[6, 9094] [6, 9097] [6, 9099] [6, 9104] [6, 9107] [6, 9109] [6, 11929] [6, 11934] [6, 14912] [6, 14913] [6, 14917] [6, 14918] [6, 14925] [6, 14926] [6, 14935] [6, 14936] [6, 14940] [6, 14944] [6, 14950] [6, 14951] [6, 14971] [6, 14974] [6, 14979] [6, 14981] [6, 14985] [6, 15919] [6, 15923] [6, 15928] [6, 15932] [6, 15940] [6, 15943] [6, 15945] [6, 15950] [6, 15953]
The identities
- x² ≈ x⁵
- xy ≈ yx