Let be an algebraic extension of a field . Let be a collection of automorphisms of such that every leaves each element of fixed. Show that if generates a subgroup of , then .
The group of automorphisms of a field is cyclic and has the Frobenius automorphism as a natural generator. So is cyclic. Thus the elements left fixed by are the same as the elements left fixed by ?