Paper 4, Section II, I

Galois Theory | Part II, 2013

(i) Let ζN=e2πi/NC\zeta_{N}=\mathrm{e}^{2 \pi i / N} \in \mathbb{C} for N1N \geqslant 1. For the cases N=11,13N=11,13, is it possible to express ζN\zeta_{N}, starting with integers and using rational functions and (possibly nested) radicals? If it is possible, briefly explain how this is done, assuming standard facts in Galois Theory.

(ii) Let F=C(X,Y,Z)F=\mathbb{C}(X, Y, Z) be the rational function field in three variables over C\mathbb{C}, and for integers a,b,c1a, b, c \geqslant 1 let K=C(Xa,Yb,Zc)K=\mathbb{C}\left(X^{a}, Y^{b}, Z^{c}\right) be the subfield of FF consisting of all rational functions in Xa,Yb,ZcX^{a}, Y^{b}, Z^{c} with coefficients in C\mathbb{C}. Show that F/KF / K is Galois, and determine its Galois group. [Hint: For α,β,γC×\alpha, \beta, \gamma \in \mathbb{C}^{\times}, the map (X,Y,Z)(αX,βY,γZ)(X, Y, Z) \longmapsto(\alpha X, \beta Y, \gamma Z) is an automorphism of FF.]

Typos? Please submit corrections to this page on GitHub.