{"id":"arxiv/2609.15703","url":"https://arxiv.org/abs/2609.15703","tags":["math.GR"],"score":0,"title":"The variety generated by all semirings of order three is nonfinitely based","domain":"math.GR","source":"arxiv","authors":["Aifa Wang","Wenhao Ju","Lili Wang"],"reviews":0,"subject":"math.GR","summary":"We prove that the variety generated by all semirings of order three is nonfinitely based, where addition is not required to be commutative and the signature has no constants. The same conclusion holds for the variety generated by all additively idempotent semirings of order three. We establish these conclusions by excluding a uniform bound on the number of variables in an identity basis. Our proof uses identities associated with anchored odd cycles. Three small commutative test semirings isolate a polynomial equivalence class consisting of exactly two polynomials. For a cycle of length $n$,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}