3This agrees with the general definition of a normal basis because the n  distinct powers of the automorphism x↦→ xq  constitute the Galois group of K ∕F  .