Equational Theories of Interval Semirings of Posets
We study the equational theory and subvariety structure of the ai-semiring variety $\V_\infty$ generated by all flat semirings $S(a_1\cdots a_k)$, where the letters \(a_i\) are pairwise distinct. Using interval semirings of posets, we characterize its subdirectly irreducible members and describe variety membership in terms of jointly separating families of strict order-preserving maps. We obtain explicit finite identity bases for \(\V_\infty\) and each $\V_k$ generated by $S(a_1\cdots a_k)$. Consequently, every flat semiring \(S(W)\) associated with a nonempty set \(W\) of linear words is…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.06351
curl -X POST /api/v1/records/arxiv/2610.06351/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.06351/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'