Bourbaki

Bài tập 4, § 7

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

Bourbaki marks this one as harder than the rest.

Cho gg là một đại số Lie, aa là một đại số con dưới bất biến của gg, r(a)r(a) là căn của aa và ρ\rho là một biểu diễn hữu hạn chiều của aa. Để ρ\rho có một mở rộng hữu hạn chiều lên gg, điều kiện cần và đủ là Dg∩r(a)\mathscr{D}g \cap r(a) được chứa trong iđêan lũy linh lớn nhất của ρ\rho. (Để chứng minh tính đủ, tiến hành như sau; cho g=g0⊃g1⊃⋯⊃gk=ag = g_0 \supset g_1 \supset \cdots \supset g_k = a là một chuỗi phân tích của gg với các tính chất của Bài tập 11 (b) của § 6. Chứng minh bằng quy nạp sự tồn tại của một mở rộng ρi\rho_i của ρ\rho lên gig_i, mà iđêan lũy linh lớn nhất của nó chứa Dg∩r(gi)\mathscr{D}g \cap r(g_i). Theo ký hiệu của Bài tập 11 (b) của § 6, sự chuyển từ ρi+1\rho_{i+1} sang ρi\rho_i suy ra từ Định lý 1 khi hih_i là đơn, hoặc khi hih_i là 1-chiều và

Dg∩r(gi+1)=Dg∩r(gi). \mathscr{D}g \cap r(g_{i+1}) = \mathscr{D}g \cap r(g_i).
Khi Dg∩r(gi+1)≠Dg∩r(gi)\mathscr{D}g \cap r(g_{i+1}) \neq \mathscr{D}g \cap r(g_i), có thể giả sử rằng hi⊂Dg∩r(gi)h_i \subset \mathscr{D}g \cap r(g_i). Khi đó r(gi)=r(g)∩gir(g_i) = r(g) \cap g_i (§5§ 5, Bài tập 10) và Định lý 1 có thể được áp dụng.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.