English

On the number of universal algebraic geometries

Rings and Algebras 2022-02-08 v2

Abstract

The algebraic geometry of a universal algebra A\mathbf{A} is defined as the collection of solution sets of term equations. Two algebras A1\mathbf{A}_1 and A2\mathbf{A}_2 are called algebraically equivalent if they have the same algebraic geometry. We prove that on a finite set AA with A>3\lvert A \rvert >3 there are countably many algebraically inequivalent Mal'cev algebras and that on a finite set AA with A>2\lvert A \rvert >2 there are continuously many algebraically inequivalent algebras.

Keywords

Cite

@article{arxiv.2107.11063,
  title  = {On the number of universal algebraic geometries},
  author = {Erhard Aichinger and Bernardo Rossi},
  journal= {arXiv preprint arXiv:2107.11063},
  year   = {2022}
}