Definition:Inner Semidirect Product

Definition
Let $G$ be a group.

Let $H$ be a subgroup of $G$.

Let $N$ be a normal subgroup of $G$.

Let $H$ and $N$ be complementary.

Then $G$ is the inner semidirect product of $N$ and $H$.

This is denoted $G = N \rtimes H$ or $G = H \ltimes N$.

Also see

 * Definition:Semidirect Product
 * Definition:Internal Group Direct Product