Algebraic Geometry Over Algebraic Structures. IX. Principal Universal Classes and Dis-Limits

E. Yu. Daniyarova ; A. G. Myasnikov ; V. N. Remeslennikov

Algebra i logika, Tome 57 (2018) no. 6, pp. 639-661

Résumé

This paper enters into a series of works on universal algebraic geometry — a branch of mathematics that is presently flourishing and is still undergoing active development. The theme and subject area of universal algebraic geometry have their origins in classical algebraic geometry over a field, while the language and almost the entire methodological apparatus belong to model theory and universal algebra. The focus of the paper is the problem of finding Dis-limits for a given algebraic structure $\mathcal{A}$, i.e., algebraic structures in which all irreducible coordinate algebras over $\mathcal{A}$ are embedded and in which there are no other finitely generated substructures. Finding a solution to this problem necessitated a good description of principal universal classes and quasivarieties. The paper is divided into two parts. In the first part, we give criteria for a given universal class (or quasivariety) to be principal. In the second part, we formulate explicitly the problem of finding Dis-limits for algebraic structures and show how the results of the first part make it possible to solve this problem in many cases.

Détail

Keywords: universal algebraic geometry, universal class, quasivariety, joint embedding property, irreducible coordinate algebra, discriminability, Dis-limit, equational Noetherian property, universal geometric equivalence.
Mots-clés : algebraic structure, equational codomain