On disjunction of equations in inverse semigroups

Abstract

A semigroup $S$ is an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove that if an inverse semigroup $S$ is an equational domain in the extended language $\{\cdot ,{}^{-1}\}\cup \{s|s\in S\}$ then $S$ is a group.

References in corpus (1)

• On disjunctions of equations over finite simple semigroups

Cited by in corpus (1)

• Lectures notes in universal algebraic geometry