Definition. Galois group [22011]
Definition. Galois group [22011]
If $K / F$ is a Galois extension, we call the group $\mathrm{Aut}(K / F)$ the Galois group of $K / F$ and denote it by $\mathrm{Gal}(K / F)$.
If $K / F$ is a Galois extension, we call the group $\mathrm{Aut}(K / F)$ the Galois group of $K / F$ and denote it by $\mathrm{Gal}(K / F)$.