关于一类交换乘法幂等半环簇
环与代数
2018-09-27 v1
摘要
我们证明：满足 x + y + xyz = x + y 的交换乘法幂等半环簇 V 由单个半环生成。此外，我们描述了 V 中项的范式系统，并证明了 V 中的字问题是可解的。尽管 V 是局部有限的，但它是剩余大（residually big）的。
引用
@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}
}