Локально свободная группа

группа, каждая конечно порожденная подгруппа к-рой свободна (см. Свободная группа). Таким образом, счетная Л. с. г. является объединением возрастающей цепи свободных подгрупп. Говорят, что Л. с. г. имеет конечный ранг п, если всякое ее конечное подмножество содержится в подходящей свободной подгруппе ранга п, причем п- наименьшее число с этим свойством. Класс Л. с. г. замкнут относительно свободного произведения, причем ранг свободного произведения Л. с. г. конечного ранга равен сумме рангов сомножителей.