outer semidirect product noun1 •A group constructed from a specific relationship between two abstract groups, G₁ and G₂, given a certain homomorphism denoted φ. formsouter semidirect products
