The variety generated by all semirings of order three is nonfinitely based
We prove that the variety generated by all semirings of order three is nonfinitely based, where addition is not required to be commutative and the signature has no constants. The same conclusion holds for the variety generated by all additively idempotent semirings of order three. We establish these conclusions by excluding a uniform bound on the number of variables in an identity basis. Our proof uses identities associated with anchored odd cycles. Three small commutative test semirings isolate a polynomial equivalence class consisting of exactly two polynomials. For a cycle of length $n$,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.15703
curl -X POST /api/v1/records/arxiv/2609.15703/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.15703/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'