Past exam of the number theory course of the University of Oxford / 2009 / A / 2 / c

Factor $f_1=(X^2-3)(X^2+2)$. Its splitting field is $L=\mathbb{Q}(\sqrt{3},\sqrt{-2})$. The first quadratic field is real, so it cannot contain the nonreal $\sqrt{-2}$. Thus adjoining the second square root doubles the degree again. Independent sign changes of the two square roots give all four automorphisms, so

Eisenstein's criterion at two makes $X^5-4X+2$ irreducible: all nonleading coefficients are divisible by two and the constant is not divisible by four. Its Galois group is therefore transitive on five roots, and its order is divisible by five, so Cauchy's theorem for finite groups supplies a five-cycle.

The derivative is $5X^4-4$, with real critical points $\pm c$, $c=(4/5{)}^{1/4}$. The values are $f(-c)=2+16c/5>0$ and $f(c)=2-16c/5<0$. The derivative is positive outside these two points and negative between them, so there are exactly three real roots and one nonreal conjugate pair. Complex conjugation therefore acts as a single transposition.

A five-cycle together with any transposition generates $S_5$: conjugating that transposition by powers of the cycle gives edges joining labels with a fixed nonzero difference modulo five. These edges form a connected graph, and transpositions on a connected graph generate the symmetric group. HenceThe equality of degree and group order uses separability in characteristic zero.

The nonzero cubes modulo thirteen are $\{1,5,8,12\}$, which excludes three. Thus this cubic has no root in its base field and is irreducible. For a root $\alpha$, the extension ${\mathbb{F}}_{13}(\alpha )$ has degree three. The base field already contains the primitive cube root of unity $3$, since $3^3=1$ and $3\ne 1$. Hence the other two roots are $3\alpha$ and $9\alpha$, already in this extension, making it the full splitting field.

The Frobenius endomorphism satisfies ${\alpha }^{13}=\alpha ({\alpha }^3{)}^4=3\alpha$, so it cycles all three roots. Therefore