预可加范畴

(重定向自预加法范畴

范畴论中,一个预可加范畴是使得任两个对象间的态射集带有交换群结构,并使得态射合成为双线性运算之范畴。

形式地说,预可加范畴是在交换群的幺半范畴浓化的范畴。预加法范畴有时亦称Ab-范畴,其中的Ab是交换群范畴的缩写。旧文献有时也将预加法范畴称为加法范畴;在此则采当代观点,区别预加法范畴与可加范畴

一般而言,固定一个交换环,我们可以定义-预可加范畴为在-模的幺半范畴上浓化的范畴,即:使任两个对象间的态射集-模,并使态射合成为上的双线性运算之范畴。取则回到原始定义。

例子

编辑

预可加范畴最直接的例子是交换群范畴Ab;交换性在此不可或缺,它保证两个同态的和仍是同态。

其它常见例子包括:

以上两例实则皆是可加范畴

  • 任何环皆可视为只有一个对象的范畴,态射对应于环的元素,并透过环的乘法运算合成;这是个预可加范畴,其同态集是该环对加法的交换群。

基本性质

编辑

由于每个同态集 都是交换群,其中遂有零元素,这是 零态射。由于态射合成是双线性的,零态射在任一侧同任一态射的合成必为零态射;如果我们将合成类比于乘法,则上述性质可类比于 ;合成的双线性也可以依此设想为乘法分配律

 ,则同态集 对加法与合成构成一个,称为 自同态环。反之,借由将环看成只有一个对象的预加法范畴,任何环都可以表成某个预加法范畴的自同态环。范畴论学者惯于将 与对应的单对象范畴等量齐观,一个爱作怪的范畴论学者大可以将环定义为只有一个元素的预可加范畴。

依此观点,预可加范畴可视作的推广(“范畴化”技术)。许多环论概念,如理想Jacobson根商环等等,皆可推广至此框架。

加法函子

编辑

 为预加法范畴,若一个函子 使 为群同态,则称之为加法函子。形式地说,加法函子是浓化范畴之间的浓化函子。

例如,设 分别为 派生的单对象预加法范畴,则 的加法函子对应于 的环同态。

 为范畴,且 为预加法范畴,则函子范畴 也构成预可加范畴,原因在于自然变换能自然地相加。若 也是预加法范畴,则其间的加法函子范畴 也是预可加范畴。

后者导向的推广:设 为预可加范畴,则 称为 上的(广义)模范畴。一般意义下的左模对应于 只有一个对象的情形。一如环的情形,模论的许多概念皆可推广到此框架下。

双积

编辑

可以证明:预可加范畴中的有限 若存在,则零态射与 导出的态射 使 成为双积,对内射 则成为 上积;相对地,有限上积也带有自然的双积结构。对任何对象 都存在双积的预可加范畴称为可加范畴

核与上核

编辑

由于预可加范畴中有零态射,我们可以定义一个态射 的核与上核为:

 
 

其中的 分别为一对态射的等化子上等化子。利用态射集上的群结构与合成的双线性,等化子与上等化子也能够用核与上核刻划:

 
 

对于交换群或模的范畴,核与上核分别对应于抽象代数的定义,但是在一般的预可加范畴中,态射不一定有核与上核。对所有态射都有核与上核的范畴称为预阿贝尔范畴

文献

编辑
  • Nicolae Popescu; 1973, Abelian Categories with Applications to Rings and Modules, Academic Press, Inc.