自反模的包络和覆盖

对任意的两个环R、S,设模类F■R-Mod,Z■Mod-S使得F*■Z和Z*■F,我们证明了如果每一个自反左R-模有一个自反的F-包络,那么每一个自反右S-模有一个自反的Z-覆盖。