Об отделимости абелевых подгрупп свободного произведения двух групп с нормальной объединенной подгруппой

Предположим, что $C$ — класс групп, замкнутый относительно взятия подгрупп, фактор-групп и декартовых сплетений, $G$ — свободное произведение групп $A$ и $B$ с объединенной подгруппой $H$, нормальной в свободных множителях и содержащейся в них собственным образом. Предположим также, что подгруппа группы автоморфизмов подгруппы $H$, составленная из ограничений на указанную подгруппу всех внутренних автоморфизмов группы $G$, конечна или абелева, или порождается ограничениями внутренних автоморфизмов одного из свободных множителей. В настоящей статье найдено описание $C\text{-}$отделимых конечно порожденных абелевых подгрупп группы $G$ при условии, что последняя аппроксимируется классом $C$. При этом критерий $C\text{-}$аппроксимируемости группы $G$ известен.