scientific article; zbMATH DE number 2221702

zbMath1093.20014arXivmath/0407110MaRDI QIDQ5702494

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 1 November 2005

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finitely generated groupsmodel theoryfree groupsquasivarietiesdefinabilityirreducible componentselementary theoriescoordinate groupsalgebraic geometry over groupsuniversal equivalencesquasi-quadratic equations

Mathematics Subject Classification ID

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

Related Items

Elementary theory of free non-abelian groups., Algebraic geometry over algebraic structures. II: Foundations, Representations via differential algebras and equationally Noetherian algebras, Equations and algebraic geometry over profinite groups., Fraïssé limits of limit groups