 Suppose is a semidirect product of the normal subgroup and the subgroup .If is also normal in , or equivalently, if there exists a homomorphism that is the identity on , then is the direct product of and .The direct product of two groups and can be thought of as the semidirect product of and with respect to for all in .