Pathological and highly transitive representations of free groups. (Q2264120)

As we know, \textit{S. H. McCleary} has shown how to represent any free lattice ordered group (free \(l\)-group) as a permutation group of an ordered set [Trans. Am. Math. Soc. 290, 69-79 (1985; Zbl 0546.06013)]. \textit{P. J. Cameron} constructed a copy of the free group of rank \(2^{\aleph_0}\) within \(\Aut(\mathbb Q)\), moreover, he has shown that any doubly transitive automorphism group of a linear order must contain a copy of \(\Aut(\mathbb Q)\) [Permutation groups. Cambridge: Cambridge University Press (1999; Zbl 0922.20003)]. In this paper, the author shows 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 the author generalizes his result by constructing pathological (permutations of unbounded support) and \(\omega\)-transitive (highly transitive) representations of free groups. In particular, and working solely within ZFC, the author shows that any large subgroup of \(\Aut(\mathbb Q)\) (resp. \(\Aut(\mathbb R)\)) contains an \(\omega\)-transitive and pathological representation of any free group of rank \(\lambda\in[\aleph_0,2^{\aleph_0}]\) (resp. of rank \(2^{\aleph_0}\)). Assuming the continuum to be a regular cardinal, the author shows that pathological and \(\omega\)-transitive representations of uncountable free groups abound within large permutation groups of linear orders. Lastly, the author also finds a bound on the rank of free subgroups of certain restricted direct products.