Bourbaki

习题 25, § 2

标签 04FQ,永久不变。引用为 [Bourbaki, Tag 04FQ]。

交换代数, III, 242

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

令AA为拓扑环,EE为有限生成的左AA模块。表明EE拓扑(称为规范)与其AA模块结构和更细比其他所有结构兼容(在形式Asn/RA_s^n/R中写入EE,给出AsnA_s^n乘积拓扑和EE商拓扑)。如果E′E'是拓扑AA模,u:E→E′u : E \to E'是AA线性映射,则证明uu与EE上的规范拓扑连续。如果进一步 E′E' 是有限生成的并且具有规范的拓扑,则 uu 是严格的态射。如果 AA 上的拓扑由过滤 (An)(A_n) 定义,则证明 EE 上的规范拓扑由过滤 (AnE)(A_n E) 定义。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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