Bourbaki

习题 7, § 14

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

代数, VIII, p. 270

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

令 A 为交换环,M 和 N A-模,以及 u:M→Nu: M\rightarrow N A-线性映射。对于 A 的每个最大理想 m\mathfrak{m},用 uu 诱导的 u(m)u(\mathfrak{m}) 同态 M/mM→N/mNM/\mathfrak{m}M\rightarrow N/\mathfrak{m}N 表示。

a) 假设 N 是有限生成的,并且对于 A 的每个最大理想 m\mathfrak{m},u(m)u(\mathfrak{m}) 是满射。证明 uu 是满射(应用 VIII 的引理 1,p. 81 到 uu 的余核)。

b) 假设 M 和 N 是有限生成的,N 是射影的,并且对于 A 的每个最大理想 m\mathfrak{m},u(m)u(\mathfrak{m}) 是双射的。证明 uu 是双射的(使用相同的方法)。

c) 假设 M 和 N 是射影且有限生成的,并且 u(m)u(\mathfrak{m}) 对于 A 的每个最大理想 m\mathfrak{m} 是内射的。证明从 M 到 N 的直因子子模(应用 a)到同态 tu)^tu),uu 诱导同构。

d) 设 B 为 A-代数;假设 A-模 B 是忠实的、射影的、有限生成的。证明 A 是 A-模 B 的直因子。证明如果 B-模同态 u(B):M(B)→N(B)u_{(B)}: M_{(B)}\rightarrow N_{(B)} 是双射,则 uu 也是双射。证明如果 B-模 M(B)M_{(B)} 是射影,那么 A-模 M 也是射影。

解答

尚未写出解答。

被以下引用

引用了

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