习题 18, § 2
标签 0032,永久不变。引用为 [Bourbaki, Tag 0032]。
代数, VIII, p. 42
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
设A为E的局部环、E自由A-模、非零元素。设为E的基,其中的非零的坐标的数是最小可能的。令此基中为的表示;用 J 表示指标 的集合,使得 。
a) 证明 A 的正确理想中的 属于没有一个是由其他生成的。 b) 令 F 和 G 为 E 的补子模,使得 ;对于,将与和一起写。证明的的族由……组成和 - J的是E的基(如果,观察J属于中的坐标为A 的最大理想,并应用习题 17 d))。推断存在 F 的自由子模且包含 并且是 F 的直因子。
c) 证明每个射影 A-模都是自由的(对于模的可数族为生成元的情况,使用卡普兰斯基的定理 (II, §2, p. 386, 习题 2) 到约化,并应用 b))。
解答
尚未写出解答。