Linear groups with Borel's property (Q2628334)

Summary: When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups of surfaces and von Dyck groups that satisfy Borel's theorem. Further, as a byproduct of this theory, we make headway on a question of \textit{E. Breuillard} et al. [Isr. J. Math. 192, Part A, 347--379 (2012; Zbl 1266.20060)] concerning double word maps.