{"id":"arxiv/2609.25843","url":"https://arxiv.org/abs/2609.25843","tags":["math.GR"],"score":0,"title":"The unique limit subvariety of the max-plus variety and finite basis properties","domain":"math.GR","source":"arxiv","authors":["Xiaolei Shao","Mengya Yue"],"reviews":0,"subject":"math.GR","summary":"We prove that the variety generated by the max-plus algebra on the nonnegative integers has a unique limit subvariety, namely the variety generated by the six-element semiring constructed by Shao, Ren and Gao. More generally, we characterize hereditary finite basedness in a finitely defined variety of commutative additively idempotent semirings containing the max-plus variety. Its hereditarily finitely based subvarieties form a finite lattice and admit equational bases involving at most ten variables. We also prove that every proper subvariety of the max-plus variety is locally finite. A…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}