Suppose that is an algebraic field extension, and that for some subgroup of automorphisms of (that is, the extension is Galois). Show that if then the orbit of under must be finite. Show that need not be finite, and show that this fails if the extension is not assumed to be algebraic.

Advertisements