Open Research Index

The Finite Basis Problem for Semirings of Order Four

Aifa Wang, Lili Wang, Qingrui Yin, Jinjing Wu

arXivarxiv/2609.39700Sep 30, 2026math.GRscore 0

The finite basis problem for small semirings differs from its semigroup counterpart even in order three. Recent work classifies several additive types of four-element additively idempotent semirings, including all 386 semirings whose additive reduct is a chain. We consider all four-element semirings with commutative addition, in the binary signature without named constants. Combining the existing classifications with structural reductions and polynomial normal forms, we obtain 2284 finitely based and 57 nonfinitely based isomorphism types among the 2341 types. The nonfinitely based cases…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.39700
curl -X POST /api/v1/records/arxiv/2609.39700/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.39700/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'