Large free subgroups of automorphism groups of ultrahomogeneous spaces
We consider the following notion of largeness for subgroups of . 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 can be extended to a large free subgroup of , and, under Martin’s Axiom, any free subgroup of of cardinality less than can also be extended to a large free subgroup of . Finally, if Gₙ are countable groups, then...