挠理论局部化技巧

设R是有单位元的环,τ是左R-模范畴上的遗传挠理论,M和N是左R-模.一个从M到N的τ-态射是指一个从M的τ-稠密子模到N/Tτ(N)的左R-模同态的等价类,其中Tτ(N)是N的唯一极大的τ-挠子模.所有从M到N的τ-态射的集合homR(M,N)构成一个阿贝尔群.本文讨论了τ-态射与hom函子的一些性质.作为应用,本文用函子hom刻画了τ-单同态,τ-满同态等概念.