Dejemos que $H$ y $K$ sean subgrupos normales de un grupo $G$ . Demostrar que $H \cap K $ es un subgrupo normal de $G$
Mostrando $H \cap K$ es un subgrupo
$$a,b\in H\cap G\Rightarrow ab^{-1} \in H \wedge ab^{-1}G \Rightarrow ab^{-1}\in H \cap G$$
Tener problemas con $H\cap K\unlhd G$
tratando de usar lo siguiente definiciones
$N \unlhd G$
$$\begin{aligned} a^-1Na=N, \text{ forall } a\in G \\ aNa^{-1}=N, \text{ forall } a\in G \end{aligned} $$
desde $g\in H \cap K$
$$ \begin{aligned} gHg^{-1}=H \\gKg^{-1}=K \end{aligned} $$
He leído una pregunta anterior este y no pude convencerme de la prueba.