Variety V[3553]
The variety generated by [6, 3553]: all semigroups that satisfy every identity of [6, 3553]. 22 semigroups of order six generate it, and 3,411 semigroups of order six lie in it.
Shortest known basis
5 identities irredundant
- x² ≈ x³
- x²yx ≈ xyx
- x²y² ≈ xy²x
- x²yzy ≈ x²zy²
- xyxzx ≈ xzxyx
Irredundant: none of these identities follows from the others; for each, a semigroup satisfies the others but not it. Obtained from a certified basis by removing identities that follow from the others (Vampire). Shortest known, not known to be minimal.
Certified bases
- 13 identities, certified in Lean for 22 semigroups
Among the 505 varieties
- Directly above
- Directly below
- Undecided
- whether V[3553] lies in V[5661]: no proof was found, and no semigroup of order six refutes it.
A variety lies above another when it contains it. An inclusion holds when the basis of the smaller variety derives that of the larger one, proved by Vampire; it fails when a semigroup of order six lies in the one and not in the other.
Explore V[3553] in the inclusion graph, with everything above and below it.
Generated by 22 semigroups of order six
Contains 3,411 semigroups of order six
The semigroups of order six that satisfy the basis.