Finite bases and joins for semirings defined by the divisibility order
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.26396
curl -X POST /api/v1/records/arxiv/2609.26396/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.26396/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'