Algebraic geometry over groups. II: Logical foundations

DOI10.1006/jabr.2000.8414zbMath0970.20017OpenAlexW2068665471MaRDI QIDQ1841824

Alexei G. Myasnikov, Vladimir N. Remeslennikov

Publication date: 9 July 2001

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d8e290697122c6bb2a73d40a47743d3662a7ba3a

zbMATH Keywords

varieties of groupsCartesian productsfree groupsradicalsquasivarietiesalgebraic geometryNullstellensatzequationsmodel-theoretic classes

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) General structure theorems for groups (20E34) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Equational logic, Mal'tsev conditions (08B05) Free nonabelian groups (20E05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Quasivarieties (08C15) Category of groups (20J15) Equational compactness (08A45)

Related Items (78)

Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures ⋮ Random equations in free groups ⋮ Compactness conditions in universal algebraic geometry ⋮ Partially divisible completions of rigid metabelian pro-\(p\)-groups ⋮ Algebraic sets in a finitely generated 2-step solvable rigid pro-\(p\)-group. ⋮ Automorphisms of categories of free algebras of varieties ⋮ Unnamed Item ⋮ Automorphisms of the category of free finitely generated algebras ⋮ Strongly algebraically closed orthomodular near semirings ⋮ Characteristic and IA-invariant radicals ⋮ Strongly algebraically closed Cevian lattices ⋮ On algebraic-geometric and universal theories of abelian groups ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Algebraic and logical geometries of universal algebras (a unified approach) ⋮ Krull dimension of solvable groups. ⋮ Universal invariants for classes of abelian groups ⋮ CENTRALISER DIMENSION OF FREE PARTIALLY COMMUTATIVE NILPOTENT GROUPS OF CLASS 2 ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Groups of prime generalized exponent ⋮ Universal geometrical equivalence of the algebraic structures of common signature ⋮ Strongly algebraically closed \(p\)-semilattices ⋮ Limit groups over coherent right-angled Artin groups ⋮ Automorphic equivalence in the classical varieties of linear algebras ⋮ On the geometric equivalence of algebras ⋮ Equational Noetherianness of rigid soluble groups. ⋮ Structure of coordinate groups for algebraic sets in partially commutative nilpotent groups. ⋮ Irreducible algebraic sets over divisible decomposed rigid groups. ⋮ Algebraic geometry over algebraic structures. VI: Geometrical equivalence ⋮ Irreducibility of an affine space in algebraic geometry over a group. ⋮ Elementary and universal equivalence of group rings ⋮ Some Properties of Complete Boolean Algebras ⋮ Algebraic geometry over algebraic structures X: Ordinal dimension ⋮ On systems of equations over free products of groups. ⋮ Equations in polyadic groups ⋮ SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY ⋮ THE EQUATION [x,u + [y,v] = 0 IN FREE LIE ALGEBRAS] ⋮ ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS ⋮ Geometrical equivalence and action type geometrical equivalence of group representations ⋮ Coordinate groups of irreducible algebraic sets over divisible metabelian \(r\)-groups ⋮ ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS ⋮ Isotypeness of models and knowledge bases equivalence ⋮ Equations and algebraic geometry over profinite groups. ⋮ Logic in representations of groups ⋮ Algebraic geometry over algebraic structures. V: The case of arbitrary signature ⋮ \(G\)-manifolds of nilpotent groups and manifolds of power groups ⋮ New algebraic invariants for definable subsets in universal algebra ⋮ Universal theories for rigid soluble groups. ⋮ Nullstellensatz for relative existentially closed group ⋮ Algebraic geometry over algebraic structures. IV: Equational domains and codomains ⋮ Coproducts of rigid groups. ⋮ Algebraic geometry over natural numbers. The classification of coordinate monoids ⋮ ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS ⋮ Algebra. Dedicated to the seventieth birthday of Professor Viktor Nikolaevich Latyshev. Part 2. Transl. from the Russian ⋮ Automorphisms of the category of free Lie algebras ⋮ Algebraic geometry over groups. III: Elements of model theory. ⋮ On algebraic geometry over completely simple semigroups ⋮ Exponential extensions of groups ⋮ Plotkin's geometric equivalence, Mal'cev's closure, and incompressible nilpotent groups ⋮ Algebraic geometry over Boolean algebras in the language with constants ⋮ Solving one-variable equations in free groups ⋮ Some logical invariants of algebras and logical relations between algebras ⋮ Isotyped algebras ⋮ Automorphic equivalence in the varieties of representations of Lie algebras ⋮ On systems of equations over free partially commutative groups ⋮ On disjunctions of algebraic sets in completely simple semigroups ⋮ Unnamed Item ⋮ First-order aspects of Coxeter groups ⋮ Geometric equivalence of groups. ⋮ Geometric equivalence of 𝜋-torsion-free nilpotent groups ⋮ Seven lectures on universal algebraic geometry ⋮ Semidomains and metabelian product of metabelian Lie algebras ⋮ Degree estimate for commutators. ⋮ Algebraic Sets with Fully Characteristic Radicals ⋮ Unifying solutions to systems of equations in finite simple semigroups. ⋮ Rigid metabelian pro-\(p\)-groups. ⋮ The coordinate group of an affine space over a rigid metabelian pro-\(p\)-group. ⋮ Limit groups over partially commutative groups and group actions on real cubings ⋮ Equations in acylindrically hyperbolic groups and verbal closedness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of algebras and algebraic varieties
• 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
• Model theory
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• A Note on the Implicational Class Generated by a Class of Structures
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• Varieties of groups

This page was built for publication: Algebraic geometry over groups. II: Logical foundations