outer semidirect products