{"id":"arxiv/2610.14068","url":"https://arxiv.org/abs/2610.14068","tags":["math.RA","math.GR"],"score":0,"title":"Strong nonfinite basability of the three-element flat semiring $S_7$","domain":"math.RA","source":"arxiv","authors":["Mengya Yue","Xiaolei Shao"],"reviews":0,"subject":"math.RA","summary":"We prove that the three-element flat semiring $S_7$ is strongly nonfinitely based within the class of additively idempotent semirings. More generally, let $\\mathcal N$ be the subvariety of $\\Var(S_7)$ defined by $x^2y\\approx x^2$. For every finite ai-semiring $A$, each variety $\\mathcal W$ satisfying $\\mathcal N\\subseteq\\mathcal W\\subseteq\\Var(A)$ has infinite axiomatic rank.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}