设R是IF环，M是任意R-模,则M是Cotorsion模当且仅当M可以分解为内射模与reduced Cotorsion模的直和，且此时该分解在同构意义下是唯一......