证明了在Abel范畴中几个有趣的正合交换图命题,并应用其思想得到了Abel范畴的同态定理、短四引理和单满同态分解定理,统一了环模、BCK-代数、交换群层和粗糙模范畴的相关结果.
Prove several interesting propositions about exact sequences commutative diagram in Abelian categories.Along with the ideas of these propositions,the homomorphism theorem,the short four lemma and the homomorphisms decomposition theorem for Abelian categories are given,which generalize the related arguments of the categories of modules,BCK-alegbras,sheaf of abelian groups and rough modules.