习题 20, § 4
标签 0554，永久不变。引用为 [Bourbaki, Tag 0554]。
交换代数, VII, 576
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
设 A 为 Dedekind 域，P 为 P 的射影A-模，N 子模。证明 N 是射影，模的直和与 A 的理想同构。（注意可能仅限于 P 是自由的情况。然后按照习题 16 进行，使用基于 的超限归纳论证代数、章 VII, § 3、定理 1。）
解答
尚未写出解答。