Schanuel's Lemma

- Pure Mathematics -
Algebra Dictionary
A homological algebra lemma that compares two short exact sequences ending at the same module with projective (or free) middle terms, asserting a stable isomorphism between the corresponding syzygy modules: K ⊕ P' ≅ K' ⊕ P.