Bourbaki

Bài tập 12, § 6

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

Cho gg là một đại số Lie, rr là căn của nó và DD là một đạo hàm của gg. (a) Nếu D(r)={0}D(r) = \{0\}, DD là nội. (Gọi cc là bộ trung tâm của rr trong gg. Biểu diễn phụ hợp của gg xác định một biểu diễn x∗↦ρ(x∗)x^* \mapsto \rho(x^*) của g∗=g/rg^* = g/r trên cc. Mặt khác, [D(g),r]⊂D([g,r])+[g,D(r)]={0}[D(g), r] \subset D([g, r]) + [g, D(r)] = \{0\}, do đó D(g)⊂cD(g) \subset c và do đó DD xác định một ánh xạ tuyến tính D∗:g∗→cD^*: g^* \to c. Chứng minh rằng

D∗([x∗,y∗])=ρ(x∗)D∗y∗−ρ(y∗)D∗x∗ D^*([x^*, y^*]) = \rho(x^*)D*y^* - \rho(y^*)D*x^*
với mọi x∗,y∗x^*, y^* trong g∗g^*. Suy ra rằng tồn tại a∈ca \in c sao cho D∗x∗=ρ(x∗)aD^*x^* = \rho(x^*)a với mọi x∗∈g∗x^* \in g^* (xem no. 2, Nhận xét 2), do đó Dx=[x,a]Dx = [x, a] với mọi x∈gx \in g.) (b) Nếu DD trùng với một đạo hàm nội của gg trên rr, DD là nội. (Áp dụng (a).)

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.