Em matemática, um grupo livre com base S {\displaystyle S} é um par ordenado {\displaystyle }, onde F S {\displaystyle F_{S}} é um grupo, S {\displaystyle S} é um conjunto não-vazio, e i : S → F S {\displaystyle i:S\rightarrow F_{S}} é uma função injetora. Wikipedia