Algebraic geometry over algebraic structures. II: Foundations

DOI10.1007/s10958-012-0923-zzbMath1256.03037arXiv1002.3562OpenAlexW2963283155MaRDI 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

unificationalgebraic geometryalgebraic structurescoordinate algebras of algebraic sets

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Foundations of algebraic geometry (14A99) Varieties (08Bxx) Other classes of algebras (08Cxx)

Related Items (45)

Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures ⋮ On elementary and geometric equivalence of equational co-domains ⋮ Compactness conditions in universal algebraic geometry ⋮ Universal algebraic geometry with relation \(\neq\) ⋮ Algebraic geometry over completely simple semigroups ⋮ Pro-Hall \(R\)-groups and groups discriminated by the free pro-\(p\) group. ⋮ Canonical and existential groups in universal classes of abelian groups ⋮ Identifying solutions to systems of equations in semigroups with finite ideal ⋮ On irreducible algebraic sets over linearly ordered semilattices ⋮ Unnamed Item ⋮ Strongly algebraically closed orthomodular near semirings ⋮ On group automorphisms in universal algebraic geometry ⋮ Algebraic and logical geometries of universal algebras (a unified approach) ⋮ Algebraic functions and inner homomorphisms of universal algebras ⋮ The algebraic sets of broad algebras ⋮ Universal geometrical equivalence of the algebraic structures of common signature ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Representations via differential algebras and equationally Noetherian algebras ⋮ Automorphic equivalence in the classical varieties of linear algebras ⋮ On the geometric equivalence of algebras ⋮ Elements of algebraic geometry over a free semilattice ⋮ Algebras with identical algebraic sets. ⋮ Systems of Diophantine equations over finite configurations ⋮ Algebraic geometry over algebraic structures. VI: Geometrical equivalence ⋮ Syntax versus semantics in knowledge bases – I ⋮ Algebraic geometry over algebraic structures X: Ordinal dimension ⋮ Equations in polyadic groups ⋮ 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 ⋮ Logic in representations of groups ⋮ Algebraic geometry over algebraic structures. V: The case of arbitrary signature ⋮ 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 ⋮ Unifying solutions to systems of equations in finite simple semigroups. ⋮ On the number of universal algebraic geometries ⋮ Direct powers of algebraic structures and equations ⋮ Equations over completely simple semigroups.

Cites Work

• 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
• 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

This page was built for publication: Algebraic geometry over algebraic structures. II: Foundations