Abstract
We show that each of the classes of left-orderable groups and orderable
groups is a quasivariety with undecidable theory. In the case of orderable
groups, we find an explicit set of universal axioms. We then consider the relationship with the Kaplansky group rings conjecture and show that
Dedicated to the memory of Seymour Lipschutz
References
[1] J. L. Bell and A. B. Slomson, Models and Ultraproducts: An Introduction, North-Holland, Amsterdam, 1969. Search in Google Scholar
[2] G. M. Bergman, Right orderable groups that are not locally indicable, Pacific J. Math. 147 (1991), no. 2, 243–248. 10.2140/pjm.1991.147.243Search in Google Scholar
[3] B. Bowditch, A variation of the unique product property, J. Lond. Math. Soc. (2) 62, (2000), no. 3, 813–826. 10.1112/S0024610700001307Search in Google Scholar
[4] V. V. Bludov and A. M. W. Glass, A finitely presented orderable group with insoluble word problem, Bull. Lond. Math. Soc. 44 (2012), no. 1, 85–98. 10.1112/blms/bdr070Search in Google Scholar
[5] R. G. Burns and V. W. D. Hale, A note on group rings of certain torsion-free groups, Canad. Math. Bull. 15 (1972), 441–445. 10.4153/CMB-1972-080-3Search in Google Scholar
[6] C. C. Chang and H. J. Keisler, Model Theory, 2nd ed., North-Holland, Amsterdam, 1977. Search in Google Scholar
[7] B. Fine, A. Gaglione, G. Rosenberger and D. Spellman, On elementary free groups, Algorithmic Problems of Group Theory, Their Complexity, and Applications to Cryptography, Contemp. Math. 633, American Mathematical Society, Providence (2015), 41–58. 10.1090/conm/633/12649Search in Google Scholar
[8] B. Fine, A. Gaglione, G. Rosenberger and D. Spellman, Something for nothing: Some consequences of the solution of the Tarski problems, Groups St. Andrews 2013, London Math. Soc. Lecture Note Ser. 422, Cambridge Univ. Press, Cambridge (2015), 242–270. 10.1017/CBO9781316227343.015Search in Google Scholar
[9] B. Fine, A. Gaglione, G. Rosenberger and D. Spellman, The Tarksi theorems and elementary equivalence of group rings, Adv. Pure Math. 7 (2017), no. 2, 199–212. 10.4236/apm.2017.72011Search in Google Scholar
[10] A. M. Gaglione, S. Lipschutz and D. Spellman, Almost locally free groups and a theorem of Magnus: Some questions, Groups Complex. Cryptol. 1 (2009), no. 2, 181–198. 10.1515/GCC.2009.181Search in Google Scholar
[11] G. Grätzer, Universal Algebra, Van Nostrand, Princeton, 1968. Search in Google Scholar
[12] K. Iwasawa, On linearly ordered groups, J. Math. Soc. Japan 1 (1948), 1–9. 10.2969/jmsj/00110001Search in Google Scholar
[13] O. Kharlampovich and A. Myasnikov, Elementary theory of free non-abelian groups, J. Algebra 302 (2006), no. 2, 451–552. 10.1016/j.jalgebra.2006.03.033Search in Google Scholar
[14] P. Longobardi, M. Maj and A. Rhemtulla, When is a right orderable group locally indicable?, Proc. Amer. Math. Soc. 128 (2000), no. 3, 637–641. 10.1090/S0002-9939-99-05534-3Search in Google Scholar
[15] W. Magnus, A. Karrass and D. Solitar, Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations, Interscience, New York, 1966. Search in Google Scholar
[16] A. I. Mal’cev, Some remarks on quasi-varieties of algebraic structures, Algebra Logic 5 (1966), no. 3, 3–9. Search in Google Scholar
[17] B. H. Neumann, On ordered groups, Amer. J. Math. 71 (1949), 1–18. 10.2307/2372087Search in Google Scholar
[18] D. S. Passman, The Algebraic Structure of Group Rings, Dover, New York, 2011. Search in Google Scholar
[19] A. H. Rhemtulla, Polycyclic right-ordered groups, Algebra (Carbondale 1980), Lecture Notes in Math. 848, Springer, Berlin (1981), 230–234. 10.1007/BFb0090569Search in Google Scholar
[20] Z. Sela, Diophantine geometry over groups. VI. The elementary theory of a free group, Geom. Funct. Anal. 16 (2006), no. 3, 707–730. 10.1007/s00039-006-0565-8Search in Google Scholar
[21] S. Shelah, Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. Math. 10 (1971), 224–233. 10.1007/BF02771574Search in Google Scholar
© 2018 Walter de Gruyter GmbH, Berlin/Boston
