A nonfinitely based additively idempotent semiring that is not strongly nonfinitely based and generates a limit variety
We present an explicit infinite equational basis for the six-element additively idempotent semiring $TR_6$ and prove that $TR_6$ is nonfinitely based. We also give a complete description of the subvariety lattice of the variety generated by $TR_6$, showing that it forms a four-element chain. Our results demonstrate that the variety generated by $TR_6$ is a limit variety: it is itself nonfinitely based, yet all of its proper subvarieties are finitely based. This provides a new limit variety of additively idempotent semirings, distinct from all previously known ones. In fact,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.09220
curl -X POST /api/v1/records/arxiv/2609.09220/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.09220/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'