Grupo Libre

- Pure Mathematics -
Algebra Dictionary
Un grupo generado por un conjunto S sin relaciones salvo las impuestas por los axiomas de grupo: los elementos son palabras reducidas en S ∪ S^{-1} y la multiplicación es concatenación seguida de reducción libre; caracterizado también por una propiedad universal respecto a aplicaciones desde S.