{"id":"arxiv/2603.00015","url":"https://arxiv.org/abs/2603.00015","tags":["math.RA","math.GR"],"score":0,"title":"Two nonfinitely based additively idempotent semirings of order four","domain":"math.RA","source":"arxiv","authors":["Mengya Yue","Miaomiao Ren","Zidong Gao"],"reviews":0,"subject":"math.RA","summary":"We establish two sufficient conditions for an additively idempotent semiring to be nonfinitely based. As applications, we prove that two specific $4$-element additively idempotent semirings, $S_{(4,545)}$ and $S_{(4,634)}$, whose additive reducts are chains, have no finite basis for their identities. Furthermore, we show that the interval $[\\mathsf{V}(S_{(4,545)}),\\mathsf{V}(S_{(4,634)})]$ in the lattice of semiring varieties contains \\(2^{\\aleph_0}\\) distinct varieties. Consequently, the join of two finitely based additively idempotent semiring varieties is not necessarily finitely based.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-31","reactions":{}}