Abstract
This is a survey of work by many people on various notions of largeness for subgroups of infinite symmetric groups. The primary concern is with maximal subgroups of infinite symmetric groups, of which several new examples are given. Subgroups of small index in symmetric groups (and in other permutation groups) are considered, as are questions about covering symmetric groups with families of subgroups. Examples are given of maximal subgroups of other large permutation groups, such as GL(κ, F) (where κ is an infinite cardinal) and Aut(Q,≤ ). The paper concludes with a discussion of other notions of largeness in symmetric groups, such as oligomorphic, Jordan, maximal closed, and various strong transitivity conditions on infinite subsets.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Adeleke, P.M. Neumann, On infinite Jordan groups, handwritten manuscript.
S. Adeleke, P.M. Neumann, Infinite bounded permutation groups, handwritten manuscript.
G. Ahlbrandt, M. Ziegler, Quasi finitely axiomatizable totally categorical theories, Ann. Pure Appl. Logic 30 (1986), 63–82.
A. Apps, On the structure of ℵo-categorical groups, J. Alg. 81 (1983), 320–339.
M. Aschbacher, L. Scott, Maximal subgroups of finite groups, J. Alg. 92 (1985), 44–80.
R. Baer, Die Kompositionsreihe der Gruppe aller eineindeutigen Abbildungen einer unendlichen Menge auf sich, Studia Math. 5 (1935), 15–17.
J.T. Baldwin, Fundamentals of stability theory, Springer, Berlin, 1988.
R.W. Ball, Maximal subgroups of symmetric groups, Trans. Amer. Math. Soc. 121 (1966), 393–407.
J.E. Baumgartner, S. Shelah, S. Thomas, Maximal subgroups of infinite symmetric groups, preprint.
M. Brazil, J.A. Covington, T. Penttila, C.E. Praeger, A. -Woods, Proc. London Math. Soc., to appear.
P.J. Cameron, Transitivity of permutation groups on unordered sets, Math. Z. 148 (1976), 127–139.
P.J. Cameron, Finite permutation groups and finite simple groups, Bull. London Math. Soc. 13 (1981), 1–22.
P.J. Cameron, Some treelike objects, Quart. J. Math. Oxford (2) 38 (1987), 155–183.
P.J. Cameron, Oligomorphic permutation groups, London Math. Soc. Lecture Notes 152, CUP, Cambridge, 1990.
P.J. Cameron, J.I. Hall, Some groups generated by transvection subgroups, J. Alg. 140 (1991), 184–209.
C.C. Chang, H.J. Keisler, Model Theory, North-Holland, Amsterdam, 1973.
G. Cherlin, L. Harrington, A.H. Lachlan, ℵo-categorical, ℵo-stable structures, Ann. Pure Appl. Logic 28 (1985), 103–135.
J. Dieudonné, Les determinants sur un corps non commutatif, Bull. Soc. Math. France 71 (1943), 27–45.
J.D. Dixon, P.M. Neumann, S. Thomas, Subgroups of small index in infinite symmetric groups, Bull. London Math. Soc. 18 (1986), 580–586.
M. Droste, W.C. Holland, H.D. Macpherson, Automorphism groups of infinite semilinear orders (II), Proc. London Math. Soc. (3) 58 (1989), 479–494.
E. Engeler, A characterisation of theories with isomorphic denumerable models, Notices Amer. Math. Soc. 6 (1959), 161.
D.M. Evans, Subgroups of small index in infinite general linear groups, Bull. London Math. Soc. 18 (1986), 587–590.
D.M. Evans, Infinite permutation groups and minimal sets, Quart. J. Math. Oxford (2) 38 (1987), 461–471.
D.M. Evans, The small index property for infinite dimensional classical groups, J. Alg. 136 (1991), 248–264.
D.M. Evans, P. Hewitt, Counterexamples to a conjecture on relative categoricity, Ann. Pure Appl. Logic 46 (1990), 201–209.
D.M. Evans, W.A. Hodges, I.M. Hodkinson, Automorphisms of bounded abelian groups, Forum Math. 3 (1991), 523–541.
A.M.W. Glass, Ordered permutation groups, London Math. Soc. Lecture Notes 5, CUP, Cambridge, 1981.
A. Hajnal, A remark on the homogeneity of infinite permutation groups, Bull. London Math. Soc. 22 (1990), 529–532.
J.I. Hall, The number of trace-valued forms and extraspecial groups, J. London Math. Soc. (2) 37 (1988), 1–13.
G. Higman, On infinite simple groups, Publ. Math. Debrecen 3 (1954), 221–226.
W.A. Hodges, Categoricity and permutation groups, Logic Colloquium ’87 (ed. H.-D. Ebbinghaus et al.), Elsevier, Amsterdam, 1989, 53–72.
W.A. Hodges, I.M. Hodkinson, H.D. Macpherson, Omega-categoricity, relative categoricity and coordinatisation, Ann. Pure Appl. Logic 46 (1990), 169–199.
W.C. Holland, The lattice-ordered group of automorphisms of an ordered set, Michigan Math. J. 10 (1963), 399–408.
T. Jech, Set theory, Academic Press, New York, 1978.
W.M. Kantor, Homogeneous designs and geometric lattices, J. Comb. Theory (A) 38 (1985), 66–74.
H.A. Kierstead, P. Nyikos, Hypergraphs with finitely many isomorphism subtypes, Trans. Amer. Math. Soc. 312 (1989), 699–718.
D. Lascar, Autour de la propriété du petit indice, Proc. London Math. Soc. (3) 62 (1991), 25–53.
D. Lascar, Les automorphismes d’un ensemble fortement minimal, J. Symb. Logic 57 (1992), 238–251.
H. Läuchli, P.M. Neumann, On linearly ordered sets and permutation groups of countable degree, Arch. Math. Logic 27 (1988), 189–192.
M.W. Liebeck, C.E. Praeger, J. Saxl, A classification of the maximal subgroups of the alternating and symmetric groups, J. Alg. 111 (1987), 365–383.
M.W. Liebeck, C.E. Praeger, J. Saxl, On the O’Nan-Scott reduction theorem for finite primitive permutation groups, J. Austral. Math. Soc. 44 (1988), 389–396.
A. Litman, S. Shelah, Models with few isomorphic expansions, Israel J. Math 28 (1977), 331–338.
J.T. Lloyd, Lattice-ordered groups and o-permutation groups, Ph.D. thesis, Tulane University, New Orleans, Louisiana, 1964.
H.D. Macpherson, Groups of automorphisms of ℵo-categorical structures, Quart. J. Math. Oxford (2) 37 (1986), 449–465.
H.D. Macpherson, Orbits of infinite permutation groups, Proc. London Math. Soc. (3) 51 (1985), 246–284.
H.D. Macpherson, Maximal subgroups of infinite dimensional general linear groups, J. Austral. Math. Soc., to appear.
H.D. Macpherson, P.M. Neumann, Subgroups of infinite symmetric groups, J. London Math. Soc. (2) 42 (1990), 64–84.
H.D. Macpherson, C.E. Praeger, Maximal subgroups of infinite symmetric groups, J. London Math. Soc. (2) 42 (1990), 85–92.
H.D. Macpherson, A.H. Mekler, S. Shelah, The number of infinite substructures, Math. Proc. Cam. Phil. Soc. 109 (1991), 193–209.
R. Mansfield, G. Weitkamp, Recursive aspects of descriptive set theory, Oxford Logic Guides 11, Oxford University Press, Oxford, 1985.
J. van Mill, An introduction to βN, Handbook of Set-Theoretic Topology (Eds. K. Kunen, J.E. Vaughan), North-Holland, Amsterdam, 1984, 503–567.
R.G. Möller, The automorphism groups of regular trees, J. London Math. Soc., to appear.
G. Moran, Conjugacy classes whose square is an infinite symmetric group, Trans. Amer. Math. Soc. 316 (1989), 493–522.
Y.N. Moschovakis, Descriptive set theory, North-Holland, Amsterdam, 1980.
P.M. Neumann, Some primitive permutation groups, Proc. London Math. Soc. (3) 50 (1985), 265–281.
P.M. Neumann, Homogeneity of infinite permutation groups, Bull. London Math. Soc. 20 (1988), 305–312.
P. Nyikos, Transitivities of permutation groups, preprint.
E.B. Rabinovich, A certain problem of Scott, Dokl. Akad. Nauk. BSSR 19 (1975), 583–584.
D. Ramsay, On linearly ordered sets and permutation groups of uncountable degree, D.Phil, thesis, Oxford, 1990.
F. Richman, Maximal subgroups of infinite symmetric groups, Can. Math. Bull. 10 (1967), 375–381.
A. Rosenberg, The structure of the infinite general linear group, Ann. of Math. 68 (1958), 278–294.
M. Rubin, On the reconstruction of ℵo-categorical structures from their automorphism groups, preprint.
W. Rudin, Homogeneity properties in the theory of Cech compactifications, Duke Math. J. 23 (1956), 409–420.
C. Ryll-Nardzewski, On categoricity in power ≤ ℵo, Bull. Acad. Pol. Sci. Ser. Math. Astr. Phys. 7 (1959), 545–548.
W.R. Scott, Group theory, Prentice-Hall, New Jersey, 1964.
S.W. Semmes, Endomorphisms of infinite symmetric groups, Abstracts Amer. Math. Soc. 2 (1981), 426.
S.W. Semmes, Infinite symmetric groups, maximal subgroups and filters, Abstracts Amer. Math. Soc. 3 (1982), 38.
S. Shelah, Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.
S. Shelah, S. Thomas, Subgroups of small index in infinite symmetric groups II, J. Symb. Logic 54 (1989), 95–99.
S. Shelah, S. Thomas, Implausible subgroups of infinite symmetric groups, Bull. London Math. Soc. 20 (1988), 313–318.
S. Shelah, S. Thomas, Homogeneity of infinite permutation groups, Arch. Math. Logic 28 (1989), 143–147.
G. Stoller, Example of a subgroup of S∞ which has a set-transitive property, Bull. Amer. Math. Soc. 69 (1963), 220–221.
L. Svenonius, ℵo-categoricity in first-order predicate calculus, Theoria 25 (1959), 82–94.
S. Thomas, Reducts of the random graph, J. Symb. Logic 56 (1991), 176–181.
S. Thomas, Permutation groups which act transitively on moieties, preprint.
J.K. Truss, Infinite permutation groups II. Subgroups of small index, J. Alg. 120 (1989), 494–515.
H. Wielandt, Unendliche Permutationsgruppen, Universität Tubingen, 1959.
E.L. Wimmers, The Shelah p-point independence theorem, Isr. J. Math. 43 (1982), 28–48.
B.I. Zil’ber, Strongly minimal totally categorical theories, I, II, III, Siberian J. Math. 21 (1980), 219–230.
B.I. Zil’ber, Strongly minimal totally categorical theories, I, II, III, Siberian J. Math. 25 (1984), 396–412.
B.I. Zil’ber, Strongly minimal totally categorical theories, I, II, III, Siberian J. Math. 25 (1984), 559–572.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Macpherson, D. (1993). Large Subgroups of Infinite Symmetric Groups. In: Sauer, N.W., Woodrow, R.E., Sands, B. (eds) Finite and Infinite Combinatorics in Sets and Logic. NATO ASI Series, vol 411. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2080-7_18
Download citation
DOI: https://doi.org/10.1007/978-94-011-2080-7_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4923-8
Online ISBN: 978-94-011-2080-7
eBook Packages: Springer Book Archive