exact sequences for modules with finite projective dimension
Proposition. Let be a ring and be a (left) -module, such that . If
is an exact sequence of -modules, such that each is projective, then is projective.
Proof. Since , then there exists exact sequence of -modules
Note that sequences
are projective resolutions of . Let and be maps take from these resolutions. Then generalized Schanuel’s lemma implies that and are projectively equivalent. But and . This means, that there are projective modules such that
Therefore is a direct summand of a free module (since is), which completes
the proof.