PreprintCC BY 4.0arXiv
The variety generated by all additively idempotent semirings of order four
Abstract
We prove that the variety generated by all four-element additively idempotent semirings has no finite basis for its identities.
Related
- The finite basis problem for additively idempotent semirings of order four, IV
- The variety generated by all semirings of order three is nonfinitely based
- Two-element factors and finite bases for additively idempotent semirings
- Inherently nonfinitely based additively idempotent semirings
- A nonfinitely based additively idempotent semiring that is not strongly nonfinitely based and generates a limit variety
BibTeX
@misc{yue2026variety,
title = {{The variety generated by all additively idempotent semirings of order four}},
author = {Mengya Yue and Xiaolei Shao},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.20568},
eprint = {2609.20568},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.20568},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The variety generated by all additively idempotent semirings of order four
AU - Mengya Yue
AU - Xiaolei Shao
PY - 2026
DA - 2026/09/17
PB - arXiv
DO - 10.48550/arxiv.2609.20568
UR - https://arxiv.org/abs/2609.20568
AB - We prove that the variety generated by all four-element additively idempotent semirings has no finite basis for its identities.
ER -