习题 8, § 2
标签 04LR,永久不变。引用为 [Bourbaki, Tag 04LR]。
交换代数, IV, 292
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令为诺特环,为有限生成的模,子模为,为的理想。令为中的约化初等分解。证明上的-adic 拓扑下中的闭包等于,其中是的集合,使得。 (首先考虑在中是主的情况,并证明如果,在中是稠密的;继续讨论§ 1和章的一般情况利用习题15 111,§ 3, no. 4,推论 1 至定理 3)。
解答
尚未写出解答。