The homomorphism 
which, according to the snake lemma, permits construction of an exact sequence
 |
(1)
|
from the above commutative diagram with exact rows. The homomorphism 
is defined by
 |
(2)
|
for all 
, 
denotes the image, and 
is obtained through the following construction, based on diagram chasing.
1. Exploit the surjectivity of 
to find 
such that 
.
2. Since 
because of the commutativity of the right square, 
belongs to 
, which is equal to 
due to the exactness of the lower row at 
. This allows us to find 
such that 
.
While the elements 
and 
are not uniquely determined, the coset 
is, as can be proven by using more diagram chasing. In particular, if 
and 
are other elements fulfilling the requirements of steps (1) and (2), then 
and 
, and
 |
(3)
|
hence 
because of the exactness of the upper row at 
. Let 
be such that
 |
(4)
|
Then
 |
(5)
|
because the left square is commutative. Since 
is injective, it follows that
 |
(6)
|
and so
 |
(7)
|
SEE ALSO:Cokernel, Commutative Diagram, Diagram Chasing, Exact Sequence, Group Kernel, Snake Lemma
This entry contributed by Margherita Barile
