Bourbaki

Bài tập 1, § 4

Nhãn 011G, cố định. Trích dẫn là [Bourbaki, Tag 011G].

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

Giữ các ký hiệu của no. 2. Cho λ∈kB\lambda \in k^B. Gắn với mọi α∈B\alpha \in B các nội tự đồng cấu X−αλ,Hαλ,XαλX_{-\alpha}^{\lambda}, H_{\alpha}^{\lambda}, X_{\alpha}^{\lambda} của không gian vectơ E sao cho

X−αλ(α1,...,αn)=(α,α1,...,αn) X_{-\alpha}^{\lambda}(\alpha_1, . . . , \alpha_n) = (\alpha , \alpha_1, . . . , \alpha_n)
Hαλ(α1,...,αn)=(λ(α)−∑i=1nn(αi,α))(α1,...,αn) H_{\alpha}^{\lambda}(\alpha_1, . . . , \alpha_n) = (\lambda (\alpha )-\sum_{i=1}^nn(\alpha_i, \alpha ))(\alpha_1, . . . , \alpha_n)

Vectơ Xαλ(α1,...,αn)X_{\alpha}^{\lambda}(\alpha_1, . . . , \alpha_n) được định nghĩa bằng quy nạp theo nn bởi công thức

Xαλ(α1,...,αn)=(X−α1αXαλ−δα,α1Hαλ)(α2,...,αn) X_{\alpha}^{\lambda}(\alpha_1, . . . , \alpha_n) = (X_{-\alpha_1}^{\alpha}X_{\alpha}^{\lambda}-\delta_{\alpha ,\alpha_1}H_{\alpha}^{\lambda})(\alpha_2, . . . , \alpha_n)

trong đó δα,α1\delta_{\alpha ,\alpha_1} là ký hiệu Kronecker; ta quy ước rằng, nếu (α1,...,αn)(\alpha_1, . . . , \alpha_n) là từ rỗng, thì Xαλ(α1,...,αn)X_{\alpha}^{\lambda}(\alpha_1, . . . , \alpha_n) bằng không.

Hãy chỉ ra rằng các Bổ đề 1 và 2 vẫn đúng đối với các nội tự đồng cấu này. Do đó ta thu được một biểu diễn ρλ:a→gl(E)\rho_{\lambda}:\mathfrak{a}\rightarrow \mathfrak{g}\mathfrak{l}(E) sao cho

ρλ(xα)=Xαλ,ρλ(hα)=Hαλ,ρλ(x−α)=X−αλ \rho_{\lambda}(x_{\alpha}) =X_{\alpha}^{\lambda}, \rho_{\lambda}(h_{\alpha}) =H_{\alpha}^{\lambda}, \rho_{\lambda}(x_{-\alpha}) =X_{-\alpha}^{\lambda}
Lời giải

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

Được trích dẫn bởi

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4. Chưa được người kiểm tra.