Groupe libre

groupe remarquable de la théorie mathématique des groupes

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 : SG, 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−1). 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

modifier

Walther von Dyck étudie en 1882 le concept de groupe libre, sans y donner de nom, dans son article Gruppentheoretische Studien (É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 groupe d'automorphismes de ce groupe (en).

Construction

modifier

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 FS comme l'ensemble des classes d'équivalence modulo R. On identifie chaque élément s de S avec sa classe dans FS pour avoir l’inclusion S FS.

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 FS. L'élément neutre est la classe du mot vide, et l'inverse de la classe de s1s2sn est la classe de s'ns'2s'1, 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

modifier
  • Si S et T ont même cardinalité, alors FS et FT sont isomorphes (par fonctorialité de S FS). Réciproquement, si FS et FT sont isomorphes, on peut montrer que S et T ont même cardinal (le cardinal de S est en fait le rang du groupe FS). D’ailleurs si S est infini, FS a le même cardinal que S, et que S soit fini ou pas, l'ensemble des morphismes de FS 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 FS 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 FS 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 FS 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[1].

Exemples

modifier

Sous-groupes d'un groupe libre

modifier
  • D'après le théorème de Nielsen-Schreier, tout sous-groupe d'un groupe libre FS est un groupe libre FT, mais le cardinal de T n'est pas nécessairement inférieur ou égal à celui de S. Par exemple, dans le groupe libre F{a, b} à deux générateurs, le sous-groupe engendré par les anba–n (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{a, b} est lui aussi un groupe libre sur une infinité dénombrable de générateurs : les commutateurs [am, bn] 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

modifier
  1. (en) Roger Lyndon et Paul E. Schupp, Combinatorial Group Theory, Springer-Verlag, (lire en ligne), p. 2, Corollary 1.5.

Voir aussi

modifier

Sur les autres projets Wikimedia :