Restrict attention to **Z**p,
and remember that its multiplicative group has a generator.
Let r be such a generator.
If we raise r to the p-1 power we get 1.
We must raise r to the p to get r back again.
Raising r to a different power gives another integer, but all integers must map to themselves.
That means every automorphism raises all elements to the j power,
where j is some multiple of p.

The obvious choice is the frobenius automorphism, which raises everything to the p power. This is indeed a field automorphism, and by the above paragraph, it generates all possible automorphisms.

If c() is the frobenius automorphism, it can be invoked again and again, until we reach cn, which raises everything to the pn. Remember that the powers of b cover the nonzero elements of F, all pn-1 of them, so when we raise b to the pn, we get b back again, giving the trivial automorphism. The group of automorphisms is a cycle of length n.

If K is a subfield of F it is finite, with order pr for some r. If K and L are two subfields of order pr, with K ≠ L, then there are more than pr elements satisfying x(pr) = x, which is impossible. There is at most one subfield of order pr. Remember that pr must divide pn, hence r must be a factor of n.

For any r dividing n, let d = cr. Thus d is the automorphism produced by raising everything to the pr. The field fixed by this automorphism is precisely the elements satisfying x(pr) = x. Aside from 0, the roots of this equation are generated by b(pn-r). this establishes the subfield of order pr.

The subfields of F are precisely the fields fixed by the various subgroups of the group of automorphisms on F; one subfield and subgroup for each r dividing n.

If K is an intermediate extension of order ps, the field extensions between K and F are the subfields of F that contain all of K. These are the subfields of order pr, where s divides r and r divides n. Once again these subfields are fixed by the subgroups of the group of automorphisms of F that fix K.

All this may seem confusing for now, but once you are familiar with Galois extensions, it will seem straightforward. We are really saying every finite extension of a finite field is Galois.

Let's use this example to dispel a common myth.
In a nice galois extension, the conjugates need not span the extension as a vector space.
Adjoin u2+1 to **Z**3.
Since 2 is not a square, this is irreducible.
The sum of the roots is given by the second coefficient, which is 0.
Thus u+u3 = 0.
The conjugates are not linearly independent, and cannot span the entire vector space of dimension 2.

Let's explode another myth - the adjoined element need not be primitive. In the above example, u4 = 1. Thus u does not have order 8. A primitive element might be u+2, whose square is u.