Universal geometrical equivalence of the algebraic structures of common signature

Abstract

This article is a part of our effort to explain the foundations of algebraic geometry over arbitrary algebraic structures [1–8]. We introduce the concept of universal geometrical equivalence of two algebraic structures A and B of a common language L which strengthens the available concept of geometrical equivalence and expresses the maximal affinity between A and B from the viewpoint of their algebraic geometries. We establish a connection between universal geometrical equivalence and universal equivalence in the sense of equality of universal theories.