Почти свободные группы и свойство Холла

Дается ответ на следующий вопрос: как по произвольной группе $G$ из класса $\mathfrak{F}$ и ее подгруппе $H$, заданной конечным множеством порождающих, выяснить, выделяется ли $H$ свободным множителем в некоторой подгруппе конечного индекса группы $G$?
Библиогр. 8.