On disjunction of equations in the semigroup language with no constants

Abstract

A semigroup $S$ is an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove that every nontrivial semigroup in the standard language $\{\cdot \}$ is not an equational domain.

Cited by in corpus (1)

• Lectures notes in universal algebraic geometry