Definition:Outer Semidirect Product