设R是含幺环,若左R一模M满足：（1）存在PC模正合列：…→C（?）RP1→C（?）RP0→C（?）RP0→C（?）RP1→…（2）M（?）ker（C（?）RP0→C（?）RP1）.（3）该正合列HomR（-,FC）正合,则称......