Diophanting geometry over groups II: Completions, closures and formal solutions
- 109 Downloads
This paper is the second in a series on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the second paper we generalize Merzlyakov’s theorem on the existence of a formal solution associated with a positive sentence [Me]. We first construct a formal solution to a generalAE sentence which is known to be true over some variety, and then develop tools that enable us to analyze the collection of all such formal solutions.
Unable to display preview. Download preview PDF.
- [Be]M. Bestvina,R-trees in topology, geometry and group theory, preprint.Google Scholar
- [Me]Yu. I. Merzlyakov,Positive formulae on free groups, Algebra i Logika5 (1966), 257–266.Google Scholar
- [Pa]F. Paulin,Outer automorphisms of hyperbolic groups and small actions on R-trees, inArboreal Group Theory (R. C. Alperin, ed.), MSRI Publications No. 19, 1991, pp. 331–343.Google Scholar