{"id":"arxiv/2610.12486","url":"https://arxiv.org/abs/2610.12486","tags":["math.RA","math.GR"],"score":0,"title":"The finite basis problem for varieties generated by all semirings of a fixed order","domain":"math.RA","source":"arxiv","authors":["Aifa Wang","Lili Wang"],"reviews":0,"subject":"math.RA","summary":"Let $\\Avar_n$ and $\\VV_n$ be the varieties generated by all $n$-element additively idempotent semirings (ai-semirings) and all $n$-element semirings with commutative addition, respectively, in the signature $(+,\\cdot)$ without constants. We prove that both varieties are finitely based if and only if $n\\leq2$. The five-element case follows from cyclic identities and a structural analysis of products of squares. For $n\\geq6$, each variety contains a finite inherently nonfinitely based ai-semiring. We also prove $\\VV_n\\cap\\AI=\\Avar_n$ for every $n$, where $\\AI$ is the variety of all ai-semirings.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}