A certified basis of 2 identities
This list of identities is a basis, proved in Lean, of 66 semigroups of order six, all of which generate the variety V[882]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.
Identifier sb-1e07d50960fd7056 in the data of the bases-min seal.
Certified for
[6, 882] [6, 886] [6, 890] [6, 898] [6, 902] [6, 905] [6, 908] [6, 912] [6, 914] [6, 915] [6, 917] [6, 919] [6, 923] [6, 925] [6, 926] [6, 930] [6, 932] [6, 934] [6, 935] [6, 938] [6, 948] [6, 952] [6, 955] [6, 958] [6, 960] [6, 961] [6, 2232] [6, 2237] [6, 2241] [6, 2245] [6, 2247] [6, 2256] [6, 2258] [6, 2260] [6, 2262] [6, 2263] [6, 2266] [6, 2268] [6, 2269] [6, 2271] [6, 2272] [6, 2275] [6, 2276] [6, 2277] [6, 2281] [6, 2287] [6, 2289] [6, 2298] [6, 2300] [6, 2565] [6, 2567] [6, 2572] [6, 2574] [6, 2576] [6, 4832] [6, 4835] [6, 4840] [6, 4844] [6, 4845] [6, 4847] [6, 4848] [6, 4850] [6, 4851] [6, 4854] [6, 4859] [6, 4863]
The identities
- xy ≈ yx
- x²yzt ≈ yzt