Semidirect Product

The ``split'' extension $G$ of Groups $N$ and $F$ which contains a Subgroup $\bar F$ isomorphic to $F$ with $G=\bar F\bar N$ and $\bar F\cap\bar N=\{e\}$.

References

Iyanaga, S. and Kawada, Y. (Eds.). Encyclopedic Dictionary of Mathematics. Cambridge, MA: MIT Press, p. 613, 1980.