Groupe de Grigorchuk

En mathématiques et notamment en théorie des groupes, le groupe de Grigorchuk, aussi appelé le premier groupe de Grigorchuk, est un groupe finiment engendré construit par Rostislav Grigorchuk et qui fournit le premier exemple d'un groupe finiment engendré de croissance intermédiaire, c'est-à-dire plus rapide qu'un polynôme et plus lent qu'une exponentielle. Le groupe de Grigorchuk est aussi le premier exemple d'un groupe moyennable qui n’est pas élémentairement moyennable, ce qui répond à une question de Mahlon Day posée en 1957.

Historique

Le groupe a été construit par Grigorchuk en 1980, et il a prouvé qu'il est de croissance intermédiaire en 1984 ; ceci répond à une question posée par John Milnor en 1968. Le groupe de Grigorchuk continue à être un objet clé en théorie géométrique des groupes, en particulier en relation avec les groupes automatiques, et a aussi des connexions avec les groupes de monodromie itérée.

Le taux de croissance d'un groupe finiment engendré est le nombre b(n) d'éléments du groupe qui sont produits d'au plus n éléments de l'ensemble de générateurs. Grigorchuk a prouvé que b(n) croît plus vite que $\exp (\sqrt{n})$ mais moins vite que $\exp (n^s)$ où $s={\log }_{32}31\approx 0.991$.

La borne supérieure a été améliorée par Laurent Bartholdi qui obtient :

$s=\frac{\log 2}{\log 2-\log \eta }\approx 0.7675$,

où $\eta$ vérifie ${\eta }^3+{\eta }^2+\eta =2.$ Une meilleure borne inférieure $\exp (n^{0.504})$ a été démontrée par Yurii Leonov.

Un résultat lié est le théorème de Gromov sur les groupes à croissance polynomiale, obtenu par Mikhaïl Gromov en 1981, qui montre qu'un groupe finiment engendré a croissance polynomiale si et seulement si ce groupe a un sous-groupe nilpotent d'index fini. Avant l'exemple de Grigorchuk, plusieurs résultats ont décrit des classes de groupes dont la croissance est soit polynomiale soit exponentielle, comme les groupes linéaires ou les groupes résolublesModèle:, etc.

Des extensions et généralisations ont été proposées par divers auteursModèle:,Modèle:,Modèle:,.

Construction

Arbre binaire $T_2$.

Le groupe de Grigorchuk est défini comme un groupe d'automorphismes de l’arbre binaire infini. L'arbre, noté $T$ (on rencontre aussi la notation $T^{(2)}$ ou $T_2$), est vu comme l'ensemble ${\mathrm{\Sigma }}^{*}$ des mots finis sur l'alphabet $\mathrm{\Sigma }=\{0,1\}$, y compris le mot vide $\epsilon$ (ou $\varnothing$) qui est la racine de l’arbre. Pour tout nœud $x$ de l’arbre $T$, le mot $x0$ est le fils gauche de $x$ et le mot $x1$ est le fils droit de $x$ dans $T$. Le groupe $\text{Aut}(T)$ peut alors être vu comme le groupe de toutes les bijections $\sigma$ de ${\mathrm{\Sigma }}^{*}$ qui préservent les longueurs, donc qui sont des permutations sur les mots de même longueur, et qui respectent les préfixes ; en d'autres termes, si $y$ est préfixe de $x$, alors $\sigma (y)$ est préfixe de $\sigma (x)$.

Le groupe de Grigorchuk $G$ est le sous-groupe du groupe d'automorphisme $\text{Aut}(T)$ engendré par quatre éléments particuliers de $\text{Aut}(T)$, notés $a,b,c,d$, soit

$G=⟨a,b,c,d⟩$,

où les automorphismes $a,b,c,d$ sont définis par les relations suivantes :

$\begin{array}{cc}& a(0x)=1x\\ & a(1x)=0x\\ \end{array}\begin{array}{cc}& b(0x)=0a(x)\\ & b(1x)=1c(x)\\ \end{array}\begin{array}{cc}& c(0x)=0a(x)\\ & c(1x)=1d(x)\\ \end{array}\begin{array}{cc}& d(0x)=0x\\ & d(1x)=1b(x).\\ \end{array}$

Dans ces formules, $x$ est un mot de ${\mathrm{\Sigma }}^{*}$, y compris le mot vide. Pour $x=\epsilon$, les formules se réduisent à

$a(0)=1,a(1)=0,b(0)=c(0)=d(0)=0,b(1)=c(1)=d(1)=1,$

puisque l'image du mot vide par un automorphisme est toujours le mot vide. Seule l'automorphisme $a$ est défini explicitement, les autres le sont par récurrence sur la longueur de l'argument, qui correspond à la hauteur de l'élément dans l'arbre. Par exemple, l'évaluation de $b(1011)$ donne

$b(1011)=1c(011)=10a(11)=1001$.

L'ensemble des mots de ${\mathrm{\Sigma }}^{*}$ s'écrit comme réunion disjointe

${\mathrm{\Sigma }}^{*}=\{\epsilon \}\cup 0{\mathrm{\Sigma }}^{*}\cup 1{\mathrm{\Sigma }}^{*}$.

Les sommets de $T$ dénotés par $0{\mathrm{\Sigma }}^{*}$ et $1{\mathrm{\Sigma }}^{*}$ constituent respectivement le sous-arbre gauche et le sous-arbre droit de $T$, notés $T_L$ (parfois aussi $T_0$) et $T_R$ (ou $T_1$). On a alors

$a(T_L)=T_R,a(T_R)=T_L$,

en d'autres termes $a$ échange les éléments des sous-arbres gauche et droit niveau par niveau. Les actions de $b,c$ et $d$ peuvent s'écrire aussi sous la forme :

$b=(a,c)c=(a,d)d=(e,b)$

où $e$ est l'identité du groupe d'automorphisme, et où la première composante est l’action quand le mot est dans le sous-arbre gauche, la deuxième composante quand est dans le sous-arbre droit ; en d'autres termes :

$b(x)=\{\begin{array}{cc}a(x)& x\in T_L\\ c(x)& x\in T_R\end{array}c(x)=\{\begin{array}{cc}a(x)& x\in T_L\\ d(x)& x\in T_R\end{array}d(x)=\{\begin{array}{cc}x& x\in T_L\\ b(x)& x\in T_R\end{array}$.

Relations

Plusieurs formules relient les éléments. Notamment la conjugaison par $a$ permet l'échange des composants :

$aba=(c,a),aca=(d,a),ada=(b,e).$

La vérification est facile, ainsi

$aba(0x)=ab(1x)=a(1c(x))=0c(x),aba(1x)=ab(0x)=a(0a(x))=1a(x)$.

Les éléments $a,b,c$, et $d$ sont des involutions ; la preuve est directe pour $a$, et par récurrence sur la longueur des mots pour les autres :

$\begin{array}{cccc}& a(a(0x))=a(1x)=0x,& & a(a(1x))=a(0x)=1x\\ & b(b(0x))=b(0a(x))=0a^2(x)=0x,& & b(b(1x))=b(1c(x))=1c^2(x)\\ & c(c(0x))=c(0a(x))=0a^2(x)=0x,& & c(c(1x))=c(1d(x))=1d^2(x)\\ & d(d(0x))=d(0x)=0x,& & d(d(1x))=d(1b(x))=1b^2(x).\\ \end{array}$

Les éléments $b,c,d$ commutent deux-à-deux et leur produit est égal au troisième :

$bc=cb=d,bd=db=c,dc=cd=b.$

de sorte que $⟨b,c,d⟩$ est un groupe abélien d'ordre 4 isomorphe au produit direct de deux groupes cycliques d'ordre 2.

Il en résulte aussi que le groupe $G$ est aussi engendré par trois éléments, à savoir $a$ et deux quelconques parmi $b,c,d$. Ainsi, $G=⟨a,b,c⟩=⟨a,b,d⟩=⟨a,c,d⟩$.

Mot réduit : Tout élément de $G$ s'écrit comme produit d'éléments de sorte qu'entre deux $a$, il y a exactement un des éléments b, c, ou d. Une telle écriture est dite réduite. Ainsi, l'écriture réduite de $x=a{b}^{3}cd{a}^{2}cdab$ est $r(a{b}^{3}cd{a}^{2}cdab)=abab$.

Propriétés

Voici des propriétés de base du groupe de Grigorchuk (des démonstrations sont données dans la monographie de Pierre de la Harpe):

• Le groupe $G$ est infini.
• Le groupe $G$ est résiduellement fini. Soit ${\rho }_n:G\to \text{Aut}(T[n])$ le morphisme qui envoie un élément de $G$ sur sa restriction à l'arbre fini $T[n]$ de hauteur $n$. Les groupes $\text{Aut}(T[n])$ sont finis et pour tout $g\in G$ non trivial, il existe un $n$ tel que ${\rho }_n(g)\ne 1$.
• Le groupe $G$ est un 2-groupe, c'est-à-dire tous ses éléments sont d'ordre fini qui de plus est une puissance de 2.
• Le groupe $G$ est de croissance intermédiaire.
• Le groupe $G$ est moyennable mais n'est pas un Modèle:Lien.
• Le groupe $G$ est juste infini, c'est-à-dire qu'il est infini mais que tous ses groupes quotient sont finis.
• Le groupe $G$ a la congruence subgroup property : un sous-groupe H est d'indice fini dans G si et seulement si $\ker ({\rho }_n)⩽H.$ pour un entier n.
• Le problème de l’appartenance à un sous-groupe est décidable dans le groupe G ; en d'autres termes, il existe un algorithme qui, étant donné des mots $w,u_1,\dots ,u_n$, décide si $w$ est un élément du sous-groupe engendré par $u_1,\dots ,u_n$.
• Le groupe $G$ est Modèle:Lien, c'est-à-dire tout sous-groupe finiment engendré est fermé dans la topologie profinie sur $G$
• Tout sous-groupe maximal de $G$ est d'indice fini dans $G$.
• Le groupe $G$ est finiment engendré mais n’a pas de présentation finieModèle:,.

Décidabilité

• Le stabilisateur des sommets de niveau 1 de $T$ dans G (le sous-groupe des éléments qui opèrent comme identité sur 0 and 1), est le groupe :

$G_{\{0,1\}}$ est un sous-groupe normal d'index 2 dans G et

• Un mot réduit représente un élément de $G_{\{0,1\}}$ si et seulement s'il contient un nombre pair d'occurrences de a.
• Si w est un mot réduit de G avec un nombre pair positif d'occurrences de a, alors il existe des mots u, v pas nécessairement réduits tels que :

$w=(u,v)$ et $\{\begin{array}{cc}|u|,|v|⩽\frac{1}{2}|w|& |w|\text{ impair}\\ |u|,|v|⩽\frac{1}{2}(|w|+1)& |w|\text{ pair}\end{array}$

Ceci est parfois appelé la propriété de contraction. Elle joue un rôle majeur dans de nombreuses démonstrations car elle permet d'opérer par récurrence sur la longueur des mots.

• Le problème des mots et le problème de conjugaison sont décidables pour le groupe $G$. Ceci s'obtient comme conséquence de la propriété de contraction.

Automates

Automate de Mealy du groupe de Grigorchuk

L'usage d'automates finis, et notamment d'automates de Mealy, pour la représentation et l’étude du groupe Grigorchuk s'est révélée utile. Les automates considérés n'ont pas d'états initiaux ni terminaux. Les états sont en bijection avec les générateurs du groupe, augmentés de l'automorphisme identité, et les transitions sont les quadruplets $(p,i,j,q)$ tels que $p(ix)=jq(x)$, où $i,j\in \{0,1\}$ et $p,q\in \{a,b,c,d,e\}$. On voit qu'il existe un chemin de $p$ à $q$ d'étiquette d'entrée $y$ et d'étiquette de sortie $z$ si et seulement si $p(yx)=zq(x)$. Par exemple, il y a dans l’automate le chemin

$b\stackrel{1|1}{\to }c\stackrel{0|0}{\to }a\stackrel{1|0}{\to }e\stackrel{1|1}{\to }e$

représentant le calcul

$b(1011)=1c(011)=10a(11)=1001$.

L'étude des automates de Mealy et des groupes et demi-groupes de transformations qu'ils définissent a été développée par Laurent BartholdiModèle:, ou Thibault Godin, Inès Klimann, Matthieu Picantin.

Notes et références

Bibliographie

• Modèle:Article
• Modèle:Article.
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article.
• Modèle:Article.
• Modèle:Article.
• Modèle:Article.
• Modèle:Article.
• Modèle:Article.
• Modèle:Ouvrage
• Modèle:Article.
• Modèle:Article — Traduction dans Mathematical Notes, vol. 67, Modèle:N° (2000) Modèle:P..
• Modèle:Article — Traduction : Proceedings of the Steklov Institute of Mathematics, vol. 231, Modèle:N°, 2000, Modèle:P..
• Modèle:Article.

Articles liés

• Théorie géométrique des groupes
• Growth rate of finitely generated groups
• Groupe moyennable
• Monodromie
• Automate de Mealy
• Groupe d'allumeur de réverbères