Problème du mot pour les groupes

En mathématiques, plus précisément dans le domaine de la théorie combinatoire des groupes, le problème du mot pour un groupe de type fini G est le problème algorithmique de décider si deux mots en les générateurs du groupe représentent le même élément.

Plus précisément, si X un ensemble fini de générateurs pour G, on considère le langage formel constitué des mots sur X et son ensemble d'inverses formels qui sont envoyés par l'application naturelle sur l'identité du groupe G. Le problème du mot est le problème algorithmique qui consiste à décider de l’appartenance ou non d'un mot à ce langage formel. On peut voir que si Y est un autre ensemble de générateurs pour G, alors le problème du mot avec l'ensemble Y est équivalent au problème du mot avec ensemble X. On peut donc parler sans ambiguïté de la décidabilité du problème du mot pour un groupe G de type fini.

Un problème différent mais lié est le problème du mot uniforme pour une classe K de groupes donnés par un ensemble récursif de présentations ; le problème algorithmique est alors de décider, étant donné une présentation P d'un groupe G de la classe K, si deux mots représentent le même élément de G. On peut aussi considérer que la classe K est définissable seulement par un ensemble récursivement énumérable de présentations.

Le problème du mot est indécidable dans le cas général, mais est décidable pour de nombreux groupes. Par exemple, les Modèle:Lien ont un problème du mot décidable ; de même, l'algorithme de Todd-Coxeter et la complétion de Knuth-Bendix donnent des résultats effectifs. D'un autre côté, le fait qu'un algorithme particulier ne s'applique pas dans un cas particulier n'implique pas que le problème du mot est indécidable. Par exemple, l'algorithme de Dehn ne résout pas le problème du mot pour le groupe fondamental du tore, et pourtant ce groupe est le produit direct de deux groupes cycliques infinis et possède donc un problème du mot décidable.

Une description plus concrète

On considère une présentation donnée par un couple $(X\mid R)$ où $X$ est l’ensemble des générateurs et $R$ l’ensemble des relateurs. Le problème du mot consiste à déterminer si deux mots sur $X$ et son inverse représentent le même élément du groupe modulo les relateurs. Plus formellement, soit $G$ un groupe de type fini, donné par une présentation $G=⟨X\mid R⟩$ avec X fini. On considère l'alphabet $\mathrm{\Sigma }=X\bigsqcup X^{-1}$, où $X^{-1}$ est un alphabet disjoint de $X$ et en bijection avec $X$; ses éléments représentent les inverses formels des éléments de $X$. On considère l'application $\pi :X\to G$ tel que $\pi (X)\subseteq G$ engendre $G$, étendue en un morphisme surjectif du monoïde libre ${\mathrm{\Sigma }}^{*}$ sur $G$. Le problème du mot consiste alors à déterminer si $\pi (u)=\pi (v)$, où si $\pi (u{v}^{-1})=e$ pour deux mots $u$ et $v$, et où $v^{-1}$ est l'inverse formel de $v$ dans ${\mathrm{\Sigma }}^{*}$ et où $e$ est l'élément neutre de $G$ . De manière équivalente, le problème est décider si $\pi (x)=e$ pour un mot $x$ de ${\mathrm{\Sigma }}^{*}$, donc si $x$ appartient au langage formel

$W(G,X)=\{w\in {\mathrm{\Sigma }}^{*}\mid \pi (w)=e\}$.

Par un raccourci un peu elliptique, on dit aussi que l'ensemble $W(G,X)$ est le problème du mot. On dit aussi que le problème du mot est résoluble si l'appartenance au langage $W(G,X)$ est décidable.

Exemples

Groupes avec un problème de mot résoluble

Les groupes suivants ont un problème de mot résoluble :

• Les groupes automatiques, qui comprennent :
  • les groupes finis
  • les groupes hyperboliques
  • les groupes euclidiens
  • les groupes de Coxeter
  • les groupes de tresses
  • les Modèle:Lien
• Les groupes libres de type fini
• Les groupes abéliens de type fini
• Les Modèle:Lien
• Les Modèle:Lien de type fini, comprenant :
  • Les groupes simples de type fini.
• Les groupes Modèle:Lien finiment présentés
• Les groupes à un relateurModèle:Sfn (par un théorème de Magnus), comprenant les groupes fondamentaux de variétés de dimension deux fermées et orientables.
• Les groupes virtuellement libres de type fini, puisque le langage des mots équivalents à l'élément neutre est un langage algébrique, par le théorème de Muller-Schupp.

Groupes avec un problème de mot indécidable

• Soit X est un ensemble récursivement énumérable d'entiers naturels où le problème d'appartenance est indécidable. Alors le groupe Modèle:Retrait est de type fini avec une présentation récursivement énumérable et dont le problème du mot est indécidableModèle:Sfn.
• Tout groupe de type fini avec une présentation récursivement énumérable et un problème du mot indécidable est un sous-groupe d'un groupe de type fini avec un problème du mot indécidableModèle:Sfn
• Le nombre de relateurs d'un groupe finiment présenté avec un problème du mot indécidable peut être égal à 14Modèle:Sfn ou même 12Modèle:SfnModèle:,Modèle:Sfn.
• Un exemple explicite d'une présentation avec un problème du mot indécidable est le suivantModèle:SfnModèle:, :

générateurs : $\{a,b,c,d,e,p,q,r,t,k\}$

relations : $ra=ar,rb=br,rc=cr,rd=dr,re=er,pt=tp,qt=tq$ (commutations), et de plus

$\begin{array}{ccc}& p^{10}a=ap,& pacqr=rpcaq,\\ & p^{10}b=bp,& p^{2}ad{q}^{2}r=r{p}^{2}da{q}^2,\\ & p^{10}c=cp,& p^{3}bc{q}^{3}r=r{p}^{3}cb{q}^3,\\ & p^{10}d=dp,& p^{4}bd{q}^{4}r=r{p}^{4}db{q}^4,\\ & p^{10}e=ep,& p^{5}ce{q}^{5}r=r{p}^{5}eca{q}^5,\\ & a{q}^{10}=qa,& p^{6}de{q}^{6}r=r{p}^{6}edb{q}^6,\\ & b{q}^{10}=qb,& p^{7}cdc{q}^{7}r=r{p}^{7}cdce{q}^7,\\ & c{q}^{10}=qc,& p^{8}c{a}^3{q}^{8}r=r{p}^8{a}^3{q}^8,\\ & d{q}^{10}=qd,& p^{9}d{a}^3{q}^{9}r=r{p}^9{a}^3{q}^9,\\ & e{q}^{10}=qe,& a^{-3}t{a}^{3}k=k{a}^{-3}t{a}^3\end{array}$

Résultat généraux

• Théorème de Boone-Rogers : Il n'existe pas d'algorithme partiel qui résout le problème du mot dans tous les groupes de type fini ayant un problème du mot résoluble.Modèle:Retrait
• Théorème de Boone-Higman : Un groupe finiment présenté a un problème du mot résoluble si et seulement s'il peut être plongé dans un groupe simple qui, lui, peut être plongé dans un groupe finiment présenté.
• Le résultat suivant a été démontré par Bernhard Neumann et Angus Macintyre:Modèle:Retrait
• Pour les groupes simples :Modèle:RetraitModèle:Retrait

Note historique

Les calculs dans les groupes sont souvent effectués en utilisant diverses formes normales. L'existence d'une telle forme normale résout en général implicitement le problème du mot pour les groupes étudiés. En 1911 Max Dehn propose de considérer le problème du mot comme un sujet d'étude important en lui-mêmeModèle:Sfn, de même que le Modèle:Lien et le Modèle:Lien. En 1912, il donne un algorithme pour résoudre le problème du mot et le problème de conjugaison pour les groupes fondamentaux de variétés fermées orientables de dimension 2 de genre supérieur ou égal à 2Modèle:Sfn. D'autres auteurs ont ensuite étendu grandement l'algorithme de Dehn et l'ont appliqué à de nombreux problèmes de décisionModèle:,Modèle:,.

En 1955, Piotr Novikov montre qu'il existe un groupe finiment présenté G dont le problème du mot est indécidableModèle:Sfn. Il en résulte immédiatement que le problème du mot uniforme est également indécidable. Une preuve indépendant a été donnée par William Boone en 1958Modèle:Sfn.

Le problème du mot a été l'un des premiers exemples d'un problème indécidable qui n'est pas issu de la logique mathématique ou de la théorie des algorithmes, mais de algèbre générale, branche centrale des mathématiques classiques.

Notes et références

Références citées

Livres

• Modèle:Ouvrage
• Modèle:OuvrageModèle:Commentaire biblio SRL

Articles

• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article

Voir aussi

Articles connexes

• Combinatoire des mots
• Problème du mot
• Automate à piles emboîtées (ils ont servi à la résolution du problème du mot dans les groupes)
• Modèle:Lien

Bibliographie complémentaire

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Chapitre
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Article