Tarski’s problem for solvable groups
HTML articles powered by AMS MathViewer
- by Pat Rogers, Howard Smith and Donald Solitar PDF
- Proc. Amer. Math. Soc. 96 (1986), 668-672 Request permission
Abstract:
In this paper, we show that the free solvable groups (as well as the free nilpotent groups) of finite rank have different elementary theories (i.e., they do not satisfy the same first order sentences of group theory). This result is obtained using a result in group theory (probably due to Malcev and following immediately from a theorem of Auslander and Lyndon) that, for a free nontrivial solvable group, the last nontrivial group in its derived series is is own centralizer.References
- Maurice Auslander and R. C. Lyndon, Commutator subgroups of free groups, Amer. J. Math. 77 (1955), 929–931. MR 75204, DOI 10.2307/2372606 C. C. Chang and H. J. Keisler, Model theory, Studies in Logic and the Foundations of Mathematics, no. 73. North-Holland, Amsterdam, 1973.
- Roger C. Lyndon and Paul E. Schupp, Combinatorial group theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 89, Springer-Verlag, Berlin-New York, 1977. MR 0577064
- Wilhelm Magnus, Abraham Karrass, and Donald Solitar, Combinatorial group theory, Second revised edition, Dover Publications, Inc., New York, 1976. Presentations of groups in terms of generators and relations. MR 0422434
- Ju. I. Merzljakov, Positive formulae on free groups, Algebra i Logika Sem. 5 (1966), no. 4, 25–42 (Russian). MR 0222149
- George S. Sacerdote, Elementary properties of free groups, Trans. Amer. Math. Soc. 178 (1973), 127–138. MR 320146, DOI 10.1090/S0002-9947-1973-0320146-4
- W. Szmielew, Elementary properties of Abelian groups, Fund. Math. 41 (1955), 203–271. MR 72131, DOI 10.4064/fm-41-2-203-271
- Alfred Tarski, Some notions and methods on the borderline of algebra and metamathematics, Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, vol. 1, Amer. Math. Soc., Providence, R.I., 1952, pp. 705–720. MR 0045068
- Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121 R. L. Vaught, On the airthmetical equivalence of free algebras, Bull. Amer. Math. Soc. 61 (1955), 173-174.
Additional Information
- © Copyright 1986 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 96 (1986), 668-672
- MSC: Primary 03C60; Secondary 20A15, 20E05
- DOI: https://doi.org/10.1090/S0002-9939-1986-0826500-0
- MathSciNet review: 826500