1
$\begingroup$

I am having trouble understanding the difference between a proposition and theorem in chapter 14 (Galois theory) of Dummit and Foote.

Prop. 5 (p.562). Let $E$ be a splitting field over $F$ of the polynomial $f(x)\in F[x]$. Then $|\operatorname{Aut}(E/F)|\leq [E:F]$.

Thm. 9 (p.570) Let $G=\{\sigma_{1}=1,\sigma_{2},\cdots,\sigma_{n} \}$ be a subgroup of automorphisms of a field $K$ and let $F$ be the fixed field. Then $[K:F]=n=|G|$.

My question: to me it seems that $G=Aut(K/F)$, then by Prop. 5 it seems we get the inequality $G=\operatorname{Aut}(K/F)\leq [K:F]$. If this is the case, I do not understand why we get equality in Thm. 9 and not in Prop. 5.

  • 1
    The Galois correspondence mappings are only bijective given seperability and normality. Another example like @Dylan's would be $f=x^3-2$ over $\mathbb{Q}(t)$ adjoining the real root, $\alpha$, for which the automorphism group of2012-04-06

1 Answers 1

1

This question was pretty thoroughly answered in the comments, so I'm just collecting some thoughts as a cw post here.

In proposition $5$ there's no reason that the fixed field of $\mathrm{Aut}(E/F)$ is $F$. For instance in a situation like $E=\mathbb Q(\sqrt[3]{2})$ and $F=\mathbb Q$ there are no non-trivial automorphisms so the fixed field is $E$, but the degree of the extension is $3$.