[6, 3843] L no finite basis
[6, 3843] is Lee's semigroup L, one of the four semigroups of order six without a finite identity basis.
Cayley table
| · | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 2 | 1 | 1 | 1 | 1 | 1 | 2 |
| 3 | 1 | 1 | 1 | 1 | 1 | 3 |
| 4 | 1 | 1 | 2 | 1 | 4 | 2 |
| 5 | 1 | 1 | 3 | 1 | 5 | 3 |
| 6 | 1 | 2 | 2 | 4 | 4 | 6 |
The product of the row element and the column element, numbered as in Smallsemi. Blue: idempotents on the diagonal; grey: the zero. Shaded: the two entries in which this table differs from that of [6, 3842] C₈.
Structure
- Smallsemi
- SmallSemigroup(6, 3843)
- Idempotents
- 1, 5, 6
- Zero
- 1
- Identity
- none
- Nilpotent
- no
- Commutative
- no
- Regular
- no
- Group
- no
- 𝒥-classes
- 6
- Rank
- 2, generated by {5, 6}
- Self-dual
- yes: anti-isomorphic to itself
No finite identity basis
For every n, the identity
x y₁²⋯yₙ² x ≈ x yₙ²⋯y₁² x
holds in L. In a word equal in L to the left side the squares stay blocks, in the forward or in the reverse order, and no derivation step with an identity in fewer variables passes from one order to the other. A finite set of identities uses boundedly many variables, so it misses one of these identities and is not a basis.
Argument: W. T. Zhang and Y. F. Luo (2011). That L, B₂¹, A₂ᵍ and A₂¹ are the only semigroups of order six without a finite basis was shown by Lee, Li and Zhang (2012). See the four nonfinitely based semigroups.
Lean proof
Endpoint theorem: SemigroupBasis.Examples.LeeL.s6_3843_nonfinitelyBased
theorem s6_3843_nonfinitelyBased : NonfinitelyBased table.semigroup
- Size
- Checking this class alone compiles 14 Lean files with 6,366 lines: the endpoint theorem and everything it imports, the shared library included. Of these, 5,337 lines are used by the proof of this class and of no other.
- Census
- SemiBase.Census.S6_3843 checks that the theorem is about the table of this class and concludes Classified; SemiBase.Catalogue.Order6.S6_3843 is the table, with the elements numbered 0 to 5.
Varieties
[6, 3843] generates a variety without a finite basis, so not one of the 505 varieties of this census. It lies in none of them: no finitely based semigroup of order six generates a variety that contains it, as evaluating their bases in this table shows.
Nearby tables
Semigroups whose Smallsemi table differs from this one in one or two entries (row, column), as the tables are listed, not up to renumbering.
- [6, 3842] C₈: 2 entries (4, 6), (5, 6), variety V[3842]