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 kommutativ und sind alle Spalten sowie die unteren beiden Zeilen ex...