imported>Adrian Gallus: Tippfehler korrigiert

2019-06-11T02:39:12Z

Tippfehler korrigiert

Neue Seite

Das '''Fünferlemma''' ist ein in der [[Mathematik]], hauptsächlich in der [[Homologische Algebra|homologischen Algebra]] und anderen Anwendungen [[Abelsche Kategorie|abelscher Kategorien]], häufig verwendetes und wichtiges [[Hilfssatz|Lemma]] über [[Kommutatives Diagramm|kommutative Diagramme]].

Das Fünferlemma ist nicht nur in abelschen Kategorien gültig, sondern beispielsweise auch in der Kategorie der Gruppen.
Man erhält es durch Kombination der beiden ''Viererlemmata'', die zueinander duale Aussagen bilden.

== Aussagen ==
Man betrachte das folgende kommutative Diagramm in einer beliebigen abelschen Kategorie (etwa der Kategorie der [[Vektorraum|Vektorräume]] über einem gegebenen [[Körper (Algebra)|Körper]] oder der Kategorie der abelschen Gruppen):

: [[Datei:FiveLemma.svg|400px]]

Die Zeilen seien [[Exakte Folge|exakt]], <math>m</math> und <math>p</math> seien [[Isomorphismus|Isomorphismen]], <math>l</math> ein [[Epimorphismus]], <math>q</math> ein [[Monomorphismus]].
Das Fünferlemma besagt, dass dann <math>n</math> ebenfalls ein Isomorphismus ist.

Das (erste) Viererlemma besagt:
Sind in dem kommutativen Diagramm

: [[Datei:FourLemma01.svg|320px]]

die Zeilen exakt, <math>m</math> und <math>p</math> Epimorphismen und <math>q</math> ein Monomorphismus, so ist <math>n</math> ein Epimorphismus.

Das (zweite) Viererlemma besagt:
Sind in dem kommutativen Diagramm

: [[Datei:FourLemma02.svg|320px]]

die Zeilen exakt, <math>m</math> und <math>p</math> Monomorphismen und <math>l</math> ein Epimorphismus, so ist <math>n</math> ein Monomorphismus.

== Beweis ==
Der Beweis erfolgt durch [[Diagrammjagd]], im Folgenden ausgeführt in der Kategorie der Gruppen (das neutrale Element wird jeweils durch 1 bezeichnet, die Verknüpfung als Multiplikation geschrieben).
Er ist (in additive Schreibweise übersetzt) direkt übertragbar auf die Kategorie der abelschen Gruppen oder der [[Modul (Mathematik)|Moduln]] über einem [[Ring (Algebra)|Ring]] und gilt somit nach dem [[Einbettungssatz von Mitchell]] in allen abelschen Kategorien.

Für den Beweis des ersten Viererlemmas seien also in

: [[Datei:FourLemma01.svg|320px]]

die Zeilen exakt, <math>m</math> und <math>p</math> [[surjektiv]] und <math>q</math> [[Injektivität|injektiv]].
Zu zeigen ist, dass <math>n</math> surjektiv ist.

Sei also <math>c'</math>
ein beliebiges Element von <math>C'</math>.

Da <math>p</math> surjektiv ist, gibt es ein <math>d</math> in <math>D</math> mit <math>p(d) = t(c')</math>.

Wegen der Kommutativität des Diagramms ist <math>q\bigl( j(d) \bigr) = u\bigl( p(d) \bigr)</math>.

Wegen der Exaktheit ist <math>u\bigl( t(c') \bigr)=0</math>, also <math>q\bigl( j(d) \bigr) = 0</math>.

Wegen der Injektivität von <math>q</math> folgt hieraus <math>j(d)=0</math>.

Da <math>d</math> im Kern von <math>j</math> liegt, liegt es im Bild von <math>h</math>, d. h. es gibt ein <math>c</math> aus <math>C</math> mit <math>h(c) = d</math>.

Dann gilt <math>t\bigl( n(c) \bigr) = p\bigl( h(c) \bigr) = p(d) = t(c')</math>.

Folglich gilt <math>c' = x \cdot n(c)</math> für ein <math>x</math> aus <math>\ker(t) = im(s)</math>.

Sei also <math>b'</math> ein Element von <math>B'</math> mit <math>s(b') = x</math>.

Da <math>m</math> surjektiv ist, gibt es ein <math>b</math> in <math>B</math> mit <math>m(b) = b'</math>.

Es folgt

: <math>
\begin{align}
n\bigl( g(b) \cdot c \bigr)
&= n\bigl( g(b) \bigr) \cdot n(c) = s\bigl( m(b) \bigr) \cdot n(c) \\
&= s(b') \cdot n(c) = x \cdot n(c) = c'.
\end{align}
</math>

Somit ist <math>n</math> in der Tat surjektiv.

Das zweite Viererlemma ist dual zum ersten bzw. kann auf dieselbe einfache Weise bewiesen werden.

Das Fünferlemma folgt dann unmittelbar durch Kombination der beiden Viererlemmata.

== Kurzes Fünferlemma ==
Sind in dem kommutierenden Diagramm

: [[Datei:FiveLemmaShort.svg|400px]]

die Zeilen kurze exakte Sequenzen und <math>g</math> und <math>h</math> Isomorphismen, so ist auch <math>f</math> ein Isomorphismus.

Dies folgt sofort (wiederum für abelsche Kategorien oder die Kategorie der Gruppen) aus dem Fünferlemma, da man die [[Nullabbildung]] zwischen den [[Anfangsobjekt, Endobjekt und Nullobjekt|Nullobjekten]] ergänzen kann.

Gerade beim kurzen Fünferlemma besteht ein häufiger Irrtum darin, auf die Isomorphie von <math>B</math> und <math>B'</math> zu schließen, sobald man Isomorphismen <math>g</math> und <math>h</math> findet.
Dies ist jedoch ein Trugschluss, denn das Lemma behauptet nicht die Existenz eines Isomorphismus, solange man nicht wenigstens überhaupt einen zu <math>g</math> und <math>h</math> passenden Homomorphismus <math>f</math> hat.

== Anwendungen ==
Das Fünferlemma wird häufig auf lange exakte Sequenzen angewendet:
Um die [[Homologie (Mathematik)|Homologie]] oder [[Kohomologie]] eines gegebenen Objektes zu berechnen, verwendet man typischerweise ein einfacheres Unterobjekt mit bekannter (Ko-)Homologie.
Dies liefert eine lange exakte Sequenz, in der die gesuchten Homologie-Gruppen auftauchen.
Dies allein reicht zwar normalerweise nicht, um die Homologie-Gruppen zu bestimmen; kann man aber das ursprüngliche Objekt samt Unterobjekt über Morphismen mit bekannten Objekten vergleichen, so wird ein Homomorphismus zwischen langen exakten Sequenzen induziert und das Fünferlemma kann dann
die unbekannten Gruppen bestimmen.

== Siehe auch ==
* [[Schlangenlemma]], ein weiterer durch Diagrammjagd bewiesener Satz.
* [[Neunerlemma]]

== Weblinks ==
* {{MathWorld|id=FiveLemma|title=Five Lemma|author=Margherita Barile}}

{{SORTIERUNG:Funferlemma}}
[[Kategorie:Homologische Algebra]]
[[Kategorie:Satz (Mathematik)]]

Fünferlemma - Versionsgeschichte

imported>Adrian Gallus: Tippfehler korrigiert