1: \begin{abstract}

2: We address two questions of Simon Thomas. First, we show that for

3: any $n\geq3$ one can find a four generated free subgroup of $SL_{n}(\bZ)$

4: which is profinitely dense. More generally, we show that an arithmetic

5: group $\Gamma$ which admits the congruence subgroup property, has

6: a profinitely dense free subgroup with an explicit bound of its rank.

7: Next, we show that the set of profinitely dense, locally free subgroups

8: of such an arithmetic group $\Gamma$ is uncountable.

9: \end{abstract}

10: