On when the union of two algebraic sets is algebraic

Erhard Aichinger, Mike Behrisch, Bernardo Rossi

Research output: Contribution to journalArticlepeer-review

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 automor- phism.
Original languageEnglish
Number of pages48
JournalAequationes Mathematicae
DOIs
Publication statusPublished - 2024

Fields of science

  • 101 Mathematics
  • 101001 Algebra
  • 101005 Computer algebra
  • 101013 Mathematical logic
  • 102031 Theoretical computer science

JKU Focus areas

  • Digital Transformation

Cite this