Точные линейные представления и финитная аппроксимируемость некоторых произведений циклик с одним соотношением

В работе доказывается, что группа $G$, имеющая копредставление $G=\langle a_1,\dots,a_n|a_1^{e_1}=\cdots=a_n^{e_n}=(U(a_1,\dots,a_p)V(a_{p+1},\dots,a_n))^m=1\rangle$, где $m\ge2$, $n\ge3$, $1\le p\le n-2$, $e_i=0$ или $e_i\ge2$ при $i=1,\dots,n,$, $U(a_1,\dots,a_p)$ – нетривиальное слово от порождающих $a_1,\dots,a_p$, а $V(a_{p+1},\dots,a_n)$ – нетривиальное слово от порождающих $a_{p+1},\dots,a_n$, имеющее бесконечный ранг и не являющееся собственной степенью, имеет точное представление в $PSL(2,\mathbf{C})$ и, следовательно, финитно аппроксимируема.
Библиогр. 5.