On systems of equations over free products of groups.

DOI10.1016/j.jalgebra.2010.09.044zbMath1239.20048arXiv0903.2096MaRDI QIDQ651246

Montserrat Casals-Ruiz, Ilya V. Kazachkov

Publication date: 8 December 2011

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

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

zbMATH Keywords

first-order theory; equations over groups; algebraic sets; equationally Noetherian groups; free products of groups; Makanin-Razborov diagrams

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

03C60: Model-theoretic algebra

20E06: Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20F70: Algebraic geometry over groups; equations over groups

Related Items

Equations in Algebras, Detecting geometric splittings in finitely presented groups, Undecidability of equations in free Lie algebras, ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS, Diophantine problems in solvable groups, The Diophantine problem in the classical matrix groups, Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families, Quadratic equations in metabelian Baumslag–Solitar groups, Discrete representations of finitely generated groups into PSL(2,R)${\rm PSL}(2,\mathbb {R})$, On subdirect products of type FP_n of limit groups over Droms RAAGs, Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint, On equations and first-order theory of one-relator monoids, Makanin-Razborov diagrams for hyperbolic groups, On systems of equations over free partially commutative groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New estimates of odd exponents of infinite Burnside groups.
• Quadratic equations over free groups and free products
• Makanin-Razborov diagrams over free products.
• Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
• Elementary theory of free non-abelian groups.
• Lower bounds on the size of bounded depth circuits over a complete basis with logical addition
• 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
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Model theory
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Algebraic geometry over groups. II: Logical foundations
• Two remarks on the first-order theories of Baumslag-Solitar groups
• Implicit function theorem over free groups.
• Tree-graded spaces and asymptotic cones of groups. (With an appendix by Denis Osin and Mark Sapir).
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• The Hopf property of free products
• Free products and elementary equivalence
• On systems of equations over free partially commutative groups
• The first order properties of products of algebraic systems
• WORD EQUATIONS OVER GRAPH PRODUCTS
• Unification theorems in algebraic geometry
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Free products of Hopf groups