Lemme 1.1 (du ping pong). Soit Gun groupe agissant sur un ensemble S. Supposons
que S1et S2soient des sous-ensembles de S, avec S2non inclus dans S1, que G1et G2
soient des sous-groupes de G tels que G1ait au moins 3 ´el´ements et que les propri´et´es
suivantes soient satisfaites : ∀g∈G1\ {1}, g(S2)⊂S1et ∀h∈G2\ {1}, h(S1)⊂S2.
Alors, le sous-groupe engendr´e par G1et G2est isomorphe au produit libre de G1et G2.
D´emonstration. Nous allons montrer que les mots de la forme g1h1...gr, puis h0g1h1...gr,
o`u gi∈G1\{1}et hi∈G2\{1}, ne peuvent ˆetre triviaux. Il est alors facile de se ramener
`a un de ces deux cas par conjugaison par un ´el´ement h∈G2appropri´e pour montrer la
non-trivialit´e de tous les mots sur G1et G2.
Un mot de la forme g1h1...gr, envoie S2dans S1. Comme S26⊂ S1,g1h1...grest diff´erent
de 1.
Supposons maintenant que h0g1h1...gr= 1. Alors comme h0:S1→S2est injectif,
g=g1h1...gr:S2→S1est surjectif donc bijectif. Soit maintenant g0∈G1\{1, g−1}.gg0
envoie S2dans S1=g(S2). Donc g0envoie S2dans S1∩S2. On en d´eduit que g−1
0∈G1
v´erifie : S2⊂g−1
0(S1∩S2)⊂S1, ce qui est absurde.
Th´eor`eme 1.2. Soit Fkle groupe non ab´elien libre `a kg´en´erateurs (k>2), alors Fk
peut ˆetre vu comme sous-groupe d’indice fini de F2.
D´emonstration. On sait que Fkest le groupe fondamental du bouquet de kcercles :
Or, on sait que le bouquet de kcercles est un revˆetement `a k−1 feuillets du bouquet
de 2 cercles (voir par exemple [Go]). Donc Fkapparaˆıt comme un sous-groupe d’indice
k−1 dans F2.
Par exemple F4apparait dans F2comme sous-groupe d’indice 3 :
F4={a;b2;ba2b−1;baba−1b−1}.
1.2 Groupes finis de type de Lie et probl`eme du sous-groupe
de congruence
Maintenant, posons les quelques d´efinitions suivantes. Etant donn´e un entier m > 0,
on appelle sous-groupe principal de congruence de niveau met on note Γ(m) le sous-
groupe de SL2(Z) : {g=a b
c d ∈SL2(Z)|g≡Id mod m}. Autrement dit,
Γ(m) = Ker(SL2(Z)→SL2(Z/mZ)). C’est donc un sous-groupe normal d’indice fini
dans SL2(Z). Tout sous-groupe de SL2(Z) contenant un sous-groupe principal de congruence
est appel´e un sous-groupe de congruence. En particulier, tout sous-groupe de congruence
est d’indice fini. La question que l’on se pose alors pour SL2(Z), est de savoir si tout
sous-groupe d’indice fini est un sous-groupe de congruence ; cela s’appelle posseder la
propri´et´e des sous-groupe de congruence ; on dira aussi avoir la CSP (pour congruence
subgroup property). Nous allons en fait d´emontrer que SL2(Z) ne poss`ede pas la propri´et´e
des sous-groupes de congruence.
Avant de pouvoir montrer cela, il nous faut ´etudier un peu la structure de SL2(Z). On a
la
2