свободная подгруппа

Мат. free subgroup