摘要
在Abelian范畴中,如果f:A→B和g:B→C是两个态射,则存在(1)Im f∩Ker g=f(Ker gf);(2)Im f+Ker g=g-1(Im gf).虽然在拉回正合范畴(C,E)中一般没有像的概念,但也有与(1)(2)性质相类似的结论,这就是Ker f→Ker gf→Ker g×BCoim f和Ker g→Ker gЦDCoim f→Coim gf均为E-短正合列,其中D=Ker g×BCoim gf.
Let f:A→B and g:B→C be two morphisms in an Abeilian category.Then there exist:(1)Im f∩Ker g=f(Ker gf);(2)Im f+Ker g=g-1(Im gf).Uncommonly,there aren't the version of image in the pull-back exact category(C,E),but the corresponding properties are obtained.That is Ker f→Ker gf→Ker g×BCoim f and Ker g→Ker gЦDCoim f→Coim gf are E-short exact sequence,where D=Ker g×BCoim f.
出处
《福建师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2012年第1期4-7,共4页
Journal of Fujian Normal University:Natural Science Edition
基金
国家自然科学基金资助项目(11071040)
福建省自然科学基金资助项目(2011J01004)
关键词
核
余像
拉回
推出
正合列
kernel
coimage
pullback
pushout
exact sequence