模的余迹

英文

reject of module

简介

模的迹的对偶概念.若U是一模类，M是一个模(M不一定属于U)，则模M总有子模K，使得商模M/K由U余生成，而且M一定有这样的惟一的最小子模M′存在，M′就称为U在模M中的余迹，记为Rej_M(U)，并且有

模类U余生成模M的充分必要条件是Rej_M(U)=0.