Polymorphism-homogeneity and universal algebraic geometry

Endre Tóth, Tamás Waldhauser

We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous…