Definition:Exact Sequence of Modules

Definition
Let $\left({R, +, \cdot}\right)$ be a ring.

Let:
 * $(1): \quad \cdots \longrightarrow M_i \stackrel{d_i}{\longrightarrow} M_{i+1} \stackrel{d_{i+1}}{\longrightarrow} M_{i+2} \stackrel{d_{i+2}}{\longrightarrow} \cdots$

be a sequence of $R$-modules $M_i$ and $R$-module homomorphisms $d_i$.

Then the sequence $(1)$ is exact :
 * $\forall i: \operatorname{Im} d_i = \ker d_{i+1}$

where $\operatorname{Im}$ and $\ker$ denote the image and kernel of mappings repectively.

Also see

 * Definition:Short Exact Sequence