Xét một biểu đồ giao hoán của các nhóm giao hoán
B ⟶ C ⟶ D ↓ ↓ ↓ d A ′ ⟶ B ′ ⟶ C ′ ⟶ D ′ ↓ ↓ ↓ A ′ ′ → u ′ ′ B ′ ′ ⟶ C ′ ′ a ′ ′ ↓ A ′ ′ ′ → u ′ ′ ′ B ′ ′ ′
\begin{array}{ccccccc}
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 & & & & \\
A''' & \xrightarrow{u'''} & B'''
\end{array}
B ↓ A ′ ↓ A ′′ a ′′ ↓ A ′′′ ⟶ ⟶ u ′′ u ′′′ C ↓ B ′ ↓ B ′′ B ′′′ ⟶ ⟶ ⟶ D ↓ d C ′ ↓ C ′′ ⟶ D ′ trong đó các hàng và các cột được giả thiết là khớp, d d d u ′ ′ u'' u ′′ a ′ ′ a'' a ′′ u ′ ′ ′ u''' u ′′′