Abstract
A well-known result by P. Cameron provides us with a construction of the free group of rank \(2^{\aleph_{0}}\) within the automorphism group of the rationals. We show that the full versatility of doubly transitive automorphism groups is not necessary by extending Cameron’s construction to a larger class of permutation groups and we generalize his result by constructing pathological (permutations of unbounded support) and ω-transitive (highly transitive) representations of free groups. In particular, and working solely within ZFC, we show that any large subgroup of Aut(ℚ) (resp. Aut(ℝ)) contains an ω-transitive and pathological representation of any free group of rank λ ∈ [ℵ 0, \(2^{\aleph_{0}}\)] (resp. of rank \(2^{\aleph_{0}}\)). Assuming the continuum to be a regular cardinal, we show that pathological and ω-transitive representations of uncountable free groups abound within large permutation groups of linear orders. Lastly, we also find a bound on the rank of free subgroups of certain restricted direct products.
Similar content being viewed by others
References
Bennett, C.D.: Explicit free subgroups of Aut(R, ≤). Proc. Amer. Math. Soc. 125(5), 1305–1308 (1997). MR 1363412 (97g:06020)
Bludov, V.V., Droste, M., Glass, A.M.W.: Automorphism groups of totally ordered sets: a retrospective survey. Math. Slovaca 61(3), 373–388 (2011). MR 2796250
Bludov, V.V., Glass, A.M.W.: Right orders and amalgamation for lattice-ordered groups. Math. Slovaca 61(3), 355–372 (2011). MR 2796249
Cameron, P.J.: Oligomorphic permutation groups. Lond. Math. Soc. Stud. Texts 45 (1999)
Cohn, P.M.: Groups of order automorphisms of ordered sets. Mathematika 4, 41–50 (1957). MR 0091280 (19,940e)
Conrad, P.: Free lattice-ordered groups. J. Algebra 16, 191–203 (1970). MR 0270992 (42 #5875)
de la Harpe, P.: Topics in geometric group theory. In: Chicago Lectures in Mathematics. University of Chicago Press, Chicago (2000). MR 1786869 (2001i:20081)
Droste, M., Holland, W.C., Macpherson, H.D.: Automorphism groups of infinite semilinear orders. I II. Proc. Lond. Math. Soc. (3) 58(3), 454–478, 479–494 (1989). MR 988099 (90b:20006)
Glass, A.M.W.: l-simple lattice-ordered groups. Proc. Edinb. Math. Soc. (2) 19(2), 133–138 (1974/75). MR 0409309 (53 #13069)
Holland, C.: The lattice-ordered groups of automorphisms of an ordered set. Michigan Math. J. 10, 399–408 (1963). MR 0158009 (28 #1237)
Kunen, K.: Set theory. Studies in Logic and the Foundations of Mathematics, vol. 102. Amsterdam, North-Holland Publishing Co. (1983), An introduction to independence proofs, Reprint of the 1980 original MR 756630 (85e:03003)
McCleary, S.H.: Free lattice-ordered groups represented as o- 2 transitive l-permutation groups. Trans. Amer. Math. Soc. 290(1), 69–79 (1985). MR 787955 (86m:06034a)
Weiss, U.: Ping-Pong Lemma (version 5), PlanetMath.org
White, S.: The group generated by x ↦ x + 1 and x ↦ x p is free. J. Algebra 118(2), 408–422 (1988). MR 969681 (90a:12014)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bruno, J. Pathological and Highly Transitive Representations of Free Groups. Order 32, 135–144 (2015). https://doi.org/10.1007/s11083-014-9320-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-014-9320-1