Definition. $\mathrm{Aut}(K/F)$ [2103]
Definition. $\mathrm{Aut}(K/F)$ [2103]
Let $K / F$ be a field extension. $\mathrm{Aut}(K / F)$ is defined to be the set of all automorphisms of $K$ which fix $F$.
Let $K / F$ be a field extension. $\mathrm{Aut}(K / F)$ is defined to be the set of all automorphisms of $K$ which fix $F$.