Dans ce chapitre, on va exposer les premiers éléments sur les groupes libres. Le contenu du chapitre et ses exercices sont à la portée du lecteur connaissant les chapitres 1 à 7 et 16 de la leçon (groupe, sous-groupe, partie génératrice, homomorphisme, isomorphisme, sous-groupe normal, groupe quotient, groupes monogènes ${\displaystyle \mathbb {Z} }$ et ${\displaystyle \mathbb {Z} /n\mathbb {Z} }$, éléments conjugués, groupe dérivé) et les propriétés les plus classiques des cardinaux infinis.

Une grande utilité des groupes libres est qu'ils permettent de fonder rigoureusement les présentations de groupes, ce que nous ferons dans un chapitre ultérieur.

La notion de produit libre d'une famille de groupes, qui sera exposée plus loin dans ce cours, permettrait de définir les groupes libres autrement que dans le présent chapitre^[1], mais, de même que plusieurs auteurs de manuels, on a préféré commencer par un exposé des groupes libres indépendant de la notion de produit libre.

Groupe libre construit sur un ensemble

Définitions et notations

Soit X un ensemble. Nous appellerons mot signé sur X tout multiplet de couples

${\displaystyle ((x_{i},\epsilon _{i}))_{1\leq i\leq n}=((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$,

où n est un nombre naturel (${\displaystyle \geq 0}$), où ${\displaystyle x_{1},\ldots ,x_{n}}$ sont des éléments de X et où ${\displaystyle \epsilon _{1},\ldots ,\epsilon _{n}}$ appartiennent à la paire {1, -1} d'entiers rationnels.
Le nombre naturel n est appelé la longueur^[2] du mot signé ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$. On notera long(w) la longueur du mot signé w. Nous appellerons mot signé vide l'unique mot signé de longueur 0.
L'ensemble des mots signés sur X est noté F(X).

Remarque. L'expression « mot signé » n'est pas standard. Bourbaki^[3] définit un mot sur l'ensemble X comme un multiplet d'éléments de X. Cette notion de mot sur X ne revient évidemment pas à celle de mot signé sur X qui est définie ici. Nos mots signés sur X sont, dans le langage de Bourbaki, les mots sur le produit cartésien ${\displaystyle X\times \{1,-1\}.}$
J. Calais^[4] recourt à un ensemble ${\displaystyle X^{-1}}$ choisi arbitrairement parmi les ensembles équipotents à X et disjoints de X; elle parle alors de « mot sur ${\displaystyle X\cup X^{-1}}$ », où « mot » a le même sens que dans Bourbaki. Les « mots sur ${\displaystyle X\cup X^{-1}}$ » de J. Calais sont une autre version de nos « mots signés sur X ».
J.J. Rotman^[5] et D.J.S. Robinson^[6] recourent eux aussi à un ensemble ${\displaystyle X^{-1}}$ choisi arbitrairement parmi les ensembles équipotents à X et disjoints de X; Rotman appelle « word on X » et Robinson appelle « word in X » ce que J. Calais appelle « mot sur ${\displaystyle X\cup X^{-1}}$ ». Les « words on X » de Rotman et les « words in X » de Robinson sont donc une autre version de nos « mots signés sur X ».

Définitions

Nous conviendrons de définir une lettre signée comme un mot signé de longueur 1.
Nous dirons qu'un mot signé w commence par la lettre signée ${\displaystyle ((x,\epsilon ))}$ si w est de longueur ${\displaystyle \geq 1}$ et de la forme ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ avec ${\displaystyle (x_{1},\epsilon _{1})=(x,\epsilon )}$; dans le même cas, nous dirons aussi que la première lettre signée du mot w est ${\displaystyle ((x,\epsilon ))}$. De même, nous dirons qu'un mot signé w finit par la lettre signée ${\displaystyle ((x,\epsilon ))}$ si w est de longueur ${\displaystyle \geq 1}$ et de la forme ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ avec ${\displaystyle (x_{n},\epsilon _{n})=(x,\epsilon )}$; dans le même cas, nous dirons aussi que la dernière lettre signée du mot w est ${\displaystyle ((x,\epsilon ))}$.
Le mot signé vide n'a pas de première ni de dernière lettre signée.

Notation

Si v est le mot signé ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{r},\epsilon _{r}))}$ et w le mot signé ${\displaystyle ((y_{1},\delta _{1}),\ldots ,(y_{s},\delta _{s}))}$, nous noterons ${\displaystyle v\ _{juxt}\ w}$ le mot signé (de longueur r + s)

${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{r},\epsilon _{r}),(y_{1},\delta _{1}),\ldots ,(y_{s},\delta _{s}))}$.

(On peut considérer que ${\displaystyle v\ _{juxt}\ w}$ s'obtient en juxtaposant v et w.)

On vérifie facilement que, dans l'ensemble des mots signés sur X, ${\displaystyle (v,w)\mapsto v\ _{juxt}\ w}$ définit une loi de composition interne associative admettant le mot signé vide pour élément neutre. C'est donc une loi de monoïde.

Définition

Nous dirons qu'un mot signé ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))=x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}}}$ est réduit s'il n'y a pas dans {1, ... , n-1} d'indice i tels que

${\displaystyle x_{i+1}=x_{i}}$ et ${\displaystyle \epsilon _{i+1}=-\epsilon _{i}.}$

Pour abréger, nous dirons « mot réduit (sur X) » au lieu de « mot signé réduit (sur X) ».

Exemples. Tout mot signé de longueur ${\displaystyle \leq 1}$ est réduit.

Le mot signé ${\displaystyle ((a,1),(a,1))}$ est réduit.

Un mot signé de la forme ${\displaystyle ((x,\epsilon ),(a,1),(a,-1),(y,\epsilon '))}$ n'est pas réduit.

Si a et b sont distincts, tout mot signé de la forme ${\displaystyle (a,\epsilon ),(b,\epsilon ')}$ est réduit.

Pour des raisons qui apparaîtront bientôt, on écrit généralement un mot signé réduit ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ sous la forme

${\displaystyle x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}}}$

et on omet même les ${\displaystyle \epsilon _{i}}$ égaux à 1. Dans cette notation, le mot signé vide est noté 1.
La notation ${\displaystyle x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}}}$ d'un mot réduit sur X est ambiguë si l'ensemble X est supposé contenu dans un groupe, cas que nous rencontrerons. Il faudra alors faire les distinctions nécessaires.

Nous allons maintenant définir une loi de composition interne ${\displaystyle (v,w)\mapsto vw}$ dans l'ensemble des mots réduits sur X. La juxtaposition (mise bout à bout) ne convient pas, car, par exemple, ((x, 1), (x, 1)) et ((x, -1)) sont des mots réduits mais ((x, 1), (x, 1), (x, -1)) n'en est pas un.

Définition

Soient v et w des mots réduits sur l'ensemble X. Soit n le plus grand nombre naturel possédant la propriété suivante :

il existe des éléments ${\displaystyle (a_{1},\delta _{1}),\ldots ,(a_{n},\delta _{n})}$ de ${\displaystyle X\times \{1,-1\}}$ tels que

v est de la forme ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{r},\epsilon _{r}),(a_{1},\delta _{1}),\ldots ,(a_{n},\delta _{n}))=x_{1}^{\epsilon _{1}}\cdots x_{r}^{\epsilon _{r}}a_{1}^{\delta _{1}}\cdots a_{n}^{\delta _{n}}}$

et w est de la forme ${\displaystyle ((a_{n},-\delta _{n}),\ldots ,(a_{1},-\delta _{1})(y_{1},\zeta _{1})\ldots (y_{s},\zeta _{z}))=a_{n}^{-\delta _{n}}\cdots a_{1}^{-\delta _{1}}y_{1}^{\zeta _{1}}\cdots y_{s}^{\zeta _{s}}.}$

(Ce nombre naturel n existe; il est éventuellement égal à 0.)
Le composé réduit v w de v et w est par définition le mot signé sur X

${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{r},\epsilon _{r}),(y_{1},\zeta _{1})\ldots (y_{s},\zeta _{z}))=x_{1}^{\epsilon _{1}}\cdots x_{r}^{\epsilon _{r}}y_{1}^{\zeta _{1}}\cdots y_{s}^{\zeta _{s}},}$

qui (vu la maximalité de n) est un mot réduit.

Le résultat est le même que si on mettait v et w bout à bout et qu'on supprimait du mot signé ainsi obtenu l'éventuel « digramme » de la forme ${\displaystyle aa^{-1}}$ ou ${\displaystyle a^{-1}a}$, en continuant les suppressions tant qu'il reste un tel « digramme ».

Par exemple, si a, b, c sont trois différents éléments de X, le composé réduit v w de v = a b b c^-1 et de w = c b^-1 a est a b a.

On a employé l'expression « composé réduit » pour faire la distinction avec la mise bout à bout, mais dans la suite, on dira souvent « composé » tout court au lieu de « composé réduit ».

Énoncé 1.

Soit X un ensemble. L'ensemble F(X) des mots réduits sur X, muni de la loi de composition qu'on vient de définir, est un groupe. Le neutre de ce groupe est le mot signé vide 1. Tout mot réduit ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ admet pour inverse le mot signé, lui aussi réduit, ${\displaystyle ((x_{n},-\epsilon _{n}),\ldots ,(x_{1},-\epsilon _{1})).}$

Démonstration. On a noté que le composé de deux mots réduits sur X est un mot réduit sur X, donc la loi de composition en question est une loi de composition interne. On pourrait démontrer l'associativité de cette loi par d'assez longues distinctions de cas, mais cette méthode étant fastidieuse, nous allons préférer un procédé de van der Waerden (qui consiste à plonger le magma F(X) dans le groupe de ses permutations).
Pour toute lettre signée ${\displaystyle x^{\epsilon }}$ dans F(X), notons ${\displaystyle \vert x^{\epsilon }\vert }$ (où les barres verticales n'ont rien à voir avec le cardinal) l'application de F(X) dans lui-même définie de la façon suivante :

pour tout mot réduit v,

${\displaystyle \vert x^{\epsilon }\vert (v)=\lbrace {\begin{array}{l}x_{juxt}^{\epsilon }v\mathrm {\ si\ v\ ne\ commence\ pas\ par\ la\ lettre\ sign{\acute {e}}e} \ x^{-\epsilon },\\w\mathrm {\ si\ v\ est\ de\ la\ forme\ } x^{-\epsilon }\ _{juxt}\ w\mathrm {\ (auquel\ cas} \ w\ \mathrm {est\ {\acute {e}}videmment\ un\ mot\ r{\acute {e}}duit\ d{\acute {e}}fini\ de\ mani{\grave {e}}re\ unique).} \end{array}}}$.

Autrement dit, ${\displaystyle \vert x^{\epsilon }\vert (v)}$ est égal au composé réduit ${\displaystyle x^{\epsilon }v}$. La fonction ${\displaystyle \vert x^{\epsilon }\vert }$ prend donc bien ses valeurs dans F(X).
Vérifions que

(thèse 1) ${\displaystyle \qquad \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert =\vert x^{-\epsilon }\vert \circ \vert x^{\epsilon }\vert =\mathrm {id} _{F(X)}.}$

Si v est un mot signé qui ne commence pas par la lettre signée ${\displaystyle x^{\epsilon }}$, nous avons

${\displaystyle \vert x^{-\epsilon }\vert (v)=x^{-\epsilon }\ _{juxt}v,}$

d'où

${\displaystyle \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert (v)=\vert x^{\epsilon }\vert (x^{-\epsilon }\ _{juxt}v)}$

(2) ${\displaystyle \qquad \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert (v)=v.}$

Si maintenant v commence par la lettre signée ${\displaystyle x^{\epsilon }}$, nous avons

(3) ${\displaystyle \qquad v=x_{juxt}^{\epsilon }w}$ pour un certain mot signé w ne commençant pas par la lettre signée ${\displaystyle x^{-\epsilon }}$; alors

${\displaystyle \vert x^{-\epsilon }\vert (v)=w,}$

d'où,

${\displaystyle \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert (v)=\vert x^{\epsilon }\vert (w)}$.

Puisque w ne commence pas par la lettre signée ${\displaystyle x^{-\epsilon }}$, cela peut s'écrire

${\displaystyle \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert (v)=x_{juxt}^{\epsilon }w}$,

ou encore, d'après (3),

${\displaystyle \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert (v)=v.}$

Avec (2), cela prouve que

${\displaystyle \qquad \vert x^{\epsilon }\vert \circ \vert x^{-\epsilon }\vert =\mathrm {id} _{F(X)}.}$

Les hypothèses sur ${\displaystyle \epsilon }$ étant satisfaites par ${\displaystyle -\epsilon }$, on en tire

${\displaystyle \qquad \vert x^{-\epsilon }\vert \circ \vert x^{\epsilon }\vert =\mathrm {id} _{F(X)}.}$

On a donc prouvé la thése (1), donc ${\displaystyle \vert x^{\epsilon }\vert }$ et ${\displaystyle \vert x^{-\epsilon }\vert }$ sont deux permutations de F(X), inverses l'une de l'autre.
Notons ${\displaystyle S_{F(X)}}$ le groupe symétrique de F(X); notons ${\displaystyle {\mathcal {F}}}$ le sous-groupe de ${\displaystyle S_{F(X)}}$ engendré par les permutations ${\displaystyle \vert x\vert }$, où x parcourt X.
D'après la « description constructive du sous-groupe engendré » (chapitre Groupes, premières notions), tout élément g de ${\displaystyle {\mathcal {F}}}$ peut s'écrire

${\displaystyle g=\vert x_{1}\vert ^{\epsilon _{1}}\circ \cdots \circ \vert x_{n}\vert ^{\epsilon _{n}}}$

avec n naturel (${\displaystyle \geq 0}$), ${\displaystyle x_{1},\ldots ,x_{n}}$ dans X et ${\displaystyle \epsilon _{1},\ldots \epsilon _{n}}$ dans {1, -1}.
Puisque nous avons vu que ${\displaystyle \vert x^{\epsilon }\vert }$ et ${\displaystyle \vert x^{-\epsilon }\vert }$ sont deux permutations de F(X) inverses l'une de l'autre, cela peut encore s'écrire

${\displaystyle g=\vert x_{1}^{\epsilon _{1}}\vert \circ \cdots \circ \vert x_{n}^{\epsilon _{n}}\vert .}$

En considérant une telle écriture de g où n est le plus petit possible, on voit qu'on peut supposer qu'il n'y a pas dans {1, ... , n} deux indices consécutifs i et i + 1 tels qu'on ait à la fois ${\displaystyle x_{i}=x_{i+1}}$ et ${\displaystyle \epsilon _{i}=-\epsilon _{i+1}}$. Nous dirons qu'une décomposition de g pour laquelle il n'y a pas deux tels indices est réduite.
Alors, d'après la définition de ${\displaystyle \vert x\vert }$,

${\displaystyle g(1)=x_{1}^{\epsilon _{1}}\ _{juxt}\ x_{2}^{\epsilon _{2}}\ _{juxt}\ \cdots _{juxt}x_{n}^{\epsilon _{n}},}$

autrement dit, en revenant à la notation initiale des mots signés,

${\displaystyle g(1)=((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n})).}$

Il en résulte que la décomposition réduite ${\displaystyle g=\vert x_{1}^{\epsilon _{1}}\vert \circ \vert x_{n}^{\epsilon _{n}}\vert }$ de g est unique : si ${\displaystyle g=\vert y_{1}^{\zeta _{1}}\vert \circ \vert y_{m}^{\zeta _{m}}\vert }$ est une décomposition réduite de g, alors ${\displaystyle m=n,y_{i}=x_{i}}$ et ${\displaystyle \zeta _{i}=\epsilon _{i}}$ pour tout i dans {1, ... , n}.
Notons f l'application de F(X) dans ${\displaystyle {\mathcal {F}}}$ telle que, pour tout élément (mot réduit) ${\displaystyle w=((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n})),}$

${\displaystyle f(w)=\vert x_{1}^{\epsilon _{1}}\vert \circ \cdots \circ \vert x_{n}^{\epsilon _{n}}\vert .}$

D'après ce qui précède,

(4) f est une bijection de F(X) sur ${\displaystyle {\mathcal {F}}}$.

Prouvons que c'est un homomorphisme de magmas, c'est-à-dire que, pour tous mots réduits v et w sur X,

(thèse 5) ${\displaystyle \qquad f(vw)=f(v)\circ f(w).}$

Soit s le plus grand nombre naturel possédant la propriété suivante :

v est de la forme ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{k},\epsilon _{k}),(t_{1},\mu _{1}),\ldots ,(t_{s},\mu _{s}))}$

et

w est de la forme ${\displaystyle ((t_{s},-\mu _{s}),\ldots ,(t_{1},-\mu _{1}),(y_{1},\lambda _{1}),\ldots (y_{r},\lambda _{r})).}$

Par définition de la loi de composition dans F(X), nous avons

${\displaystyle vw=((x_{1},\epsilon _{1}),\ldots ,(x_{k},\epsilon _{k}),(y_{1},\lambda _{1}),\ldots (y_{r},\lambda _{r}))}$

donc, par définition de f,

(6) ${\displaystyle \qquad f(vw)=\vert x_{1}^{\epsilon _{1}}\vert \circ \cdots \circ \vert x_{k}^{\epsilon _{k}}\vert \circ \vert y_{1}^{\lambda _{1}}\vert \circ \cdots \vert y_{r}^{\lambda _{r}}\vert .}$

D'autre part,

${\displaystyle f(v)=\vert x_{1}^{\epsilon _{1}}\vert \circ \cdots \circ \vert x_{n}^{\epsilon _{n}}\vert \circ \vert t_{1}^{\mu _{1}}\vert \circ \cdots \circ \vert t_{s}^{\mu _{s}}\vert }$

et

${\displaystyle f(w)=\vert t_{s}^{-\mu _{s}}\vert \circ \cdots \circ \vert t_{1}^{-\mu _{1}}\vert \circ \vert y_{1}^{\lambda _{1}}\vert \circ \cdots \circ \vert y_{r}^{\lambda _{r}}\vert ,}$

donc

${\displaystyle f(v)\circ f(w)=\vert x_{1}^{\epsilon _{1}}\vert \circ \cdots \circ \vert x_{n}^{\epsilon _{n}}\vert \circ \vert y_{1}^{\lambda _{1}}\vert \circ \cdots \circ \vert y_{r}^{\lambda _{r}}\vert .}$

La comparaison avec (6) donne

${\displaystyle f(vw)=f(v)\circ f(w),}$

ce qui prouve notre thèse (5). Donc f est un homomorphisme de magmas de F(X) dans ${\displaystyle {\mathcal {F}}}$. Nous avons vu en (4) que f est une bijection, donc c'est un isomorphisme de magmas de F(X) sur ${\displaystyle {\mathcal {F}}}$. Puisque ${\displaystyle {\mathcal {F}}}$ est un groupe et qu'un magma isomorphe comme magma à un groupe est un groupe (voir chapitre Groupes, premières notions), nous avons prouvé que F(X) est un groupe (isomorphe à ${\displaystyle {\mathcal {F}}}$).
Les deux autres assertions de l'énoncé se vérifient facilement.

Définition

Soit X un ensemble. Le groupe F(X) défini à l'énoncé 1 est appelé le groupe libre construit sur X.

Pour tout élément ${\displaystyle x}$ de X, notons ${\displaystyle {\widetilde {x}}}$ le mot signé ${\displaystyle ((x,1)}$; notons ${\displaystyle {\widetilde {X}}}$ l'ensemble des ${\displaystyle {\widetilde {x}}}$, où ${\displaystyle x}$ parcourt X.
Alors ${\displaystyle x\mapsto {\widetilde {x}}}$ définit une bijection de X sur la partie ${\displaystyle {\widetilde {X}}}$ de F(X). On commet souvent l'abus d'identifier ${\displaystyle {\widetilde {x}}}$ à ${\displaystyle x}$ et ${\displaystyle {\widetilde {X}}}$ à ${\displaystyle X}$.
Le mot signé ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ peut s'écrire, selon la loi du groupe F(X),

${\displaystyle {\widetilde {x_{1}}}^{\epsilon _{1}}\ {\widetilde {x_{2}}}^{\epsilon _{2}}\ \cdots {\widetilde {x_{n}}}^{\epsilon _{n}}.}$

Si, pour tout élément ${\displaystyle x}$ de X, on identifie ${\displaystyle {\widetilde {x}}}$ à x, le mot signé ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ s'écrit donc

${\displaystyle x_{1}^{\epsilon _{1}}\ x_{2}^{\epsilon _{2}}\ \cdots x_{n}^{\epsilon _{n}},}$

ce qui explique pourquoi nous avons introduit cette notation plus haut.

Groupes libres

Définitions et notations

Soient F un groupe et X une partie de F. On dit que X est une base de F si pour tout groupe G et pour toute application f de X dans G, il existe un et un seul homomorphisme ${\displaystyle \varphi }$ de F dans G qui prolonge f, c'est-à-dire tel que, pour tout x dans X, ${\displaystyle \varphi (x)=f(x)}$.
Un groupe qui admet (au moins) une base est appelé un groupe libre. Un groupe admettant une base X est appelé un groupe libre de base X.

Remarques. 1° On peut noter l'analogie entre la définition d'une base d'un groupe et une caractérisation des bases d'un espace vectoriel ou, plus généralement, d'un module.
2° On définit un groupe abélien libre comme un groupe abélien qui est libre en tant que ${\displaystyle \mathbb {Z} }$-module. Dans l'expression « groupe abélien libre », le mot « libre » n'a pas le même sens que dans l'expression « groupe libre » : un groupe abélien libre n'est généralement pas un groupe libre.
3° Un groupe admet sa partie vide pour base si et seulement s'il est trivial (c'est-à-dire réduit à son élément neutre). En effet, dire que l'ensemble vide est une base d'un groupe F revient à dire que pour tout groupe G, il existe un et un seul homomorphisme de F dans G. Cette condition est évidemment satisfaite si F est trivial. Réciproquement, supposons que pour tout groupe G, il existe un et un seul homomorphisme de F dans G. C'est alors vrai pour G égal à F, donc il existe un seul homomorphisme de F dans lui-même, donc l'endomorphisme identité ${\displaystyle x\mapsto x}$ de F et l'endomorphisme de F constant de valeur 1 sont égaux, ce qui revient à dire que F est réduit à son élément neutre.
4° Le singleton {1} est une base du groupe ${\displaystyle \mathbb {Z} }$, +. En effet, cela revient à dire que pour tout groupe G et tout élément x de G, il existe un et un seul homomorphisme de ${\displaystyle \mathbb {Z} }$, + qui applique 1 sur x. Or on a noté que ${\displaystyle n\mapsto x^{n}}$ est le seul homomorphisme de ${\displaystyle \mathbb {Z} }$, + qui applique 1 sur x. (Voir chapitre Groupes, premières notions.)
5° On verra dans les exercices des exemples de groupes n'admettant pas de bases.

Énoncé 2.

Soient G un groupe, X une base de G, ${\displaystyle \sigma }$ un isomorphisme de G sur un groupe H; alors ${\displaystyle \sigma (X)}$ est une base de H.
Tout groupe isomorphe à un groupe libre est lui-même libre.

Démonstration. La seconde assertion de l'énoncé résultant évidemment de la première, nous nous contenterons de démontrer la première (ce que le lecteur, d'ailleurs, devrait normalement pouvoir faire lui-même en s'aidant d'un diagramme).
Soit K un groupe, soit f une application de ${\displaystyle \sigma (X)}$ dans K. Il s'agit de prouver

(thèse 1) qu'il existe un et un seul homomorphisme de H dans K qui prolonge f.

Désignons par ${\displaystyle f_{1}}$ l'application

${\displaystyle f_{1}:X\to K:x\mapsto f(\sigma (x)).}$

Puisque X est une base de G, il existe un et un seul homomorphisme ${\displaystyle \varphi }$ de G dans K qui prolonge ${\displaystyle f_{1}}$, c'est-à-dire tel que

pour tout x dans X, ${\displaystyle \varphi (x)=f(\sigma (x)).}$

Donc, pour tout y dans ${\displaystyle \sigma (X)}$,

${\displaystyle \varphi (\sigma ^{-1}(y))=f(y),}$

ce qui montre que

(2) ${\displaystyle \qquad \varphi \circ \sigma ^{-1}}$ est un homomorphisme de H dans K qui prolonge f.

Si ${\displaystyle \psi }$ est un « autre » homomorphisme de H dans K qui prolonge f, nous avons,

pour tout x dans X, ${\displaystyle \psi (\sigma (x))=f(\sigma (x))=f_{1}(x),}$

donc ${\displaystyle \psi \circ \sigma }$ est un homomorphisme de G dans K qui prolonge ${\displaystyle f_{1}}$. Par unicité de ${\displaystyle \varphi }$, il faut

${\displaystyle \psi \circ \sigma =\varphi }$

d'où

${\displaystyle \psi =\varphi \circ \sigma ^{-1}}$.

Joint à (2), ceci montre que ${\displaystyle \varphi \circ \sigma ^{-1}}$ est l'unique homomorphisme de H dans K qui prolonge f, d'où notre thèse (1).

Énoncé 3. (Lemme)

Soit L un groupe libre de base X. Pour tout groupe G, l'ensemble ${\displaystyle G^{X}}$ des applications de X dans G et l'ensemble Hom(L, G) des homomorphismes de L dans G sont équipotents.

Démonstration. Soit G un groupe. Notons ${\displaystyle \rho }$ l'application de Hom(L, G) dans ${\displaystyle G^{X}}$ qui à tout homomorphisme ${\displaystyle \varphi }$ de L dans G fait correspondre la restriction de ${\displaystyle \varphi }$ à X. Du fait que X est une base de L, il résulte que ${\displaystyle \rho }$ est une bijection de Hom(L, G) sur ${\displaystyle G^{X}}$, donc ${\displaystyle G^{X}}$ et Hom(L, G) sont équipotents.
Remarque. Ce lemme nous servira, plus loin dans ce chapitre, à démontrer l'équipotence des bases d'un même groupe libre.

Énoncé 4.

Soit X un ensemble. L'ensemble ${\displaystyle {\widetilde {X}}}$ des mots signés de la forme ${\displaystyle {\widetilde {x}}=((x,1))}$, où ${\displaystyle x}$ parcourt ${\displaystyle X}$, est une base du groupe libre F(X) construit sur X (groupe qui est donc bien un groupe libre).

Démonstration. Soit G un groupe, soit f une application de ${\displaystyle {\widetilde {X}}}$ dans G; il s'agit de prouver qu'il existe un et un seul homomorphisme de F(X) dans G qui prolonge f.
Pour tout élément

${\displaystyle v=((x_{1},\epsilon _{1}),\ldots (x_{n},\epsilon _{n}))}$ de F(X),

posons

${\displaystyle \varphi (v)=f({\widetilde {x_{1}}})^{\epsilon _{1}}\cdots f({\widetilde {x_{n}}})^{\epsilon _{n}},}$

le second membre étant calculé dans le groupe G. Nous définissons ainsi une application ${\displaystyle \varphi }$ de F(X) dans G.
En faisant ${\displaystyle v={\widetilde {x}}=((x,1)),}$ nous trouvons

${\displaystyle \varphi ({\widetilde {x}})=f({\widetilde {x}})^{1}=f({\widetilde {x}}),}$

donc

(1) l'application ${\displaystyle \varphi }$ prolonge f.

Prouvons que ${\displaystyle \varphi }$ est un homomorphisme de F(X) dans G.
Soient v, w deux éléments de F(X), c'est-à-dire deux mots réduits sur X; il s'agit de prouver que

${\displaystyle \varphi (vw)=\varphi (v)\varphi (w),}$

le produit du premier membre étant calculé dans le groupe F(X) et le produit du second membre étant calculé dans le groupe G.
Soit s le plus grand nombre naturel (${\displaystyle \geq 0}$) possédant la propriété suivante :

v est de la forme

${\displaystyle v=((x_{1},\epsilon _{1}),\ldots (x_{n},\epsilon _{n}),(x_{n+1},\epsilon _{n+1}),\ldots (x_{n+s},\epsilon _{n+s}))}$

et w est de la forme

${\displaystyle w=((y_{1},\zeta _{1}),\ldots (y_{s},\zeta _{s}),(y_{s+1},\zeta _{s+1}),\ldots (y_{s+r},\epsilon _{s+r})),}$

avec

${\displaystyle (y_{1},\zeta _{1})=(x_{n+s},-\epsilon _{n+s}),\ldots (y_{s},\zeta _{s})=(x_{n+1},-\epsilon _{n+1}).}$

Alors, par définition de la loi de groupe de F(X), vw est le mot réduit

${\displaystyle ((x_{1},\epsilon _{1}),\ldots (x_{n},\epsilon _{n}),(y_{s+1},\zeta _{s+1}),\ldots (y_{s+r},\epsilon _{s+r}))}$

donc, par définition de ${\displaystyle \varphi }$,

(2) ${\displaystyle \qquad \varphi (vw)=f({\widetilde {x_{1}}})^{\epsilon _{1}}\cdots f({\widetilde {x_{n}}})^{\epsilon _{n}}f({\widetilde {y_{s+1}}})^{\epsilon _{1}}\cdots f({\widetilde {y_{s+r}}})^{\epsilon _{s+r}}.}$

D'autre part, toujours par définition de ${\displaystyle \varphi }$,

${\displaystyle \varphi (v)=f({\widetilde {x_{1}}})^{\epsilon _{1}}\cdots f({\widetilde {x_{n}}})^{\epsilon _{n}}f({\widetilde {x_{n+1}}})^{\epsilon _{n+1}}\cdots f({\widetilde {x_{n+s}}})^{\epsilon _{n+s}}}$

et

${\displaystyle \varphi (w)=f({\widetilde {x_{n+s}}})^{-\epsilon _{n+s}}\cdots f({\widetilde {x_{n+1}}})^{-\epsilon _{n+1}}f({\widetilde {y_{s+1}}})^{\zeta _{s+1}}\cdots f({\widetilde {y_{s+r}}})^{\zeta _{s+r}}}$

d'où

${\displaystyle \varphi (v)\varphi (w)=f({\widetilde {x_{1}}})^{\epsilon _{1}}\cdots f({\widetilde {x_{n}}})^{\epsilon _{n}}f({\widetilde {y_{s+1}}})^{\zeta _{s+1}}\cdots f({\widetilde {y_{s+r}}})^{\zeta _{s+r}}.}$

La comparaison avec (2) montre que

${\displaystyle \varphi (vw)=\varphi (v)\varphi (w)}$,

comme annoncé. De ceci et de (1), il résulte que ${\displaystyle \varphi }$ est un homomorphisme de F(X) dans G qui prolonge f. Par exemple parce que ${\displaystyle {\widetilde {X}}}$ est clairement une partie génératrice du groupe F(X), ${\displaystyle \varphi }$ est le seul homomorphisme de F(X) dans G qui prolonge f, ce qui achève la démonstration.

Remarques. 1° Le théorème qui précède montre essentiellement qu'étant donné un ensemble X, il existe un groupe libre admettant une base équipotente à X.
2° Rappelons que, vu la bijection canonique ${\displaystyle x\mapsto ((x,1))}$ de ${\displaystyle X}$ sur ${\displaystyle {\widetilde {X}}}$, on commet volontiers l'abus de langage d'identifier ${\displaystyle {\widetilde {X}}}$ à ${\displaystyle X}$. On dit alors que X est une base de F(X). On pourrait d'ailleurs, à l'aide de remplacements convenables dans F(X) et d'un transport de structure, construire un groupe libre dont X serait une base en toute rigueur des termes, mais cela n'en vaut pas la peine. Dans le présent chapitre, on continuera à faire la distinction entre ${\displaystyle X}$ et ${\displaystyle {\widetilde {X}}}$, mais on avertit l'étudiant qu'un examinateur pourrait trouver qu'il s'agit là d'une mauvaise pratique.

Définition

Nous appellerons parfois base canonique de F(X) l'ensemble ${\displaystyle {\widetilde {X}}}$ dont il est question à l'énoncé 4.

Énoncé 5.

Soit L un groupe, soit X une partie de L. Les trois conditions suivantes sont équivalentes :
1° X est une base de L;
2° l'(unique) homomorphisme de F(X) dans G qui prolonge l'application ${\displaystyle {\widetilde {X}}\to L:((x,1))\mapsto x}$ est un isomorphisme;
3° pour tout élément y de L, il existe un et un seul mot réduit ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n}))}$ sur X tel que

${\displaystyle y=x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}},}$

le second membre étant calculé dans le groupe L.
Pour tout ensemble X, tout groupe de base X est isomorphe à F(X).

Démonstration.
Supposons d'abord 1° et prouvons 2°.
De façon générale, soit B une base d'un groupe H. Par définition d'une base, il existe un et un seul homomorphisme de H dans lui-même qui prolonge l'application ${\displaystyle t\mapsto t}$ de B dans H. Puisque l'endomorphisme identité de H est un tel homomorphisme de H dans lui-même, cela prouve que

(1) si B est une base d'un groupe H, le seul endomorphisme de H qui fixe tout élément de B est l'endomorphisme identité.

En particulier, puisque nous supposons que X est une base de L,

(2) le seul endomorphisme de L qui fixe tout élément de X est l'endomorphisme identité.

De même, puisque d'après l'énoncé 4, l'ensemble ${\displaystyle {\widetilde {X}}}$ des ((x, 1)), où x parcourt X, est une base de F(X),

(3) le seul endomorphisme de F(X) qui fixe tout élément de ${\displaystyle {\widetilde {X}}}$ est l'endomorphisme identité.

(En fait, ce dernier point peut aussi se déduire du fait que ${\displaystyle {\widetilde {X}}}$ est clairement une partie génératrice de F(X).)
Puisque ${\displaystyle {\widetilde {X}}}$ est une base de F(X),

(4) il existe un (et un seul) homomorphisme

${\displaystyle \qquad \varphi :F(X)\to L}$

qui, pour tout x dans X, applique ((x, 1)) sur x.
D'autre part, puisqu'on suppose que X est une base de L, il existe un (et un seul) homomorphisme

${\displaystyle \qquad \lambda :L\to F(X)}$

qui, pour tout x dans X, applique x sur ((x, 1)).
Alors ${\displaystyle \lambda \circ \varphi }$ est un endomorphisme de F(X) qui fixe tout élément ((x, 1)) de ${\displaystyle {\widetilde {X}}}$ et ${\displaystyle \varphi \circ \lambda }$ est un endomorphisme de L qui fixe tout élément x de X.
D'après (1), il en résulte que ${\displaystyle \lambda \circ \varphi }$ est l'endomorphisme identité de F(X) et que ${\displaystyle \varphi \circ \lambda }$ est l'endomorphisme identité de L Donc ${\displaystyle \varphi }$ et ${\displaystyle \lambda }$ sont des isomorphismes réciproques l'un de l'autre. En particulier, ${\displaystyle \varphi }$ est un isomorphisme de F(X) sur L, ce qui, vu la définition (4) de ${\displaystyle \varphi }$, prouve que la condition 1° de l'énoncé entraîne la condition 2°.

Supposons maintenant 2° et prouvons 3°.
D'après l'hypothèse 2°, l'homomorphisme ${\displaystyle \varphi :F(X)\to L}$ qui, pour tout x dans X, applique ((x, 1)) sur x est un isomorphisme. Le fait que ${\displaystyle \varphi }$ soit bijectif signifie que

(5) pour tout élément y de L, il existe un et un seul élément ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n}))}$ de F(X) tel que

${\displaystyle y=\varphi ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n})).}$

Puisque ${\displaystyle \varphi }$ est un homomorphisme de F(X) dans L et que

${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n}))=((x_{1},1))^{\epsilon _{1}}\cdots ((x_{n},1))^{\epsilon _{n}}}$ dans le groupe F(X),

le résultat (5) revient à dire (compte tenu de la définition de ${\displaystyle \varphi }$) que pour tout élément y de L, il existe un et un seul élément ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n}))}$ de F(X) tel que

${\displaystyle y=x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}},}$

le second membre étant calculé dans L. Cela prouve que la condition 3° est satisfaite, comme annoncé.

Supposons maintenant 3° et prouvons 1°.
Soient G un groupe et f une application de X dans G; il s'agit de prouver

(thèse 6) qu'il existe un et un seul homomorphisme ${\displaystyle \mu }$ de L dans G qui prolonge f.

Considérons l'application

${\displaystyle h:{\widetilde {X}}\to L:((x,1))\mapsto x.}$

Puisque, d'après l'énoncé 4, ${\displaystyle {\widetilde {X}}}$ est une base de F(X), cette application h se prolonge (d'une seule façon) en un homomorphisme ${\displaystyle \eta }$ de F(X) dans L. Puisque ${\displaystyle \eta }$ est un homomorphisme, nous avons, pour tout élément ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n}))}$ de F(X),

(7) ${\displaystyle \qquad \eta ((x_{1},\epsilon _{1}),\ldots ,((x_{n},\epsilon _{n}))=x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}},}$

le second membre étant calculé dans L.
Puisque nous supposons que la condition 3° (existence et unité d'une certaine décomposition) est satisfaite, la relation (7) montre que l'homomorphisme ${\displaystyle \eta }$ est bijectif et est donc un isomorphisme de F(X) sur L.
Puisque ${\displaystyle \eta }$ prolonge h,

(8) l'isomorphisme ${\displaystyle \eta ^{-1}}$ de L sur F(X) applique tout élément x de X sur ((x, 1)).

D'autre part, puisque ${\displaystyle {\widetilde {X}}}$ est une base de F(X), l'application

${\displaystyle {\widetilde {X}}\to G:((x,1))\mapsto f(x)}$ se prolonge (d'une seule façon) en un homomorphisme ${\displaystyle \nu }$ de F(X) dans G.

Alors, compte tenu de (8), ${\displaystyle \nu \circ \eta ^{-1}}$ est un homomorphisme ${\displaystyle \mu }$ de L dans G qui, pour tout x dans X, applique x sur f(x); autrement dit,

(9) l'homomorphisme ${\displaystyle \mu }$ de L dans G prolonge f.

La condition 3° de l'énoncé, que nous supposons satisfaite, entraîne clairement que X est une partie génératrice de L, donc, d'après (9), ${\displaystyle \mu }$ est l'unique homomorphisme de L dans G qui prolonge f, ce qui prouve notre thèse (6), donc 3° entraîne 1°.
Nous avons donc prouvé la première assertion de l'énoncé, à savoir l'équivalence des conditions 1° à 3°. La seconde assertion de l'énoncé, à savoir que tout groupe de base X est isomorphe à F(X), résulte évidemment du fait que 1° entraîne 2°.

Définitions

Soient F un groupe libre, X une base de F et a un élément de F. Nous définirons le mot réduit représentant a dans la base X comme étant l'unique élément (mot signé réduit) ${\displaystyle ((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ de F(X) tel que

${\displaystyle a=x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}}.}$

(Cette définition est justifiée par l'énoncé 5, partie 1° ${\displaystyle \Rightarrow }$ 3°.)
On dit couramment que ${\displaystyle x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}}}$ est l'expression réduite de a dans la base X, ce qui est un peu équivoque, car cela pourrait sembler signifier que a est sa propre expression réduite dans la base X.
Si la base X est clairement désignée par le contexte, on dit « expression réduite de a » au lieu de « expression réduite de a dans la base X ».

Énoncé 6.

Soient F un groupe libre et X une base de F. L'application de F dans F(X) qui applique tout élément a de F sur le mot signé représentant a dans la base X est un isomorphisme de F sur F(X).

Démonstration. Cela résulte de l'énoncé 5, partie 1° ${\displaystyle \Rightarrow }$ 2°.

Définition

G étant un groupe et ${\displaystyle w=((x_{1},\epsilon _{1}),\ldots ,(x_{n},\epsilon _{n}))}$ étant un élément de F(G), autrement dit un mot signé sur G, nous définirons la valeur de w dans G comme l'élément ${\displaystyle x_{1}^{\epsilon _{1}}\cdots x_{n}^{\epsilon _{n}}}$ de G, calculé selon la loi de groupe de G. Autrement dit, la valeur de w dans G est la valeur en w de l'unique homomorphisme de F(G) dans G qui prolonge l'application ${\displaystyle {\widetilde {G}}\to G:((g,1))\mapsto g.}$
(L'expression « valeur de w dans G » n'est pas standard.)

Avec cette définition, l'équivalence des conditions 1° et 3° de l'énoncé 5 revient à l'énoncé suivant :

Énoncé 7.

Soit X une partie d'un groupe G. X est une base de G si et seulement si pour tout élément g de G, il existe un et un seul élément w de F(X) tel que g soit la valeur de w dans G.

Énoncé 8.

Toute base d'un groupe est une partie génératrice de ce groupe.

Démonstration. Soit X une base d'un groupe L. La condition 3° de l'énoncé 5 est alors satisfaite. Or l'existence affirmée par cette condition entraîne que X est une partie génératrice de L. (On l'a d'ailleurs noté dans la démonstration de l'énoncé 5, partie 3° ${\displaystyle \Rightarrow }$ 1°.)

Soient X un ensemble et Y une partie de X. Le lecteur vérifiera facilement que l'ensemble ${\displaystyle {\tilde {Y}}}$ est contenu dans ${\displaystyle {\tilde {X}}}$ et que le groupe F(Y) est un sous-groupe de F(X). Puisque ${\displaystyle {\tilde {Y}}}$ est une partie génératrice (et même une base, comme on l'a vu) de F(Y), on peut préciser que F(Y) est le sous-groupe de F(X) engendré par ${\displaystyle {\tilde {Y}}}$.

Rappelons (voir un exercice de la série Sous-groupe distingué, groupe quotient) que s'il existe un homomorphisme surjectif du groupe G sur le groupe H, on dit que H est un quotient de G.

Énoncé 9.

Soient G un groupe et X une partie génératrice de G; alors G est un quotient du groupe libre F(X).
Tout groupe est un quotient d'un groupe libre.

Démonstration. Notons ${\displaystyle \varphi }$ l'homomorphisme de F(X) dans G qui prolonge l'application ${\displaystyle f:{\widetilde {X}}\to G:((x,1))\mapsto x.}$ L'image de l'application f est la partie X de G, donc, puisque ${\displaystyle \varphi }$ prolonge f, l'image de ${\displaystyle \varphi }$ contient X. Puisque X est une partie génératrice de G et ${\displaystyle \varphi }$ un homomorphisme, il en résulte que ${\displaystyle \varphi }$ est surjectif. Donc G est isomorphe au quotient ${\displaystyle F(X)/Ker\ \varphi }$, ce qui prouve la première assertion de l'énoncé.
En prenant pour X l'ensemble (sous-jacent) de G, nous trouvons que G est un quotient du groupe libre F(G), ce qui prouve la seconde assertion de l'énoncé.

Énoncé 10.

Soient L un groupe, X une base de L et Y une partie génératrice de L; alors

${\displaystyle \vert X\vert \leq \vert Y\vert .}$

Deux bases d'un même groupe ont toujours le même cardinal.

Démonstration. Puisque Y est une partie génératrice de L, il résulte de l'énoncé 9 que

(1) L est un quotient de F(Y).

Donc

(2) ${\displaystyle \vert F(Y)\vert \geq \vert L\vert .}$

Puisque X est une base de L, L est isomorphe à F(X) (énoncé 5, seconde assertion), donc (2) peut s'écrire

(3) ${\displaystyle \qquad \vert F(Y)\vert \geq \vert F(X)\vert .}$

Supposons d'abord que

(hyp. 4) la partie Y de G est infinie.

Rappelons que, de façon générale (voir un exercice de la série Groupes, premières notions),

(5) si G est un groupe, si T est une partie génératrice infinie de G, alors ${\displaystyle \vert G\vert =\vert T\vert .}$

Puisque ${\displaystyle {\widetilde {Y}}}$ est équipotente à Y, elle est infinie; puisque, de plus, ${\displaystyle {\widetilde {Y}}}$ est une partie génératrice (et même une base) de F(Y), la relation (5) donne

${\displaystyle \vert F(Y)\vert =\vert {\widetilde {Y}}\vert ,}$

d'où, puisque ${\displaystyle {\widetilde {Y}}}$ est équipotente à Y,

${\displaystyle \vert F(Y)\vert =\vert Y\vert .}$

D'après (3), on a donc

(6) ${\displaystyle \qquad \vert Y\vert \geq \vert F(X)\vert .}$

Puisque ${\displaystyle {\widetilde {X}}}$ est équipotent à X et contenu dans F(X), nous avons ${\displaystyle \vert F(X)\vert \geq \vert X\vert }$, donc (6) donne

${\displaystyle \vert Y\vert \geq \vert X\vert ,}$

ce qui prouve que la première assertion de l'énoncé est vraie si Y est infinie.

Supposons maintenant Y finie.
Puisque X est une base de L et ${\displaystyle {\widetilde {Y}}}$ une base de F(Y), nous avons, d'après l'énoncé 3,

(7) ${\displaystyle \qquad \vert Hom(L,\mathbb {Z} /2\mathbb {Z} )\vert =2^{\vert X\vert }}$

et

(8) ${\displaystyle \qquad \vert Hom(F(Y),\mathbb {Z} /2\mathbb {Z} )\vert =2^{\vert Y\vert },}$

où ${\displaystyle \mathbb {Z} /2\mathbb {Z} }$ désigne « le » groupe à deux éléments.
De façon générale, si un groupe H est un quotient d'un groupe G, on a, pour tout groupe K,

(9) ${\displaystyle \qquad \vert Hom(H,K)\vert \leq \vert Hom(G,K)\vert .}$

(Voir un problème de la série Sous-groupe distingué, groupe quotient.)
Or on a vu en (1) que L est un quotient de F(Y). Donc, d'après (9),

${\displaystyle \qquad \vert Hom(L,\mathbb {Z} /2\mathbb {Z} )\vert \leq \vert Hom(F(Y),\mathbb {Z} /2\mathbb {Z} )\vert .}$

D'après (7) et (8), cela peut s'écrire

${\displaystyle 2^{\vert X\vert }\leq 2^{\vert Y\vert }.}$

Puisque nous supposons ${\displaystyle \vert Y\vert }$ fini, il en résulte que ${\displaystyle \vert X\vert }$ est lui aussi fini et que ${\displaystyle \vert X\vert \leq \vert Y\vert }$ (car l'application ${\displaystyle n\mapsto 2^{n}}$ de ${\displaystyle \mathbb {N} }$ dans lui-même est strictement croissante).
Cela achève la démonstration de la première assertion de l'énoncé. La seconde résulte clairement de la première.

Remarques. 1° Pour démontrer la relation ${\displaystyle 2^{\vert X\vert }\leq 2^{\vert Y\vert },}$ nous n'avons pas supposé que la partie Y est finie, mais nous avons fait cette supposition pour déduire de ${\displaystyle 2^{\vert X\vert }\leq 2^{\vert Y\vert }}$ que ${\displaystyle \vert X\vert \leq \vert Y\vert }$. Il est nécessaire de distinguer les cas Y finie et Y infinie, car la question de savoir si pour tous ensembles infinis X et Y la relation ${\displaystyle 2^{\vert X\vert }\leq 2^{\vert Y\vert }}$ entraîne ${\displaystyle \vert X\vert \leq \vert Y\vert }$ est indécidable dans l'axiomatique ZFC de la théorie des ensembles (sauf contradiction dans cette axiomatique)^[7].
2° Pour prouver que deux bases d'un même groupe libre ont toujours le même cardinal, on peut aussi démontrer que l'abélianisé d'un groupe libre de base X est un ${\displaystyle \mathbb {Z} }$-module admettant une base équipotente à X (un énoncé équivalent est démontré dans les exercices) et utiliser le fait que deux bases d'un même ${\displaystyle \mathbb {Z} }$-module ont toujours le même cardinal^[8].

Définition

Le cardinal des bases d'un groupe libre est appelé le rang de ce groupe. D'après l'énoncé 10, c'est le plus petit cardinal de partie génératrice de ce groupe.

Remarques. 1° Le fait que deux bases d'un même groupe libre sont toujours équipotentes est une nouvelle analogie entre les bases d'un groupe libre et celles d'un espace vectoriel, le rang d'un groupe libre étant analogue à la dimension d'un espace vectoriel. Nous verrons toutefois dans les exercices de la série Groupes libres : théorème de Nielsen-Schreier qu'un groupe libre H sous-groupe d'un groupe libre L peut avoir un rang strictement supérieur à celui de L, ce qui rompt l'analogie entre groupes libres et espaces vectoriels.
2°. Nous avons vu (remarque 3° après la définition d'une base) qu'un groupe admet sa partie vide pour base si et seulement s'il est trivial (réduit à l'élément neutre). Cela revient à dire qu'un groupe est libre de rang 0 si et seulement s'il est trivial.

Énoncé 11.

Soient F un groupe admettant une base X et G un groupe admettant une base Y. F et G sont isomorphes si et seulement si X et Y sont équipotentes.
Cela revient à dire que deux groupes libres sont isomorphes si et seulement s'ils ont le même rang.

Démonstration. Prouvons d'abord que si X et Y sont équipotentes, F et G sont isomorphes. Nous pouvons le faire directement à partir de la définition d'une base.
Par hypothèse, il existe une bijection f de X sur Y. Puisque X est une base de F, il existe un (et un seul) homomorphisme ${\displaystyle \varphi }$ de F dans G qui prolonge f, c'est-à-dire tel que

pour tout x dans X, ${\displaystyle \varphi (x)=f(x).}$

D'autre part, puisque Y est une base de G, il existe un (et un seul) homomorphisme ${\displaystyle \psi }$ de G dans F tel que

pour tout y dans Y, ${\displaystyle \psi (y)=f^{-1}(y).}$

Alors, pour tout x dans X,

${\displaystyle \psi \circ \varphi (x)=f^{-1}(f(x)),}$

${\displaystyle \psi \circ \varphi (x)=x.}$

Donc ${\displaystyle \psi \circ \varphi }$ est un homomorphisme dans lui-même qui prolonge la transformation identique de X. Puisque X est une base de F, ${\displaystyle \psi \circ \varphi }$ est donc l'endomorphisme identique de F.
De même, ${\displaystyle \varphi \circ \psi }$ est l'endomorphisme identique de G. Donc ${\displaystyle \varphi }$ et ${\displaystyle \psi }$ sont des homomorphismes réciproques l'un de l'autre et sont donc des isomorphismes, donc F et G sont isomorphes, comme annoncé.

Réciproquement, supposons que F et G sont isomorphes et prouvons que X et Y sont équipotentes. Choisissons un isomorphisme ${\displaystyle \sigma }$ de F sur G. Alors (énoncé 2) ${\displaystyle \sigma (X)}$ est une base de G. Puisque Y est elle aussi une base de G, ${\displaystyle \sigma (X)}$ et ${\displaystyle Y}$ sont donc équipotentes (énoncé 10). Puisque ${\displaystyle \sigma (X)}$ et ${\displaystyle X}$ sont équipotentes, il en résulte que X et Y sont équipotentes, comme annoncé.