Transactions of the American Mathematical Society

Author(s): O. Kharlampovich; A. Myasnikov
Journal: Trans. Amer. Math. Soc. 350 (1998), 947-974.
MSC (1991): Primary 20E05, 20F10
Retrieve article in: PDF
This article is available free of charge

Abstract: An algorithm is constructed that decides if a given finite system of equations over a free $\mathbf{Q}$ -group has a solution, and if it does, finds a solution.

1.: G Baumslag, On free $\mathcal D$ -group, Comm. Pure and Appl. Math., 18 (1965) 25-30. MR 31:1293
2.: -, Some aspects of groups with unique roots, Acta Math., 104 (1960), 217-303. MR 23:A191
3.: G. Baumslag, A. Myasnikov, and V. Remeslennikov, Residually hyperbolic groups, preprint, 1996.
4.: L. P. Comerford Jr., and C. C. Edmunds, Solutions of equations in free groups, Group Theory (Singapore, 1987; K. N. Cheng and Y. K. Leong, editors), de Gruyter, Berlin, 1989, pp. 347-356. MR 90a: 20067
5.: R. I. Grigorchuk and P. F. Kurchanov, On quadratic equations in free groups, Proc. Internat. Conf. Algebra (Novosibirsk, 1989), Part 1, Contemp. Math., vol. 131, Amer. Math. Soc., Providence, RI 1992, pp. 159-171. MR 94m:20074
6.: O. Kharlampovich and A. G. Myasnikov, Hyperbolic groups and free constructions, Trans. Amer. Math. Soc. 350 (1998), 571-613.
7.: G.S. Makanin, Decidability of the universal and positive theories of a free group, Izv. Akad. Nauk SSSR, Ser. Mat. 48 (1984), 735-749; English transl., Math. USSR Izv. 25, (1985), 75-88. MR 86c:03009.
8.: -, Equations in a free group, Izv. Akad. Nauk SSSR, Ser. Mat. 46 (1982), 1199-1273; English transl., Math. USSR Izv. 21 (1983), 483-546. MR 84m:20040
9.: A. G. Myasnikov and V. N. Remeslennikov. Exponential groups II: Extension of centralizers and tensor completion of CSA-groups, Internat. J. Algebra Comput. 6 (1996), 687-712.
10.: H. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzen Zahlen, C. R. 1 Congr. Math. Pays Slaves, Warsaw, 1929, pp. 92-101.
11.: A. A. Razborov, On systems of equations in a free group, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), 779-832; English transl., Math. USSR Izv. 25 (1985), 115-162. MR 86c:20033
12.: E. Rips and Z. Sela, Canonical representatives and equations in hyperbolic groups, Invent. Math. 120 (1995), 489-512. MR 96c:20053

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 20E05, 20F10

O. Kharlampovich
Affiliation: Department of Mathematics and Statistics, McGill University, Montréal, P.Q., Canada H3A 2K6
Email: olga@triples.math.mcgill.ca

A. Myasnikov
Affiliation: Department of Mathematics, City College (CUNY), Convent Avenue and 138th Street, New York, New York 10031-9100
Email: alexei@rio.sci.ccny.cuny.edu

DOI: 10.1090/S0002-9947-98-01798-X
PII: S 0002-9947(98)01798-X
Received by editor(s): April 5, 1996
Additional Notes: The first author was supported by grants from NSERC and FCAR; the second author was supported by the NSF Grant DMS-9103098
Copyright of article: Copyright 1998, American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-6850(e) ISSN 0002-9947(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2009, American Mathematical Society Privacy Statement		Search the AMS