Algebraic geometry over algebraic structures. II: Foundations

DOI10.1007/s10958-012-0923-zzbMath1256.03037arXiv1002.3562MaRDI QIDQ1930229

E. Yu. Daniyarova, Vladimir N. Remeslennikov, Alexei G. Myasnikov

Publication date: 10 January 2013

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1002.3562

zbMATH Keywords

unification; algebraic geometry; algebraic structures; coordinate algebras of algebraic sets

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C05: Equational classes, universal algebra in model theory

14A99: Foundations of algebraic geometry

08Bxx: Varieties

08Cxx: Other classes of algebras

Related Items

Automorphic equivalence in the classical varieties of linear algebras, Syntax versus semantics in knowledge bases – I, Algebraic geometry over algebraic structures X: Ordinal dimension, Unnamed Item, RANDOM EQUATIONS OVER FREE SEMILATTICES, ON IRREDUCIBLE ALGEBRAIC SETS OVER LINEARLY ORDERED SEMILATTICES II, ON COMPLEXITY OF THE SATISFIABILITY PROBLEM OF SYSTEMS OVER FINITE POSETS, Geometrical equivalence and action type geometrical equivalence of group representations, Nullstellensatz for relative existentially closed group, On algebraic geometry over completely simple semigroups, Automorphic equivalence in the varieties of representations of Lie algebras, New problems in universal algebraic geometry illustrated by Boolean equations, Algebraic Sets with Fully Characteristic Radicals, Strongly Algebraically Closed Lattices in ℓ-groups and Semilattices, Algebraic Geometry over Heyting Algebras, On the Equationally Artinian Groups, Direct powers of algebraic structures and equations, Representations via differential algebras and equationally Noetherian algebras, Pro-Hall \(R\)-groups and groups discriminated by the free pro-\(p\) group., Identifying solutions to systems of equations in semigroups with finite ideal, On irreducible algebraic sets over linearly ordered semilattices, Logic in representations of groups, Algebraic geometry over algebraic structures. V: The case of arbitrary signature, Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures, On elementary and geometric equivalence of equational co-domains, Elements of algebraic geometry over a free semilattice, Algebras with identical algebraic sets., Universal geometrical equivalence of the algebraic structures of common signature, Algebraic geometry over algebraic structures. VI: Geometrical equivalence, Algebraic and logical geometries of universal algebras (a unified approach), On the number of universal algebraic geometries, On group automorphisms in universal algebraic geometry, Algebraic functions and inner homomorphisms of universal algebras, The algebraic sets of broad algebras, General affine adjunctions, Nullstellensätze, and dualities, Unifying solutions to systems of equations in finite simple semigroups., Equations over completely simple semigroups., Compactness conditions in universal algebraic geometry, Universal algebraic geometry with relation \(\neq\), Algebraic geometry over completely simple semigroups, Canonical and existential groups in universal classes of abelian groups, Strongly algebraically closed orthomodular near semirings, Systems of Diophantine equations over finite configurations, Equations in polyadic groups

Cites Work

• Equational Noetherianness of rigid soluble groups.
• Partially commutative metabelian groups: centralizers and elementary equivalence.
• Universal equivalence of partially commutative metabelian groups.
• Commutative idempotent semigroups at the service of universal algebraic geometry.
• Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness
• Equationally Noetherian property and close properties
• Varieties of algebras and algebraic varieties
• Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
• Limit groups for relatively hyperbolic groups. I: The basic tools.
• Elementary theory of free non-abelian groups.
• Semidomains and metabelian product of metabelian Lie algebras
• Some finitely presented subgroups of the automorphism group of a free group
• The verbal topology of a group
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Two theorems about equationally Noetherian groups
• Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Limit groups as limits of free groups.
• Algebraic geometry over groups. II: Logical foundations
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• Limit groups and groups acting freely on \(\mathbb{R}^n\)-trees.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Limits of (certain) CAT(0) groups. I: Compactification.
• \(\exists\)-free groups
• On systems of equations over free partially commutative groups
• Bounded Algebraic Geometry over a Free Lie Algebra
• Irreducible Algebraic Sets in Metabelian Groups
• The property of being equationally Noetherian for some soluble groups
• Algebraic sets in metabelian groups
• Noetherianness of wreath products of Abelian Lie algebras with respect to equations of universal enveloping algebra
• Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups
• Algebraic geometry over natural numbers. The classification of coordinate monoids
• Unification theorems in algebraic geometry
• Groups With Parametric Exponents
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• ∀-free metabelian groups
• Equations in free groups with one variable. I
• Model Theory
• On algebraic sets over metabelian groups
• Algebraic Geometry over Free Metabelian Lie Algebra I: U-Algebras and Universal Classes
• Algebraic Geometry over Free Metabelian Lie Algebra II: Finite Field Case
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• THE EQUATION [x,u + [y,v] = 0 IN FREE LIE ALGEBRAS]
• One-Variable Equations in Free Groups
• The Mordell-Lang conjecture for function fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item