Definition, synonyms and related words
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.