On considère un diagramme commutatif de groupes commutatifs
B ⟶ C ⟶ D ↓ ↓ ↓ d A ′ ⟶ B ′ ⟶ C ′ ⟶ D ′ ↓ ↓ ↓ A ′ ′ → u ′ ′ B ′ ′ ⟶ C ′ ′ a ′ ′ ↓ ↓ ↓ A ′ ′ ′ → u ′ ′ ′ B ′ ′ ′
\begin{array}{ccccc}
B & \longrightarrow & C & \longrightarrow & D \\
\downarrow & & \downarrow & & \downarrow d \\
A' & \longrightarrow & B' & \longrightarrow & C' \longrightarrow D' \\
\downarrow & & \downarrow & & \downarrow \\
A'' & \xrightarrow{u''} & B'' & \longrightarrow & C'' \\
a'' \downarrow & & \downarrow & & \downarrow \\
A''' & \xrightarrow{u'''} & B'''
\end{array}
B ↓ A ′ ↓ A ′′ a ′′ ↓ A ′′′ ⟶ ⟶ u ′′ u ′′′ C ↓ B ′ ↓ B ′′ ↓ B ′′′ ⟶ ⟶ ⟶ D ↓ d C ′ ⟶ D ′ ↓ C ′′ ↓
dans lequel on suppose que les lignes et les colonnes sont exactes, que d d d et u ′ ′ u'' u ′′ sont injectifs et a ′ ′ a'' a ′′ surjectif. Montrer que dans ces conditions u ′ ′ ′ u''' u ′′′ est injectif. Généraliser.
EXERCICES