On systems of equations over free products of groups.

DOI10.1016/J.JALGEBRA.2010.09.044MaRDI QIDQ651246zbMATH OpenOpenAlexFDO

Authors Montserrat Casals Ruiz, Ilya 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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 5343235 (Why is no real title available?)
• scientific article; zbMATH DE number 3987554 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 3577484 (Why is no real title available?)
• scientific article; zbMATH DE number 3805807 (Why is no real title available?)
• scientific article; zbMATH DE number 2221701 (Why is no real title available?)
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Elementary theory of free non-abelian groups.
• Free products and elementary equivalence
• Free products of Hopf groups
• Implicit function theorem over free groups.
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
• Lower bounds on the size of bounded depth circuits over a complete basis with logical addition
• Makanin-Razborov diagrams over free products.
• Model theory
• New estimates of odd exponents of infinite Burnside groups.
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• On systems of equations over free partially commutative groups.
• Quadratic equations over free groups and free products
• Some finitely presented subgroups of the automorphism group of a free group
• The Hopf property of free products
• The first order properties of products of algebraic systems
• The verbal topology of a group
• Tree-graded spaces and asymptotic cones of groups. (With an appendix by Denis Osin and Mark Sapir).
• Two remarks on the first-order theories of Baumslag-Solitar groups
• Unification theorems in algebraic geometry
• WORD EQUATIONS OVER GRAPH PRODUCTS

Cited in

(22)

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

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)