Aka, MennyGelander, TsachikSoifer, Gregory A.2014-08-292014-08-292014-08-29201410.1515/jgt-2014-0001https://infoscience.epfl.ch/handle/20.500.14299/106357WOS:000338850000001We address two questions of Simon Thomas. First, we show that for any n >= 3 one can find a four-generated free subgroup of SLn (Z) which is profinitely dense. More generally, we show that an arithmetic group Gamma that admits the congruence subgroup property has a profinitely-dense free subgroup with an explicit bound on its rank. Next, we show that the set of profinitely-dense, locally-free subgroups of such an arithmetic group Gamma is uncountable.text::journal::journal article::research article