3This agrees with the general definition of a normal basis because the distinct powers of the automorphism constitute the Galois group of .