习题 8, § 1
标签 0BYV,永久不变。引用为 [Bourbaki, Tag 0BYV]。
一般拓扑, VII
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 设是的两个闭子群。证明如果 等于 ,则 在 中闭合。 [给定利用习题7和假设,约化对于和所有生成*相同*向量子空间;如果(或)表示最大的子空间包含在(或)中,则在习题 5的帮助下显示是由生成的,并且由生成;最后,分裂的向上变成的直和和离散的群,由利用习题7。]
b) 由a)和习题 6 推导出,如果和是的两个闭子群,使得是闭子群,则也是闭子群。
c) 从 b) 推导出,如果 和 是 的*两个*闭子群,使得 ,则子群 是闭的。
解答
尚未写出解答。
被以下引用
无。