The Finite Basis Problem for Semirings of Order Four

@misc{wang2026finite,
  title = {{The Finite Basis Problem for Semirings of Order Four}},
  author = {Aifa Wang and Lili Wang and Qingrui Yin and Jinjing Wu},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.39700},
  eprint = {2609.39700},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.39700},
  note = {CC BY 4.0},
}

TY  - UNPB
TI  - The Finite Basis Problem for Semirings of Order Four
AU  - Aifa Wang
AU  - Lili Wang
AU  - Qingrui Yin
AU  - Jinjing Wu
PY  - 2026
DA  - 2026/09/30
PB  - arXiv
DO  - 10.48550/arxiv.2609.39700
UR  - https://arxiv.org/abs/2609.39700
AB  - 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 consist of 45 additively idempotent semirings and twelve with nonidempotent addition. The positive arguments give explicit bases or finite constructions with specified bounds. The negative arguments use cited results, term retractions and a hypergraph obstruction. A complete catalogue records the applicable result for each representative; separate correspondence tables identify precisely the cases supplied by the earlier classifications.
ER  -