Two nonfinitely based additively idempotent semirings of order four
We establish two sufficient conditions for an additively idempotent semiring to be nonfinitely based. As applications, we prove that two specific $4$-element additively idempotent semirings, $S_{(4,545)}$ and $S_{(4,634)}$, whose additive reducts are chains, have no finite basis for their identities. Furthermore, we show that the interval $[\mathsf{V}(S_{(4,545)}),\mathsf{V}(S_{(4,634)})]$ in the lattice of semiring varieties contains \(2^{\aleph_0}\) distinct varieties. Consequently, the join of two finitely based additively idempotent semiring varieties is not necessarily finitely based.…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.00015
curl -X POST /api/v1/records/arxiv/2603.00015/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.00015/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'