Un objeto muy interesante es el grupo libre sobre un conjunto formula_3 que consiste de todos las palabras posibles con alfabeto formula_3.