The story
Refers to the fact that the criteria are less strict than for the direct product; compare semidirect.
Etymology from Wiktionary, CC BY-SA 4.0.
Today it means: 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. Full definition →
Refers to the fact that the criteria are less strict than for the direct product; compare semidirect.
Etymology from Wiktionary, CC BY-SA 4.0.