Paper 4, Section II, 18G

Galois Theory
Part II, 2020

(a) Let KK be a field. Define the discriminant Δ(f)\Delta(f) of a polynomial f(x)K[x]f(x) \in K[x], and explain why it is in KK, carefully stating any theorems you use.

Compute the discriminant of x4+rx+sx^{4}+r x+s.

(b) Let KK be a field and let f(x)K[x]f(x) \in K[x] be a quartic polynomial with roots α1,,α4\alpha_{1}, \ldots, \alpha_{4} such that α1++α4=0\alpha_{1}+\cdots+\alpha_{4}=0.

Define the resolvant cubic g(x)g(x) of f(x)f(x).

Suppose that Δ(f)\Delta(f) is a square in KK. Prove that the resolvant cubic is irreducible if and only if Gal(f)=A4G a l(f)=A_{4}. Determine the possible Galois groups Gal (f)(f) if g(x)g(x) is reducible.

The resolvant cubic of x4+rx+sx^{4}+r x+s is x34sxr2x^{3}-4 s x-r^{2}. Using this, or otherwise, determine Gal(f)\operatorname{Gal}(f), where f(x)=x4+8x+12Q[x]f(x)=x^{4}+8 x+12 \in \mathbb{Q}[x]. [You may use without proof that ff is irreducible.]