Примеры конечно порожденных метабелевых групп, не финитно аппроксимируемых относительно сопряженности и вхождения, и представление групп вида $F/R'\gamma_m(F)$

Приведены два примера конечно порожденных метабелевых групп, касающиеся вопросов финитной аппроксимируемости: в первом примере группа не финитно аппроксимируется относительно сопряженности, во втором случае доказывается, что группа Баумслага — Солитера $B(p,1)$, где $p$ — простое число, не финитно аппроксимируется относительно вхождения в циклические подгруппы. Найдено представление фактор-группы вида $F/[R, R][F, F,\dots ,F]$.