Lemma von Schanuel

Das Lemma von Schanuel, benannt nach Stephen Schanuel, ist eine einfache und grundlegende Aussage aus dem mathematischen Teilgebiet der homologischen Algebra.

Formulierung des Lemmas

Es sei $R$ ein Ring und es seien

$0\rightarrow K_{1}\rightarrow P_{1}\rightarrow M\rightarrow 0$

$0\rightarrow K_{2}\rightarrow P_{2}\rightarrow M\rightarrow 0$

kurze exakte Sequenzen in der Kategorie der links-$R$-Moduln mit projektiven $P_{1},P_{2}$. Dann gilt $P_{1}\oplus K_{2}\cong P_{2}\oplus K_{1}$, das heißt, die beiden direkten Summen sind isomorph.

Beweis

Wir nennen die Surjektionen $\pi _{i}:P_{i}\to M$, und betrachten ihr Faserprodukt

$P_{1}\times _{M}P_{2}=\{(p,q)\in P_{1}\times P_{2}:\pi _{1}(p)=\pi _{2}(q)\}$.

Dies ist ein $R$-Modul, und es werden Abbildungen

${\hat {\pi }}_{i}:P_{1}\times _{M}P_{2}\to P_{i}$

induziert, die ebenfalls surjektiv sind, wie allgemeiner Unsinn zeigt. Es ist leicht zu sehen, dass der Kern von ${\hat {\pi }}_{1}$ isomorph zu $K_{2}$ ist, ebenso folgt, dass der Kern von ${\hat {\pi }}_{2}$ isomorph zu $K_{1}$ ist. Da die $P_{i}$ aber projektiv sind, zerfallen diese Surjektionen, was bedeutet, dass

$P_{1}\oplus K_{2}\cong P_{1}\times _{M}P_{2}\cong P_{2}\oplus K_{1}\ .$

Anwendung

Ist $\ldots \rightarrow P_{1}\rightarrow P_{0}{\xrightarrow {f_{0}}}M\rightarrow 0$ eine projektive Auflösung, so dass $\mathrm {ker} (f_{0})$ projektiv ist, so gilt das für jede projektive Auflösung.

Ist nämlich $\ldots \rightarrow Q_{1}\rightarrow Q_{0}{\xrightarrow {g_{0}}}M\rightarrow 0$ eine weitere projektive Auflösung, so betrachte die kurzen exakten Sequenzen

$0\rightarrow \mathrm {ker} (f_{0})\rightarrow P_{0}\rightarrow M\rightarrow 0$

$0\rightarrow \mathrm {ker} (g_{0})\rightarrow Q_{0}\rightarrow M\rightarrow 0$

Nach dem Lemma von Schanuel ist $P_{0}\oplus \mathrm {ker} (g_{0})\cong Q_{0}\oplus \mathrm {ker} (f_{0})$, das heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{ker}(g_0)} ist direkter Summand des nach Voraussetzung projektiven Moduls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q_0\oplus \mathrm{ker}(f_0) } und daher ebenfalls projektiv.

Entstehung

Stephen Schanuel entdeckte dieses Lemma 1958 während einer von Irving Kaplansky gehaltenen Vorlesung über homologische Algebra. Dabei ging es im Wesentlichen um die oben genannte Anwendung. Kaplansky berichtet:

Während einer Vorlesung führte ich den ersten Schritt einer projektiven Auflösung eines Moduls aus und erwähnte, dass, wenn der Kern einer Auflösung wieder projektiv ist, das auch für alle gelte. Ich fügte hinzu, dass diese Aussage zwar einfach sei, der Beweis aber noch einige Zeit beanspruchen würde. Da ergriff Steve Schanuel das Wort und erklärte mir und den Studenten, dass dies ziemlich einfach sei, und skizzierte das, was heute als „Lemma von Schanuel“ bekannt ist.