Bourbaki

Exercice 5, § 7

Groupes et algèbres de Lie, III

Bourbaki marks this one as harder than the rest.

a) Soit Γ\Gamma un sous-groupe compact de G=GL(n,Qp)G = \mathbf{GL}(n, \mathbf{Q}_p). Montrer qu’il existe un conjugué de Γ\Gamma qui est contenu dans GL(n,Zp)\mathbf{GL}(n, \mathbf{Z}_p). (Si T est un réseau de Qpn\mathbf{Q}_p^n par rapport à Zp\mathbf{Z}_p (AC, VII, § 4, déf. 1), montrer que le stabilisateur de T dans Γ\Gamma est ouvert dans Γ\Gamma, donc d’indice fini, et ∑γ∈ΓγT\sum_{\gamma \in \Gamma} \gamma T est un réseau stable par Γ\Gamma.) b) En déduire que GfG_f est la réunion des conjugués de GL(n,Zp)\mathbf{GL}(n, \mathbf{Z}_p). c) En déduire que tout sous-groupe fini Φ\Phi de GL(n,Qp)\mathbf{GL}(n, \mathbf{Q}_p) a pour ordre un diviseur de an(p)a_n(p), où an(p)a_n(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. a_n(p) = (p^n - 1)(p^n - p)\ldots(p^n - p^{n-1}) \quad \text{si } p \neq 2 \\ a_n(p) = 2^{n^2}(2^n - 1)(2^n - 2)\ldots(2^n - 2^{n-1}) \quad \text{si } p = 2.

(Grâce à a), on peut supposer que Φ⊂GL(n,Zp)\Phi \subset \mathbf{GL}(n, \mathbf{Z}_p). Utiliser alors l’exerc. 4).

d) Montrer que tout sous-groupe fini de SL(n,Qp)\mathbf{SL}(n, \mathbf{Q}_p) a pour ordre un diviseur de sn(p)s_n(p), où

sn(p)=an(p)p−1 pour p≠2 et sn(2)=an(2)2. s_n(p) = \frac{a_n(p)}{p - 1} \text{ pour } p \neq 2 \text{ et } s_n(2) = \frac{a_n(2)}{2}.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.