 The full group is a semidirect product of those two subgroups in the sense given earlier.Conversely, suppose that we are given a group with a normal subgroup and a subgroup , such that every element of may be written uniquely in the form where lies in and lies in .Let be the homomorphism (written ) given by
for all .