On disjunctions of equations over semigroups
arXiv:1305.6842
Abstract
A semigroup is called an equational domain (e.d.) if any finite union of algebraic sets over is algebraic. For a semigroup with a finite ideal we find the necessary and sufficient conditions to be an e.d.