Noun
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.