semidirect product

Short definition from Wiktionary

Noun

1. 1
   A generalisation of direct product such that, in one of two equivalent definitions, only one of the subgroups involved is required to be a normal subgroup.