{"id":"arxiv/2610.20257","url":"https://arxiv.org/abs/2610.20257","tags":["math.GR"],"score":0,"title":"The finite basis problem and subvariety intervals for max-plus matrix semirings","domain":"math.GR","source":"arxiv","authors":["Jun Jiao","Mengya Yue"],"reviews":0,"subject":"math.GR","summary":"Let $S=(\\N,\\max,+)$ be the max-plus algebra of the nonnegative integers, and let $\\overline S$ be obtained from $S$ by adjoining $-\\infty$ as a semiring zero. We first prove that the varieties generated by the full matrix semirings $\\Mat_n(S)$ and by the upper triangular matrix semirings $\\UT_n(\\overline S)$ form strictly ascending chains. Every interval between distinct members of either chain has cardinality $2^{\\aleph_0}$ and contains a chain and an antichain of that cardinality. The proof uses finite syntactic semirings associated with prime-cycle languages and an independent family of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-14","reactions":{}}