Об аппроксимации свободных групп относительно сопряженности

Показано, что неабелева свободная группа ранга два не аппроксимируется относительно сопряженности:
1) группами $M_{2,q}=\langle a,b;a^2=1,b^q=1\rangle$, $q=0,2,3,4,6$;
2) семейством групп $PSL(2,p)$, где $p$ пробегает простые числа вида $4k+1$.
Библ. 6 назв.