Si formula_16 tiene una presentación formula_44, se puede considerar al conjunto formula_4 como el generador de formula_16, y entonces formula_16 es el mayor grupo libre en formula_4 en el que las relaciones formula_30 se satisfacen.