Bourbaki marks this one as harder than the rest.
a) Soit Γ un sous-groupe compact de G=GL(n,Qp). Montrer qu’il existe un conjugué de Γ qui est contenu dans GL(n,Zp). (Si T est un réseau de Qpn par rapport à Zp (AC, VII, § 4, déf. 1), montrer que le stabilisateur de T dans Γ est ouvert dans Γ, donc d’indice fini, et ∑γ∈ΓγT est un réseau stable par Γ.) b) En déduire que Gf est la réunion des conjugués de GL(n,Zp). c) En déduire que tout sous-groupe fini Φ de GL(n,Qp) a pour ordre un diviseur de an(p), où an(p) est défini par
an(p)=(pn−1)(pn−p)…(pn−pn−1)si p=2an(p)=2n2(2n−1)(2n−2)…(2n−2n−1)si p=2.
(Grâce à a), on peut supposer que Φ⊂GL(n,Zp). Utiliser alors l’exerc. 4).
d) Montrer que tout sous-groupe fini de SL(n,Qp) a pour ordre un diviseur de sn(p), où
sn(p)=p−1an(p) pour p=2 et sn(2)=2an(2).