Bourbaki

Bài tập 17, § 1

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

Cho RR là một hệ căn rút gọn và BB là một cơ sở của RR. Với mọi tập con JJ của BB, gọi WJW_J là nhóm con của W(R)W(R) sinh bởi các phép phản xạ sαs_\alpha với α∈J\alpha \in J, và gọi wJw_J là phần tử dài nhất của WJW_J. Gọi Φ\Phi là tập hợp các wJw_J.

a) Chứng minh rằng một phần tử w∈W(R)w \in W(R) thuộc Φ\Phi nếu và chỉ nếu

W(B)⊆R+(B)∪(−B). W(B) \subseteq R_+(B) \cup (-B).
(Để chứng minh rằng điều kiện là đủ, ký hiệu J1J_1 là tập hợp các α∈B\alpha \in B sao cho w(α)∈−Bw(\alpha) \in -B và đặt J=−w(J1)J = -w(J_1). Nếu α∈J1\alpha \in J_1, thì w(α)∈−Jw(\alpha) \in -J và wJw(α)∈Bw_J w(\alpha) \in B;

nếu α∈B−J1\alpha \in B - J_1, thì wJw(α)∈R+w_J w(\alpha) \in R_+: nếu không, w(α)w(\alpha) sẽ dương và wJw(α)w_J w(\alpha) âm, điều này sẽ suy ra rằng w(α)w(\alpha) thuộc vào hệ con sinh bởi các β∈J\beta \in J và rằng α\alpha thuộc vào hệ con sinh bởi các β∈J1\beta \in J_1, điều này là vô lý. Suy ra rằng wJw=1.w_J w = 1.

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.