习题 21, § 4
标签 0555,永久不变。引用为 [Bourbaki, Tag 0555]。
交换代数, VII, 577
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 P 为 Dedekind 域 A 上的投射模。表明,如果 P 不是有限生成的,则它是自由的。 (凭借习题 20,我们可以将 P 写成无限直和 ,其中,对于每个 A,b_\lambda 和 c_\lambda 是 A 的理想。 利用习题 19,P = L Q,其中 L 同构于(I无限)和,其中a是A的理想。然后应用代数、章II, § 2的习题3。)
解答
尚未写出解答。