Groupe de Baumslag-Solitar

Une « feuille » du graphe de Cayley du groupe de Baumslag-Solitar Modèle:Formule. Les arêtes bleues correspondent à Modèle:Formule et les rouges à Modèle:Math.

Les feuilles du graphe de Cayley du groupe de Baumslag-Solitar Modèle:Math assemblées en un arbre binaire infini.

En mathématiques et notamment en théorie des groupes, les groupes de Baumslag-Solitar sont des exemples de groupes à deux générateurs et un relateur qui jouent un rôle important dans la théorie combinatoire des groupes et en théorie géométrique des groupes comme exemples ou contre-exemples.

Définition

Les groupes de Baumslag-Solitar Modèle:Math sont définis, pour toute paire $m,n$ d'entiers relatifs, par la présentation

$\text{BS}(m,n)=⟨a,b\mid a^{-1}{b}^{m}a=b^n⟩$.

où la notation signifie que le groupe est le quotient du groupe libre engendré par les générateurs a et b par le sous-groupe distingué engendré par $a^{-1}{b}^{m}a{b}^{-n}$.

Divers groupes Modèle:Math sont bien connus. Ainsi Modèle:Math est le groupe abélien libre sur deux generateurs, et Modèle:Math est le groupe fondamental de la bouteille de Klein.

Les groupes ont été définis par Gilbert Baumslag et Donald Solitar en 1962 en vue de fournir des exemples de groupes non hopfiens. Ils comprennent des groupes résiduellement finis, des groupes hopfiens qui ne sont pas résiduellement finis, et des groupes non hopfiens.

Propriétés

• $\text{BS}(m,n)$ est résiduellement fini si et seulement si $|m|=|n|$ ou $|m|=1$ ou $|n|=1$.

• $\text{BS}(m,n)$ est hopfien si et seulement s’il est résiduellement fini ou si $m$ et $n$ ont même ensemble de diviseurs premiers. Il est relativement simple de prouver qu’un groupe finiment engendré et résiduellement fini est hopfien.

Le plus connu des groupes est $\text{BS}(2,3)=⟨a,b\mid a^{-1}{b}^{2}a=b^3⟩$. Il n'est pas hopfien ; l’application $a\to a,b\to b^2$est en effet un épimorphisme qui n’est pas un isomorphisme. Il est en effet facile de vérifier que $(b^{-1}{a}^{-1}ba)(b^{-1}{a}^{-1}ba)b^{-1}$est dans le noyau du morphisme puisque son image est $(b^{-2}{a}^{-1}{b}^{2}a{)}^2{b}^{-2}=(b^{-2}{b}^3{)}^2{b}^{-2}=1$.

Les groupes de Baumslag-Solitar se répartissent en trois familles : ceux qui sont résiduellement finis, ceux qui sont hopfiens sans être résiduellement finis et ceux qui ne sont pas hopfiens. La différence est plus marquée en fonction des paramètres : ceux pour lesquels $|m|=1$ ou $|n|=1$ d'une part, et ceux pour lesquels $|m|,|n|\ne 1$ d'autre part.

Le cas Modèle:Math

Pour un groupe

$\text{BS}(1,n)=⟨a,b\mid a^{-1}ba=b^n⟩$

il y a un homomorphisme évident sur le groupe cyclique infini en posant $b=1$, et on peut montrer que son noyau est isomorphe au groupe additif des nombres rationnels $n$-adiques. Ainsi, ces groupes sont métabéliens et ont des propriétés de structure fortes ; en particulier, ils n’ont pas de sous-groupe libre de rang 2. De plus, les éléments de ces groupes possèdent des formes normales particulièrement simples : tout élément est représenté de manière unique sous la forme $a^i{b}^k{a}^{-j}$, avec $i,j\ge 0$ et si de plus $i,j>0$, alors $k$ n’est pas divisible par $n$. Quand $|m|,|n|\ne 1$, il existe toujours une forme normale parce que les groupes de Baumslag-Solitar sont des exemples, et de fait les exemples les plus simples, d’extensions HNN. Il en résulte la propriété suivante :

Soit $w$ un mot librement réduit de $\text{BS}(m,n)$ qui représente l’élément unité. Alors $w$ a un facteur de la forme $a^{-1}{b}^{k}a$ avec $m|k$, ou $a{b}^k{a}^{-1}$ avec $n|k$.

Ceci démontre que, dans $\text{BS}(2,3)$, le mot

$b^{-1}{a}^{-1}ba{b}^{-1}{a}^{-1}ba{b}^{-1}$

ne représente pas l’unité, et peut aussi servir à montrer que, lorsque $|m|,|n|\ne 1$, alors $\text{BS}(m,n)$ contient un sous-groupe libre de rang deux.

Bibliographie

• Modèle:Chapitre
• Modèle:Ouvrage.
• Modèle:EncycloMath

Articles liés

• Représentation de groupe
• Groupe super-résoluble
• Groupe hyperbolique
• Groupe hopfien