EN
We consider the following notion of largeness for subgroups of $S_{∞}$. A group G is large if it contains a free subgroup on 𝔠 generators. We give a necessary condition for a countable structure A to have a large group Aut(A) of automorphisms. It turns out that any countable free subgroup of $S_{∞}$ can be extended to a large free subgroup of $S_{∞}$, and, under Martin's Axiom, any free subgroup of $S_{∞}$ of cardinality less than 𝔠 can also be extended to a large free subgroup of $S_{∞}$. Finally, if Gₙ are countable groups, then either $∏_{n∈ℕ} Gₙ$ is large, or it does not contain any free subgroup on uncountably many generators.