EN
Highly transitive subgroups of the symmetric group on the natural numbers are studied using combinatorics and the Baire category method. In particular, elementary combinatorial arguments are used to prove that given any nonidentity permutation α on ℕ there is another permutation β on ℕ such that the subgroup generated by α and β is highly transitive. The Baire category method is used to prove that for certain types of permutation α there are many such possibilities for β. As a simple corollary, if $2 ≤ κ ≤ 2^{ℵ₀}$, then the free group of rank κ has a highly transitive faithful representation as permutations on the natural numbers.