show · lf.automorphism_group all knowls · up · search:

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]$.

Knowl status:
  • Review status: reviewed
  • Last edited by John Cremona on 2018-05-23 14:35:58
Referred to by:
History: (expand/hide all)