Bourbaki marks this one as harder than the rest.
令H和K是Rn的两个闭子群,使得H+K是闭子群。
a) 证明,如果V(或W)是最大的向量子空间包含在H(或K)中,则V+W 是最大的向量子空间在G中,因而d(H)+d(K)=d(H∩K)+d(H+K)[注,G/(V+W)的有理秩是有限的,因而G不能包含不包含在V+W中]。
b) Let U be a subspace complementary to V+W, such that G is the direct sum of V+W and M=G∩U, and such that H∩K is the direct sum of (V+W)∩(H∩K) and L=H∩K∩U (Exercise 5). 令H′(分别为K′)为G的分解中H(分别为K)的点分量的M由……组成到直和的子群 V+W 和 M。 显示 M=H′+K′ 和 H′∩K′=L。
c) 如果我们放入H′′=H∩(V+W)和K′′=K∩(V+W),则证明r(H′′)+r(K′′)=r(H′′∩K′′)+r(H′′+K′′)(对于V∩W={o}的情况,约化,并证明H′′∩K′′是V∩K′′和W∩H′′的直和。
d) 表明
r(H)+r(K)=r(H∩K)+r(H+K) [使用c)和习题4,注意
r(H)=r(H′)+r(H′′)和
r(K)=r(K′)+r(K′′)]。