English

Wreath products of semigroups in universal algebraic geometry and Plotkin's problem

Algebraic Geometry 2020-08-07 v1 Rings and Algebras

Abstract

We prove that the wreath product C=AwrBC=A wr B of a semigroup AA with zero and an infinite cyclic semigroup BB is qωq_\omega-compact (logically Noetherian). Our result partially solves the Plotkin`s problem about wreath products

Cite

@article{arxiv.2008.02308,
  title  = {Wreath products of semigroups in universal algebraic geometry and Plotkin's problem},
  author = {A. Shevlyakov},
  journal= {arXiv preprint arXiv:2008.02308},
  year   = {2020}
}
R2 v1 2026-06-23T17:40:00.213Z