The answer is no. The smallest counter-example: consider $\Gamma = K_3$, ans $\Gamma_1$ induced by a pair of vertices. In this case $G = S_3$ and has size 6, $G_0$ is trivial, and $|G_1| = 2$, while for the semiderict product we must have $|N \rtimes H| = |N| \times |H|$.