Graphe de Cayley

Le graphe de Cayley du groupe libre à deux générateurs, a et b. Tous les arcs doivent être orientés vers le haut ou la droite.

En mathématiques, un graphe de Cayley (du nom d'Arthur Cayley) est un graphe qui encode la structure d'un groupe. C'est un outil important pour l'étude de la combinatoire et de la géométrie des groupes. La structure et la symétrie des graphes de Cayley ont font de bons candidats pour construire des graphes expanseurs.

Définition

Modèle:Familles de graphes définies par leurs automorphismes Étant donné un groupe $(G,*)$ et une partie génératrice $S$ de ce groupe, le graphe de Cayley $\mathrm{\Gamma }=\mathrm{\Gamma }(G,S)$ est construit comme suit :

• À chaque élément $g$ de $G$, on associe un sommet $v_g$.
• À chaque élément $s$ de $S$, on associe une couleur $c_s$.
• Pour tout $g\in G$ et $s\in S$, on trace une arête orientée de couleur $c_s$ du sommet $v_g$ vers le sommet $v_{g*s}$.

Certains auteurs n'exigent pas que $S$ engendre le groupe. Dans ce cas, $\mathrm{\Gamma }$ n'est pas toujours connexe ; ses composantes connexes correspondent aux classes suivant le sous-groupe engendré par $S$.

On peut aussi associer à chaque générateur une direction plutôt qu'une couleur, mais il est alors parfois impossible de représenter le graphe dans le plan. Dans certains contextes, on utilise la multiplication à gauche plutôt qu'à droite (les arêtes vont alors de $v_g$ à $v_{s*g}$).

Propriétés

• Comme l'ensemble générateur d'un groupe n'est pas unique, la structure des graphes de Cayley d'un groupe donné n'est pas unique.
• Si l'ensemble générateur a $n$ éléments, chaque sommet a $n$ arêtes entrantes, et $n$ arêtes sortantes.
• Les cycles du graphe correspondent aux relations vérifiées par les générateurs.
• Si $s$ et $s^{-1}$ sont tous les deux dans l'ensemble de générateurs, on remplace souvent chaque paire d'arêtes orientées correspondant à $s$ et $s^{-1}$ par une seule arête non orientée.

Exemples

• Si $G=\mathbb{Z}$ est le groupe cyclique infini, et que $S=\{1,-1\}$, alors le graphe de Cayley $\mathrm{\Gamma }(G,S)$ est un chemin infini.
• Si $G=\mathbb{Z}/n\mathbb{Z}$ est le groupe cyclique d'ordre $n$, et que $S=\{1,-1\}$, alors le graphe de Cayley est un cycle d'ordre $n$. De manière générale, les graphes de Cayley sur les groupes finis cycliques sont exactement les graphes circulants.
• Le graphe de Cayley d'un produit direct de deux groupes (avec pour ensemble générateur le produit cartésien des ensembles générateurs) est le produit cartésien des graphes de Cayley. Aussi le graphe de Cayley de ${\mathbb{Z}}^2$ avec les quatre générateurs $\{(\pm 1,0),(0,\pm 1)\}$ est la grille infinie sur ${ℝ}^2$ ; et le graphe de Cayley de $\mathbb{Z}/n\mathbb{Z}\times \mathbb{Z}/m\mathbb{Z}$ avec le même ensemble de générateurs est la grille $n\times m$ sur un tore.

Graphe de Cayley du groupe diédral $D_4$ pour les deux générateurs $a$ et $b$.

Graphe de Cayley de $D_4$, pour deux générateurs d'ordre $2$.

• Le graphe de Cayley du groupe diédral $D_4$ avec deux générateurs $a$ et $b$, vérifiant les relations $$a^4=b^2=e,ab=b{a}^3$$ est représenté sur la gauche. Les flèches rouges représentent la composition par $a$, et les bleues celles par $b$. Un graphe de Cayley de $D_4$ différent est représenté à droite : $b$ est toujours la réflexion horizontale et est représentée en bleu, mais $c$ est maintenant une symétrie par rapport à une diagonale. Puisque les deux sont d'ordre 2, le graphe n'est pas orienté.
• Le graphe de Cayley du groupe libre à deux générateurs est représenté en haut à droite de la page. ($e$ est l'élément neutre). Un pas vers la droite correspond à une multiplication par $a$, vers la gauche par $a^{-1}$, vers le haut par $b$ et $b^{-1}$ vers le bas. Comme il n'y a pas de relations dans le groupe libre (par définition), son graphe de Cayley est acyclique. Ceci est un élément clé dans la preuve du paradoxe de Banach-Tarski.
• Plus généralement, le treillis de Bethe, ou arbre de Cayley est le graphe de Cayley du groupe libre à $n$ générateurs. À une présentation d'un groupe $G$ par $n$ générateurs correspond un morphisme surjectif de groupe de l'arbre de Cayley dans le groupe de Cayley de $G$. Si l'on interprète topologiquement les graphes comme des CW-complexes de dimension 1, l'arbre de Cayley est le revêtement universel du graphe de Cayley, et le noyau de la projection est le groupe fondamental du graphe de Cayley.

• À droite se trouve un dessin du graphe de Cayley d'un groupe d'ordre 18 avec présentation $⟨x,y,z\mid x^2=y^2=z^2=(xy{)}^3=(xz{)}^3=(yz{)}^3=(xyz{)}^2=1⟩$. Il est engendré par trois éléments d'ordre 2, qui sont donc représentés par des arêtes non-orientées de trois couleurs différentes ; chaque sommet est lié à une arête de chaque couleur. En suivant les arêtes on peut vérifier que les autres relations sont satisfaites. Si par exemple pour les générateurs x, y, et z on choisit respectivement les couleurs rouge, vert, et bleu (mais peu importe, la présentation est parfaitement symétrique), on voit que, partant d'un sommet quelconque, la suite rouge-vert-rouge-vert-rouge-vert nous remet à notre point de départ (alors (xy)³ = 1), et aussi la suite rouge-vert-bleu-rouge-vert-bleu (alors (xyz)² = 1).

Voir aussi

Article connexe

Métrique des mots

Bibliographie

• Modèle:Article
• Modèle:Ouvrage.

Modèle:Portail