{"id":"arxiv/2610.27463","url":"https://arxiv.org/abs/2610.27463","tags":["math.RA"],"score":0,"title":"The Finite Basis Problem for Multiplicatively Idempotent Semirings","domain":"math.RA","source":"arxiv","authors":["Aifa Wang","Lili Wang"],"reviews":0,"subject":"math.RA","summary":"The variety of semirings satisfying $x^2\\approx x$ is hereditarily finitely based in the signature consisting of addition and multiplication, without designated constants. Multiplication may be noncommutative, and the semirings need not be finite. A subdirect decomposition reduces the proof to the subvarieties defined by $3x\\approx x$ and $3x\\approx2x$. In the latter case, we express each polynomial identity using a common doubled part and isolated word occurrences. Four fixed identities align the first- and last-occurrence words of these occurrences. Induction on their content extracts…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}