习题 15, § 1
标签 04K9,永久不变。引用为 [Bourbaki, Tag 04K9]。
交换代数, IV, 288
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
设 A 为 E 的诺特环、E 有限生成A-模、F 子模,m 为 A 的理想。为了使 F 在 m 进数拓扑下闭于 E,对于每个理想 , 是充分必要的。 (约化对于F = 0的情况,使用章111,§ 3, no. 2,推论到命题5,并将推论2应用到no. 1到元素的命题2,其中。)
解答
尚未写出解答。