The additively idempotent semiring $S_7^0$ is nonfinitely based
Group Theory
2023-08-08 v1 Logic
Abstract
We show that the additively idempotent semiring has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022), 211--245).
Cite
@article{arxiv.2308.03101,
title = {The additively idempotent semiring $S_7^0$ is nonfinitely based},
author = {Yanan Wu and Miaomiao Ren and Xianzhong Zhao},
journal= {arXiv preprint arXiv:2308.03101},
year = {2023}
}