 To introduce the notion of outer semidirect products, let us first consider the inner semidirect product.In this case, for a group formula_6, consider its normal subgroup and the subgroup (not necessarily normal).Let denote the group of all automorphisms of , which is a group under composition.