Schanuel-Lemma

Ein Lemma der homologischen Algebra, das zwei kurze exakte Folgen vergleicht, die am selben Modul enden und projektive (oder freie) mittlere Terme haben, und eine stabile Isomorphie zwischen den entsprechenden Syzigiemodulen behauptet: K ⊕ P' ≅ K' ⊕ P.