On the number of universal algebraic geometries
Rings and Algebras
2022-02-08 v2
Abstract
The algebraic geometry of a universal algebra is defined as the collection of solution sets of term equations. Two algebras and are called algebraically equivalent if they have the same algebraic geometry. We prove that on a finite set with there are countably many algebraically inequivalent Mal'cev algebras and that on a finite set with 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}
}