Back
 APM  Vol.7 No.2 , February 2017
The Tarski Theorems and Elementary Equivalence of Group Rings
Abstract: The Tarski theorems, proved by Myasnikov and Kharlampovich and inde-pendently by Sela say that all nonabelian free groups satisfy the same first-order or elementary theory. Kharlampovich and Myasnikov also prove that the elementary theory of free groups is decidable. For a group ring they have proved that the first-order theory (in the language of ring theory) is not decidable and have studied equations over group rings, especially for torsion-free hyperbolic groups. In this note we examine and survey extensions of Tarksi-like results to the collection of group rings and examine relationships between the universal and elementary theories of the corresponding groups and rings and the corresponding universal theory of the formed group ring. To accomplish this we introduce different first-order languages with equality whose model classes are respectively groups, rings and group rings. We prove that if R[G] is elementarily equivalent to S[H] then simultaneously the group G is elementarily equivalent to the group H and the ring R is elementarily equivalent to the ring S with respect to the appropriate languages. Further if G is universally equivalent to a nonabelian free group F and R is universally equivalent to the integers Z then R[G] is universally equivalent to Z[F] again with respect to an ap-propriate language.
Cite this paper: Fine, B. , Gaglione, A. , Rosenberger, G. and Spellman, D. (2017) The Tarski Theorems and Elementary Equivalence of Group Rings. Advances in Pure Mathematics, 7, 199-212. doi: 10.4236/apm.2017.72011.
References

[1]   Fine, B., Gaglione, A.M., Myasnikov, A., Rosenberger, G. and Spellman, D. (2015) The Elementary Theory of Groups. DeGruyter.

[2]   Fine, B., Gaglione, A.M., Spellman, D. and Rosenberger, G. (2015) The Tarski Problems and Their Solutions. Advances in Pure Mathematics, 5, 212-231.
https://doi.org/10.4236/apm.2015.54023

[3]   Kharlamapovich, O. and Myasnikov, A. (2016) Equations over Group Rings. To Appear.

[4]   Kharlamapovich, O. and Myasnikov, A. (1998) Irreducible Affine Varieties over a Free Group: I. Irreducibility of Quadratic Equations and Nullstellensatz. Journal of Algebra, 200, 472-516.
https://doi.org/10.1006/jabr.1997.7183

[5]   Kharlamapovich, O. and Myasnikov, A. (1998) Affine Varieties over a Free Group: II. Systems in Triangular Quasi-Quadratic Form and a Description of Residually Free Groups. Journal of Algebra, 200, 517-569.

[6]   Kharlamapovich, O. and Myasnikov, A. (2005) The Implicit Function Theorem over Free groups. Journal of Algebra, 290, 1-203.
https://doi.org/10.1016/j.jalgebra.2005.04.001

[7]   Kharlamapovich, O. and Myasnikov, A. (2005) Effective JSJ Decompositions. Contemporary Mathematics, 378, 87-211.
https://doi.org/10.1090/conm/378/07012

[8]   Kharlamapovich, O. and Myasnikov, A. (2006) Elementary Theory of Free Non-Abelian Groups. Journal of Algebra, 302, 451-552.
https://doi.org/10.1016/j.jalgebra.2006.03.033

[9]   Sela, Z. (2001) Diophantine Geometry over Groups I: Makanin-Razborov Diagrams. Publications Mathématiques de l'Institut des Hautes études Scientifiques, 93, 31-106.
https://doi.org/10.1007/s10240-001-8188-y

[10]   Sela, Z. (2003) Diophantine Geometry over Groups II: Completions, Closures and Fromal Solutions. Israel Journal of Mathematics, 104, 173-254.
https://doi.org/10.1007/BF02787407

[11]   Sela, Z. (2005) Diophantine Geometry over Groups III: Rigid and Solid Solutions. Israel Journal of Mathematics, 147, 1-73.
https://doi.org/10.1007/BF02785359

[12]   Sela, Z. (2004) Diophantine Geometry over Groups IV: An Iterative Procedure for Validation of a Sentence. Israel Journal of Mathematics, 143, 1-71.
https://doi.org/10.1007/BF02803494

[13]   Sela, Z. (2005) Diophantine Geometry over Groups V: Quantifier Elimination. Israel Journal of Mathematics, 150, 1-97.
https://doi.org/10.1007/BF02785359

[14]   Magnus, W., Karrass, A. and Solitar, D. (1966) The Combinatorial Group Theory. Wiley Interscience, Hoboken.

[15]   Gaglione, A. and Spellman, D. (1993) Even More Model Theory of Free Groups. In: Corson, J., Dixon, M., Evans, M. and Rohl, F., Eds., Infinite Groups and Group Rings, World Scientific Press, Singapore, 37-40.
https://doi.org/10.1142/9789814503723_0004

[16]   Remeslennikov, V.N. (1989) 9-Free Groups. Siberian Mathematical Journal, 30, 998-1001.

[17]   Baumslag, B. (1967) Residually Free Groups. Proceedings of the London Mathematical Society, 17, 402-408.
https://doi.org/10.1112/plms/s3-17.3.402

[18]   Fine, B., Gaglione, A.M., Spellman, D. and Rosenberger, G. The Elementary and Universal Theory of Group Rings. Journal of Group Theory.

[19]   Bell, J.L. and Slomson, A.B. (1971) Models and Ultra Products: An Introduction. 2nd Revised Printing, North-Holland, Amsterdam.

[20]   Neumann, B.H. (1949) On Ordered Groups. American Journal of Mathematics, 71, 1-18.
https://doi.org/10.2307/2372087

[21]   Passman, D.S. (1985) The Algebraic Structure of Group Rings. Dover, Mineola.

[22]   Fine, B., Gaglione, A.M. and Spellman, D. The Class of Orderable Groups Is a Quasi Variety with Undecidable Theory. Preprint.

[23]   Chang, C.C. and Keisler, H.J. (1977) Model Theory. 2nd Edition, North-Holland, Amsterdam.

[24]   Shelah, S. (1972) Every Two Elementarily Equivalent Models Have Isomorphic Ultra Powers. Israel Journal of Mathematics, 10, 224-233.
https://doi.org/10.1007/BF02771574

 
 
Top