Finite identity bases for flat semirings of linear words
For a set $W$ of nonempty words, let $S(W)$ be the flat semiring formed by the nonempty factors of words in $W$, together with an absorbing zero. We prove that $S(W)$ has a finite identity basis whenever every word in $W$ is linear, with no restriction on the size of $W$ or on the lengths of its words. In the bounded case its variety is generated by the interval semiring $A_m\cong S(a_1\cdots a_m)$, where $m$ is the maximum word length and the letters $a_i$ are distinct. In the unbounded case its variety is generated by the interval semiring on all finite intervals of the nonnegative…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.14349
curl -X POST /api/v1/records/arxiv/2609.14349/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.14349/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'