Groupe Libre

Un groupe engendré par un ensemble S sans relations autres que celles imposées par les axiomes de groupe : les éléments sont des mots réduits en S ∪ S^{-1} et la multiplication est la concaténation suivie de réductions libres ; caractérisé aussi par une propriété universelle pour les applications de S vers un groupe.