话题
搜索

精确函数


A类函子之间类别如果保持了序列的精确性,则称之为精确,或者等效地,如果它转换短精确序列进入之内短精确序列.

A类协变函子称为left exact,如果它保持了所有序列的准确性

 0-->A-->B-->C,

如果它保持了所有序列的精确性,则称为右精确

 A-->B-->C-->0。

(“左”和“右”在相应定义中互换对于反变函子.)

A类函子是准确的若(iff)它是左右都准确。

张量积函子准确无误。对于每个模块 M(M)超过单元环 对,的协变函子 Hom_R(M,-)逆变的函子 Hom_R(-,M)保持精确;第一个是准确的若(iff) M(M)是投射的,第二个若(iff) M(M)是内射的。


另请参见

扁平模块,霍姆,内射模块,投影(Projective)模块,短精确序列

此条目由贡献玛格丽塔巴里尔

与Wolfram一起探索| Alpha

工具书类

Herrlich,H.和Strecker,G.E。范畴理论:导论。马萨诸塞州波士顿:Allyn和Bacon,第202页,1973年。

引用的关于Wolfram | Alpha

精确函数

引用如下:

玛格丽塔·巴里尔.“精确仿函数”。来自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/ExactFunctor.html

主题分类