“…В [2,4] установлено, что, каким бы ни был корневой класс групп K , свободное произведение любого семейства K -аппроксимируемых групп оказывается K -аппроксимируемой группой. Вместе с тем известные к настоящему времени результаты об аппроксимируемости конкретными корневыми классами групп (см., например, [5][6][7][8][9]) позволяют предположить, что для более сложно устроенных теоретико-групповых конструкций, таких как свободное произведение с объединенной подгруппой или HNN-расширение, получить столь же универсальный критерий скорее всего никогда не удастся. Поэтому исследование аппроксимируемости указанных конструкций проводят при различных ограничениях, накладываемых на группы, из которых они построены, подгруппы этих групп и связывающие их изоморфизмы (см., например, [3,4,[10][11][12][13][14][15][16][17][18][19]).…”