Bourbaki

习题 7, § 1

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

交换代数, I, 40

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

令U, V, WU,\ V,\ W为三个可交换的群和f:U→V, g:V→Wf : U \to V,\ g : V \to W同态。 (a) 考虑图表

0⟶U→αU×V→βV⟶0f↓h↓−g↓0⟶V→γW×V→δW⟶0 \begin{array}{ccccccccc} 0 & \longrightarrow & U & \xrightarrow{\alpha} & U \times V & \xrightarrow{\beta} & V & \longrightarrow & 0 \\ & & f \downarrow & & h \downarrow & & -g \downarrow & \\ 0 & \longrightarrow & V & \xrightarrow{\gamma} & W \times V & \xrightarrow{\delta} & W & \longrightarrow & 0 \end{array}

其中α(u)=(u,f(u)), β(u,v)=v−f(u), γ(v)=(g(v),v), δ(w,v)=w−g(v), h(u,v)=(g(f(u)),v)\alpha(u) = (u, f(u)),\ \beta(u, v) = v - f(u),\ \gamma(v) = (g(v), v),\ \delta(w, v) = w - g(v),\ h(u, v) = (g(f(u)), v)。证明这个图表是可交换的并且它的行是精确的。 (b) 从 (a) 和 no. 4 正合序列中的命题 2 推出

0→Ker⁡(f)→Ker⁡(gof)→Ker⁡(g)→Coker⁡(f)→Coker⁡(gof)→Coker⁡(g)→0.0 \to \operatorname{Ker}(f) \to \operatorname{Ker}(g_{of}) \to \operatorname{Ker}(g) \to \operatorname{Coker}(f) \to \operatorname{Coker}(g_{of}) \to \operatorname{Coker}(g) \to 0.

直接给出这个正合序列的定义。

解答

尚未写出解答。

被以下引用

无。

引用了

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