Een \emph{ketencomplex}$C$ bestaat uit abelse groepen $C_n$ en homomorfismes $\del_n : C_{n+1}\to C_n$, zodat $\del_n \circ\del_{n+1}=0$ voor alle $n \in\N$.
\end{definition}
\pause
Enzoverder
\bigskip
Met andere woorden:
$$\cdots\to C_4\to C_3\to C_2\to C_1\to C_0$$
\end{frame}
\begin{frame}
Uit $\del_n \circ\del_{n+1}=0$ volgt $im(\del_{n+1})\trianglelefteq ker(\del_n)$