# Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Delta-Eigenschaften/Fakt/Beweis

* Die Wohldefiniertheit, also die Unabhängigkeit von der gewählten injektiven Auflösung, zeigen wir den Fall, dass ${\mathcal {A}}$ die Kategorie der $R$-Moduln ist, der Formulierungsaufwand im allgemeinen Fall ist etwas größer. Es seien und injektive Auflösungen zu einem Modul $N$. Dann gibt es nach Fakt Homomorphismen von Kettenkomplexen und Dabei sind die Hintereinanderschaltungen $\psi \circ \varphi$ und $\varphi \circ \psi$ nach Fakt homotop zur Identität auf $L_{\bullet }$ bzw. auf $I_{\bullet }$. Dies gilt nach Fakt auch für die zugehörigen Homomorphismen auf den Komplexen $F(L_{\bullet })$ bzw. $F(I_{\bullet })$. D.h. für die induzierten Homomorphismen auf den Homologien gilt, dass die Verknüpfung die Identität ist. Somit sind die $H(\varphi )$ kanonische Isomorphismen. Die Additivität gilt nach Fakt stets in der Homologie.
    $0\longrightarrow N\longrightarrow L_{0}\longrightarrow L_{1}\longrightarrow \ldots$
    $0\longrightarrow N\longrightarrow I_{0}\longrightarrow I_{1}\longrightarrow \ldots$
    $\varphi \colon L_{\bullet }\longrightarrow I_{\bullet }$
    $\psi \colon I_{\bullet }\longrightarrow L_{\bullet }.$
    $H_{n}{F(L_{\bullet })}{\stackrel {H_{n}(\varphi )}{\longrightarrow }}H_{n}{F(I_{\bullet })}{\stackrel {H_{n}(\psi )}{\longrightarrow }}H_{n}{F(L_{\bullet })}$
* Es sei $I^{\bullet }$ eine injektive Auflösung des Objektes $M$. Die $0$-te Homologie des Komplexes ist einfach der Kern des Homomorphismus Wegen der Linksexaktheit von $F$ ist dieser Kern aber gleich $F(M)$.
    $0\longrightarrow F(I^{0})\longrightarrow F(I^{1})\longrightarrow F(I^{2})\longrightarrow \ldots$
    $F(I^{0})\longrightarrow F(I^{1}).$
* Nach Fakt gibt es ein kommutatives Diagramm mit exakten Zeilen und Spalten. Da die einzelnen Zeilen (bis auf die Ausgangssequenz) spalten, erhält man für jedes $n\geq 0$ eine kurze exakte Sequenz Es liegt somit ein kommutatives Diagramm mit exakten Zeilen vor. In einer solchen Situation gibt es nach Fakt einen Homomorphismus vom Kern von $F(K^{n-1})\rightarrow F(K^{n})$ in den Kern von $F(I^{n})\rightarrow F(I^{n+1})$ und somit auch nach $R^{n}F(A)$. Dabei geht das Bild von $F(K^{n-2})$ auf $0$ und somit induziert dies einen Homomorphismus
    ${\begin{matrix}&&0&&0&&0&&\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\longrightarrow &A&\longrightarrow &B&\longrightarrow &C&\longrightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\longrightarrow &I^{0}&\longrightarrow &J^{0}&\longrightarrow &K^{0}&\longrightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\longrightarrow &I^{1}&\longrightarrow &J^{1}&\longrightarrow &K^{1}\ &\longrightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\&&\vdots &&\vdots &&\vdots &&\!\!\!\!\!\\\end{matrix}}$
    $0\,{\stackrel{\longrightarrow }}\,F(I^{n})\,{\stackrel{\longrightarrow }}\,F(J^{n})\,{\stackrel{\longrightarrow }}\,F(K^{n})\,{\stackrel{\longrightarrow }}\,0.$
    ${\begin{matrix}0&\longrightarrow &F(I^{n-1})&\longrightarrow &F(J^{n-1})&\longrightarrow &F(K^{n-1})&\longrightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\longrightarrow &F(I^{n})&\longrightarrow &F(J^{n})&\longrightarrow &F(K^{n})&\longrightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\longrightarrow &F(I^{n+1})&\longrightarrow &F(J^{n+1})&\longrightarrow &F(K^{n+1})&\longrightarrow &0\\\end{matrix}}$
    $R^{n-1}F(C)\longrightarrow R^{n}F(A).$
* Siehe Aufgabe.