snake lemma for groups

Let

be a diagram of groups and group-homomorphisms, where the rows are exact

Then there exists an exact sequence

where the first two morphisms are group-homomorphism and the other morphisms are morphisms of pointed sets where

are the cosets without taking the normal closure

see:

• exactness in pointed category
  

follows analogously to the usual snake lemma