习题 18, § 5
标签 04CT，永久不变。引用为 [Bourbaki, Tag 04CT]。
交换代数, II, 152
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
设 A 为环，P 为忠实有限生成射影 A-模，B A-代数 ，E 左B-模和 F A-模 。显示典范同态
定义在代数、章 VIII, § 1, no. 4 中，是双射的。 (约化适用于A为局部环的情况，如习题17(c)中所示；在这种情况下，应用代数、章VIII, § 1、注意到中的习题9，和为规范同构 A-模。）
证明 F 的子 A 模块的集合的严格递增的双射存在于 E 的子 B 模块的集合上（同样的方法）。
解答
尚未写出解答。