Lemme du ping-pong

En mathématiques, le lemme du ping-pong permet de montrer que certains éléments d'un groupe agissant sur un ensemble engendrent un sous-groupe libre de ce groupe.

Histoire modifier

L'argument du ping-pong remonte à la fin du XIX^e siècle et est généralement attribué^[1] à Felix Klein, qui l'utilisa pour étudier les groupes Kleiniens (en), c.-à-d. les sous-groupes discrets de PSL(2, ℂ). Le lemme du ping-pong fut un outil crucial pour Jacques Tits, qui l'utilisa dans son article de 1972^[2] contenant la preuve d'un résultat célèbre appelé dès lors l'alternative de Tits (en). Ce théorème établit que tout groupe linéaire de type fini est virtuellement résoluble ou bien contient un sous-groupe libre de rang 2. Le lemme du ping-pong et ses variantes^[1]^,^[3]^,^[4] sont largement utilisés en topologie géométrique et en théorie géométrique des groupes.

Énoncés modifier

Soit G un groupe agissant sur un ensemble X.

Lemme du ping-pong pour plusieurs sous-groupes^[5]^,^[6] — Soient H₁, H₂, … , H_k des sous-groupes non triviaux de G, avec k ≥ 2, tels qu'au moins l'un d'eux soit d'ordre > 2.

Supposons qu'il existe dans X des sous-ensembles non vides disjoints X₁, X₂, … ,X_k tels que :

pour tous i ≠ s et tout h ∈ H_i\{1}, h(X_s) ⊂ X_i.

Alors, le sous-groupe engendré par les H_i est canoniquement isomorphe à leur produit libre :

\langle H_{1}\cup \dots \cup H_{k}\rangle \simeq H_{1}\ast \dots \ast H_{k}

.

Corollaire pour des sous-groupes monogènes — Soient a₁, … ,a_k des éléments de G d'ordre infini, avec k ≥ 2.

Supposons qu'il existe dans X des sous-ensembles non vides disjoints

X₁⁺, … ,X_k⁺ et X₁^–, … ,X_k^–

tels que :

a_i(X\X_i^–) ⊂ X_i⁺ pour i = 1, … , k ;
a_i⁻¹(X\X_i⁺) ⊂ X_i^– pour i = 1, … , k.

Alors, le sous-groupe ⟨a₁, … , a_k⟩ ⊂ G engendré par a₁, … , a_k est libre de base {a₁, … , a_k}.

Cette variante se déduit de l'énoncé précédent en posant X_i = X_i⁺∪X_i^– et H_i = ⟨a_i⟩.

Exemples modifier

Dans le groupe spécial linéaire modifier

Le groupe spécial linéaire SL(2,Z) est engendré par les deux matrices élémentaires de transvections

A:={\begin{pmatrix}1&1\\0&1\end{pmatrix}}

et

B:={\begin{pmatrix}1&0\\1&1\end{pmatrix}}

.

On peut utiliser le lemme du ping-pong pour démontrer^[1]^,^[3]^,^[7] que pour tout entier $k\geq 2$ , le sous-groupe engendré par les matrices

A^{k}={\begin{pmatrix}1&k\\0&1\end{pmatrix}}

et

B^{k}={\begin{pmatrix}1&0\\k&1\end{pmatrix}}

^[8]

est libre de rang 2.

Dans un groupe hyperbolique modifier

Dans un groupe hyperbolique sans torsion, soient g et h deux éléments qui ne commutent pas. Alors^[9], il existe M ≥ 1 tel que pour tous entiers m, n ≥ M, le sous-groupe ⟨gⁿ, h^m⟩ soit libre de rang 2.

Applications modifier

Le lemme du ping-pong est utilisé dans les groupes Kleiniens, pour étudier leurs sous-groupes de Schottky (en). Dans ce contexte, il permet de montrer qu'un certain groupe d'isométries de l'espace hyperbolique de dimension 3 est non seulement libre mais proprement discontinu et géométriquement fini (en).
Des arguments similaires sont largement utilisés en théorie géométrique des groupes, en particulier pour les sous-groupes de groupes hyperboliques^[9] et pour les groupes d'automorphismes d'arbres^[10].
Le lemme du ping-pong est aussi utilisé pour étudier les sous-groupes de type Schottky des mapping class groups de surfaces de Riemann, où l'ensemble sur lequel agit le mapping class group est le bord de Thurston (en) de l'espace de Teichmüller^[11]. Un argument similaire est aussi utilisé dans l'étude des sous-groupes du groupe des automorphismes extérieurs d'un groupe libre^[12].
L'une des applications les plus célèbres du lemme du ping-pong est la preuve par Jacques Tits de son alternative pour les groupes linéaires^[2]^,^[13].
Certaines généralisations du lemme du ping-pong produisent non seulement des produits libres mais aussi des produits libres amalgamés et des extensions HNN^[3]. Elles sont utilisées en particulier dans la preuve du théorème de combinaison de Maskit pour les groupes Kleiniens^[14].
D'autres versions du lemme du ping-pong garantissent que certains éléments d'un groupe engendrent un demi-groupe libre. De telles versions existent tant dans le cadre général de l'action d'un groupe sur un ensemble^[15] que pour des types d'actions plus spécifiques, comme dans le contexte des groupes linéaires^[16] ou des groupes agissant sur des arbres (en)^[17], ou autres^[18].

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ping-pong lemma » (voir la liste des auteurs).

↑ ^{a b et c} (en) Pierre de la Harpe, Topics in Geometric Group Theory, University of Chicago Press, 2000 (lire en ligne), chap. II.B (« The Table-Tennis Lemma (Klein's criterion) and examples of free products »), p. 25-41.
↑ ^{a et b} (en) J. Tits, « Free subgroups in linear groups », J. Algebra, vol. 20,‎ 1972, p. 250-270 (lire en ligne).
↑ ^{a b et c} (en) Roger Lyndon et Paul E. Schupp, Combinatorial Group Theory, Springer-Verlag, 2001 (1^re éd. 1977) (lire en ligne), p. 167-169.
↑ (en) Martin R. Bridson et André Haefliger, Metric Spaces of Non-Positive Curvature, Springer-Verlag, coll. « Grund. math. Wiss. » (n^o 319), 1999 (lire en ligne), chap. III.Γ, p. 467-468.
↑ (en) Andrij Olijnyk et Vitaly Suchchansky, « Representations of free products by infinite unitriangular matrices over finite fields », Int. J. Algebr. Comput., vol. 14, n^os 5-6,‎ 2004, p. 741-749 (DOI 10.1142/S0218196704001931), Lemma 2.1.
↑ Une démonstration, généralisant celle de de la Harpe 2000 qui ne concerne que le cas de deux sous-groupes, est disponible dans cet exercice corrigé de la leçon « Théorie des groupes » sur Wikiversité.
↑ (en) I. N. Sanov, « A property of a representation of a free group », Dokl. Akad. Nauk SSSR, vol. 57,‎ 1947, p. 657-659.
↑ Ou plus généralement : le sous-groupe engendré par $A^{j}$ et $B^{k}$ pour $j,k\in \mathbb {Z} \setminus \{-1,0,1\}$ : cf. (en) D. S. Passman (en), « Free subgroups in linear groups and group rings », dans S. K. Jain et S. Parvathi, Noncommutative Rings, Group Rings, Diagram Algebras and Their Applications, Providence, RI, AMS, coll. « Contemporary Mathematics » (n^o 456), 2008 (ISBN 978-0-8218-4285-0, lire en ligne), p. 151-164, Proposition 1.2.
↑ ^{a et b} (en) M. Gromov, « Hyperbolic Groups », dans Stephen M. Gersten (en), Essays in Group Theory, Springer, coll. « MSRI Publications » (n^o 8), 1987 (lire en ligne), p. 75-263, § 8.2, p. 211-219.
↑ (en) Alexander Lubotzky, « Lattices in rank one Lie groups over local fields », GAFA, vol. 1, n^o 4,‎ 1991, p. 406-431 (DOI 10.1007/BF01895641).
↑ (en) Richard P. Kent et Christopher J. Leininger, « Subgroups of mapping class groups from the geometrical viewpoint », dans In the tradition of Ahlfors-Bers. IV, coll. « Contemporary Mathematics » (n^o 432), 2007 (ISBN 978-0-8218-4227-0), p. 119-141.
↑ (en) M. Bestvina, M. Feighn et M. Handel, « Laminations, trees, and irreducible automorphisms of free groups », GAFA, vol. 7, n^o 2,‎ 1997, p. 215-244 (DOI 10.1007/PL00001618).
↑ Voir aussi (en) Pierre de la Harpe, « Free groups in linear groups », L'Enseignement mathématique, vol. 29, n^os 1-2,‎ 1983, p. 129-144 (lire en ligne) pour une présentation de la preuve de Tits, expliquant les idées en jeu, y compris l'utilisation du lemme du ping-pong.
↑ (en) Bernard Maskit (en), Kleinian Groups, Springer-Verlag, coll. « Grund. math. Wiss. » (n^o 287), 1988 (ISBN 3-540-17746-9), chap. VII.C et VII.E, p. 149-156 et 160-167.
↑ De la Harpe 2000, p. 187-188.
↑ (en) Alex Eskin, Shahar Mozes et Hee Oh, « On uniform exponential growth for linear groups », Invent. Math., vol. 60, n^o 1,‎ 2005, p. 1432-1297 (DOI 10.1007/s00222-004-0378-z), Lemma 2.2.
↑ (en) Roger C. Alperin (en) et Guennadi A. Noskov, « Uniform growth, actions on trees and GL₂ », dans Robert H. Gilman, Alexei G. Myasnikov et Vladimir Shpilrain, Computational and Statistical Group Theory, coll. « Contemporary Mathematics » (n^o 298), 2002 (lire en ligne), p. 2, Lemma 3.1.
↑ (en) Yves de Cornulier et Romain Tessera, « Quasi-isometrically embedded free sub-semigroups », Geom. Topol., vol. 12,‎ 2008, p. 461-473 (lire en ligne), Lemma 2.1.

Bibliographie modifier

(en) Emmanuel Breuillard et Tsachik Gelander, « Uniform independence in linear groups », Invent. Math., vol. 173, n^o 2,‎ 2008, p. 225-263 (arXiv math/0611829)
(en) J. Z. Gonçalves et D. S. Passman, « Free subgroups in linear groups », J. Algebra, vol. 295, n^o 1,‎ 2006, p. 94-118 (lire en ligne) et erratum mineur

Portail de l’algèbre

[DH-1] {a b et c} (en) Pierre de la Harpe, Topics in Geometric Group Theory, University of Chicago Press, 2000 (lire en ligne), chap. II.B (« The Table-Tennis Lemma (Klein's criterion) and examples of free products »), p. 25-41.

[T-2] {a et b} (en) J. Tits, « Free subgroups in linear groups », J. Algebra, vol. 20,‎ 1972, p. 250-270 (lire en ligne).

[LS-3] {a b et c} (en) Roger Lyndon et Paul E. Schupp, Combinatorial Group Theory, Springer-Verlag, 2001 (1^re éd. 1977) (lire en ligne), p. 167-169.

[BH-4] (en) Martin R. Bridson et André Haefliger, Metric Spaces of Non-Positive Curvature, Springer-Verlag, coll. « Grund. math. Wiss. » (n^o 319), 1999 (lire en ligne), chap. III.Γ, p. 467-468.

[5] (en) Andrij Olijnyk et Vitaly Suchchansky, « Representations of free products by infinite unitriangular matrices over finite fields », Int. J. Algebr. Comput., vol. 14, n^os 5-6,‎ 2004, p. 741-749 (DOI 10.1142/S0218196704001931), Lemma 2.1.

[6] Une démonstration, généralisant celle de de la Harpe 2000 qui ne concerne que le cas de deux sous-groupes, est disponible dans cet exercice corrigé de la leçon « Théorie des groupes » sur Wikiversité.

[7] (en) I. N. Sanov, « A property of a representation of a free group », Dokl. Akad. Nauk SSSR, vol. 57,‎ 1947, p. 657-659.

[8] Ou plus généralement : le sous-groupe engendré par $A^{j}$ et $B^{k}$ pour $j,k\in \mathbb {Z} \setminus \{-1,0,1\}$ : cf. (en) D. S. Passman (en), « Free subgroups in linear groups and group rings », dans S. K. Jain et S. Parvathi, Noncommutative Rings, Group Rings, Diagram Algebras and Their Applications, Providence, RI, AMS, coll. « Contemporary Mathematics » (n^o 456), 2008 (ISBN 978-0-8218-4285-0, lire en ligne), p. 151-164, Proposition 1.2.

[Gromov-9] {a et b} (en) M. Gromov, « Hyperbolic Groups », dans Stephen M. Gersten (en), Essays in Group Theory, Springer, coll. « MSRI Publications » (n^o 8), 1987 (lire en ligne), p. 75-263, § 8.2, p. 211-219.

[10] (en) Alexander Lubotzky, « Lattices in rank one Lie groups over local fields », GAFA, vol. 1, n^o 4,‎ 1991, p. 406-431 (DOI 10.1007/BF01895641).

[11] (en) Richard P. Kent et Christopher J. Leininger, « Subgroups of mapping class groups from the geometrical viewpoint », dans In the tradition of Ahlfors-Bers. IV, coll. « Contemporary Mathematics » (n^o 432), 2007 (ISBN 978-0-8218-4227-0), p. 119-141.

[12] (en) M. Bestvina, M. Feighn et M. Handel, « Laminations, trees, and irreducible automorphisms of free groups », GAFA, vol. 7, n^o 2,‎ 1997, p. 215-244 (DOI 10.1007/PL00001618).

[13] Voir aussi (en) Pierre de la Harpe, « Free groups in linear groups », L'Enseignement mathématique, vol. 29, n^os 1-2,‎ 1983, p. 129-144 (lire en ligne) pour une présentation de la preuve de Tits, expliquant les idées en jeu, y compris l'utilisation du lemme du ping-pong.

[14] (en) Bernard Maskit (en), Kleinian Groups, Springer-Verlag, coll. « Grund. math. Wiss. » (n^o 287), 1988 (ISBN 3-540-17746-9), chap. VII.C et VII.E, p. 149-156 et 160-167.

[15] De la Harpe 2000, p. 187-188.

[16] (en) Alex Eskin, Shahar Mozes et Hee Oh, « On uniform exponential growth for linear groups », Invent. Math., vol. 60, n^o 1,‎ 2005, p. 1432-1297 (DOI 10.1007/s00222-004-0378-z), Lemma 2.2.

[17] (en) Roger C. Alperin (en) et Guennadi A. Noskov, « Uniform growth, actions on trees and GL₂ », dans Robert H. Gilman, Alexei G. Myasnikov et Vladimir Shpilrain, Computational and Statistical Group Theory, coll. « Contemporary Mathematics » (n^o 298), 2002 (lire en ligne), p. 2, Lemma 3.1.

[18] (en) Yves de Cornulier et Romain Tessera, « Quasi-isometrically embedded free sub-semigroups », Geom. Topol., vol. 12,‎ 2008, p. 461-473 (lire en ligne), Lemma 2.1.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]