Abstract

This paper is the first in a sequence on the first order theory of free products and further generalizations. In the first paper, we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze systems of equations over free products. To do that we introduce limit groups over the class of free products, and show that a finitely presented group has a canonical (finite) collection of maximal limit quotients. We further extend this finite collection and associate a Makanin–Razborov diagram over free products with every f.p. group. This MR diagram encodes all the quotients of a given f.p. group that are free products, all its homomorphisms into free products, and equivalently all the solutions to a given system of equations over a free product.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.