Bourbaki

Bài tập 2, § 3

Nhóm Lie và đại số Lie, III, 372

Giả sử rằng K là compact địa phương. Cho G là một nhóm Lie có số chiều hữu hạn n.

(a) Cho ϕ\phi là một tự đồng cấu étale của G có hạt nhân hữu hạn. Cho μ\mu là một độ đo Haar trái của G. Khi đó ϕ\phi là thực sự và

ϕ(μ)=α⋅μ∣ϕ(G)trong đoˊα=Card⁡(Ker⁡ϕ)mod⁡det⁡L(ϕ). \phi(\mu) = \alpha \cdot \mu|\phi(G) \quad \text{trong đó} \quad \alpha = \frac{\operatorname{Card}(\operatorname{Ker} \phi)}{\operatorname{mod} \operatorname{det} L(\phi)}.
(Sử dụng Mệnh đề 55.)

(b) Giả sử rằng G là compact. Cho ϕ\phi là một tự đồng cấu étale của G. Khi đó hạt nhân ϕ\phi là hữu hạn, ϕ(G)\phi(G) có chỉ số hữu hạn trong G và

Card(Ker ϕ)Card(G/ϕ(G))=mod det⁡L(ϕ). \frac{\mathrm{Card}(\mathrm{Ker}\,\phi)}{\mathrm{Card}(G/\phi(G))} = \mathrm{mod}\,\det L(\phi).
(Sử dụng (a) để biến đổi μ(G)\mu(G).) (c) Giả sử rằng G là compact và giao hoán. Cho r∈Zr \in \mathbf{Z} là sao cho r.1≠0r.1 \neq 0 trong K và cho ϕ\phi là tự đồng cấu x↦xrx \mapsto x^r của G. Khi đó
Card(Ker ϕ)Card(G/ϕ(G))=(mod r.1)n. \frac{\mathrm{Card}(\mathrm{Ker}\,\phi)}{\mathrm{Card}(G/\phi(G))} = (\mathrm{mod}\,r.1)^n.
(Quan sát rằng L(ϕ)L(\phi) là phép vị tự có tỉ số r theo § 2, Hệ quả của Mệnh đề 7.)

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.