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 <math>R</math> ein Ring und es seien

<math>0\rightarrow K_1 \rightarrow P_1 \rightarrow M\rightarrow 0</math>

<math>0\rightarrow K_2 \rightarrow P_2 \rightarrow M\rightarrow 0</math>

kurze exakte Sequenzen in der Kategorie der Links-<math>R</math>-Moduln mit projektiven <math>P_1,P_2</math>. Dann gilt <math>P_1\oplus K_2 \cong P_2\oplus K_1</math>, das heißt, die beiden direkten Summen sind isomorph.<ref>Louis H. Rowen: Ring Theory. Band 1. Academic Press Inc., Boston u. a. 1988, ISBN 0-12-599841-4 (Pure and Applied Mathematics 127), Proposition 2.8.26</ref>

Beweis

Wir nennen die Surjektionen <math>\pi_i:P_i\to M</math> und betrachten ihr Faserprodukt

<math>P_1\times_M P_2 =\{(p,q)\in P_1\times P_2:\pi_1(p)=\pi_2(q)\}</math>.

Dies ist ein <math>R</math>-Modul, und es werden Abbildungen

<math>\hat{\pi}_i:P_1\times_M P_2 \to P_i</math>

induziert, die ebenfalls surjektiv sind, wie allgemeiner Unsinn zeigt. Es ist leicht zu sehen, dass der Kern von <math>\hat{\pi}_1</math> isomorph zu <math>K_2</math> ist, ebenso folgt, dass der Kern von <math>\hat{\pi}_2</math> isomorph zu <math>K_1</math> ist. Da die <math>P_i</math> aber projektiv sind, zerfallen diese Surjektionen, was bedeutet, dass

<math>P_1\oplus K_2 \cong P_1\times_M P_2 \cong P_2\oplus K_1\ .</math>

Anwendung

Ist <math>\ldots \rightarrow P_1\rightarrow P_0 \xrightarrow{f_0} M \rightarrow 0</math> eine projektive Auflösung, so dass <math>\mathrm{ker}(f_0) </math> projektiv ist, so gilt das für jede projektive Auflösung.

Ist nämlich <math>\ldots \rightarrow Q_1\rightarrow Q_0 \xrightarrow{g_0} M \rightarrow 0</math> eine weitere projektive Auflösung, so betrachte die kurzen exakten Sequenzen

<math>0\rightarrow \mathrm{ker}(f_0) \rightarrow P_0 \rightarrow M\rightarrow 0</math>

<math>0\rightarrow \mathrm{ker}(g_0) \rightarrow Q_0 \rightarrow M\rightarrow 0</math>

Nach dem Lemma von Schanuel ist <math>P_0\oplus \mathrm{ker}(g_0) \cong Q_0\oplus \mathrm{ker}(f_0) </math>, das heißt <math>\mathrm{ker}(g_0)</math> ist direkter Summand des nach Voraussetzung projektiven Moduls <math>Q_0\oplus \mathrm{ker}(f_0) </math> 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<ref>Irving Kaplansky: Fields and Rings, University Of Chicago Press (1972), ISBN 0-226-42451-0, Seite 166</ref>:

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.

Einzelnachweise