令 G 为有限维连接实李群和 φ:G→GL(n,C) 与有限核的连续同态。那么φ((G,G))在GL(n,C)中闭合。 (利用习题7(b)和40(a),约化G是半单群S及其根式R的半直乘积的情况。φ((G,R))的每个元素都是单能的,因此φ((G,R))是闭的。 φ((G,R))固定点的向量子空间V1为={0},在φ(G)下考虑Cn/V1与归纳的争论,并利用φ(S)的完全约简性,可知可以写
Cn=V1⊕⋯⊕Vq
其中对于所有 i,每个 Vi 在 φ(S) 和 φ((G,R))(Vi)⊂V1⊕⋯⊕Vi−1 下都是稳定的。另一方面,φ(S) 是闭合的(习题 40 (b))。最后,φ((G,G))=φ(S)⋅φ((G,R))。)