En théorie des groupes, le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application f : S → G, il existe un unique morphisme de groupes de F dans G prolongeant f.

Soit encore, un groupe G est dit libre sur un sous-ensemble S de G si chaque élément de G s'écrit de façon unique comme produit réduit d'éléments de S et d'inverses d'éléments de S (réduit signifiant : sans occurrence d'un sous-produit de la forme x.x). Un tel groupe est unique à isomorphisme près ce qui justifie le qualificatif le dans la définition. En général, on le notera FS ou L(S). Intuitivement, FS est le groupe engendré par S, sans relations entre les éléments de S autres que celles imposées par la structure de groupe.

Histoire Walther von Dyck étudie en 1882 le concept de groupe libre, sans y donner de nom, dans son article (Études en théorie des groupes) publié dans Mathematische Annalen. Le terme de groupe libre a été introduit en 1924 par Jakob Nielsen, qui a défini des transformations qui engendrent le .

Construction Soit S' un ensemble équipotent à S et disjoint de S, muni d’une bijection de S vers S'. Pour chaque élément s de S, on note s' l'élément correspondant dans S'.

Notons M l'ensemble des mots sur la réunion de S et de S''', c'est-à-dire les chaînes finies de caractères constituées d'éléments de S et de S'. Deux telles chaînes seront dites équivalentes si on peut passer de l'une à l'autre en enlevant ou en rajoutant, en n'importe quelle position, des chaînes de la forme ss' ou s's. Ceci définit une relation d'équivalence R sur M. On définit F comme l'ensemble des classes d'équivalence modulo R. On identifie chaque élément s de S avec sa classe dans F pour avoir l’inclusion S ⊂ F.

La concaténation de deux mots définit une loi sur M préservée par l'équivalence. Par passage au quotient, on obtient une loi de groupe sur F. L'élément neutre est la classe du mot vide, et l'inverse de la classe de ss…s est la classe de s'…ss', et toute classe contient un représentant canonique, de longueur minimale : un mot « réduit », c'est-à-dire ne contenant aucun sous-mot de la forme ss' ou s's.Vérification de la propriété universelle : Si est un groupe, toute application ensembliste se prolonge en un morphisme de monoïdes tel que et . Ce morphisme est constant sur les classes d'équivalence, et induit donc un morphisme de groupes qui prolonge . De plus, est l'unique morphisme de groupes qui prolonge car tout élément de peut s'écrire comme la classe d'un mot.

Premières propriétés Si S et T ont même cardinalité, alors F et F sont isomorphes (par fonctorialité de S ↦ F). Réciproquement, si F et F sont isomorphes, on peut montrer que S et T ont même cardinal (le cardinal de S est en fait le rang du groupe F). D’ailleurs si S est infini, F a le même cardinal que S, et que S soit fini ou pas, l'ensemble des morphismes de F dans ℤ/2ℤ a même cardinal que l'ensemble des parties de S. Tout groupe engendré par une partie S est un quotient du groupe libre F sur S. En particulier, n’importe quel groupe est le quotient d'un groupe libre, d’où la notion de présentation d'un groupe (par générateurs et relations). Le foncteur objet libre qui à tout ensemble S associe le groupe libre F est l'adjoint à gauche du foncteur d'oubli, de la catégorie des groupes dans celle des ensembles. Si S est de cardinal supérieur ou égal à deux alors F est non commutatif. En effet, pour tous x, y ∈ S distincts, xy ≠ yx par unicité de l'écriture. Dans la catégorie des groupes, les objets projectifs sont les groupes libres, Corollary 1.5..

Exemples Le groupe libre sur l'ensemble vide est le groupe trivial, et le groupe libre sur un singleton est isomorphe à ℤ. Soit n un entier naturel. Le groupe fondamental du plan privé de n points est un groupe libre sur un ensemble de cardinal n.

Sous-groupes d'un groupe libre D'après le théorème de Nielsen-Schreier, tout sous-groupe d'un groupe libre F est un groupe libre F, mais le cardinal de T n'est pas nécessairement inférieur ou égal à celui de S. Par exemple, dans le groupe libre F à deux générateurs, le sous-groupe engendré par les aba (pour tous les entiers n) n’admet aucun système fini de générateurs : c'est un groupe libre sur une infinité dénombrable de générateurs. Le groupe dérivé de F est lui aussi un groupe libre sur une infinité dénombrable de générateurs : les commutateurs [a, b] pour tous les entiers m, n ''non nuls.

Ainsi, même pour les sous-groupes distingués, on n’a pas d’analogue non abélien du résultat suivant : tout sous-groupe d'un groupe abélien libre est un groupe abélien libre dont le rang est un cardinal inférieur ou égal au rang du groupe.

Références

, chapitre 7

Voir aussi

Groupe virtuellement libre Théorème de Kurosh sur les sous-groupes

Libre