On systems of equations over free products of groups.

DOI10.1016/J.JALGEBRA.2010.09.044zbMATH Open1239.20048arXiv0903.2096OpenAlexW2963803250MaRDI QIDQ651246FDOQ651246

Montserrat Casals Ruiz, Ilya Kazachkov

Publication date: 8 December 2011

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

Abstract: Using an analogue of Makanin-Razborov diagrams, we give a description of the solution set of systems of equations over an equationally Noetherian free product of groups $G$. Equivalently, we give a parametrisation of the set $Hom(H,G)$ of all homomorphisms from a finitely generated group $H$ to $G$. Furthermore, we show that every algebraic set over $G$ can be decomposed as a union of finitely many images of algebraic sets of NTQ systems. If the universal Horn theory of $G$ (the theory of quasi-identities) is decidable, then our constructions are effective.

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

Recommendations

• Makanin-Razborov diagrams over free products.
• Canonicality of Makanin-Razborov diagrams -- counterexample
• On systems of equations over free partially commutative groups.
• Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.
• Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
• WORD EQUATIONS OVER GRAPH PRODUCTS
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Diophantine geometry over groups. V\(_2\): Quantifier elimination. II.
• scientific article; zbMATH DE number 2070157
• Two theorems about equationally Noetherian groups

zbMATH Keywords

equations over groupsalgebraic setsfirst-order theoryequationally Noetherian groupsfree products of groupsMakanin-Razborov diagrams

Mathematics Subject Classification ID

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) Applications of logic to group theory (20A15)

Cites Work

• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Model theory
• On systems of equations over free partially commutative groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quadratic equations over free groups and free products
• Elementary theory of free non-abelian groups.
• Lower bounds on the size of bounded depth circuits over a complete basis with logical addition
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• New estimates of odd exponents of infinite Burnside groups.
• Unification theorems in algebraic geometry
• 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.
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• WORD EQUATIONS OVER GRAPH PRODUCTS
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Title not available (Why is that?)
• The first order properties of products of algebraic systems
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• The verbal topology of a group
• Some finitely presented subgroups of the automorphism group of a free group
• Implicit function theorem over free groups.
• Title not available (Why is that?)
• Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
• Two remarks on the first-order theories of Baumslag-Solitar groups
• The Hopf property of free products
• Free products and elementary equivalence
• Title not available (Why is that?)
• Free products of Hopf groups
• Makanin-Razborov diagrams over free products.

Cited In (20)

• Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint
• Detecting geometric splittings in finitely presented groups
• On equations and first-order theory of one-relator monoids
• Random systems of equations in free abelian groups.
• Discrete representations of finitely generated groups into PSL(2,R)${\rm PSL}(2,\mathbb {R})$
• Noncommutative algebraic geometry. I: Monomial equations with a single variable
• On the elementary theory of graph products of groups
• Makanin-Razborov diagrams for hyperbolic groups
• ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
• On subdirect products of type FP_n of limit groups over Droms RAAGs
• Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families
• On systems of equations over free partially commutative groups
• Title not available (Why is that?)
• Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
• Undecidability of equations in free Lie algebras
• The Diophantine problem in the classical matrix groups
• Diophantine problems in solvable groups
• Systems of equations in one variable over free nilpotent groups of nilpotency class 2.
• Equations in Algebras
• Quadratic equations in metabelian Baumslag–Solitar groups

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

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