1
$\begingroup$

Let $K \leq E \leq F$ be fields such that $[E:K]=n$. Let $Aut_K F$ act on the set $S$ of intermediate fields where $\sigma(I)$ gives the action of $\sigma \in Aut_K F$ on an intermediate field $I$. Show that the orbit of $E$ has at most $n$ elements.

Is it really obvious that $Aut_K F$ is a subset of the stabilizer of $E$? My intuition fails me here.

  • 0
    Stabilizer of $E$ in what group?2012-08-11
  • 0
    In $F$? The lecture notes we were given just wrote: ``Show $Aut_K F \subseteq$ stabilizer of $E$.''2012-08-11
  • 0
    I don't understand. What exactly do you mean by stabilizer (in this particular case)?2012-08-11
  • 0
    There seems to be a contradiction here. Since the stabilizer is a subgroup of $Aut_K F$, if the inclusion you have to show holds, the two sets are equal. Which in turn means that every $K$-automorphism of $F$ fixes $E$, which is not true in general.2012-08-11

1 Answers 1