The finite basis problem for varieties generated by all semirings of a fixed order
Let $\Avar_n$ and $\VV_n$ be the varieties generated by all $n$-element additively idempotent semirings (ai-semirings) and all $n$-element semirings with commutative addition, respectively, in the signature $(+,\cdot)$ without constants. We prove that both varieties are finitely based if and only if $n\leq2$. The five-element case follows from cyclic identities and a structural analysis of products of squares. For $n\geq6$, each variety contains a finite inherently nonfinitely based ai-semiring. We also prove $\VV_n\cap\AI=\Avar_n$ for every $n$, where $\AI$ is the variety of all ai-semirings.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.12486
curl -X POST /api/v1/records/arxiv/2610.12486/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.12486/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'