On a variety of commutative multiplicatively idempotent semirings
Rings and Algebras
2018-09-27 v1
Abstract
We prove that the variety V of commutative multiplicatively idempotent semirings satisfying x + y + xyz = x + y is generated by single semirings. Moreover, we describe a normal form system for terms in V and we show that the word problem in V is solvable. Although V is locally finite, it is residually big.
Cite
@article{arxiv.1809.10079,
title = {On a variety of commutative multiplicatively idempotent semirings},
author = {Ivan Chajda and Helmut Länger},
journal= {arXiv preprint arXiv:1809.10079},
year = {2018}
}