Prove that M,N characteristic in G implies that MN is characteristic in G.
How do I prove this? Not sure where to start.
Prove that M,N characteristic in G implies that MN is characteristic in G.
How do I prove this? Not sure where to start.
$M,N\,\operatorname{char} G\Longrightarrow \phi(M)=M\,,\,\phi(N)=N\,\,\,\,\forall\,\phi\in\operatorname{Aut}(G)$
so
$\forall\,mn\in MN\,\,,\,\phi(mn)=\phi(m)\phi(n)\in MN\Longrightarrow \phi(MN)\subset MN$
and this is enough (why?)
Here's a start: If $\phi$ is an automorphism of $G$, then for any $mn \in MN$ (where $m \in M$ and $n \in N$) we have $\phi(mn) = \phi(m)\phi(n)$. Try to show that $\phi(MN) = \phi(M)\phi(N)$ and use this to prove the result.