# Métrique des mots

Dans la théorie des groupes, une branche des mathématiques, une métrique des mots sur un groupe G est une distance sur G, liée au choix préalable d'une partie génératrice S de G : la distance entre deux éléments g, h de G mesure l'efficacité avec laquelle leur « différence » g$^{−1}$h peut être exprimée comme un mot sur S. La métrique des mots sur G est très étroitement liée au graphe de Cayley de (G, S) : la distance d(g, h) est la longueur du plus court chemin dans le graphe de Cayley entre g et h.
Différents choix de parties génératrices donneront en général des métriques différentes. Bien que cela semble à première vue être une faiblesse dans le concept de la métrique des mots, cela peut être exploité afin de prouver des théorèmes sur les propriétés géométriques des groupes, comme cela se fait dans la théorie géométrique des groupes.

## Exemples
### Le groupe ℤ des entiers

Le groupe $\mathbb {Z}$ des entiers est engendré par l'ensemble $\{-1,1\}$. L'entier $-3$ peut être exprimé comme $-1-1-1+1-1$ un mot de longueur 5 sur ces générateurs. Mais le mot qui exprime $-3$ plus efficacement est $-1-1-1$ un mot de longueur 3. La distance entre 0 et -3 dans la métrique des mots associée à cette partie génératrice est donc égale à 3. Plus généralement, la distance entre deux nombres entiers $m$ et $n$ dans cette métrique des mots est égale à $|m-n|$, parce que le plus court mot représentant la différence $m-n$ est de longueur égale à $|m-n|$.

### Le groupe ℤ⊕ℤ

Pour un exemple plus visuel, les éléments du groupe $\mathbb {Z} \oplus \mathbb {Z}$ peuvent être vus comme des vecteurs dans le plan cartésien avec des coordonnées entières. Le groupe $\mathbb {Z} \oplus \mathbb {Z}$ est engendré par les vecteurs unité usuels $e_{1}=\langle 1,0\rangle$, $e_{2}=\langle 0,1\rangle$ et leurs opposés respectifs $-e_{1}=\langle -1,0\rangle$, $-e_{2}=\langle 0,-1\rangle$. Le graphe de Cayley de $\mathbb {Z} \oplus \mathbb {Z}$ peut être vu dans le plan comme une grille infinie de rues d'une ville, où chaque ligne verticale ou horizontale avec des coordonnées entières est une rue, et chaque point de <$\mathbb {Z} \oplus \mathbb {Z}$. Chaque segment horizontal entre deux sommets représente le vecteur $e_{1}$ ou $-e_{1}$, selon que le segment est traversé dans un sens ou dans l'autre, et chaque segment vertical représente $e_{2}$ ou $-e_{2}$. Une voiture démarrant en $\langle 1,2\rangle$ et voyageant dans les rues jusqu'à $\langle -2,4\rangle$ peut faire le trajet de différentes manières. Mais peu importe le trajet suivi, la voiture doit traverser au moins $|1-(-2)|=3$ blocs horizontaux et au moins $|2-4|=2$ blocs verticaux, pour une distance totale d'au moins 3 + 2 = 5. Si la voiture change de chemin, le trajet peut être plus long, mais la distance minimale parcourue par la voiture, égale à la distance pour la métrique des mots entre $\langle 1,2\rangle$ et $\langle -2,4\rangle$ est donc égale à 5.
Plus généralement, étant donnés deux éléments $\langle i,j\rangle$ et $\langle k,l\rangle$ de $\mathbb {Z} \oplus \mathbb {Z}$, la distance entre $\langle i,j\rangle$ et $\langle k,l\rangle$ dans la métrique des mots associée à cette partie génératrice est égale à $|i-k|+|j-l|$.

## Définition

Soit $G$ un groupe, soit $S$ une partie génératrice de $G$, et supposons que $S$ est stable par inversion. Un mot sur l'ensemble $S$ est simplement une suite finie $w=s_{1}...s_{L}$ dont les coordonnées $s_{1},...,s_{L}$ sont des éléments de $S$. L'entier $L$ est appelée la longueur du mot $w$. En appliquant la multiplication de $G$, les coordonnées d'un mot $w=s_{1}...s_{L}$ peuvent être multipliées dans l'ordre. Le résultat de cette multiplication est un élément ${\overline {w}}$ dans le groupe $G$, qui est appelé à l' évaluation du mot $w$. Un cas particulier, le mot vide $\emptyset$ a pour longueur zéro, et son évaluation est le neutre de $G$.
Étant donné un élément $g$ de $G$, sa norme $|g|$ par rapport à l'ensemble $S$ est définie comme étant la plus courte longueur d'un mot $w$ sur $S$, dont l'évaluation ${\overline {w}}$ est égale à $g$. Pour deux éléments $g,h$ de $G$, la distance $d(g,h)$ dans la métrique des mots par rapport à $S$ est définie par $|g^{-1}h|$. De manière équivalente, $d(g,h)$ est la plus courte longueur d'un mot $w$ sur $S$ tel que $g{\overline {w}}=h$.
La métrique des mots par rapport à une partie génératrice $S$ de $G$ satisfait les axiomes d'une distance.
La preuve de l'axiome de symétrie $d(g,h)=d(h,g)$ des métriques repose sur l'hypothèse que l'ensemble $S$ est stable par inverse ; l'axiome de séparation provient du fait que le seul mot de longueur 0 est le mot vide, dont l'évaluation est le neutre de $G$ ; et finalement l'inégalité triangulaire est évidente par les définitions qui précèdent.

### Variantes

La métrique des mots a une définition équivalente formulée en termes plus géométriques en utilisant le graphe de Cayley de $G$ par rapport à une partie génératrice $S$. On assigne à chaque arête du graphe de Cayley une métrique de longueur 1, et alors la distance entre deux éléments $g,h$ de $G$ est égale à la plus petite longueur d'un chemin du graphe du sommet $g$ au sommet $h$ (qui peut être paramétrisée pour en faire une géodésique).
La métrique des mots sur $G$ peut également être définie sans supposer que la partie génératrice $S$ est stable par inversion. Pour ce faire, on commence par symétriser $S$, en le remplaçant par une plus grande partie génératrice consistant en chaque élément $s$ de $S$ ainsi que son inverse $s^{-1}$. Ensuite on définit la métrique des mots par rapport à $S$ comme la métrique des mots par rapport à sa symétrisation.

## Exemple dans un groupe libre

Supposons que $F$ est le groupe libre sur l'ensemble à deux éléments $\{a,b\}$. Un mot $w$ sur la partie génératrice symétrique $\{a,b,a^{-1},b^{-1}\}$ est dit réduit si les lettres $a,a^{-1}$ ne se suivent pas dans $w$, et de même pour les lettres $b,b^{-1}$. Chaque élément $g\in F$ est représenté par un unique mot réduit, et ce mot réduit est le plus court mot représentant $g$. Par exemple, puisque le mot $w=b^{-1}a$ est réduit et est de longueur 2, la norme $|{\overline {w}}|$ est égale à 2, de sorte que la distance entre $b$ et $a$ est égale à 2 dans la métrique des mots. Cela peut être visualisé en termes de graphe de Cayley, où le chemin le plus court entre $a$ et $b$ est de longueur 2.

## Théorèmes
### Isométrie de l'action à gauche

Le groupe $G$ agit sur lui-même par multiplication à gauche: l'action de $k\in G$ envoie chaque $g\in G$ sur $kg$. Cette action est une isométrie pour la métrique des mots. En effet, la distance entre $kg$ et $kh$ est égale à $|(kg)^{-1}(kh)|=|g^{-1}h|$, qui est la distance entre $g$ et $h$.

### Invariants bilipschitziens d'un groupe

La métrique des mots sur un groupe $G$ n'est pas unique, car différentes parties génératrices symétriques peuvent donner des métriques différentes. Cependant, les métriques de mots sur un groupe de type fini, par rapport à des parties génératrices finies sont Lipschitz-équivalentes : si $S,T$ sont deux parties génératrices symétriques finies de $G$ avec les métriques des mots respectives associées $d_{S},d_{T}$, alors il existe une constante $K$ tels que, pour tout $g,h\in G$,
    ${\frac {1}{K}}d_{T}(g,h)\leq d_{S}(g,h)\leq Kd_{T}(g,h)$.
Cette constante $K$ est simplement le maximum de la norme pour la partie génératrice $S$ des éléments de $T$ et de la norme pour la partie génératrice $T$ des éléments de $S$. Cette preuve est également facile : n'importe quel mot sur $S$ peut être converti par substitution en un mot sur $T$ de même évaluation, augmentant la longueur du mot d'un facteur au plus $K$, et de même pour la conversion de mots sur $T$ en mots sur $S$ de même évaluation.
L'équivalence lipschitzienne des métriques des mots implique à son tour que le taux de croissance (en) d'un groupe de type fini est un invariant d'isomorphisme du groupe, indépendant du choix d'une partie génératrice finie. Cela implique à son tour que les différentes propriétés de croissance, telles que la croissance polynomiale, le degré de la croissance polynomiale, et la croissance exponentielle, sont des invariants d'isomorphisme.

### Invariants de quasi-isométrie d'un groupe

En théorie géométrique des groupes, les groupes sont étudiés à travers leurs actions sur des espaces métriques. Un principe qui généralise l'invariance lipschitzienne des métriques des mots sur $G$ est que toute métrique des mots finiment générée sur $G$ est quasi-isométrique (en) à tout espace métrique géodésique propre sur lequel $G$ agit proprement discontinument et cocompactement. Il s'agit du lemme de Svarc-Milnor (en).
Il s'ensuit que toute propriété invariante par quasi-isométrie satisfaite par la métrique des mots sur $G$ ou par un tel espace métrique est un invariant d'isomorphisme de $G$. La théorie géométrique des groupes moderne est en grande partie destinée à l'étude des invariants par quasi-isométrie.