Groups of automorphisms of totally ordered sets: techniques, model theory and applications to decision problems. (English) Zbl 1436.06045
Droste, Manfred (ed.) et al., Groups, modules, and model theory – surveys and recent developments. In Memory of Rüdiger Göbel. Proceedings of the conference on new pathways between group theory and model theory, Mülheim an der Ruhr, Germany, February 1–4, 2016. Cham: Springer. 109-134 (2017).
Summary: This is a survey of topics likely to be of interest to algebraists in general. It has been written accordingly.
For the entire collection see [Zbl 1372.20003].
For the entire collection see [Zbl 1372.20003].
MSC:
| 06F15 | Ordered groups |
| 20B27 | Infinite automorphism groups |
| 03C60 | Model-theoretic algebra |
| 03C64 | Model theory of ordered structures; o-minimality |
| 20F10 | Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) |
References:
| [1] | S. Aanderaa, A proof of Higman’s embedding theorem using Britton extensions of groups, in Word Problems, Decision Problems and the Burnside Problem, ed. by W.W. Boone et al. (North Holland Pub. Co., Amsterdam, 1973), pp. 1-18 · Zbl 0265.20033 · doi:10.1016/S0049-237X(08)71901-3 |
| [2] | S.A. Adeleke, A.M.W. Glass, L. Morley, Arithmetic permutations. J. Lond. Math. Soc. 43, 255-268 (1991) · Zbl 0745.20001 · doi:10.1112/jlms/s2-43.2.255 |
| [3] | G.M. Bergman, Ordering coproducts of groups and semigroups. J. Algebra 133, 313-339 (1990) · Zbl 0666.06012 · doi:10.1016/0021-8693(90)90272-P |
| [4] | V.V. Bludov, A.M.W. Glass, Conjugacy in lattice-ordered and right orderable groups. J. Group Theory 11, 623-633 (2008) · Zbl 1154.06010 · doi:10.1515/JGT.2008.038 |
| [5] | V.V. Bludov, A.M.W. Glass, Word problems, embeddings, and free products of right-ordered groups with amalgamated subgroup. Proc. Lond. Math. Soc. 99, 585-608 (2009) · Zbl 1185.06016 · doi:10.1112/plms/pdp008 |
| [6] | V.V. Bludov, A.M.W. Glass, A survey of recent results in groups and orderings: word problems, embeddings and amalgamations in Groups St. Andrews 2009 in Bath, vol. 1 London Mathematical Society Lecture Notes Series, vol. 387, ed. by C.M. Campbell et al. (Cambridge University Press, Cambridge, 2011), pp. 150-160 · Zbl 1239.06010 |
| [7] | V.V. Bludov, A.M.W. Glass, A finitely presented orderable group with insoluble word problem. Bull. Lond. Math. Soc. 44, 85-98 (2012) · Zbl 1259.06020 · doi:10.1112/blms/bdr070 |
| [8] | V.V. Bludov, M. Giraudet, A.M.W. Glass, G. Sabbagh, Automorphism groups of models of first-order theories, in Models, Modules and Abelian Groups: In memory of A. L. S. Corner, ed. by R. Göbel, B. Goldsmith (W. de Gruyter, Berlin, 2008), pp. 329-332 · Zbl 1188.03025 |
| [9] | V.V. Bludov, M. Droste, A.M.W. Glass, Automorphism groups of totally ordered sets: a retrospective survey. Math. Slovaca 61, 373-388 (2011) · Zbl 1265.06048 |
| [10] | W.W. Boone, G. Higman, An algebraic characterization of the solvability of the word problem. J. Aust. Math. Soc. 18, 41-53 (1974) · Zbl 0303.20028 · doi:10.1017/S1446788700019108 |
| [11] | J.L. Britton, The word problem. Ann. Math. 77, 16-32 (1963) · Zbl 0112.25803 · doi:10.2307/1970200 |
| [12] | C.C. Chang, H.J. Keisler, Model Theory (North Holland Pub. Co., Amsterdam, 1973) · Zbl 0276.02032 |
| [13] | C.G. Chehata, An algebraically simple ordered group. Proc. Lond. Math. Soc. 2, 183-197 (1952) · Zbl 0046.02501 · doi:10.1112/plms/s3-2.1.183 |
| [14] | I.M. Chiswell, Right orderability and graphs of groups. J. Group Theory 14, 589-601 (2011) · Zbl 1247.20032 · doi:10.1515/jgt.2010.065 |
| [15] | S.D. Cohen, A.M.W. Glass, Free groups from fields. J. Lond. Math. Soc. 55, 309-319 (1997) · Zbl 0878.20017 · doi:10.1112/S002461079600436X |
| [16] | M. Droste, Normal subgroups and elementary theories of lattice-ordered groups. Order 5, 261-273 (1988) · Zbl 0664.06012 · doi:10.1007/BF00354894 |
| [17] | M. Giraudet, J.K. Truss, On distinguishing quotients of ordered permutation groups. Q. J. Math. Oxford (2) 45, 181-209 (1994) · Zbl 0811.06017 |
| [18] | A.M.W. Glass, Ordered Permutation Groups. London Mathematical Society Lecture Notes Series, vol. 55 (Cambridge University Press, Cambridge, 1981) · Zbl 0473.06010 |
| [19] | A.M.W. Glass, The isomorphism problem and undecidable properties for finitely presented lattice-ordered groups, in Orders: Description and Roles, ed. by M. Pouzet, D. Richard. Annals Discrete Mathematics, vol. 23 (North Holland, 1984), pp. 157-170 · Zbl 0549.06010 |
| [20] | A.M.W. Glass, Partially Ordered Groups. Series in Algebra, vol. 7 (World Scientific Pub. Co., Singapore, 1999) · Zbl 0933.06010 |
| [21] | A.M.W. Glass, Sublattice subgroups of finitely presented lattice-ordered groups. J. Algebra 301, 509-530 (2006) · Zbl 1150.20029 · doi:10.1016/j.jalgebra.2006.03.013 |
| [22] | A.M.W. Glass, Finitely generated lattice-ordered groups with soluble word problem. J. Group Theory 11, 1-21 (2008) · Zbl 1153.06011 · doi:10.1515/JGT.2008.001 |
| [23] | A.M.W. Glass, Y. Gurevich, The word problem for lattice-ordered groups. Trans. Am. Math. Soc. 280, 127-138 (1983) · Zbl 0527.06009 |
| [24] | A.M.W. Glass, V. Marra, Embedding finitely generated Abelian lattice-ordered groups: Higman’s Theorem and a realisation of π. J. Lond. Math. Soc. 68, 545-562 (2003) · Zbl 1067.06012 |
| [25] | A.M.W. Glass, J.S. Wilson, The first-order theory ofℓ-permutation groups (arxiv:1606.00312) |
| [26] | Y. Gurevich, Expanded theory of ordered abelian groups. Ann. Math. Logic 12, 193-228 (1977) · Zbl 0368.06016 · doi:10.1016/0003-4843(77)90014-6 |
| [27] | Y. Gurevich, W.C. Holland, Recognizing the real line. Trans. Am. Math. Soc. 265, 527-534 (1981) · Zbl 0471.03033 · doi:10.1090/S0002-9947-1981-0610963-X |
| [28] | G. Higman, Subgroups of finitely presented groups. Proc. R. Soc. Lond. Ser. A 262, 455-475 (1961) · Zbl 0104.02101 · doi:10.1098/rspa.1961.0132 |
| [29] | W.C. Holland, The lattice-ordered group of automorphisms of a totally ordered set. Mich. Math. J. 10, 399-408 (1963) · Zbl 0116.02102 · doi:10.1307/mmj/1028998976 |
| [30] | W.C. Holland, S.H. McCleary, Wreath products of ordered permutation groups. Pac. J. Math. 31, 703-716 (1969) · Zbl 0206.31804 · doi:10.2140/pjm.1969.31.703 |
| [31] | M. Jambu-Giraudet, Bi-interpretable groups and lattices. Trans. Am. Math. Soc. 278, 253-269 (1983) · Zbl 0522.03024 · doi:10.1090/S0002-9947-1983-0697073-2 |
| [32] | V.M. Kopytov, N. Ya, Medvedev, Right-ordered Groups. Siberian School of Algebra and Logic, Consultants Bureau (Plenum Pub. Co., New York, 1996) (translation) · Zbl 0852.06005 |
| [33] | S. Lemieux, Conjugacy Problem: Open Questions and an Application, Ph.D. Thesis, University of Alberta, Edmonton, Alberta, 2004 |
| [34] | R.C. Lyndon, P.E. Schupp, Combinatorial Group Theory. Ergebnisse der Math. und ihr Grenzgebiete (Springer, Heidelberg, 1977) · Zbl 0368.20023 |
| [35] | S.H. McCleary, o-primitive ordered permutation groups I. Pac. J. Math. 40, 349-372 (1972); II, ibid49, 431-443 (1973) · Zbl 0253.06017 |
| [36] | S.H. McCleary, Groups of homeomorphisms with manageable automorphism groups. Commun. Algebra 6, 497-528 (1978) · Zbl 0377.20035 · doi:10.1080/00927877808822256 |
| [37] | R.N. McKenzie, R.J. Thompson, An elementary construction of unsolvable word problems in group theory, in Word Problems, Decision Problems and the Burnside Problem, ed. by W.W. Boone et al. (North Holland, Amsterdam, 1973), pp. 457-478 · Zbl 0286.02047 · doi:10.1016/S0049-237X(08)71914-1 |
| [38] | K.R. Pierce, Amalgamations of lattice-ordered groups. Trans. Am. Math. Soc. 172, 249-260 (1972) · Zbl 0259.06017 · doi:10.1090/S0002-9947-1972-0325488-3 |
| [39] | M.O. Rabin, Recursive unsolvability of group theoretic problems. Ann. Math. 67, 172-194 (1958) · Zbl 0079.24802 · doi:10.2307/1969933 |
| [40] | J.J. Rotman, The Theory of Groups: An Introduction, 2nd edn. (Allyn and Bacon, Boston, 1973) · Zbl 0262.20001 |
| [41] | R.J. Thompson, Embeddings into finitely generated simple groups which preserve the word problem, in Word Problems II, ed. by S.I. Adian et al. (North Holland Pub. Co., Amsterdam, 1980), pp. 401-441 · Zbl 0431.20030 · doi:10.1016/S0049-237X(08)71348-X |
| [42] | J.K. Truss, Infinite permutation groups I: products of conjugacy classes. J. Algebra 120, 454-493 (1989) · Zbl 0666.20001 · doi:10.1016/0021-8693(89)90211-1 |
| [43] | A.A. Vinogradov, On the free product of ordered groups. Math. Sb. 67, 163-168 (1949) · Zbl 0038.15904 |
| [44] | A.A. Vinogradov, Non-axiomatizability of lattice-ordered groups. Sib. Math. J. 13, 331-332 (1971) · Zbl 0228.06009 · doi:10.1007/BF00969057 |
| [45] | S. · Zbl 0662.20024 · doi:10.1016/0021-8693(88)90030-0 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
