Bourbaki

习题 5, § 7

标签 0AHW,永久不变。引用为 [Bourbaki, Tag 0AHW]。

李群与李代数, III, 392

Bourbaki marks this one as harder than the rest.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

(a) 设Γ\Gamma是G=GL(n,Qp)G = \mathbf{GL}(n, \mathbf{Q}_p)的紧子群。证明Γ\Gamma存在共轭,它包含在GL(n,Zp)\mathbf{GL}(n, \mathbf{Z}_p)中。 (如果TT是Qpn\mathbf{Q}_p^n相对于Zp\mathbf{Z}_p的格子(交换代数,章VII, § 4,定义1),证明Γ\Gamma中TT的稳定子在Γ\Gamma开,因此有限指标和∑γ∈ΓγT\sum_{\gamma \in \Gamma} \gamma T的格子是在Γ\Gamma下稳定的。)

(b) 推出GfG_f是GL(n,Zp)\mathbf{GL}(n, \mathbf{Z}_p)的共轭中的并。

(c) 推出GL(n,Qp)\mathbf{GL}(n, \mathbf{Q}_p)的每个有限子群Φ\Phi都有an(p)a_n(p)的阶除子,其中an(p)a_n(p)定义为

an(p)=(pn−1)(pn−p)…(pn−pn−1)if p≠2an(p)=2n2(2n−1)(2n−2)…(2n−2n−1)if p=2. a_n(p) = (p^n - 1)(p^n - p) \ldots (p^n - p^{n-1}) \quad \text{if } p \neq 2 \\ a_n(p) = 2^{n^2}(2^n - 1)(2^n - 2) \ldots (2^n - 2^{n-1}) \quad \text{if } p = 2.
(使用(a),可以假设Φ⊂GL(n,Zp)\Phi \subset \mathbf{GL}(n, \mathbf{Z}_p)。然后使用习题 4。)

(d) 证明SL(n,Qp)\mathbf{SL}(n, \mathbf{Q}_p)的每个有限子群都有sn(p)s_n(p)的阶除子,其中sn(p)=an(p)p−1s_n(p) = \frac{a_n(p)}{p-1}代表p≠2p \neq 2和sn(2)=an(2)2s_n(2) = \frac{a_n(2)}{2}。

解答

尚未写出解答。

被以下引用

引用了

  • Commutative Algebra, Chapter VII, § 4, Definition 1 not yet on this site: AC VII
  • Exercise 4
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。