Semidirect product (source code)

= Semidirect product
{wiki}

A semidirect product combines a normal subgroup with a subgroup acting on it by automorphisms.