On when the union of two algebraic sets is algebraic

Research output: Working paper and reportsPreprint

Abstract

In universal algebraic geometry, an algebra is called an equational domain if the union of two algebraic sets is algebraic. We characterize equational domains, with respect to polynomial equations, inside congruence permutable varieties, and with respect to term equations, among all algebras of size two and all algebras of size three with a cyclic automorphism. Furthermore, for each size at least three, we prove that, modulo term equivalence, there is a continuum of equational domains of that size.
Original languageEnglish
Pages1-50
Number of pages50
DOIs
Publication statusPublished - Sept 2023

Publication series

NamearXiv.org
No.2309.00478 [math.RA]

Fields of science

  • 101 Mathematics
  • 101001 Algebra
  • 101013 Mathematical logic

JKU Focus areas

  • Digital Transformation

Cite this