{"id":"arxiv/2603.00893","url":"https://arxiv.org/abs/2603.00893","tags":["math.RA"],"score":0,"title":"A finitely based finite semiring generates a variety with continuum many subvarieties","domain":"math.RA","source":"arxiv","authors":["Zidong Gao"],"reviews":0,"subject":"math.RA","summary":"This paper establishes the existence of a finitely based finite semiring whose variety contains a continuum of subvarieties; such a variety is said to be of type \\(2^{\\aleph_0}\\). Using the homomorphism theory of Kneser graphs, we prove that the 3-element semiring \\(S_{53}\\) is the first known example with this property. Moreover, \\(S_{53}\\) belongs to the variety of the max-plus semiring \\((\\mathbb{N},\\max,+)\\), which therefore is also of type \\(2^{\\aleph_0}\\). For the finitely based 4-element semiring \\(B_0\\), we demonstrate that its variety contains infinitely many subvarieties and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-01","reactions":{}}