On disjunctions of equations over finite simple semigroups

Abstract

A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. For a finite simple semigroup we find necessary and sufficient conditions to be an equational domain. Moreover, we study semigroups with nontrivial center and prove that any such semigroup is not an equational domain.

arXiv admin note: text overlap with arXiv:1305.6842

Cited by in corpus (2)

• On disjunction of equations in inverse semigroups
• Lectures notes in universal algebraic geometry