Skip to main content
2 of 2
added 29 characters in body

(Sorry for missing the "$G$ stabilizes $\Gamma_1$" condition in the previous edit)

The answer is no. Consider $\Gamma = ([4], \{12, 13, 23, 14\})$. $G$ stabilizes $\Gamma_1$ = the edge $14$. $G_0 = G$, and $|G_1| = 2$, while for the semiderict product we must have $|N \rtimes H| = |N| \times |H|$.