Bourbaki

习题 19, § 2

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

一般拓扑, III, 302

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

令G,G′,G′′G, G', G''为三个拓扑群;令ff为GG到G′G'的严格态射,并令gg为F′F'到G′′G''的严格态射。证明如果gg的f(G)f(G)包含核g‾(e′′)\overline{g}(e'')(e′′e''是G′′G''的单位元素),那么g∘fg \circ f是GG的严格态射 G′′G''(cf.no. 7,命题21 的推论)。给出例,其中ff是单射且前面的条件不满足,并且g∘fg \circ f不是GG的严格态射进入G′′G''(cf.no. 7,注以下命题20)。

解答

尚未写出解答。

被以下引用

引用了

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