A finitely based finite semiring generates a variety with continuum many subvarieties

Abstract

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 suggest that \(B_0\) could be another potential example of type \(2^{\aleph_0}\).

Figures (1)

• Figure 1: The additive order of $B_2^1$

Theorems & Definitions (31)

• Lemma 2.1: rjzl
• Lemma 3.1
• Lemma 3.2
• proof
• Remark 3.3
• Theorem 3.4
• proof
• Remark 4.1
• Lemma 4.2
• proof