If $K/F$ is an extension of fields, its automorphism group is $$ \textrm{Aut}(K/F) = \{\sigma:K\to K\mid \forall a\in F, \sigma(a)=a, \text{ and } \sigma \text{ is an isomorphism}\}.$$ Note, a finite extension is Galois if and only if $|\textrm{Aut}(K/F)| = [K:F]$.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Cremona on 2018-05-23 14:35:58

**Referred to by:**

**History:**(expand/hide all)

- 2018-05-23 14:35:58 by John Cremona (Reviewed)