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.

Principle

If 0 → K → P → M → 0 and 0 → K' → P' → M → 0 are exact with P and P' projective, then the kernel modules satisfy a cancellation-type relation giving an isomorphism K ⊕ P' ≅ K' ⊕ P; the lemma captures the invariance of syzygies up to adding projectives.

Demonstration

In the category of modules over a ring, given two projective presentations of M, Schanuel's Lemma constructs explicit splittings and maps showing that the direct sum of one kernel with the other's middle projective is isomorphic to the symmetric direct sum, which is used to compare ranks over PIDs or to relate projective dimensions.

Misapplication

Applying the lemma when the middle terms are not projective, or to non-exact sequences, invalidates the conclusion; similarly, confusing it with cancellation of arbitrary summands (without projectivity) leads to wrong equivalences.

Consequence

Provides a key tool to show that projective dimension and stable equivalence of modules are well defined, underlies computations in K-theory, and permits transfer of properties between different resolutions by absorbing projective summands.

Reversal

If one drops projectivity, the stable isomorphism can fail and kernels may not be comparable by adding arbitrary summands; the reversed statement highlights the necessity of projective hypotheses for the cancellation behaviour.

Boundary

Requires short exact sequences with projective (or free) middle terms in an abelian category of modules; it does not extend to arbitrary objects lacking projectives or to contexts where direct-sum cancellation fails.

Semantic Tension

Close to but distinct from the horseshoe lemma and Schanuel's conjecture (a different subject): horseshoe builds combined resolutions, while Schanuel compares syzygies up to projective summands; confusion with other 'Schanuel' usages is common and must be avoided.

Synthesis

Schanuel's Lemma formalizes the stable invariance of syzygies under different projective presentations: kernels of projective covers differ only by adding projective summands, so modules' syzygies are comparable up to these trivial projective pieces.