Random subgroups of branch groups

We show that independent Haar-random elements in a super strongly fractal branch profinite group generate a free subgroup acting freely on the boundary of the tree. This improves a previous result of Abért (2005) for weakly branch profinite groups, where independent random elements were shown to generate free subgroups acting only almost freely on the boundary. Our result also generalizes the analogous result of Abért and Virág (2005) for iterated wreath products.