On systems of equations over free products of groups.

DOI10.1016/j.jalgebra.2010.09.044zbMath1239.20048arXiv0903.2096OpenAlexW2963803250MaRDI 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 theoryequations over groupsalgebraic setsequationally Noetherian groupsfree products of groupsMakanin-Razborov diagrams

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) 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) Algebraic geometry over groups; equations over groups (20F70)

Related Items (14)

The Diophantine problem in the classical matrix groups ⋮ Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint ⋮ 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 ⋮ Equations in Algebras ⋮ Makanin-Razborov diagrams for hyperbolic groups ⋮ Detecting geometric splittings in finitely presented groups ⋮ Undecidability of equations in free Lie algebras ⋮ ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS ⋮ On equations and first-order theory of one-relator monoids ⋮ On systems of equations over free partially commutative groups ⋮ Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families ⋮ Diophantine problems in solvable 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

This page was built for publication: On systems of equations over free products of groups.