Групп ,- факторгруппа где F — свободное произведение групп — нек-рое множество слов, — вербальная Т'"-подгрупиа (см. Вербальная подгруппа).группы F, а С — декартова подгруппа (т. е. ядро естественного эпиморфизма Fна прямое произведение тех же групп). Как операция на классе групп В. п. ассоциативно, а в пределах соответствующего многообразия групп и свободно. О. Н. Головин.