Could anyone help me with that?
Let say that $K_1$ and $K_2$ are finite Galois extensions of $K$, I want to show that $K_1K_2$ is Galois over $K$.
Because the extensions are galois I can find separable polynomials $f_1,f_2$ in $K[X]$ such that $K_i$ is the splitting field of $f_i$.
The proof that I read affirms that $K_1K_2$ is the splitting field of $f_1f_2$ and concludes that $K_1K_2$ is Galois over $K$. But my problem is that $f_1f_2$ need not to be separable as $f_1$ and $f_2$ could share a root. But then this root would be in $K_1 \cap K_2$ which would allow us to cancel the extra term in $K_1 \cap K_2$ giving us only $K_1K_2/K_1 \cap K_2$ to be Galois...
What am I missing?