Free subgroup of linear groups Suppose $a,b \in GL(n,\mathbb{C})$, and $\langle a,b\rangle$ is a free group of rank $2$. 
Is there a way to choose a $c$ to guarantee that $\langle a,b,c\rangle$ is a free group of rank $3$?
 A: Yes.  Note first that it suffices to answer the question in $\textit{SL}(2,\mathbb{C})$.  In particular, if $A,B\in\textit{GL}(2,\mathbb{C})$, let $\hat{A},\hat{B}$ be scalar multiples of $A,B$ that lie in $\textit{SL}(2,\mathbb{C})$, and suppose that there exists a $C\in\textit{SL}(2,\mathbb{C})$ so that $\langle\hat{A},\hat{B},C\rangle$ is a free group of rank $3$.  Then for any word $w(x_1,x_2,x_3)$ in the free group $\langle x_1,x_2,x_3\rangle$, if $w(A,B,C) = I$, then $w(\hat{A},\hat{B},C)$ would have to be a scalar matrix, and hence would lie in the center of $\langle\hat{A},\hat{B},C\rangle$, which is impossible.  We conclude that $w(A,B,C) \ne I$ for all $w$, and hence $\langle A,B,C\rangle$ is free as well.
So suppose $A,B\in\textit{SL}(2,\mathbb{C})$ and $\langle A,B\rangle$ is free of rank $2$.  Consider the group $\textit{SL}(2,R)$, where $R$ is the ring $\mathbb{C}[t_1,t_2,t_3,t_4]/(t_1t_4-t_2t_3-1)$, and let
$$
T \;=\; \begin{bmatrix}t_1 & t_2 \\ t_3 & t_4\end{bmatrix}.
$$
Note that $T$ is invertible over $R$, with
$$
T^{-1} \;=\; \begin{bmatrix}t_4 & -t_2 \\ -t_3 & t_1\end{bmatrix},
$$
and hence $T \in \textit{SL}(2,R)$.  Then $\langle A,B,T\rangle$ must be free, since any element of $\langle A,B\rangle$ can be substituted for $T$, and the free group $\langle A,B\rangle$ has no non-trivial laws.
Now, if $w = w(x_1,x_2,x_3)$ is any non-trivial word in the free group $\langle x_1,x_2,x_3\rangle$, the equation
$$
w(A,B,T) \;=\; I
$$
is equivalent to a nontrivial system of polynomial equations in $t_1,t_2,t_3,t_4$, which define a proper subvariety $V_w$ of $\textit{SL}(2,\mathbb{C})$.  But $\textit{SL}(2,\mathbb{C})$ cannot be expressed as a countable union of proper subvarieties, and hence there exists a matrix $C\in\textit{SL}(2,\mathbb{C})$ that does not lie in any $V_w$.  Then $\langle A,B,C\rangle$ is free.
Practically speaking, the way to choose $C$ is to choose a generic matrix, i.e. a matrix whose entries do not satisfy any polynomial equations over the field generated by the entries of $A$ and $B$.
