$G$ a group, $G=N \times K$, $M$ normal subgroup of $N \Rightarrow$ $M$ normal subgroup of $G$ 
If $N,K$ are subgroups of a group $G$ such that $G=N \times K$ (meaning $G$ is isomorphic to $N \times K$, and the book also says they use this notation when $N,K$ are normal subgroups of $G$ and each member of $G$ can be writen uniquely as the product of some $n_1m_1$) and $M$ is a normal subgroup of $N$, prove that $M$ is a normal subgroup of $G$.

Well, $M \leq N \leq G$ so $M \leq G$. As far as showing normality of $M$ in $G$ I am either thinking about showing if $g \in G$ then $g^{-1}Mg \subset M$ or going the route of cosets and showing $gM = Mg$.
If $g \in G$, then by hypothesis $g$ can be uniquely written as $g=nk$ for some $n \in N$ and $k \in K$. Since each element of $g$ can be written uniquely it follows that $N \cap K = \{ e \}$, trivial subgroup, and $N,K$ are normal so $g=nk=kn$. I haven't gotten very far by the conjugation route nor with the coset route. Any help or see anything wrong with my thinking so far? Appreciate it, cheers!
 A: The conjugation route is fine. You have an element $g=nk$ and you want to show that $g^{-1}Mg=M$.
This can easily be done if you first show two things: that $n^{-1}Mn=M$ and that $k^{-1}Mk=M$. One follows from the normality of $M$ in $N$, and the other follows from the fact that elements of $N$ commute with elements of $K$.
A: There's also a lazy way. We can build a map $\varphi: G \to (N/M) \times K$ defined like this:
$$
\varphi(nk) = (nM, k) \qquad \textrm{for all }\ n \in N,\ k \in K
$$
It is easy to see that $\varphi$ is well defined and is a homomorphism, and $M$ is its kernel, so $M$ is automatically normal in $G$.
A: Let $N_G(M)= \{ g\in G \mid gMg^{-1}=M \}$ be the normalizer of $M$ in $G$. In fact, $N \subset N_G(M)$ (because $M$ is normal in $N$) and $K \subset N_G(M)$ (because $K \subset C_G(N) \subset C_G(M)$), so $G=NK \subset N_G(M)$ (because $N_G(M)$ is a subgroup of $G$).
Therefore, the key point is that $K \subset C_G(N)$. But for $n \in N$ and $k \in K$, $[n,k]=(nkn^{-1})k^{-1} \in K$ and $[n,k]=n(kn^{-1}k^{-1}) \in N$, hence $[n,k] \in N \cap K$ and $[n,k]=1$.
