semidirect product
Noun
Meaning
semidirect product (plural semidirect products)
(group theory) 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.