Bourbaki

习题 41, § 9

标签 0AL4,永久不变。引用为 [Bourbaki, Tag 0AL4]。

李群与李代数, III, 408

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 G 为有限维连接实李群和 φ:G→GL(n,C)\varphi : G \to \mathbf{GL}(n, \mathbf{C}) 与有限核的连续同态。那么φ((G,G))\varphi((G, G))在GL(n,C)\mathbf{GL}(n, \mathbf{C})中闭合。 (利用习题7(b)和40(a),约化G是半单群S及其根式R的半直乘积的情况。φ((G,R))\varphi((G, R))的每个元素都是单能的,因此φ((G,R))\varphi((G, R))是闭的。 φ((G,R))\varphi((G, R))固定点的向量子空间V1V_1为≠{0}\neq \{0\},在φ(G)\varphi(G)下考虑Cn/V1\mathbf{C}^n/V_1与归纳的争论,并利用φ(S)\varphi(S)的完全约简性,可知可以写

Cn=V1⊕⋯⊕Vq \mathbf{C}^n = V_1 \oplus \cdots \oplus V_q

其中对于所有 i,每个 ViV_i 在 φ(S)\varphi(S) 和 φ((G,R))(Vi)⊂V1⊕⋯⊕Vi−1\varphi((G, R))(V_i) \subset V_1 \oplus \cdots \oplus V_{i-1} 下都是稳定的。另一方面,φ(S)\varphi(S) 是闭合的(习题 40 (b))。最后,φ((G,G))=φ(S)⋅φ((G,R))\varphi((G, G)) = \varphi(S) \cdot \varphi((G, R))。)

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。