On Systems of Equations over Free Products of Groups

dc.creatorCasals-Ruiz, Montserrat
dc.creatorKazachkov, Ilya
dc.date2009-03-12
dc.date.accessioned2026-07-07T12:51:50Z
dc.date.available2026-07-07T12:51:50Z
dc.descriptionUsing 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.
dc.description71 pages, 13 figures
dc.identifierhttps://arxiv.org/abs/0903.2096
dc.identifierhttp://arxiv.org/abs/0903.2096
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/223119
dc.subjectGroup Theory
dc.subjectLogic
dc.subject20F10 (Primary) 20E06 (Secondary)
dc.titleOn Systems of Equations over Free Products of Groups
dc.typetext

Files

Collections