The unique limit subvariety of the max-plus variety and finite basis properties
We prove that the variety generated by the max-plus algebra on the nonnegative integers has a unique limit subvariety, namely the variety generated by the six-element semiring constructed by Shao, Ren and Gao. More generally, we characterize hereditary finite basedness in a finitely defined variety of commutative additively idempotent semirings containing the max-plus variety. Its hereditarily finitely based subvarieties form a finite lattice and admit equational bases involving at most ten variables. We also prove that every proper subvariety of the max-plus variety is locally finite. A…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.25843
curl -X POST /api/v1/records/arxiv/2609.25843/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.25843/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'