Algebraic geometry over groups. III: Elements of model theory.

DOI10.1016/J.JALGEBRA.2004.07.038MaRDI QIDQ555757zbMATH OpenOpenAlexFDO

Authors Alexei Kvaschuk, Alexei Myasnikov, Vladimir Remeslennikov

Publication date 10 June 2005

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

Full work available at URL https://doi.org/10.1016/j.jalgebra.2004.07.038

zbMATH Keywords

finitely generated groupsfree groupsmodel theorydefinabilityquasivarietiesirreducible componentscoordinate groupsvarieties of groupselementary theoriesalgebraic geometry over groupsuniversal equivalencesorthogonal systems of domains

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Noncommutative algebraic geometry (14A22) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Applications of logic to group theory (20A15) General structure theorems for groups (20E34) Quasivarieties and varieties of groups (20E10)

Recommendations

• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups
• Algebraic geometry over groups. II: Logical foundations
• scientific article; zbMATH DE number 2070157
• scientific article; zbMATH DE number 1419249

Cites work

• scientific article; zbMATH DE number 3833933 (Why is no real title available?)
• scientific article; zbMATH DE number 3987554 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• Definable invariants of bilinear mappings
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• The first order properties of products of algebraic systems
• The verbal topology of a group

Cited in

(15)

• Algebraic logic and logically-geometric types in varieties of algebras
• Groups of prime generalized exponent
• CENTRALISER DIMENSION OF FREE PARTIALLY COMMUTATIVE NILPOTENT GROUPS OF CLASS 2
• Equations and algebraic geometry over profinite groups.
• Limit groups over coherent right-angled Artin groups
• Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups
• Isotyped algebras
• Algebraic geometry over groups. II: Logical foundations
• Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras
• First-order aspects of Coxeter groups
• scientific article; zbMATH DE number 1419249 (Why is no real title available?)
• Elements of algebraic geometry and the positive theory of partially commutative groups.
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• scientific article; zbMATH DE number 4089758 (Why is no real title available?)
• Irreducibility of an affine space in algebraic geometry over a group.

This page was built for publication: Algebraic geometry over groups. III: Elements of model theory.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555757)