Вільна група

група G називається вільною групою, якщо існує підмножина S в G, така, що кожен елемент G записується єдиним чином як добуток скінченного числа елементів S і їх обернених елементів