Neunerlemma

Neunerlemma

Das Neunerlemma ist eine mathematische Aussage über kommutierende Diagramme und exakte Folgen, die gültig ist sowohl für jede abelsche Kategorie als auch für die Kategorie der Gruppen.

Aussage

Ist (in einer abelschen Kategorie oder der Kategorie der Gruppen) das Diagramm

Nine lemma.png

kommutativ und sind alle Spalten sowie die unteren beiden Zeilen exakt, so ist auch die obere Zeile exakt. Ebenso gilt: Sind alle Spalten sowie die oberen beiden Zeilen exakt, so ist auch die untere Zeile exakt.

Beweis

Der Beweis erfolgt durch Diagrammjagd, zunächst unter der Annahme, dass das Diagramm die Kategorie der Gruppen betrifft. Der Einfachheit halber seien alle horizontalen Abbildungen mit h, alle vertikalen mit v bezeichnet. Das neutrale Element der Gruppen heiße jeweils e. Der Beweis zeigt die typische Eigenschaft von Diagrammjagden, dass der schriftliche Beweis zwar aus lauter trivialen Einzelschritten besteht, die zusammen jedoch verwirrend oder unmotiviert wirken - erst wenn man die Schritte am Diagramm nachverfolgt, werden die Zusammanhänge einleuchtend.

Seien zunächst alle Spalten sowie die unteren beiden Zeilen exakt.

  • Ist a_1\in A_1 mit h(a1) = e, so h(v(a1)) = v(h(a1)) = v(e) = e. Hieraus folgt mit der Injektivität von h\colon A_2\to B_2 auch v(a1) = 0 und mit der von v\colon A_1\to A_2 schließlich a1 = e.
  • Ist a_1\in A_1, so ist v(h(h(a1))) = h(h(v(a1))) = e, also h(h(a1)) = e.
  • Ist b_1\in B_1 mit h(b1) = e, so h(v(b1)) = v(h(b1)) = e, also v(b1) = h(a2) für ein a_2\in A_2. Aus h(v(a2)) = v(h(a2)) = v(v(b1)) = e folgt auch v(a2) = e, also a2 = v(a1) für ein a_1 \in A_1. Dann ist v(h(a1)) = h(v(a1)) = h(a2) = v(b1), woraus bereits b1 = h(a1) folgt.
  • Ist c_1\in C_1, so gibt es ein b_2\in B_2 mit h(b2) = v(c1). Wegen h(v(b2)) = v(h(b2)) = v(v(c1)) = e gibt es ein a_3\in A_3 mit h(a3) = v(b2). Weiter gibt es ein a_2\in A_2 mit v(a2) = a3, also v(h(a2)) = h(v(a2)) = h(a3) = v(b2). Somit unterscheiden sich h(a2) und b2 um v(b1) für ein geeignetes b_1\in B_1, d. h. es gilt b_2 = v(b_1)\cdot h(a_2). Dann ist v(c_1) = h(b_2) = h(v(b_1)\cdot h(a_2))=h(v(b_1))\cdot h(h(a_2)) = h(v(b_1)) = v(h(b_1)) und schließlich auch c1 = h(b1).

Alle Punkte zusammen zeigen die Exaktheit der ersten Zeile.

Seien jetzt alle Spalten sowie die oberen beiden Zeilen exakt.

  • Ist c_3\in C_3, so c3 = v(c2) für ein c_2\in C_2 und dann c2 = h(b2) für ein b_2\in B_2, jeweils per Surjektivität von v\colon C_2\to C_3 bzw. h\colon B_2\to C_2. Dann ist h(v(b2)) = v(h(b2)) = c3.
  • Ist a_3\in A_3, so a3 = v(a2) für ein a_2\in A_2. Dann h(h(a3)) = h(h(v(a2))) = v(h(h(a2))) = v(e) = e.
  • Ist b_3\in B_3 mit h(b3) = e und wählen wir ein b_2\in B_2 mit v(b2) = b3, so v(h(b2)) = h(v(b2)) = h(b3) = e, also h(b2) = v(c1) für ein c_1\in C_1. Weiter c1 = h(b1) für ein b_1\in B_1. Dann ist h(v(b1)) = v(h(b1)) = v(c1) = h(b2), also b_2=v(b_1)\cdot h(a_2) für ein a_2\in A_2. Schließlich ist h(v(a_2))=v(h(a_2)) = v(v(b_1))\cdot v(h(a_2)) = v(v(b_1)\cdot h(a_2)) = v(b_2) = b_3.
  • Ist a_3\in A_3 mit h(a3) = e und wählen wir a_2\in A_2 mit v(a2) = a3, so v(h(a2)) = h(v(a2)) = h(a3) = e, also h(a2) = v(b1) für ein b_1\in B_1. Es ist v(h(b1)) = h(v(b1)) = h(h(a2)) = e, daher bereits h(b1) = e. Folglich b1 = h(a1) für ein a_1\in A_1. Aus h(v(a1)) = v(h(a1)) = v(b1) = h(a2) folgt bereits a2 = v(a1) und somit a3 = v(a2) = v(v(a1)) = e.

Zusammen ergibt dies wiederum die Exaktheit der letzten Zeile.

Der zunächst für Gruppen durchgeführte Beweis gilt (ggf. in additive Schreibweise übersetzt) ebenso für abelsche Gruppen oder auch für Moduln über einem Ring. Durch den Einbettungssatz von Mitchell ist dies aber bereits ausreichend, um das Neunerlemma für alle abelschen Kategorien zu beweisen.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Viererlemma — Das Fünferlemma ist ein in der Mathematik, hauptsächlich in der homologischen Algebra und anderen Anwendungen abelscher Kategorien, häufig verwendetes und wichtiges Lemma über kommutative Diagramme. Das Fünferlemma ist nicht nur für abelsche… …   Deutsch Wikipedia

  • Diagrammjagd — In der Mathematik stellt ein kommutatives Diagramm dar, dass verschiedene Verkettungen von Abbildungen das gleiche Ergebnis liefern. Eine Abbildung f von A nach B kann durch einen Pfeil dargestellt werden. Die Verkettung mit einer weiteren… …   Deutsch Wikipedia

  • Fünferlemma — Das Fünferlemma ist ein in der Mathematik, hauptsächlich in der homologischen Algebra und anderen Anwendungen abelscher Kategorien, häufig verwendetes und wichtiges Lemma über kommutative Diagramme. Das Fünferlemma ist nicht nur für abelsche… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”