I'm trying to read a proof in Dummit and Foote of the statement
Suppose $K/F$ is a Galois extension and F'/F is any extension. Then KF'/F' is a Galois extension, and Gal(KF'/F') \cong Gal(K/K \cap F').
One line I am confused about is
Since $K/F$ is Galois, every embedding of $K$ fixing $F$ is an automorphism of $K$, so the map $\varphi: Gal(KF'/F') \to Gal(K/F$), $\sigma \mapsto \sigma\vert_K$ defined by restricting an automorphism $\sigma$ to the subfield $K$ is well-defined.
I take it this means automorphisms of KF' fixing F' (thus fixing $F$) also send $K$ to $K$? If that's what it means, why is it true?
Thanks!