Finite bases for matrix semirings: transfer theorems and nilpotent counterexamples
Source: arxiv.org/abs/2611.14551
We first show that the nonfinitely based six-element ai-semiring $SR_6$ has finitely based full matrix semirings for every $n\ge2$, with a four-identity basis relative to the ai-semiring axioms. To the best of our knowledge, this is the first known example of this phenomenon. We then construct a countably infinite flat ai-semiring $P$ whose scalar and two-by-two matrix varieties are nonfinitely based, whereas its matrix varieties in sizes $n\ge3$ admit a five-identity relative basis. For both examples, the intervals from the scalar variety to each matrix variety of size at least two have…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.14551
curl -X POST /api/v1/records/arxiv/2611.14551/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.14551/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'