 Then is isomorphic to the semidirect product .The isomorphism is well defined
by due to the uniqueness of the decomposition .In , we have 
Thus, for and we obtain
which proves that is a homomorphism.