Can every non-simple group $G$ be written as a semidirect product?

When people want to classify a group with certain (small) order, they seem to find a normal subgroup $H$ and a subgroup $K$, and then consider how many distinct $H \rtimes_\varphi K$ are there.

My question is: For any group $G$, does it always exist normal subgroup $H$, subgroup $K$ and $\phi : K \rightarrow Aut(H)$ s.t. $G\cong H \rtimes_\varphi K $?

Sorry if this question is too basic...

Thanks the comment and the answers. Then if the $G$ is not simple, can we have can $G\cong H\rtimes_\varphi K$ for proper subgroup $H$, $K$, with $H$ normal?

EDIT:

If we have a group $G$, that is not simple (then $G$ has at least one normal subgroup), are there always a non-trivial normal subgroup $H$ and a proper subgroup $K$ s.t. $G \cong H \rtimes K$. (Note that if $G$ is simple this is clearly not possible).

But the quaternion group and $Z_4$ given in answers have shown that we cannot always have it.

Solution 1:

A nice and minimal nonabelian example is the quaternion group $Q$. We can define $Q$ as the group of elements $\pm 1,\pm i,\pm j,\pm k$ such that $ijk=-1$ and $i^2=j^2=k^2=-1$. This group has order $8$, so if it has any chance of being a (nontrivial) semidirect product, it has to be one of groups of order $2$ or $4$. Now $Q$ contains only one element of order $2$; namely $-1$. But an iterated semidirect product of $C_2$s will contain more than one such element, since if $x$ has order $2$ in the left factor, then $(x,0)$ and $(e,1)$ both have order $2$ in the semidirect product. The same is true for the semidirect product of $C_2$ and $C_4$ (in both cases the group obtained is $D_8$).

Note that $Q$ is not simple, in fact every subgroup of $Q$ is normal. Another way to see $Q$ is not a semidirect product is to note every pair of subgroups have nontrivial intersection, in fact the intersection of all nontrivial subgroups of $Q$ is the center $Z(Q)=\{-1,1\}$, but in a semidirect product there always are subgroups that have trivial intersection. Yet another way to see this is that since every subgroup is normal, $Q$ would have to be abelian if it were a semidirect product, and it isn't.

Note, however, that $Q$ is a quotient of a semidirect product, namely we can obtain $Q$ has a quotient of $H=C_4\rtimes C_4$ since $Q$ can be presented as $$\langle a,b\mid a^4,b^4,aba^{-1}=b^{-1},a^2b^2\rangle $$

so it suffices we quotient $H$ by the subgroup generated by $a^2b^2$ where $a,b$ are generators of $C_4$ in each summand.