A Continuum in the Lattice of Semiring Varieties: The Interval
In the authors' words
For an additively idempotent semiring (ai-semiring) , let denote the ai-semiring obtained from by adjoining a new element . In this paper, we develop an approach to investigate the interval of ai-semiring varieties between the variety generated by and that generated by . We establish a general sufficient condition under which this interval has the cardinality of the continuum. This is applied in particular to , where is a -element ai-semiring and is a nonfinitely based algebra of the smallest possible order, thereby resolving an open problem proposed by Jackson, Ren, and Zhao (J. Algebra 611 (2022), 211--245). The same conclusion holds for , where is the ai-semiring whose multiplicative reduct is the -element Brandt semigroup. We also present a sufficient condition for the nonfinite basis property in ai-semiring varieties. As a corollary, we obtain a new proof of Dolinka's theorem (Internat. J. Algebra Comput. 17 (2007), no.~8, 1537--1551) that the -element ai-semiring has no finite basis for its identities.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.