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.

Prinzip

Sind 0 → K → P → M → 0 und 0 → K' → P' → M → 0 exakt mit P, P' projektiv, so erfüllen die Kerne eine Art Kancellation: K ⊕ P' ≅ K' ⊕ P; das Lemma beschreibt die Invarianz der Syzigien bis auf Hinzufügung projektiver Summanden.

Demonstration

In der Kategorie der Moduln über einem Ring konstruiert das Schanuel-Lemma aus zwei projektiven Präsentationen von M explizite Splittings und Abbildungen, die zeigen, dass die direkte Summe eines Kerns mit dem projektiven Mittel des anderen isomorph zu der symmetrischen direkten Summe ist; dies wird genutzt, um Ränge über PIDs zu vergleichen oder projektive Dimensionen in Beziehung zu setzen.

Fehlanwendung

Das Lemma anzuwenden, wenn die mittleren Terme nicht projektiv sind oder die Folgen nicht exakt sind, macht die Schlussfolgerung ungültig; ebenso führt die Verwechslung mit Kancellation beliebiger Summanden (ohne Projektivität) zu falschen Äquivalenzen.

Konsequenz

Es liefert ein zentrales Werkzeug, um zu zeigen, dass projektive Dimension und stabile Äquivalenz von Moduln wohldefiniert sind, untermauert Berechnungen in der K-Theorie und erlaubt das Übertragen von Eigenschaften zwischen verschiedenen Auflösungen durch Absorption projektiver Summanden.

Umkehrung

Lässt man die Projektivität fallen, so kann die stabile Isomorphie fehlschlagen und Kerne sind nicht mehr durch bloßes Hinzufügen beliebiger Summanden vergleichbar; dies macht deutlich, wie notwendig die projektiven Voraussetzungen für das Kancellationsverhalten sind.

Abgrenzung

Voraussetzung sind kurze exakte Folgen mit projektiven (oder freien) mittleren Termen in einer abelschen Kategorie von Moduln; es lässt sich nicht allgemein auf beliebige Objekte ohne Projektive oder auf Kontexte übertragen, wo direkte Summenkancellation versagt.

Semantische Spannung

Ähnlich, aber verschieden vom Horseshoe-Lemma und von anderen 'Schanuel'-Begriffen: Horseshoe baut kombinierte Auflösungen, Schanuel vergleicht Syzigien bis auf projektive Summanden; Verwechslungen der Begriffe sind verbreitet und sollten vermieden werden.

Synthese

Das Schanuel-Lemma formalisiert die stabile Unverändertheit der Syzigien unter verschiedenen projektiven Präsentationen: Die Kerne projektiver Überdeckungen unterscheiden sich nur durch projektive Summanden, sodass Syzigien modulo diese trivialen Teile vergleichbar sind.