$F \subset L \subset E$ s.t. $L,E$ Normal $\implies$ Elements of $G(E/F)$ Map $L$ onto itself.

30 Views Asked by At

Problem: Let $E$ be a finite, separable normal extension of $F$. Suppose that $F \subset L \subset E$ s.t. $L$ is also normal over $F$. Prove that the elements of $G(E/F)$ map $L$ onto itself.

Definition of Normal I'm Using: We have that $E$ is normal over $F$ iff (i) $E$ is finite dimensional over $F$ and (ii) $G(E/F)$ has $F$ as its fixed field.

Attempt:

  1. Let $(E/F) = n$ and $(E/L) = m$. We have that $m \le n$.

  2. Let $\sigma \in G(E/F)$.

  3. If I could show that $\sigma$, when restricted to $L$, is a member of $G(L/F)$ then I would be done.

I'm not sure how here to proceed.