Bourbaki

习题 18, § 2

标签 0032,永久不变。引用为 [Bourbaki, Tag 0032]。

代数, VIII, p. 42

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

设A为E的局部环、E自由A-模、xx非零元素。设(ei)i∈I(e_i)_{i\in I}为E的基,其中xx的非零的坐标的数是最小可能的。令此基中x=∑aieix=\sum a_ie_i为xx的表示;用 J 表示指标 i∈Ii\in I 的集合,使得 ai≠0a_i\not= 0。

a) 证明 A 的正确理想中的 aia_i 属于没有一个是由其他生成的。 b) 令 F 和 G 为 E 的补子模,使得 x∈Fx\in F;对于i∈Ii\in I,将ei=fi+gie_i=f_i+g_i与fi∈Ff_i\in F和gi∈Gg_i\in G一起写。证明j∈Jj\in J的fjf_j的族由……组成和i∈Ii\in I - J的eie_i是E的基(如果gj=∑k∈Ibjkekg_j=\sum_{k\in I}b_{jk}e_k,观察J属于中j,kj, k的坐标bjkb_{jk}为A 的最大理想,并应用习题 17 d))。推断存在 F 的自由子模且包含 xx 并且是 F 的直因子。

c) 证明每个射影 A-模都是自由的(对于模的可数族为生成元的情况,使用卡普兰斯基的定理 (II, §2, p. 386, 习题 2) 到约化,并应用 b))。

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。