 Let us now consider the outer semidirect product.Given any two groups and and a group homomorphism , we can construct a new group , called the outer semidirect product of and with respect to , defined as follows