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

Since the action of fixes , it must permute the roots of the minimal polynomial of over , which exists since the extension is algebraic, so the cardinality of its orbit is bounded by the degree of this polynomial.

As for the second part, take any infinite Galois extension (for instance ).

For the last question, if the extension is not algebraic, the orbit of an element by the action of the Galois group may not be finite. For instance, consider with trascendental over . Then the -algebra maps are in the Galois group and so the orbit of contains for all .

LikeLike