令U, V, W为三个可交换的群和f:U→V, g:V→W同态。 (a) 考虑图表
00⟶⟶Uf↓VαγU×Vh↓W×VβδV−g↓W⟶⟶00
其中α(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)。证明这个图表是可交换的并且它的行是精确的。 (b) 从 (a) 和 no. 4 正合序列中的命题 2 推出
0→Ker(f)→Ker(gof)→Ker(g)→Coker(f)→Coker(gof)→Coker(g)→0.
直接给出这个正合序列的定义。