{"id":"arxiv/2609.26396","url":"https://arxiv.org/abs/2609.26396","tags":["math.GR"],"score":0,"title":"Finite bases and joins for semirings defined by the divisibility order","domain":"math.GR","source":"arxiv","authors":["Xiaolei Shao","Zidong Gao"],"reviews":0,"subject":"math.GR","summary":"We study additively idempotent semirings obtained from commutative words by equipping their subwords with the divisibility order. Every finite semiring associated with a power of one letter is finitely based, whereas one associated with a linear word is finitely based exactly when the word has length at most two. A hypergraph preservation lemma yields the nonfinite basis result and extends it to intervals of varieties. We establish a sharp containment criterion between the power and linear families, and determine the finite basis property of every join of two varieties generated by one…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}