The additively idempotent semiring $S_7^0$ is nonfinitely based

Yanan Wu, Miaomiao Ren, Xianzhong Zhao

We show that the additively idempotent semiring $S_7^0$ has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022),…