Группы дробно-линейных преобразований, порожденные тремя элементами

Тройка комплексных чисел $(\alpha,\beta,\gamma)$ называется свободной, если дробно-линейные преобразования комплексной плоскости
$$ A=\begin{pmatrix} 1 & \alpha \\ 0 & 1\end{pmatrix}, B=\begin{pmatrix} 1 & 0 \\ \beta & 1\end{pmatrix}\text{ и }C=\begin{pmatrix} 1-\gamma & -\gamma \\ \gamma & 1+\gamma\end{pmatrix} $$
порождают свободную группу $G$ ранга 3. Дается достаточное условие того, что данная тройка является свободной, и с его помощью находятся некоторые области свободных троек. Библ. 4 назв.