English

On disjunction of equations in inverse semigroups

Algebraic Geometry 2013-06-20 v1 Group Theory

Abstract

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

Keywords

Cite

@article{arxiv.1306.4545,
  title  = {On disjunction of equations in inverse semigroups},
  author = {Artem N. Shevlyakov},
  journal= {arXiv preprint arXiv:1306.4545},
  year   = {2013}
}