E is a Galois extension of F

59 Views Asked by At

15.32 Let $E$ be a finite extension of a field $F$ with dimension $n$. Show that $|\operatorname{Gal}_F(E)| = n$ if, and only if, $E$ is a Galois extension of $F$.

Please some help to find the prove of Galois extension