3
$\begingroup$

Let $F/K$ be a finite extension and suppose $F$ is the splitting field of a separable polynomial over $K$. Show that if Gal(F/K) is cyclic then for each divisor $d$ of $[F : K]$ there exists exactly one subfield $E$ of $K \subseteq E \subseteq F$ such that $[E : K]=d$.

Is this actually true? what I get is that one can find a subfield $E$ of $F$ such that $[F : E] = d$.

My work:

First, since $F/K$ is Galois then $[F : K] = |Gal(F/K)|$ so that if $d$ divides $[F : K]$ then d divides $|Gal(F/K|)$. By assumption the latter group is cyclic so for each divisor we can find a unique subgroup $H$ of $Gal(F/K)$ such that $|H| = d$.

But now the fundamental theorem implies $[F : F^{H}] = |H| = d$ so that $E=F^{H}$. I get then that $[F : E] = d$ and not $[E : K]=d$. What am I doing wrong?

  • 0
    @Gerry Myerson: doh, i'm stupid, can you please post your reply as an answer so I can accept it?2011-05-20

1 Answers 1

4

Posted as an answer by request: Let $n=[F:K]$, and do your argument for $n/d$.

  • 0
    @user6495, I've been known to miss things that are even more obvious - we all have our moments....2011-05-20